Дмитрий Гусев - Логика. Учебное пособие

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

Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые) , а связка может быть утвердительной (есть, или является) и отрицательной (не есть, или не является) . Это наглядно представлено в следующей простой таблице.

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

1. Общеутвердительные суждения.Как явствует из названия, это суждения с общим объемом субъекта и утвердительной связкой: Все S есть Р , например: Все школьники являются учащимися. Эти суждения обозначаются в логике латинской буквой А.

2. Частноутвердительные суждения.Название данного вида свидетельствует о том, что он представляет собой суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р , например: Некоторые животные являются хищниками. Эти суждения обозначаются латинской буквой I.

3. Общеотрицательные суждения– это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р) , например: Все планеты не являются звездами (или Ни одна планета не является звездой) . Такие суждения обозначаются латинской буквой Е.

4. Частноотрицательные суждения– это суждения с частным объемом субъекта и отрицательной связкой: Некоторые S не есть Р , например: Некоторые грибы не являются съедобными. Эти суждения обозначаются латинской буквой О.

Далее следует ответить на вопрос, к каким суждениям, – общим или частным, – следует относить суждения с единичным объемом субъекта (т. е. те суждения, в которых субъект представляет собой единичное понятие), например: Солнце – это небесное тело; Москва основана в 1147 году; Антарктида – это один из материков Земли. Суждение является общим, если речь в нем идет обо всем объеме субъекта и частным, если речь идет о части объема субъекта. В суждениях с единичным объемом субъекта речь идет обо всем объеме субъекта (т. е., в приведенных выше примерах, – обо всем Солнце, обо всей Москве, обо всей Антарктиде). Таким образом, суждения, в которых субъект является единичным понятием, считаются общими (общеутвердительными или общеотрицательными). Так три приведенных выше суждения – общеутвердительные, а суждение: Известный итальянский ученый эпохи Возрождения Галилео Галилей не является автором теории электромагнитного поля – общеотрицательное.

В дальнейшем будем говорить о видах простых суждений, не употребляя их длинных названий, с помощью условных обозначений – латинских букв А, I, Е, О. Эти буквы, взятые из двух латинских слов: AFF IRMO – утверждать и N EG O– отрицать, были предложены в качестве обозначения видов простых суждений еще в Средние века.

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

Частный объем субъекта и утвердительная связка суждений вида I обусловливают то, что в них субъект и предикат могут быть в отношениях пересечения и подчинения (но не в других). Например, в суждении: Некоторые спортсмены (S) – это негры (Р) субъект и предикат находятся в отношении пересечения, а в суждении: Некоторые деревья (S) – это сосны (Р) – они находятся в отношении подчинения.

Общий объем субъекта и отрицательная связка суждений вида Е приводят к тому, что в них субъект и предикат находятся только в отношении несовместимости. Например, в суждениях: Все киты (S) – это не рыбы (Р); Все планеты (S) не являются звездами (Р); Все треугольники (S) – это не квадраты (Р) и т. п. субъект и предикат несовместимы.

Частный объем субъекта и отрицательная связка суждений вида О обуславливают то, что в них субъект и предикат, так же, как и в суждениях вида I, могут быть только в отношениях пересечения и подчинения. Например, в суждении: Некоторые студенты (S) не являются спортсменами (P) субъект и предикат находятся в отношении пересечения, а в суждении: Некоторые геометрические фигуры (S) не являются треугольниками (P) субъект и предикат находятся в отношении подчинения.

Приведем еще несколько примеров различных видов простых суждений и отношений между их субъектами и предикатами.

а) Все города являются населенными пунктами (суждение вида А, субъект и предикат находятся в отношении подчинения).

б) Некоторые знаменитые спортсмены – это россияне (суждение вида I, субъект и предикат находятся в отношении пересечения).

в) Некоторые числа не являются натуральными (суждение вида О, субъект и предикат находятся в отношении подчинения).

г) Ни одна комета – не звезда (суждение вида Е, субъект и предикат находятся в отношении несовместимости).

Таким образом, мы видим, что во всех четырех видах простых суждений возможно семь случаев отношений между субъектом и предикатом (два случая для суждений вида А, два случая для суждений вида I, один случай для суждений вида Е и два случая для суждений вида О).

Основные структурные элементы простого суждения – субъект и предикат – называются терминами суждения. В любом суждении каждый термин является распределеннымили нераспределенным.

Термин считается распределенным(т. е. развернутым, исчерпанным, взятым в полном объеме), если в суждении речь идет обо всех объектах, входящих в объем этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом (т. е. кругом, который не содержит в себе другого круга и не пересекается с другим кругом):