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

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

Объединив закон исключенного третьего с законом непротиворечия, получим следующее положение: два противоречащих суждения не могут быть вместе истинными и не могут быть вместе ложными; одно из них необходимо истинно, другое необходимо ложно. Рассуждение ведется по формуле: или – или (либо - либо). Третьего не дано.

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

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