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

Большая Советская Энциклопедия. Статьи для написания рефератов, курсовых работ, научные статьи, биографии, очерки, аннотации, описания.


А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я 1 2 3 4 8 A L M P S T X
ИА ИБ ИВ ИГ ИД ИЕ ИЖ ИЗ ИИ ИЙ ИК ИЛ ИМ ИН ИО ИП ИР ИС ИТ ИУ ИФ ИХ ИЦ ИЧ ИШ ИЮ ИЯ
ИСА
ИСБ
ИСЕ
ИСИ
ИСК
ИСЛ
ИСМ
ИСО
ИСП
ИСР
ИСС
ИСТ
ИСФ
ИСХ
ИСЧ

Исключённого третьего принцип (лат. 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 — Национальная радиовещательная компания), одна из крупнейших радиовещательных и телевизионных компаний США.
Оловянные сплавы Лит. см. при ст. Олово.