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

3. Релятивные суждения – это суждения, в которых предикат выражает собой какое-то отношение к субъекту (лат. relativus – относительный). Например, рассмотрим суждение Москва основана раньше Санкт-Петербурга является релятивным, потому что его предикат (основана раньше Санкт-Петербурга) указывает на временное (возрастное) отношение одного города и соответствующего понятия к другому городу и соответствующему понятию, представляющему собой субъект суждения.

Приведем несколько примеров атрибутивных, экзистенциальных и релятивных суждений.

а) Все люди – это разумные живые существа (атрибутивное суждение).

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

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

г) Галактики представляют собой гигантские скопления звезд (атрибутивное суждение).

д) Человек появился намного позже животных и растений (релятивное суждение).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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