§ 2. Простые суждения

Простыми называются суждения, которые могут быть сведены к логической форме «S есть Р».

Однако сама эта логическая форма способна выразить три разных типа суждений:

— атрибутивные суждения;

— суждения об отношениях;

— суждения существования.

Атрибутивные суждения (категорические)

Атрибутивными называют суждения, в которых выражена принадлежность (или непринадлежность) какого-либо свойства объекту или классу объектов, например: Все сокровища Эрмитажа являются государственным достоянием. Ни один ученый не мыслит формулами.

В атрибутивном суждении термины суждения (субъект и предикат) объединяются в единое целое посредством связи есть или не есть.

Атрибутивное суждение может быть истолковано как включение вида в род, например: Кража есть преступление.

Суждения об отношениях

Суждения, в которых говорится о том, что между некоторыми объектами (которых может быть один, два или несколько) имеют место определенные отношения, называют суждениями об отношениях или суждениями отношений, например: Иван — брат Петра и Павла. Каждый человек не любит кого-нибудь.

Суждения существования (экзистенциальные суждения)

Суждения, в которых говорится о существовании (или несуществовании) какого-нибудь объекта или явления, называются экзистенциальными суждениями или суждениями существования, например: Круглых квадратов не существует.

Следует отметить, что, рассматривая те или иные суждения, мы могли бы выделить среди них еще какие-то виды (суждения-тождества: Москва — столица нашей Родины), однако мы (с некоторыми оговорками) можем все суждения рассматривать как атрибутивные.

В чем же будут состоять эти оговорки?

Считая атрибутивным суждение отношения, мы понимаем отношение как вид свойства, например: суждение Иван отец Петра можно понимать как отношение между Иваном и Петром, а можно — как свойство Ивана.

То же самое можно сказать и о суждениях существования и тождества, считая, что они выражают соответствующее свойство (существовать или быть тождественным) субъекта этого суждения. Характеристика суждений как категорических говорит о безусловности выраженных в них утверждений, которые не ограничены какими-то рамками или оговорками.

По качеству суждения делятся на утвердительные и отрицательные. Если в утвердительном суждении утверждается наличие у предмета определенного признака, то в отрицательном суждении то же самое наличие признака отрицается, например: Все березы (S) — белые (Р). — S есть Р. Нет в жизни (S) счастья (Р). — S не есть Р.

Качество суждения определяется не качеством предиката, но качеством связки (есть или не есть), поскольку последняя и определяет наличие или отсутствие логической связи между субъектом и предикатом суждения, то есть суждение Эта ошибка является непростительной по качеству будет положительным, а суждение Эта ошибка не является простительной по качеству будет отрицательным.

Деление суждений по количеству

По количеству суждения делятся на единичные, частные и общие.

В единичных суждениях в качестве субъекта суждения выступает предмет, существующий в единственном числе, например: Ленинград — город-герой. Аристотель — создатель науки «Логика».

В частных суждениях говорится о пересечении класса предметов, к которому относится субъект суждения, с классом предметов, к которому относится предикат суждения, например: Некоторые студенты — отличники. Некоторые дети не ходят в школу.

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

Объединенная классификация суждений по количеству и качеству

Суждения, одновременно общие по количеству и утвердительные по качеству, называются общеутвердительными. Их логическая форма — Все S есть Р. В формальной логике их принято называть суждениями типа А и обозначать соответственно S и Р. Рассмотрим пример суждения типа А: Все люди смертны.

Суждение типа А истинно при следующем расположении входящих в него терминов:

Если бы люди были единственными смертными существами, то данное суждение осталось бы истинным, но соотношение входящих в него терминов было бы таким: то есть объем понятий люди и смертные совпадал бы.

Суждения, общие по количеству и отрицательные по качеству, называются общеотрицательными. Их логическая форма — Всякий S не есть Р. Они называются суждениями типа Е и обозначаются S е Р. Примером суждения типа Е может служить суждение Всякий кит не рыба.

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

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

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

Суждения, частные по количеству и утвердительные по качеству, называются частноутвердительными. Их логическая форма — Некоторые S есть Р. Это суждения типа I; они обозначаются S i Р. Пример такого суждения: Некоторые французы живут в Париже.

Суждения, частные по количеству и отрицательные по качеству, называются частноотрицательными. Их логическая форма — Некоторые S не есть Р. Это суждения типа О. Они обозначаются S о Р.

Пример такого суждения: Некоторые птицы не летают.

Выделяющие и исключающие суждения

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

Пример единичного выделяющего суждения: Только Г. Шлиману удалось найти развалины Трои.

Пример частного выделяющего суждения: Только тех, кто любит труд, октябрятами зовут.

Пример общего выделяющего суждения: Все свидетели (и только свидетели) являются в суд по повестке.

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

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

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