3. Виды атрибутивных суждений

А. Деление суждений по качеству

Суждения по качеству бывают либо утвердительными, либо отрицательными («S есть Р»; «S есть не-Р»; «S не есть Р»).

При помощи каких бы грамматических средств ни выражался факт отсутствия у предмета того или иного признака, его всегда можно выразить в суждении, имеющем структуры «S не есть Р» или «S есть не Р». Суждение, имеющее структуру «S не есть Р» может быть в любом случае преобразовано в суждение «S есть не Р» и наоборот. При этих преобразованиях значение истинности суждений не будет изменяться.

Б. Деление суждений по количеству

Суждения по количеству делятся на

1. общие: «Все S есть Р»; «Ни одно S не есть Р»;

2. частные: «Некоторые S есть Р»; «Некоторые S не есть Р»;

3. единичные: «Это S есть Р»; «Это S не есть Р»

В. Деление суждений по качеству и количеству

1. общеутвердительные (суждение общее по количеству и утвердительное по качеству: «Все S есть Р»),

2. общеотрицательные (суждение общее по количеству и отрицательное по качеству: «Ни одно S не есть Р»);

3. частноутвердительные (суждение частное по количеству и утвердительное по качеству: «Некоторые S есть Р»;),

4. частноотрицательные (суждение частное по количеству и отрицательное по качеству: «Некоторые S не есть Р»)

Таблица 1

Форма категорических суждений

Вид суждения	Обозначение	Формула суждения
		в традиционной логике	в математической логике
Общеутвердительные	А	Все S есть Р (SаР)	x(S(x)  Р(х))
Общеотрицательные	Е	Ни одно S не есть Р (SеР)	x(S(x)  Р(х))
Частноутвердительные	I	Некоторые S есть Р (SiР)	x(S(x)  Р(х))
Частноотрицательные	О	Некоторые S не есть Р (SоР)	x(S(x)  Р(х))

4. Распределенность терминов в суждении

Распределенность терминов есть знание об отношении субъекта и предиката, которое мы можем получить в результате анализа того или иного суждения.

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

Так, из структуры общеутвердительного суждения «Все S есть Р» можно сделать заключение, что объем S полностью входит в объем Р (следовательно, термин S распределен). Объем же Р частично входит в объем S, так как если все S входят в объем Р, то для всех конкретных общеутвердительных суждений будет верно, что Р по крайней мере частично совпадает с объемом S. Это означает, что термин Р в общеутвердительном суждении не распределен.

Таблица 2

Распределенность терминов

вид суждения термин	А	Е	I	О
S	+	+	-	-
Р	-	+	-	+
Р выделяющих суждений	+	+	+	+

Субъект распределен в общих и не распределен в частных суждениях.

Предикат распределен в отрицательных и не распределен в утвердительных суждениях.

В выделяющих суждениях предикат распределен.