Закон исключения третьего – закон логики, согласно которому из двух высказываний – таких, когда одно отрицает то, что утверждается другим, одно непременно истинно. Впервые сформулирован Аристотелем. Традиционная формальная логика часто формулировала этот закон так: «А есть В либо не В» (третьего не дано: tertium non datur).