ГЛАВНАЯ       КОНТАКТЫ
Философский словарь

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН
закон логики, согласно к-рому из двух высказываний — таких, когда одно отрицает то, что утверждается другим, — одно непременно истинно. Впервые сформулирован Аристотелем. Так, из двух высказываний: “Солнце — звезда” (А есть В) и “Солнце — не звезда” (А не есть B) — одно непременно истинно. Имея в виду такого рода высказывания, традиционная формальная логика И. т. з. часто формулировала так: “A есть В либо не В” (третьего не дано: tertium nоn datur). И. т. з. часто используется в процессе доказательства. напр. в доказательствах от противного.
Вы можете поставить ссылку на это слово:

будет выглядеть так: ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН