|
Национальная
ФИЛОСОФСКАЯ энциклопедия |
В избранное
Помощь
Соглашение
Почта
Другие проекты НЭС
ЭНЦИКЛОПЕДИИ:
→ Социологическая
→ Педагогическая → Политическая → Юридическая → Историческая → Экономическая → Психологическая ПРОЕКТЫ: → Схемо.РФ Современная наука в рисунках и структурно-логических
схемах. Более 20 000 тысяч блок-схем.
→ Познавательный.РФБесплатный официальный
научный журнал. Пройдите регистрацию и опубликуйте результаты своего научного
труда.
|
![]() Словари ![]() Сайты Поиск для сайта |
ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИПСоветский философский словарь, 1974 г.
ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП
(лат. tertium non datur) , принцип логики, утверждающий, что всякое суждение или истинно, или ложно, В такой формулировке И. т. п. совпадает с двузначности принципом. Другая формулировка И. т. п.-для любого суждения А истинно либо само А, либо его отрицание - в соединении с аристотелевским толкованием этого принципа [или А(х) верно для каждого х, т. е. х обладает данным свойством А, или существует по крайней мере один такой х, для к-рого А (х) не верно] выражает содержание И. т. н. в контексте теоретико-множеств. логики предикатов, а именно: эквивалентность отрицания общего суждения и соответств. суждения о существовании. Эта эквивалентность не может быть доказана без применения законов, равносильных И. т. п., что приводит к порочному кругу (petitio principii) или попытке рассматривать любое её доказательство как обоснование И. т. п. «Неэффективный» (в общем случае) характер суждений о существовании, получаемых на основе И. т. п., служит естеств. основанием для отказа от этого принципа в интуиционистских и конструктивных программах обоснования математики. И. т. п. рассматривается в этом случае как постулат классич. логики.
У нас также ищут:
Опубликоваться:
|
|
||