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

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

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

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

Их каноническая форма: Все 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. Возможные отношения между субъектом и предикатом

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