psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-04-03 11:55 am

Про многозначную логику...

Вот часто говорят: дескать, двузначная логика - это так примитивно: либо "да", либо "нет", и никаких полутонов между. А вот многозначная - это да, за ней, типа, будущее.

Издят-с!

Во-первых, логик многозначных до... полового органа. Есть даже комплексные логики, где истинность выражается комплексным числом. Типа вот этой: http://psi-logic.shadanakar.org/other/c9logic.doc - два камрада прислали мне свой вариант комплексной логики. Лично мне не понравилось, но суть то не в этом, а в том, что существуют такие логические системы.

Так что говорить о будущем с многозначными логиками - как-то не очень... куча их в прошлом :)

Во-вторых, эти многозначные логики так и остались невостребованными по большому счету. Ну есть, конечно, кое-какие применения, но не очень то много.

В-третьих, есть такая теория вероятностей, которую, в принципе, можно считать многозначной логикой с о-о-о-чень небольшой натяжкой. Вероятность 1 - как истина, 0 - как ложь и промежуточные вероятности - как промежуточные варианты истины. Например, я собираюсь бросить монетку и говорю: "монетка упадет решкой вверх" - эта фраза истинная или ложная? Наверное, ни то, ни другое, ее истинность равна 0,5.

Так вот, можно рассматривать теорию вероятностей как многозначную логику. Даже как бесконечнозначную, поскольку между вероятностями 0 и 1 заключено бесконечно много промежуточных значений. И эта (вероятностная) логика используется очень широко.

Получается, что в математике и науке давно уже применяется хорошая многозначная логика, за ней не только будущее, но и прошлое ;)

А что до сочинения цитованного...

[identity profile] sanitareugen.livejournal.com 2006-04-03 12:52 pm (UTC)(link)
"Для получения 9-значной комплексной логики введем и интерпретируем следующие новые значения традиционных логических символов 1 и 0 как комплексных событий и символ –1 для комплексного отрицательного множества:

1 = (F,T) = ЛОЖЬ - положительное множество, присутствие в событии положительной ошибки (например, продавец при расчете обсчитывает покупателя в свою пользу) – достоверное событие;
0 = (T,T) + (F,F) = ПРАВДОПОДОБИЕ + ИСТИНА = (T,T) – пустое множество, отсутствие ошибки в событии (продавец точно рассчитывается с покупателем) – пустое событие;
-1 = (T,F) = ОШИБКА – отрицательное множество, присутствие в событии отрицательной ошибки (например, продавец обсчитывается в пользу покупателя) – антидостоверное событие.
..."


продавец при расчете обсчитывает покупателя в свою пользу – достоверное событие;
продавец точно рассчитывается с покупателем – пустое событие;
например, продавец обсчитывается в пользу покупателя – антидостоверное событие.

ЖЫЗНЕННО!