7.2. Классификация категорических суждений

Атрибутивные (или категорические) суждения делятся по качеству, по количеству, или по объединенной классификации.

А. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Утвердительное и отрицательное суждения различаются качеством связки.

Например, «Автором произведения признается гражданин Н» – утвердительное суждение. Логическая схема утвердительного суждения «S есть Р». «Обвиняемый не обязан доказывать свою невиновность». Логическая схема отрицательного суждения – «S не есть Р».

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

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

Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете.

Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».

Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса.

Схемы частных суждений: «Некоторые S суть Р» и «Некоторые S не суть Р».

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

Схемы общих суждений: «Все S суть Р» и «Ни одно S не есть Р».

В. Объединенная классификация (по количественно-качественной характеристике):

Общеутвердительное суждение – это суждение, общее по количеству и утвердительное по качеству. Схема общеутвердительного суждения «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения.

Общеотрицательное суждение – суждение, общее по количеству и отрицательное по качеству. Схема общеотрицательного суждения «Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» – качество суждения.

Частноутвердительное суждение – суждение, частное по количеству и утвердительное по качеству. Схема этих суждений «Некоторые S суть Р». Количество суждений характеризует кванторное слово «некоторые», качество – утвердительная связка, выраженная словом «суть».

Частноотрцательное суждение – суждение, частное по количеству и отрицательное по качеству. Это суждение имеет схему «Некоторые S не суть Р». Кванторное слово «некоторые» указывает на количество, отрицательная связка «не суть» – на его качество.

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

На языке логики предикатов их записывают следующим образом:

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

Е (Ни одно S не есть Р): х(S(x)→ ┐Р(х)) читается: ни одному х, которому присуще свойство S, не присуще свойство Р. Например: «Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)».

I (Некоторые S суть Р): x(S(x)/\Р(х)) читается: существуют х, которым присуще свойство S и свойство Р. Например: «Некоторые приговоры суда (S) являются обвинительными (Р)».

О (Некоторые S не суть Р): x(S(x)/\ ┐Р(х)) читается: существуют х, которым присуще свойство S и не присуще свойство Р. Например: «Некоторые приговоры суда (S) не являются обвинительными (Р)».