Классификация простых категорических суждений по количеству и качеству

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

1. А - общеутвердительное суждение. Структура его: “Все Sсуть Р ”. Например: “Все люди хотят счастья”.

2.I- частноутвердительное суждение. Структура его: “Неко­торые S есть P ). Например, “Некоторые уроки стимулируют творческую активность учащихся”.

3. Е - общеотрицательное суждение. Его структура: “Ни одно S не есть Р ”. Пример: “Ни один океан не является пресновод­ным”.

4. О - частноотрицательное суждение. Структура его: “Неко­торые S не есть Р ”. Например, “Некоторые спортсмены не явля­ются чемпионами Олимпийских игр.

Распределенность терминов в категорических суждениях

Термин считается распределенным если его объ­ем полностью включается в объем другого термина или полно­стью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).

Суждение А - общеутвердительное. Его структура: “Все S суть Р”. Рассмотрим два случая.

1. В суждении “Все караси - рыбы” субъектом является по­нятие “карась”, а предикатом -понятие “рыба”. Квантор общно­сти - “все”. Субъект распределен, так как речь идет о всех кара­сях, т.е. его объем полностью включен в объем предиката. Пре­дикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет лишь о той части объ­ема предиката, которая совпадает с объемом субъекта.

Если объем Р больше (шире) объема S, то Р - не распределен.

2. В суждении “Все квадраты - равносторонние прямоуголь­ники” термины такие: S - “квадрат”, Р - “равносторонний пря­моугольник” и квантор общности - “все”. В этом суждении S распределен и Р распределен, ибо их объемы полностью совпа­дают.

Если S равен по объему Р, то Р распределен.

Суждение I - частноутвердителъное. Его структура: “Не­которые S суть Р”. Рассмотрим два случая.

1. В суждении “Некоторые подростки - филателисты” тер­мины такие: S - “подросток”, Р -“филателист”, квантор существования - “некоторые”. Субъект не распределен, так как в нем мыслится только часть подростков, т. е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распреде­лен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками).

Если понятия S и Р перекрещиваются, то Р не распределен.

2. В суждении “Некоторые писатели - драматурги” термины такие: S - “писатель”, Р -“драматург” и квантор существования -“некоторые”. Субъект не распределен, так как в нем мыслится толь­ко часть писателей, т. е. объем субъекта лишь частично включает­ся в объем предиката. Предикат распределен, ибо объем предика­та полностью входит в объем субъекта. Таким образом, Р распределен, если объем Р меньше объема S, что бывает в част­ных выделяющих суждениях.

Суждение Е - общеотрицательное. Его структура: “Ни одно S не суть Р.

Например: “Ни один лев не есть травоядное живот­ное”. В нем термины такие: S - “лев”, Р- “травоядное живот­ное” и кванторное слово - “ни один”. Здесь объем субъекта пол­ностью исключается из объема предиката, и наоборот. Поэтому и S, и Р распределены.

Суждение О - частноотрицательное. Его структура: “Неко­торые S не суть Р”.

Например: “Некоторые учащиеся не являют­ся спортсменами”. В нем такие термины: S - “учащийся”, Р -“спортсмен” и квантор существования - “некоторые”. Субъект не распределен, так как мыслится лишь часть учащихся, а пре­дикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте.

Итак, S распределен в общих суждениях и не распреде­лен в частных; Р всегда распределен в отрицательных су­ждениях, в утвердительных же он распределен тогда, ко­гда по объему Р <= S.

Распределенность терминов в категорических суждениях мож­но выразить в виде схемы (рис. 16), где знаком “+” выражена распределенность термина, а знаком “-” его нераспределенность. В ней же дана объединенная информация о простых суждениях.