Исключённого третьего принцип это:

Исключённого третьего принцип
(лат. tertium non datur)
        принцип классической формальной логики (См. Логика), утверждающий, что всякое суждение или истинно, или ложно (символически это выражают формулой А V⌉ А, где V означает «или», А утверждение «A истинно». а ⌉ А — утверждение «A ложно»). В такой формулировке И. т. п. совпадает с Двузначности принципом. В том же контексте исчисления высказываний (См. Исчисление высказываний) (суждений) формула А V⌉ А может быть прочитана и иначе: для любого суждения А истинно либо само А, либо его отрицание (здесь А произвольное суждение, а ⌉ А — отрицание А). Вторая формулировка И. т. п. в соединении с аристотелевским толкованием этого принципа: или А(х) верно для каждого х, или существует по крайней мере один такой х, для которого А(х) не верно, — отчётливо выражает содержание И. т. п. в контексте теоретико-множественной логики предикатов, а именно, эквивалентность отрицания общего суждения и суждения о существовании. Эта эквивалентность, вообще говоря, не может быть доказана без применения закона снятия двойного отрицания, равносильного И. т. п., что приводит к порочному кругу (petitio principii) при попытке рассматривать её доказательство как обоснование И. т. п. «Неэффективный», в общем случае, характер суждений о существовании, получаемых на основе И. т. п., служит естественным основанием для отказа от этого принципа в интуиционистских и конструктивных программах обоснования математики. Поскольку и исключение И. т. п. из числа исходных принципов теории, и, напротив, включение его в число таких принципов не приводят к противоречию, И. т. п. с методологической точки зрения рассматривается теперь только как постулат классической логики.
         М. М. Новосёлов.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Исключённого третьего принцип" в других словарях:

  • ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП —         (лат. tertium non datur), принцип логики, утверждающий, что всякое суждение или истинно, или ложно, В такой формулировке И. т. п. совпадает с двузначности принципом. Другая формулировка И. т. п. для любого суждения А истинно либо само А,… …   Философская энциклопедия

  • Исключённого третьего принцип — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • исключённого третьего принцип — (лат. tertium non datur), принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем. * * * ИСКЛЮЧЕННОГО ТРЕТЬЕГО ПРИНЦИП ИСКЛЮЧЕННОГО ТРЕТЬЕГО ПРИНЦИП… …   Энциклопедический словарь

  • Принцип исключённого третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • ЗАКОН ИСКЛЮЧЁННОГО ТРЕТЬЕГО — логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: «Аристотель умер в 322 г. до н.э. или он… …   Философская энциклопедия

  • Принцип исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • Принцип достаточного основания — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …   Википедия

  • Двузначности принцип —         принцип классической (двузначной) логики, согласно которому во всех мыслимых случаях вопрос об истинностном значении (См. Истинностное значение) любого высказывания (См. Высказывание) допускает только два ответа: «истинно» или «ложно»,… …   Большая советская энциклопедия

  • Территориально-политическая экспансия Третьего рейха — Основная статья: Третий рейх Территориально политическая экспансия Третьего рейха  процесс реализации экспансионистского политического курса нацистской Германии (Третьего рейха), направленного на максимальное расширение его территории с… …   Википедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»