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

Отношение между объемами S и P в простых суждениях может быть распределенным или нераспределенным. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него.

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

В утвердительных общевыделяющих – субъект и предикат равнозначны и, следовательно, распределены. Например: «Только сдавшие зачеты студенты допущены к сессии» означает, что «Все сдавшие зачеты студенты являются студентами, допущенными к сессии» (рис. 11). Для частновыделяющих суждений характерно включение объема предиката в объем субъекта, поэтому субъект не распределен, а предикат – распределен. Например, «Среди крупных городов есть столицы» (рис. 12).

В отрицательных общевыделяющих суждениях субъект и предикат находятся в отношении противоречия и являются распределенными. «Ни один подозреваемый не является обвиняемым» (рис. 13). В случае частновыделяющих суждений предикат распределен, поскольку находится в подчинении у субъекта, а субъект – не распределен. Например, «Некоторые крупные города не являются столицами» (рис. 14).

Исключающими называются суждения, в которых признак утверждается или отрицается относительно всего класса, за исключением какого-то подкласса. Например, суждение: «Все студенты, за исключением не допущенных к сессии, присутствуют на экзамене» содержит фактически два суждения – «Все студенты, допущенные к сессии, присутствуют на экзамене» и «Не допущенные к сессии студенты не присутствуют на экзамене».

Субъект исходного суждения (S) содержит два подкласса (S1) (S2). S в исходном суждении не распределен, но S1 и S2 в составляющих его суждениях распределены.