Логика: Учебник для студентов юридических вузов и факультетов

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

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

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

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

Обосновывая неизбежность действия этого закона и невозможность его отрицания, Аристотель приводил ряд (семь!) доводов в его пользу. В более позднее время он получил название закона исключенного третьего, хотя формулировки ему давались самые различные. Наиболее общей из них является следующая: два противоречащих высказывания об одном и том же предмете не могут быть вместе ложными: одно из них по необходимости истинно. Формула этого закона: «А или не-А».

Чтобы понять действие закона, приведем две пары несовместимых высказываний:

1) «Байкал глубокий» — «Байкал мелкий»;

2) «Байкал глубокий» — «Байкал неглубокий».

Обратим внимание, что в первой паре предикатами выступают противоположные понятия («глубокий» — «мелкий»), а во второй — противоречащие понятия («глубокий» — «неглубокий»). Между ними, как мы помним, имеется не только сходство, но и различие. Противоположные отрицают друг друга, но не исчерпывают объема родового понятия. Спрашивается: могут ли два высказывания с противоположными предикатами быть одновременно истинными? Нет. Об этом говорит закон противоречия. Но могут ли они быть одновременно ложными? Да, потому что не исчерпывают всех возможных вариантов. Может статься, что «Байкал средней глубины». Закон исключенного третьего здесь не действует.

Что же касается противоречащих понятий («глубокий» — «неглубокий»), то они не только отрицают друг друга, но и исчерпывают объем родового понятия. Возникают те же вопросы. Могут ли оба суждения с подобными предикатами быть одновременно истинными? Нет. Это опять-таки следует из закона противоречия. А могут ли они быть одновременно ложными? Вот тут-то и «зарыта собака». В отличие от первой пары они не могут быть и одновременно ложными. Ведь третьего здесь попросту нет, так как озеро либо глубокое, либо неглубокое. Одно из них непременно истинно. Эта закономерность, свойственная подобным суждениям, и нашла свое отражение в законе исключенного третьего.

Теперь нетрудно понять, какова сфера действия этого закона. Она тоже весьма широка. В общей форме можно сказать так: не всюду там, где действует закон противоречия, действует и закон исключенного третьего. Но всюду, где он проявляет свою силу, проявляется и закон противоречия.

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

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