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

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

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

В соответствии с этим атрибутивные суждения делятся не утвердительные и отрицательные. Например, «Все люди суть разумные существа» - утвердительное суждение, «Ни один папоротник никогда не цветет» - отрицательное суждение.

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

В зависимости от того, утверждается или отрицается что-либо о предмете мысли относительно всего логического класса, части его или одного предмета, атрибутивные суждения делятся на общие, частные или единичные. Например, суждение «Все металлы - проводники» - общее, «Некоторые люди не знают грамоты» - частное, «Иван Сергеевич Тургенев – автор романа «Отцы и дети»» - единичное.

Объединенная классификация суждений по качеству и количеству

По качеству и количеству атрибутивные суждения делятся на 4 вида.

1. Общеутвердительные – суждения, являющиеся одновременно общими и утвердительными. Например, «Все крокодилы суть пресмыкающиеся животные».

2. Частноутвердительные – суждения, частные и утвердительные одновременно. Например, «Некоторые юристы являются прокурорами».

3. Общеотрицательные – общие и отрицательные одновременно. Например, «Ни одна планета не светит собственным светом».

4. Частноотрицательные – частные и отрицательные одновременно. Например, «Некоторые утверждения не являются истинными».

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

Символическое выражение категорических суждений

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

Общеутвердительные суждения обозначаются буквой А.

Общеотрицательные – Е.

Частноутвердительные – I.

Частноотрицательные – О.

Современная символическая логика вводит специальные средства для обозначения А, Е, I, О: кванторы, логические переменные и логические постоянные.

А - – “Все S суть P” (для всякого х верно, что если он обладает свойством S, то обладает свойством P).

I – – “Некоторые S суть P” (существуют х, обладающие свойством S и свойством P).

E – – “Ни одно S не суть P” (для всякого х верно, что если он обладает свойством S, то не обладает свойством P).

O – – “Некоторые S не суть P” (существуют х, обладающие свойством S и не обладающие свойством P).