Суждения бывают противоположными и противоречащими. Например, суждения: «Сократ высокий», «Сократ низкий», – являются противоположными, а суждения: «Сократ высокий», «Сократ невысокий», – противоречащими. В чем разница между противоположными и противоречащими суждениями? Нетрудно заметить, что противоположные суждения всегда предполагают некий третий, средний, промежуточный вариант. Для суждений: «Сократ высокий», «Сократ низкий», – третьим вариантом будет суждение: «Сократ среднего роста». Противоречащие суждения, в отличие от противоположных, не допускают или автоматически исключают такой промежуточный вариант. Как бы мы ни пытались, мы не сможем найти никакого третьего варианта для суждений: «Сократ высокий», «Сократ невысокий» (ведь и низкий, и среднего роста – это все невысокий).
Именно в силу наличия третьего варианта противоположные суждения могут быть одновременно ложными. Если суждение: «Сократ среднего роста», – является истинным, то противоположные суждения: «Сократ высокий», «Сократ низкий», – одновременно ложны. Точно так же именно в силу отсутствия третьего варианта противоречащие суждения не могут быть одновременно ложными. Таково различие между противоположными и противоречащими суждениями. Сходство между ними заключается в том, что и противоположные суждения, и противоречащие не могут быть одновременно истинными, как того требует закон противоречия. Таким образом, этот закон распространяется и на противоположные суждения, и на противоречащие. Однако, как мы помним, закон противоречия запрещает одновременную истинность двух суждений, но не запрещает их одновременную ложность; а противоречащие суждения не могут быть одновременно ложными, т. е. закон противоречия является для них недостаточным и нуждается в каком-то дополнении. Поэтому для противоречащих суждений существует закон исключенного третьего, который говорит о том, что два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными (истинность одного из них обязательно означает ложность другого, и наоборот). Символическая запись закона исключенного третьего представляет собой следующую тождественно-истинную формулу: а V ¬ а (читается – «а или не а»), где а – это какое-либо высказывание.
Проверьте себя:
1) В чем различие между противоположными и противоречащими суждениями? Почему противоположные суждения могут быть одновременно ложными, а противоречащие – не могут?
2) В чем сходство между противоположными и противоречащими суждениями? Почему закон противоречия является недостаточным для противоречащих суждений и нуждается в дополнении?
3) О чем говорит закон исключенного третьего? Какая тождественно-истинная формула является его выражением? В каком отношении находится закон исключенного третьего к закону противоречия?
