Если отношение понятий, выражаемое суждением, соответствуют отношениям вещей, то такое суждение истинно. Если же такого соответствия нет, то суждение будет неистинным. Так, суждение «Эльбрус выше Казбека» истинно, так как Эльбрус действительно выше Казбека; суждение же «Казбек выше Эльбруса» неистинно, так как выражаемое им отношение понятий противоречит отношениям, существующим в действительности.
Отношение понятий, выраженное в суждении, может противоречить не только действительным отношениям вещей, но и законам мышления. Такое суждение будет не только не истинным, но и неправильным. Если сказать, что «треугольник не является плоской фигурой с тремя углами», то это будет равносильно тому, чтобы сказать «треугольник не есть треугольник»,
Такого рода логическая ошибка наиболее распространена. Она получила в логике название «противоречие в признаке», так как при этой ошибке признак, приписываемый предмету, противоречит самому предмету. Примерами, кроме вышеуказанных, могут служить следующие суждения: «Некоторые изоляторы проводят электричество», где признак «электропроводность» (
Таким же образом может быть нарушен и закон исключенного третьего. Например: «Ваше рассуждение правильно, но содержит логические ошибки», то есть
Все уже известные нам общие законы мышления применительно к суждению будут формулироваться следующим образом.
1. Закон тождества: каждое суждение тождественно самому себе.
2. Закон противоречия: суждение не может быть тождественно чему-то, отрицающему это суждение.
3. Закон исключенного третьего: данное суждение или тождественно другому суждению, или отлично от него.
4. Закон достаточного основания: суждение может считаться истинным или правильным только в том случае, если для этого приведены достаточные основания.
Два первых закона с разных сторон формулируют одну и ту же мысль. Мы различали эти стороны, когда речь шла о понятиях. Там это различие было существенным, так как в одном случае говорилось о смешении признаков внутри одного понятия, что запрещалось законом тождества, в другом — о приравнивании двух исключающих друг друга понятий, что запрещалось законом противоречия. Применительно к суждениям различие этих двух законов уже не существенно. Для наших практических целей можно ограничиться одним законом, в который будут включены обе эти стороны. «
Из той формулировки закона исключенного третьего, которая дана выше, может быть получена другая формулировка, которая более удобна для практического применения. Если всякое суждение или тождественно другому суждению («все
Мы видим, что в данном случае закон исключенного третьего сформулирован не как общий закон всяких мыслей, а применительно только к одной форме мысли, к суждениям, противоречащим друг другу. Применить его к понятиям в такой формулировке уже нельзя. Например, оба противоречащие друг друга понятия «спелые яблоки» и «неспелые яблоки» будут истинными, так как в действительности существуют яблоки как спелые, так и неспелые. Но суждения «это яблоко спелое» и «это яблоко неспелое» уже не могут быть одновременно истинными, поэтому к ним можно применить закон исключенного третьего.
Что касается закона достаточного основания, что достаточным основанием правильности применительно к суждению будет соблюдение законов тождества и исключенного третьего. Но так же, как и в понятиях, соблюдение этих законов в суждениях, являясь достаточным основанием правильности, еще не будет достаточным основанием истинности. Для того, чтобы считать суждение истинным, необходимо убедиться, что оно соответствует тому факту действительности, о котором идет речь. Это можно сделать либо путем непосредственного наблюдения, либо путем вывода из других суждений, истинность которых уже известна. Если этот вывод будет сделан
Теперь можно подробнее рассмотреть некоторые из тех логических ошибок, которые приводились выше.
Вспомним софизм Эватла, как рассуждал Эватл? Если суд решит, что он не должен платить, то он не будет платить, согласно приговору суда. Если же суд решит дело не в его пользу, тогда он не будет платить, согласно договору с Протагором. В первом случае он считает основанием для уплаты или неуплаты решение суда, во втором — договор. Он имел бы логическое основание так делать лишь в том случае, если бы оба суждения — «основанием является договор» и «основанием является решение суда» были тождественными. Но эти суждения совершенно разные, поэтому подмена одного другим в одном и том же рассуждении означает нарушение закона тождества. Протагор в своем ответе умышленно делает ту же самую ошибку. В результате спор становится неразрешимым. Решить этот спор можно было бы лишь в том случае, если бы обе стороны соблюдали закон тождества и в качестве основания для уплаты или неуплаты брали что-нибудь одно: либо решение суда, либо свой договор.
В нашей повседневной жизни часто приходится наблюдать нарушение закона тождества в суждениях. Взять, например, такой разговор.
А. Можно мне взять твои книги?
Б. Возьми.
А. А я не хочу их брать.
Б. Тогда не бери.
А. Он запретил мне брать свои книги.
Здесь в выражении «не бери» смешиваются два разных суждения: «не бери» в смысле «можешь не брать» и «не бери» в смысле «нельзя брать», в результате чего нарушается закон тождества и неизбежно возникает недоразумение.