Логика. Учебное пособие

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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