Закон исключенного третьего

Противоречащим называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом — отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно и наоборот. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается.

Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано.

Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно.

Важное значение имеет этот закон в юридической практике, где требуется категорическое решение вопроса. Юрист должен решать дело по форме «или—или». Данный факт либо установлен, либо не установлен. Обвиняемый либо виновен, либо не виновен.