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

Термин считается распределенным (или мыслится в полном объеме), если его объем полностью включается в объем другого понятия, или исключается из него. Термин считается нераспределенным, если его объем частично включается в объем другого понятия или исключается из него.

В простых категорических суждениях термины распределены следующим образом (+ означает распределен, - означает не распределен):

1) А (общеутвердительные):

a) s+ s - распределен,

p- p – не распределен.

б) s+, p+ s и p распределены.

S+, P+

2) I (частноутвердительные)

а) s и p – не распределены

б) s- s – не распределен

p+ p – распределен

3) E (общеотрицательные)

s и p – распределены.

4) O (частноотрицательные)

s – не распределен

p – распределен

Распределенность терминов в суждениях может быть представлена в виде следующей таблицы:

В общих суждениях субъект распределен, в частных - не распределен. Предикат в отрицательных суждениях всегда распределен, а в утвердительных он распределен, если Р£S.

Сложные суждения

Сложными называются суждения, состоящие из двух и более простых суждений. Простые суждения соединены между собой при помощи логических связок. Простые суждения со сложным субъектом или сложным предикатом могут быть преобразованы в сложные суждения. Например, “Иванов и Петров – свидетели” (SÙS¹) суть P можно представить: aÙb (“Иванов – свидетель и Петров – свидетель”).