Категорические суждения

 

Категорическими называют суждения, у которых точно выяснено их качество и количество.

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

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

Их каноническая форма: Все S есть Р.

На языке логики предикатов общеутвердительное суждение запишется следующим образом: "x(S(x)ÉP(x)).

Отметим, что это суждение истинно при определенных отношениях между понятиями S и Р (рис. 11).

Пример. «Все люди есть существа, имеющие преступные наклонности».

 

 

Рис. 11. Возможные отношения между субъектом и предикатом

истинного общеутвердительного суждения

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

Каноническая форма: Ни одно S не есть Р.

Запись на языке логики предикатов: "x(S(x)ÉùP(x)).

Общеотрицательное суждение истинно при отношениях между понятиями S и Р, показанных на рис. 12.

Пример. «Ни один человек не есть существо, имеющее преступные наклонности».

 

Рис. 12. Возможные отношения между субъектом и предикатом

истинного общеотрицательного суждения

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

Каноническая форма: Некоторые S есть Р.

Запись на языке логики предикатов: $x(S(x) Ù P(x)).

Частноутвердительное суждение истинно при отношениях между понятиями S и Р, показанных на рис. 13.

Пример. «Некоторые люди есть существа, имеющие преступные наклонности».

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

Каноническая форма: Некоторые S не есть Р.

Запись на языке логики предикатов: $x(S(x) Ù ùP(x)).

Частноотрицательное суждение также истинно только при определенных отношениях между понятиями S и Р (рис. 14).

Пример. «Некоторые люди не есть существа, имеющие преступные наклонности».

Буквенные обозначения категорических суждений – это гласные буквы латинских слов affirmo - утверждаю и nego - отрицаю.

 

 

Рис. 13. Возможные отношения между субъектом и предикатом

истинного частноутвердительного суждения

 

Рис. 14. Возможные отношения между субъектом и предикатом

истинного частноотрицательного суждения