Дмитрий Гусев - Удивительная логика

Мнимое противоречие часто используется как художественный прием. Достаточно вспомнить названия известных литературных произведений: «Живой труп» (Л. Н. Толстой), «Мещанин во дворянстве» (Ж. Мольер), «Барышня-крестьянка» (А. С. Пушкин), «Горячий снег» (Ю. В. Бондарев) и др. Иногда на мнимом противоречии строится заголовок газетной или журнальной статьи: «Знакомые незнакомцы», «Древняя новизна», «Необходимая случайность» и т. п.

Вот еще несколько примеров мнимых противоречий.

• Я знаю только то, что я ничего не знаю (Сократ).

• История учит только тому, что она никого ничему не учит (Г. Гегель).

• Самое непостижимое в мире заключается в том, что он постижим (А. Эйнштейн).

• Слышу умолкнувший звук божественной эллинской речи (А. С. Пушкин).

Итак, закон противоречия запрещает одновременную истинность двух суждений, одно из которых нечто утверждает, а другое то же самое отрицает об одном и том же предмете, в одно и то же время и в одном и том же отношении. Однако этот закон не запрещает одновременную ложность двух таких суждений. Вспомним: суждения Он высокий и Он низкий не могут быть одновременно истинными, если речь идет об одном и том же человеке, в одно и то же время его жизни и в одном и том же отношении (относительно какого-то одного образца для сравнения). Однако эти суждения вполне могут быть одновременно ложными при соблюдении всех вышеперечисленных условий. Если истинным будет суждение Он среднего роста, тогда суждения Он высокий и Он низкий придется признать одновременно ложными. Точно так же одновременно ложными (но не одновременно истинными!) могут быть суждения Эта вода горячая и Эта вода холодная; Данная речка глубокая и Данная речка мелкая; Эта комната светлая и Эта комната темная. Одновременную ложность двух суждений мы часто используем в повседневной жизни, когда, характеризуя кого-то или что-то, строим стереотипные обороты типа: Они не молодые, но и не старые; Это не полезно, но и не вредно; Он не богат, однако и не беден; Данная вещь стоит не дорого, но и не дешево; Этот поступок не является плохим, но в то же время его нельзя назвать хорошим.

Суждения бывают противоположными и противоречащими. Например, суждения Сократ высокий и Сократ низкий являются противоположными, а суждения Сократ высокий и Сократ невысокий – противоречащими. В чем разница между противоположными и противоречащими суждениями? Нетрудно заметить, что противоположныесуждения всегда предполагают некий третий, средний, промежуточный вариант. Для суждений Сократ высокий и Сократ низкий третьим вариантом будет суждение Сократ среднего роста. Противоречащиесуждения, в отличие от противоположных, не допускают или автоматически исключают такой промежуточный вариант.

Как бы мы ни пытались, мы не сможем найти никакого третьего варианта для суждений Сократ высокий и Сократ невысокий (ведь и низкий, и среднего роста – это все невысокий).

Именно в силу наличия третьего варианта противоположные суждения могут быть одновременно ложными. Если суждение Сократ среднего роста – истинно, то противоположные суждения Сократ высокий и Сократ низкий – одновременно ложны. Точно так же именно в силу отсутствия третьего варианта противоречащие суждения не могут быть одновременно ложными. Таково различие между противоположными и противоречащими суждениями. Сходство между ними заключается в том, что и противоположные суждения, и противоречащие не могут быть одновременно истинными, как того требует закон противоречия. Таким образом, этот закон распространяется и на противоположные суждения, и на противоречащие. Однако, как мы помним, закон противоречия запрещает одновременную истинность двух суждений, но не запрещает их одновременную ложность; а противоречащие суждения не могут быть одновременно ложными, т. е. закон противоречия является для них недостаточным и нуждается в каком-то дополнении.

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