Логика. Учебное пособие. Д. А. Гусев
представляют собой гигантские скопления звезд (атрибутивное суждение).
д) Человек появился намного позже животных и растений (релятивное суждение).
В мышлении и языке большую часть составляют атрибутивные суждения. Они встречаются чаще, чем экзистенциальные и релятивные. Кроме того, последние, в принципе, можно представить как атрибутивные. Вернемся к примеру экзистенциального суждения: Вечных двигателей не бывает. Его предикат (не быть или не существовать) вполне можно рассматривать как атрибут субъекта (вечные двигатели), ведь не существовать – это действительно неотъемлемый признак вечных двигателей, следовательно, данное суждение возможно расценивать как атрибутивное. Теперь обратимся к примеру релятивного суждения: Москва основана раньше Санкт-Петербурга, предикат которого (быть основанным раньше Санкт-Петербурга) вполне можно рассматривать как атрибут субъекта (Москва), ведь быть старше Санкт-Петербурга (ранее основанным городом) – это действительно неотъемлемый признак Москвы. Таким образом, это суждение также возможно характеризовать как атрибутивное.
В силу вышесказанного неудивительно, что под суждениями обычно подразумеваются атрибутивные суждения. В дальнейшем, говоря о суждениях, мы будем иметь ввиду именно их.
2.4. Простые суждения
Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть утвердительной (есть, или является) и отрицательной (не есть, или не является). Это наглядно представлено в следующей простой таблице.
Как видим, на основе объема субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений (все – есть, некоторые – есть, все – не есть, некоторые – не есть). Каждый из этих видов имеет свое название и условное обозначение.
1. Общеутвердительные суждения. Как явствует из названия, это суждения с общим объемом субъекта и утвердительной связкой: Все S есть Р, например: Все школьники являются учащимися. Эти суждения обозначаются в логике латинской буквой А.
2. Частноутвердительные суждения. Название данного вида свидетельствует о том, что он представляет собой суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: Некоторые животные являются хищниками. Эти суждения обозначаются латинской буквой I.
3. Общеотрицательные суждения – это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р), например: Все планеты не являются звездами (или Ни одна планета не является звездой). Такие суждения обозначаются латинской буквой Е.
4. Частноотрицательные суждения – это суждения с частным объемом субъекта и отрицательной связкой: