ДВУЗНАЧНОСТИ ПРИНЦИП

принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений - "истинно" и "ложно". Этот принцип лежит в основе логики классической, которую называют также двузначной логикой.
Д.п. был известен еще Аристотелю, который, однако, считал его неприменимым к высказываниям о случайных будущих событиях. Аристотель утверждал, что истинность высказывания о будущем событии предполагает с необходимостью наступление этого события, а ложность высказывания о нем свидетельствует о его невозможности. Аристотель устанавливал, таким образом, логическую связь между Д.п. и фатализмом, положением о предопределенности человеческих действий.
В более позднее время ограничения, налагаемые на Д.п., обосновывались тем, что он затрудняет анализ высказываний не только о будущих событиях, но и о ненаблюдаемых или несуществующих объектах ("Мысль либо зеленая, либо не является зеленой", "Пегас имеет крылья либо не имеет их"), высказываний о пере-ходных состояниях ("Утро уже наступило либо еще не наступило") и т.п.
Сомнения в универсальности Д. п. не были реализованы в логических системах до появления современной логики, широко использующей методы, сходные с методами математики и не препятствующие чисто формальному подходу к логическим проблемам. В системах, получивших название многозначной логики, Д. п. замещается многозначности принципом, в соответствии с которым высказывание имеет одно из п возможных значений истинности, где п больше двух и может быть, в частности, бесконечным. Последний принцип можно переформулировать так, что двузначная логика окажется частным случаем многозначной: всякое высказывание имеет одно из п значений истинности, где п больше или равно двум и меньше или равно бесконечности.
Исключение дополнительных значений истинности (сверх "истинно" и "ложно") превращает большинство логических систем, опирающихся на многозначности принцип, в классическую двузначную логику. Последняя оказывается при этом предельным случаем первых. Двузначная логика описывает типичные случаи употребления определенных логических знаков ("и", "или", "не" и т. п.). Многозначная логика, претендующая на уточнение описания этих же знаков, не может противоречить результатам двузначной, а должна, напротив, включать их в качестве предельных случаев.
Убеждение, будто Д. п. с неизбежностью ведет к признанию (строгого) детерминизма и фатализма, является ошибочным. Столь же ошибочно и предположение, что многозначная логика есть необходимое средство проведения индетерминистических рассуждений и что ее принятие равносильно отказу от (строгого) детерминизма.


Словарь логики 

ДЕДУКЦИЯ →← ДВУЗНАЧНАЯ ЛОГИКА

T: 0.148277842 M: 3 D: 3