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

С законом противоречия, в свою очередь, тесно связан закон исключенного третьего.

Как установлено выше, закон противоречия гласит, что утверждение и отрицание одного и того же не могут быть вместе истинными: одно из них непременно ложно. Но могут ли они быть одновременно ложными? Об этом закон противоречия ничего не говорит.

На этот вопрос отвечает закон исключенного третьего. В этом смысле его можно считать дополнением к закону противоречия (а следовательно, и к закону тождества). В нем тоже выражается (и конкретизируется) определенность мышления, его последовательность, непротиворечивость.

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

Открытый Аристотелем, этот закон гласит: "Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать".

Наиболее общая формулировка закона следующая: два противоречащих высказывания об одном и том же предмете не могут быть вместе ложными: одно из них по необходимости истинно. Формула этого закона: "А или не-А".

Как и закон противоречия, закон исключенного третьего — результат обобщения практики применения суждений. Но если в законе противоречия выражаются их отношения по истинности, то в законе исключенного третьего — по ложности. Он действует в отношениях между противоречащими (контрадикторными) суждениями (А—О, E—I).

Но он не действует во взаимоотношениях между противоположными (контрарными) суждениями (А — Е), хотя закон противоречия действует и здесь: они не могут быть вместе истинными, но могут быть одновременно ложными. Действие закона исключенного третьего обнаруживается и в сложных суждениях (например, в строгой дизъюнкции, когда составляющие ее суждения взаимно исключают друг друга, а следовательно, не могут быть вместе не только истинными, но и ложными).

Закон исключенного третьего проявляется также в умозаключениях и доказательстве. На основе этого закона можно сформулировать определенные требования к мышлению. Чтобы понять их принципиальный смысл, вспомним историю с буридановым ослом. Как гласит легенда, он сдох с голода, ибо так и не смог выбрать одну из двух совершенно одинаковых охапок сена. Перед человеком нередко тоже встает дилемма, но уже иная: выбирать не из одинаковых, а из взаимоотрицающих высказываний. Закон исключенного третьего как раз и предъявляет требование выбора — одного из двух — по принципу "или — или", «быть или не быть» (третьего не дано). Он означает, что при решении альтернативного вопроса нельзя уклоняться от определенного ответа; нельзя искать что-то промежуточное, среднее, третье.

Как и закон противоречия, этот закон не может точно указать, какое именно из двух противоречащих суждений истинно. Но его значение состоит в том, что он устанавливает для нас вполне определенные интеллектуальные границы, в которых возможен поиск истины. Эта истина заключена в одном из двух отрицающих друг друга высказываний. За этими пределами искать ее не имеет смысла. Сам же выбор одного из суждений в качестве истинного обеспечивается средствами той или иной науки и практики.