Классификация простых категорических атрибутивных суждений

Категорические суждения делятся по качеству и количеству, а так как любое суждение имеет и количественную и качественную характеристику, их принято делить по объединенной классификации.

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

Утвердительное и отрицательное суждения различаются xaрактером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не»рассматривается как утвердительное. Например: «Данное pешение суда является необоснованным», «Религия – ненаучное мировоззрение».

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

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

2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.

Единичнымназывается суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: «Это здание есть памятник архитектуры», «Васильев в нотариальной конторе не работает». Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».

Частнымназывается суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть». Например, «Некоторые свидетели дали показания»; «Часть преступлений относится к экономическим»; «Большинство студентов нашего курса не имеют академической задолженности». Схемы частных суждений: «Некоторые S суть Р» и «Некоторые S не суть Р».

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

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

На рис. 8 показана общая форма простого категорического атрибутивного суждения.

Общая логическая форма

простых категориальных атрибутивных суждений

Рис. 8

1,2,3,4,5 – это есть логические места.

1 – это кванторное слово, показывающее количество суждения. Если кванторного слова нет, то это значит, что количество данного суждения не определенно;

2 – субъект суждения;

3 – отрицательная частица «не», которая показывает качество суждения. Если она есть, то суждение отрицательное. Если ее нет, то суждение положительное;

4 – логическая связка;

5 – предикат суждения.

Логических мест в данном виде суждения может быть от двух (2 и 5) до пяти, т.к. логические места 1, 3, 4 могут отсутствовать.

3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются. По своей характеристике они приравниваются к соответствующим общим: общеутвердительным и общеотрицательным.

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

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

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

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

В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные – двумя гласными буквами латинского слова nego («отрицаю»). В соответствии с этим суждения обозначаются следующими буквами: А – общеутвердительное, Е – общеотрицательное, I – частно-утвердительное, О – частноотрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р);

Е (Ни одно S не есть Р);

I (Некоторые S суть Р);

О (Некоторые S не суть Р).