Закон исключенного третьего - один из трех основных законов логики, сформулированных Аристотелем (наряду с законом тождества и с законом противоречия). Его первоначальная формулировка гласит: "Оба утверждения А и не-А не могут быть одновременно ложными". Более распространенный вариант звучит следующим образом: "Одно из утверждений А или не-А должно быть истинным". С точки зрения современной логики, область действия этого закона существенно ограничена, в частности, он не работает при построении многозначных логических систем.