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

• Название: Логические ошибки. Как они мешают правильно мыслить
• Автор: Авенир Уемов
• Издательство: Госполитиздат
• Жанр: Философия
• Год: 1958

---

3. Суждение

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

В понятии группа признаков мыслится настолько слитно, что иногда довольно трудно точно определить, выделить эти признаки. В суждении же дело обстоит иначе. Само определение суждения указывает на то, что здесь отчетливо выделяются три элемента:

1) понятие, обозначающее то, о чем говорится в суждении; это — подлежащее, или субъект, суждения;

2) то, что говорится о субъекте; это — сказуемое, или предикат, суждения;

3) связка, показывающая, утверждается или отрицается тот или иной признак о предмете. Связка может выражаться словами «является», «представляет собой», «бывает», «относится», «есть» и т. д. с отрицанием или без отрицания. Логически все эти слова однозначны, эквивалентны связкам «есть» и «не есть».

Таким образом, суждение имеет четкую структуру. Поэтому его можно выразить в общем виде при помощи буквенных обозначений, подобно тому как это делается в алгебре. Субъект обозначается буквой S (первая буква латинского слова subjectum — подлежащее), предикат — буквой P (латинское praedicatum — сказуемое). Получаются формулы суждения:

S есть P или S не есть P.

Из этих формул видно, что все суждения можно разделить на две группы в зависимости от того, будет ли связка в них положительной или отрицательной. Суждения с положительной связкой называются утвердительными, например «дельфин — млекопитающее», S есть P. Суждения с отрицательной связкой называются отрицательными, например «дельфин не рыба», S не есть P.

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

В повседневной жизни слово «некоторые» в русском языке часто употребляется в смысле «только некоторые, но не все». В логике же утверждение или отрицание относительно «некоторых» отнюдь не исключает в принципе возможности этого утверждения или отрицания относительно «всех». Если верно, что все студенты были на вечере, то, несомненно, верно будет, что некоторые студенты были на вечере; следовательно, если верно, что некоторые студенты были на вечере, то в принципе может быть верно, что и все студенты были на вечере, только в последнем случае нельзя достоверно утверждать, а можно только предполагать, допускать принципиальную возможность: «некоторые, а может быть и все…» Такое понимание слова «некоторый» имеет то преимущество, что в этом случае для истинности утверждения «некоторые студенты были на вечере» достаточно убедиться в присутствии 2—3 студентов, тогда как при понимании «некоторые» в смысле «только некоторые, но не все» нужно пересчитать всех присутствующих студентов, и, если их будет хотя бы на один меньше общего числа студентов группы, тогда только будет верно утверждение «некоторые студенты были на вечере».

Рис. 3

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

Общеотрицательное суждение «ни одно S не есть P» выражает отношение полного исключения объемов двух понятий «ни один дельфин не есть рыба»; как видим на рис. 4, ни одна точка S не входит в P, и ни одна точка P не совпадает ни с одной точкой S.

Рис. 4

В частноутвердительном суждении «некоторые S есть P» выражается отношение частичного совпадения между объемами субъекта и предиката, как например в суждении «некоторые студенты нашей группы досрочно сдали все экзамены». Если одним кругом изобразить всех студентов нашей группы, а другим — всех студентов, сдавших досрочно экзамены, тогда студенты нашей группы, сдавшие досрочно экзамены, должны занять часть того и другого круга, что можно изобразить в виде схемы (рис. 5).

Рис. 5 Рис. 6

Такой же схемой выражается и частноотрицательное суждение «некоторые S не есть P», как например «некоторые студенты нашей группы не сдавали экзамены досрочно». Если одним кругом обозначить студентов нашей группы, другим — студентов, сдававших досрочно, тогда заштрихованная часть круга будет обозначать студентов нашей группы, не сдававших досрочно (рис. 6).

Частноотрицательное суждение отличается от частноутвердительного, как мы видим, тем, что в первом часть S включается в P, во втором же имеет место исключение части S из P.

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

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