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

В разделе 3.1. мы не принимали во внимания различия между суждениями и их внутреннюю структуру. Теперь рассмотрим одну из разновидностей суждений – категорические суждения.

 

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

 

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

 

Предметы, которым приписывается признак, называют субъектом суждения и обозначают латинской буквой S.

 

Признак, который приписывают предметам называют предикатом суждения и обозначают латинской буквой P.

 

Субъект связывается с предикатом с помощью связки «есть» или «не есть». В естественном языке эта связка может отсутствовать (в русском языке она как правило отсутствует) или заменяться другими словами. Но логически мы всегда ее подразумевает.

 

Слова, указывающие на то, идет ли речь обо всем субъекте или лишь о его части («все», «некоторые») называют кванторами общности.

 

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

 

Из всего сказанного следует, что категорические суждения отличаются друг от друга по качеству и количеству.

 

По количеству суждения делятся на общие (квантор «Все») и частные (квантор «Некоторые»). Единичные суждения, типа «Иванов есть студент», относят к общим суждениям, так как здесь речь идет обо всем субъекте.

 

По качеству суждения делятся на утвердительные (связка «есть») и отрицательные (связка «не есть»).

 

Объединение этих различий дает четыре вида категорических суждений:

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

2. Частноутвердительное суждение: «Некоторые S есть Р».Например, «Некоторые рыбы могут летать».

3. Общеотрицательное суждение: «Ни одно S не есть Р ». Например, «Ни одна рыба не млекопитающее».

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

 

Для краткости их обозначе­ния в логике принято употреблять следующие символы. Для общеутвердительного суждения берут символ А, первую глас­ную глагола affirmo - утверждаю; для частноутвердитель­ного — I, вторую гласную того же глагола; для общеотрица­тельного — Е, первую гласную глагола nego — отрицаю; для частноотрицательного — О, вторую гласную того же глагола.

 

Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:

 

А Все S есть Pили SaP.

I Некоторые S есть Р, или SiP.

Е Ни одно S не есть P, или SeP.

O Некоторые S не есть P, или SoP.

 

Для дальнейшего изложения важно отметить такие особенности четырех видов суждений как распределение терминов.