Логические ошибки. Как они мешают правильно мыслить

Все уже известные нам общие законы мышления применительно к суждению будут формулироваться следующим образом.

1. Закон тождества: каждое суждение тождественно самому себе.

2. Закон противоречия: суждение не может быть тождественно чему-то, отрицающему это суждение.

3. Закон исключенного третьего: данное суждение или тождественно другому суждению, или отлично от него.

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

Два первых закона с разных сторон формулируют одну и ту же мысль. Мы различали эти стороны, когда речь шла о понятиях. Там это различие было существенным, так как в одном случае говорилось о смешении признаков внутри одного понятия, что запрещалось законом тождества, в другом — о приравнивании двух исключающих друг друга понятий, что запрещалось законом противоречия. Применительно к суждениям различие этих двух законов уже не существенно. Для наших практических целей можно ограничиться одним законом, в который будут включены обе эти стороны. «Каждое суждение тождественно самому себе, нельзя подменять это суждение чем-то от него отличным». Мы будем называть его законом тождества.

Из той формулировки закона исключенного третьего, которая дана выше, может быть получена другая формулировка, которая более удобна для практического применения. Если всякое суждение или тождественно другому суждению («все A есть B»), или отлично от него, то есть («не все A есть B»), то всякое суждение, относительно которого известно, что оно истинно, будет одним из этих двух суждений, то есть либо «все A суть B», либо «не все A суть B». Значит, истинным будет одно из двух отрицающих друг друга суждений: в нашем случае — или «все A суть B», или «не все A суть B». Такое отношение между суждениями, когда оно отрицает другое, называется, как мы уже знаем, отношением противоречия. Применительно к категорическим суждениям это будет отношение между суждениями «все S есть P» и «некоторые S не есть P»; «ни одно S не есть P» и «некоторые S есть P». В частном случае единичных суждений, субъект которого — единичное понятие A, отношение отрицания одного суждения другим, то есть отношение противоречия, будет между суждениями «A есть B» и «A не есть B». Таким образом, можно сформулировать закон исключенного третьего в следующем виде: из двух противоречащих друг другу суждений одно истинное, другое — ложное, третьего не может быть.

Мы видим, что в данном случае закон исключенного третьего сформулирован не как общий закон всяких мыслей, а применительно только к одной форме мысли, к суждениям, противоречащим друг другу. Применить его к понятиям в такой формулировке уже нельзя. Например, оба противоречащие друг друга понятия «спелые яблоки» и «неспелые яблоки» будут истинными, так как в действительности существуют яблоки как спелые, так и неспелые. Но суждения «это яблоко спелое» и «это яблоко неспелое» уже не могут быть одновременно истинными, поэтому к ним можно применить закон исключенного третьего.

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

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

Вспомним софизм Эватла, как рассуждал Эватл? Если суд решит, что он не должен платить, то он не будет платить, согласно приговору суда. Если же суд решит дело не в его пользу, тогда он не будет платить, согласно договору с Протагором. В первом случае он считает основанием для уплаты или неуплаты решение суда, во втором — договор. Он имел бы логическое основание так делать лишь в том случае, если бы оба суждения — «основанием является договор» и «основанием является решение суда» были тождественными. Но эти суждения совершенно разные, поэтому подмена одного другим в одном и том же рассуждении означает нарушение закона тождества. Протагор в своем ответе умышленно делает ту же самую ошибку. В результате спор становится неразрешимым. Решить этот спор можно было бы лишь в том случае, если бы обе стороны соблюдали закон тождества и в качестве основания для уплаты или неуплаты брали что-нибудь одно: либо решение суда, либо свой договор.