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

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

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

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

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

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