§ 2. Закон противоречия

Сущность этого закона состоит в недопустимости логического противоречия во всяком правильном мышлении.

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

Покажем на примерах действие этого закона.

Противоположные суждения «футболист Петров высокого роста» и «футболист Петров низкого роста» не могут быть оба истинными. Если одно из них истинно, то второе будет обязательно ложным. В то же время ложными они могут быть одновременно, так как истинным может быть третье суждение: «футболист Петров среднего роста». А противоречащие суждения «футболист Петров высокого роста» и «футболист Петров невысокого роста» не могут быть не одновременно истинными, но одновременно ложными. Одно из них обязательно истинно, а другое ложно.

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

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

Например, не будет противоречия между суждениями «Студент Иванов – отличник» и «Студент Иванов не является отличником», если речь идет о двух студентах-однофамильцах. Суждения «Сидоров хорошо знает английский язык» и «Сидоров плохо знает английский язык» оба могут быть истинными, если первое из них касается сегодняшнего уровня знаний Сидоровым иностранного языка, а второе – знания им этого языка в прошлом.

Приписывая одному и тому же предмету несовместимые свойства, мы допускаем ошибку – логическое противоречие. В качестве примера ошибки приведем суждение из произведения Н.В.Гоголя: «Люди были образованными, некоторые читали Карамзина, некоторые – «Московские новости», некоторые ничего не читали».

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

Логическая непротиворечивость – недостаточный, но совершенно обязательный формальный критерий всякой научной теории.

§ 3. Закон исключенного третьего

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

Мы знаем, что закон противоречия распространяется на оба вида логически несовместимых суждений – и в том и другом случае одно из них будет обязательно ложным. Могут оказаться ложными оба суждения, если предмет, кроме приписанных ему противоположных признаков, имеет какое-то промежуточное свойство. Например: «Этот человек не высокий, но и не низкий».

Закон исключенного третьего не имеет силы на противоположные суждения, а распространяется только на противоречащие суждения.

Формулировка закона гласит:

два противоречащих суждения об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть одновременно истинными и одновременно ложными; одно из них истинно, другое ложно, и третьего не дано.

Так, например, суждения «Все студенты изучали логику» и «Некоторые студенты не изучали логику» не могут быть одновременно ложными. Из ложности первого суждения с необходимостью следует истинность противоречащего ему суждения. И наоборот, из истинности второго необходимо следует ложность первого.

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