<<
>>

ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП

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

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ИСКЛЮЧЁННОГО ТРЕТЬЕГО ПРИНЦИП:

  1. Закон исключенного третьего
  2. Закон исключенного третьего.
  3. 3. Закон исключенного третьего
  4. Закон исключенного третьего
  5. Закон исключённого третьего
  6. 569. Любой ли договор страхования является разновидностью договора в пользу третьего лица или существуют какие-либо исключения?
  7. § 11. Правила и исключения из правил выбора буквы, соответствующие фонетическому принципу орфографии.
  8. § 12. Правила и исключения из правил выбора буквы, соответствующие традиционному принципу орфографии.
  9. 5. Исключения из этого принципа правительственного лидерства в "представительных" ассамблеях служат лишь доказательством его реалистичности.
  10. § 217. d. Договоры о действии третьего лица и о действии в пользу третьего лица
  11. Исключения.
  12. Определение исключений из договора