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

принцип оценки суждений в соответствии с правилом: каждое суждение истинно или ложно - одно из двух. Д. п. принят в классич. логике и классич. математике для суждений о любых объектах (конечных и бесконечных). Д. и. позволяет абстрагироваться от гносеологич. ограничений, вытекающих из доказательства (А. Чёрч, 1936) алгоритмич. неразрешимости этой дилеммы. В конструктивной логике и конструктивной математике Д. п. (в его общем виде) не используется.

Идея «двузначности» восходит к античности. Филон из Мегары (4 в. до н. э.) положил её в основу определения условных суждений (импликации), а Хрисипн из Солы (3 в. до н. э.) - в основу оценки всех аксиом. Эпикур отвергал Д. п., полагая, что принятие этого принципа равносильно принятию учения о «предопределении». Аристотель, принимая Д. п. для суждений о прошлом и настоящем, рассматривал, однако, и такие случаи, когда ответ на вопрос об истинностном значении суждения не может быть предопределённым (таковы, в частности, суждения о будущем).