Если отношение понятий, выражаемое суждением, соответствуют отношениям вещей, то такое суждение истинно. Если же такого соответствия нет, то суждение будет неистинным. Так, суждение «Эльбрус выше Казбека» истинно, так как Эльбрус действительно выше Казбека; суждение же «Казбек выше Эльбруса» неистинно, так как выражаемое им отношение понятий противоречит отношениям, существующим в действительности.

Отношение понятий, выраженное в суждении, может противоречить не только действительным отношениям вещей, но и законам мышления. Такое суждение будет не только не истинным, но и неправильным. Если сказать, что «треугольник не является плоской фигурой с тремя углами», то это будет равносильно тому, чтобы сказать «треугольник не есть треугольник», A не есть A. Таким образом, нарушится закон тождества, вследствие чего данное суждение будет и неистинным и неправильным. Если сказать, что «треугольник есть плоская фигура с четырьмя углами», тогда получится, что «треугольник есть четырехугольник», A = не A, то есть будет нарушен закон противоречия.

Такого рода логическая ошибка наиболее распространена. Она получила в логике название «противоречие в признаке», так как при этой ошибке признак, приписываемый предмету, противоречит самому предмету. Примерами, кроме вышеуказанных, могут служить следующие суждения: «Некоторые изоляторы проводят электричество», где признак «электропроводность» (A) противоречит самому понятию «изолятор» (не A). Другой пример: «В некоторых правильных рассуждениях много логических ошибок», то есть «правильное» = «неправильное», A = не A.

Таким же образом может быть нарушен и закон исключенного третьего. Например: «Ваше рассуждение правильно, но содержит логические ошибки», то есть A = A и не A. По закону исключенного третьего каждое рассуждение (A) может быть либо правильным (B), либо неправильным (не B). В данном же суждении утверждается, что рассуждение одновременно и правильно и неправильно. Здесь нарушается закон исключенного третьего.

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

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». Таким образом, можно сформулировать закон исключенного третьего в следующем виде: из двух противоречащих друг другу суждений одно истинное, другое — ложное, третьего не может быть.

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

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

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

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

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

А. Можно мне взять твои книги?

Б. Возьми.

А. А я не хочу их брать.

Б. Тогда не бери.

А. Он запретил мне брать свои книги.

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

Добавить отзыв
ВСЕ ОТЗЫВЫ О КНИГЕ В ИЗБРАННОЕ

0

Вы можете отметить интересные вам фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.

Отметить Добавить цитату
×