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

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

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

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

 

 

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