Категория:Простые Суждения

Процедура придания логической формы выражениям естественного языка выглядит так:

• (а) спрашиваем, о чём (о ком) говорится в суждении; ответ на этот вопрос даёт нам субъект;
• (б) спрашиваем, говорится ли обо всём объёме понятия, соответствующего субъекту, о части его или об отдельном предмете; ответ на этот вопрос даёт нам квантор (или обосновывает его отсутствие);
• (в) спрашиваем, утверждается или отрицается что-либо относительно субъекта; ответ на этот вопрос даёт нам связку;
• (г) спрашиваем, что именно утверждается или отрицается; ответ на этот вопрос даёт нам предикат;
• (д) расставляем квантор, субъект, связку и предикат в том порядке, в котором они должны находится, и формулируем суждение в логической форме с теми переформулировками, которые придадут ему должные естественность и благозвучие.

Объединяя количественную и качественную характеристики, суждения делятся на:

• общеутвердительные (А) - "Все S есть Р",
• частноутвердительные (I) - "Некоторые S есть Р",
• общеотрицательные (Е) - "Ни один S не есть Р",
• частноотрицательные (О) - "Некоторые S не есть Р"

Категорическое суждение
(в традиционной логике) -суждение, в котором предикат утверждается или отрицается относительно субъекта без формулирования к.-л. условий и при этом исключаются к.-л. альтернативные предикаты. К.с. имеют вид: "S есть (не есть) Р" и относятся к классу простых суждений. К. с. обычно противопоставляются условным и разделительным суждениям.

В Средние века были приняты эти буквенные обозначения по первым гласным латинских слов affirmo - утверждаю и nego - отрицаю.