Исключенного третьего закон

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — закон логики, согласно которому из двух высказываний — таких, когда одно отрицает то, что утверждается другим,— одно непременно истинно. Впервые сформулирован Аристотелем. Так, из двух высказываний: «Солнце — звезда» (А есть В) и «Солнце — не звезда» (А не есть В) — одно непременно истинно. Имея в виду такого рода высказывания, традиционная формальная логика исключенного третьего закон часто формулировала так: «А есть В либо не В» (третьего не дано: tertium non datur).

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — один из основных логических принципов, состоящий в том, что из двух противоречащих суждений одно является истинным. В своей сути этот закон выражает ту мысль, что относительно каждого понятия все множество объектов делится в точности на два класса: на класс объектов, которые подходят под него, и на класс объектов, которые не подходят: средней зоны не существует. Этот закон подвергался критике еще в античности. Аристотель выражал сомнение в его справедливости применительно к будущим событиям.