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