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