ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП
- ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП
- ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП
-
(лат. tertium non datur), принцип логики, утверждающий, что всякое
суждение или истинно, или ложно, В такой формулировке И.
т. п. совпадает с двузначности принципом. Другая формулировка И.
т. п.—для любого суждения А истинно либо само А, либо его
отрицание — в соединении с аристотелевским толкованием этого принципа [или А
(х) верно для каждого х,
т. е. х обладает данным свойством А, или существует по крайней мере один такой х, для которого А
(х) не верно] выражает
содержание И.
т. н. в контексте теоретико-множеств. логики предикатов, а именно:
эквивалентность отрицания общего суждения и соответств. суждения о существовании. Эта эквивалентность не может быть доказана без применения законов, равносильных И.
т. п., что приводит к порочному кругу
(petitio principii) или попытке рассматривать любое её
доказательство как обоснование И.
т. п. «Неэффективный»
(в общем случае) характер суждений о существовании, получаемых на основе И.
т. п., служит естеств. основанием для отказа от этого принципа в интуиционистских и конструктивных программах обоснования математики. И.
т. п. рас-сматривается в этом случае как
постулат классич. логики.
Философский энциклопедический словарь. — М.: Советская энциклопедия.
Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов.
1983.
.
Полезное
Смотреть что такое "ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП" в других словарях:
Исключённого третьего принцип — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
исключённого третьего принцип — (лат. tertium non datur), принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем. * * * ИСКЛЮЧЕННОГО ТРЕТЬЕГО ПРИНЦИП ИСКЛЮЧЕННОГО ТРЕТЬЕГО ПРИНЦИП… … Энциклопедический словарь
Исключённого третьего принцип — (лат. tertium non datur) принцип классической формальной логики (См. Логика), утверждающий, что всякое суждение или истинно, или ложно (символически это выражают формулой А V⌉ А, где V означает «или», А утверждение «A истинно». а ⌉ А… … Большая советская энциклопедия
Принцип исключённого третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
ЗАКОН ИСКЛЮЧЁННОГО ТРЕТЬЕГО — логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: «Аристотель умер в 322 г. до н.э. или он… … Философская энциклопедия
Принцип исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Двузначности принцип — принцип классической (двузначной) логики, согласно которому во всех мыслимых случаях вопрос об истинностном значении (См. Истинностное значение) любого высказывания (См. Высказывание) допускает только два ответа: «истинно» или «ложно»,… … Большая советская энциклопедия
Принцип достаточного основания — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Дихотомическое деление — деление объёма понятия (класса, множества) на два соподчинённых (производных) класса по формуле исключённого третьего: «А или не А» (см. Исключенного третьего принцип (См. Исключённого третьего принцип)). Иначе говоря, только такое… … Большая советская энциклопедия
