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