Про многозначную логику...
Apr. 3rd, 2006 11:55 amВот часто говорят: дескать, двузначная логика - это так примитивно: либо "да", либо "нет", и никаких полутонов между. А вот многозначная - это да, за ней, типа, будущее.
Издят-с!
Во-первых, логик многозначных до... полового органа. Есть даже комплексные логики, где истинность выражается комплексным числом. Типа вот этой: http://psi-logic.shadanakar.org/other/c9logic.doc - два камрада прислали мне свой вариант комплексной логики. Лично мне не понравилось, но суть то не в этом, а в том, что существуют такие логические системы.
Так что говорить о будущем с многозначными логиками - как-то не очень... куча их в прошлом :)
Во-вторых, эти многозначные логики так и остались невостребованными по большому счету. Ну есть, конечно, кое-какие применения, но не очень то много.
В-третьих, есть такая теория вероятностей, которую, в принципе, можно считать многозначной логикой с о-о-о-чень небольшой натяжкой. Вероятность 1 - как истина, 0 - как ложь и промежуточные вероятности - как промежуточные варианты истины. Например, я собираюсь бросить монетку и говорю: "монетка упадет решкой вверх" - эта фраза истинная или ложная? Наверное, ни то, ни другое, ее истинность равна 0,5.
Так вот, можно рассматривать теорию вероятностей как многозначную логику. Даже как бесконечнозначную, поскольку между вероятностями 0 и 1 заключено бесконечно много промежуточных значений. И эта (вероятностная) логика используется очень широко.
Получается, что в математике и науке давно уже применяется хорошая многозначная логика, за ней не только будущее, но и прошлое ;)
Издят-с!
Во-первых, логик многозначных до... полового органа. Есть даже комплексные логики, где истинность выражается комплексным числом. Типа вот этой: http://psi-logic.shadanakar.org/other/c9logic.doc - два камрада прислали мне свой вариант комплексной логики. Лично мне не понравилось, но суть то не в этом, а в том, что существуют такие логические системы.
Так что говорить о будущем с многозначными логиками - как-то не очень... куча их в прошлом :)
Во-вторых, эти многозначные логики так и остались невостребованными по большому счету. Ну есть, конечно, кое-какие применения, но не очень то много.
В-третьих, есть такая теория вероятностей, которую, в принципе, можно считать многозначной логикой с о-о-о-чень небольшой натяжкой. Вероятность 1 - как истина, 0 - как ложь и промежуточные вероятности - как промежуточные варианты истины. Например, я собираюсь бросить монетку и говорю: "монетка упадет решкой вверх" - эта фраза истинная или ложная? Наверное, ни то, ни другое, ее истинность равна 0,5.
Так вот, можно рассматривать теорию вероятностей как многозначную логику. Даже как бесконечнозначную, поскольку между вероятностями 0 и 1 заключено бесконечно много промежуточных значений. И эта (вероятностная) логика используется очень широко.
Получается, что в математике и науке давно уже применяется хорошая многозначная логика, за ней не только будущее, но и прошлое ;)