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

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

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

Для более полного уяснения вопроса следует привести примеры. Для начала рассмотрим схематичные отражения противоречащих суждений: «Ни одно S не есть Р» и «Некоторые S есть Р»; «Все S есть Р» и «Некоторые S не есть Р»; «Это S есть Р» и «Это S не есть Р». Как можно заметить, все три приведенные пары суждений являются, соответственно, общими, частными и единичными, а также контрадикторными (т. е. типа A и не-А). Суждения «Юрий Гагарин является космонавтом, который первым полетел в космос» и «Юрий Гагарин не является космонавтом, который первым полетел в космос» — это противоречащие суждения.

При рассмотрении закона исключенного третьего всегда возникает вопрос о его различиях с законом непротиворечия. Это связано с тем, что в отношении рассматриваемых сейчас противоречащих суждений применяются оба эти закона. Однако между ними существует различие. Оно становится явным, если рассматривать контрарные (например, «Все люди имеют конечности» и «Ни один человек не имеет конечностей») суждения. В отношении них закон исключенного третьего не применяется.