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

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

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

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 – распределен

 

 

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

 

	А	E	I	O
S	+	+	-	-
P	-	+	-	+

 

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

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

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