Исключённого третьего принцип (лат. tertium non datur), принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно (символически это выражают формулой А VùА, где V означает «или», А— утверждение «A истинно». а ùА — утверждение «A ложно»). В такой формулировке Исключённого третьего принцип совпадает с двузначности принципом. В том же контекстеисчисления высказываний (суждений) формула А VùА может быть прочитана и иначе: для любого суждения А истинно либо само А, либо его отрицание (здесь А— произвольное суждение, а ùА — отрицание А). Вторая формулировка Исключённого третьего принцип в соединении с аристотелевским толкованием этого принципа: или А(х) верно для каждого х, или существует по крайней мере один такой х, для которого А(х) не верно, — отчётливо выражает содержание Исключённого третьего принцип в контексте теоретико-множественной логики предикатов, а именно, эквивалентность отрицания общего суждения и суждения о существовании. Эта эквивалентность, вообще говоря, не может быть доказана без применения закона снятия двойного отрицания, равносильного Исключённого третьего принцип, что приводит к порочному кругу (petitio principii) при попытке рассматривать её доказательство как обоснование Исключённого третьего принцип «Неэффективный», в общем случае, характер суждений о существовании, получаемых на основе Исключённого третьего принцип, служит естественным основанием для отказа от этого принципа в интуиционистских и конструктивных программах обоснования математики. Поскольку и исключение Исключённого третьего принцип из числа исходных принципов теории, и, напротив, включение его в число таких принципов не приводят к противоречию, Исключённого третьего принцип с методологической точки зрения рассматривается теперь только как постулат классической логики.
М. М. Новосёлов.
Так же Вы можете узнать о...
Комендор, звание матроса в русском ВМФ (с начала 18 в. Корвалол, успокаивающее и сосудорасширяющее средство; комбинированный препарат, содержащий этиловый эфир a-бромизовалерьяновой кислоты, фенобарбитал натрия, мятное масло, этиловый спирт и воду. Красноярская операция 1920, наступательная операция войск 5-й Отдельной армии (командующий Г. Кукуй, распространённое в 17 в. название Немецкой слободы в Москве (см. Лало Эдуар Лало (Lalo) Эдуар (27.1.1823, Лилль, — 22.4. Лесные зоны умеренных поясов, природные зоны материков Северного и Южного полушарий, характеризующиеся распространением лесной растительности преимущественно из хвойных и листопадных видов и преобладанием подзолистого и буроземного типов почвообразования. Ложноскорпионы, ложные скорпионы (Pseudoscorpionoidea), отряд членистоногих животных класса паукообразных. Магнитострикционные материалы ,магнитно-мягкие материалы, у которых достаточно велик эффект магнитострикции. Маринист (франц. mariniste, от лат. marinus — морской), художник, пишущий марины. Межледниковый век (эпоха), Межледниковье, то же, что интергляциал. Микрон (от греч. mikron — малое), дольная единица длины, равная 10-6м, или 10-3мм. Молочные зубы, первая генерация зубов у млекопитающих животных и человека. Мунис Хорезми Шир-Мухаммед Авазбий-оглы (1778, Хорезм, — 1829, Хива), узбекский поэт и историк. Натансон Якуб Натансон (Natanson) Якуб (20.8.1832, Варшава, — 14. Нижняя Омра, посёлок городского типа в Троицко-Печорском районе Коми АССР. «Нэшонал бродкастинг компани» (НБК; National Broadcasting Company — Национальная радиовещательная компания), одна из крупнейших радиовещательных и телевизионных компаний США. Оловянные сплавы Лит. см. при ст. Олово.