Распределенность терминов в категорических суждениях
Так как простое категорическое суждение состоит из терминов S и Р, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых суждениях может быть изображено при помощи круговых схем Эйлера, отражающих отношения между понятиями. В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным” если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).
Суждение А - общеутвердительное. Его структура: “Все S суть Р”. Рассмотрим два случая.
1. В суждении “Все караси - рыбы” субъектом является понятие “карась”, а предикатом -понятие “рыба”. Квантор общности - “все”. Субъект распределен, так как речь идет о всех карасях, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.
Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера. На рис. 10 изображено соотношение S и Р в суждении А. Заштрихованная часть круга на рисунках 10-15 характеризует распределенность (или нераспределенность) терминов.
Рис.10 Рис. 11
Если объем Р больше (шире) объема S, то Р - не распределен.
2. В суждении “Все квадраты - равносторонние прямоугольники” термины такие: S - “квадрат”, Р -“равносторонний прямоугольник” и квантор общности - “все”. В этом суждении Sраспределен и Рраспределен, ибо их объемы полностью совпадают (рис. 11).
Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях1.
Суждение I - частноутвердителъное. Его структура: “Некоторые S суть Р”. Рассмотрим два случая.
1. В суждении “Некоторые подростки - филателисты” термины такие: S - “подросток”, Р -“филателист”, квантор существования - “некоторые”. Соотношение S и Р изображено на рис. 12. Субъект не распределен, так как в нем мыслится только часть подростков, т. е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками).
Рис. 12 Рис. 13
Если понятия S и Р перекрещиваются, то Р не распределен.
2. В суждении “Некоторые писатели - драматурги” термины такие: S- “писатель”, Р - “драматург” и квантор существования -“некоторые”. Субъект не распределен, так как в нем мыслится только часть писателей, т. е. объем субъекта лишь частично включается в объем предиката. Предикат распределен, ибо объем предиката полностью входит в объем субъекта (рис. 13). Таким образом,
Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях.
Суждение Е - общеотрицательное. Его структура: “Ни одно S не суть Р. Например: “Ни один лев не есть травоядное животное”. В нем термины такие: S- “лев”, Р- “травоядное животное” и кванторное слово - “ни один”. Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S, и Р распределены (рис. 14).
Рис. 14 Рис. 15
Суждение О - частноотрицатеяьное. Его структура: “Некоторые S не суть Р”. Например: “Некоторые учащиеся не являются спортсменами”. В нем такие термины: S - “учащийся”, Р -“спортсмен” и квантор существования - “некоторые”. Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте (рис. 15).
Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р <= S.
Распределенность терминов в категорических суждениях можно выразить в виде схемы (рис. 16), где знаком “+” выражена распределенность термина, а знаком “-” его нераспределенность. В ней же дана объединенная информация о простых суждениях.
Рис. 16
Без знания правил распределенности терминов в категорических суждениях отпадает один из способов проверки, правильно ли построен категорический силлогизм или сделано непосредственное умозаключение.