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

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


Смотреть больше слов в «Словаре по логике»

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

Смотреть что такое ДВУЗНАЧНОСТИ ПРИНЦИП в других словарях:

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

        принцип классической (двузначной) логики, согласно которому во всех мыслимых случаях вопрос об истинностном значении (См. Истинностное значение... смотреть

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

ДВУЗНАЧНОСТИ ПРИНЦИП — принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т.е. имеет одно из двух возможных истинностн... смотреть

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

принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений - "истинно" и... смотреть

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

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

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

принцип оценки в логике суждений в соответствии с правилом: каждое суждение либо истинно, либо ложно и третьего не дано. Идея *двузначности* развивалась в античной философии: Филон из Мегары (4 в. до Р. X.) положил ее в основу условных суждений (см. Импликация), Хрисипп из Солы (3 в. до Р. X.) в основу оценки всех аксиом. Аристотель, принимая принцип двузначности, указывал и на те случаи, когда вопрос об истинном значении суждения не может быть предопределенным (напр., суждения о будущем).... смотреть

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

ДВУЗНАЧНОСТИ ПРИНЦИП, связан с обязательным принятием дилеммы: каждое высказывание либо "истинно", либо "ложно"; лежит в основе классической логики и классической математики.<br><br><br>... смотреть

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

ДВУЗНАЧНОСТИ ПРИНЦИП - связан с обязательным принятием дилеммы: каждое высказывание либо "истинно", либо "ложно"; лежит в основе классической логики и классической математики.<br>... смотреть

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

ДВУЗНАЧНОСТИ ПРИНЦИП , связан с обязательным принятием дилеммы: каждое высказывание либо "истинно", либо "ложно"; лежит в основе классической логики и классической математики.... смотреть

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

ДВУЗНАЧНОСТИ ПРИНЦИП, связан с обязательным принятием дилеммы: каждое высказывание либо "истинно", либо "ложно"; лежит в основе классической логики и классической математики.... смотреть

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

- связан с обязательным принятием дилеммы: каждоевысказывание либо ""истинно"", либо ""ложно""; лежит в основе классическойлогики и классической математики.... смотреть

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

связан с обязат. принятием дилеммы: каждое высказывание либо "истинно", либо "ложно"; лежит в основе классич. логики и классич. математики.

T: 164