Классификация категорических суждений по количеству и качеству

Качество суждения определяется связкой («есть» или «не есть»). Соответственно различают утвердительные и отрицательные простые суждения. Отрицательные суждения не следует смешивать с утвердительными суждениями, в которых предикат (P) – отрицательное понятие, например: неумелый, небогатый, невысокий. В отрицательных суждениях отрицание «не» стоит перед связкой («Лаура не является высокой»).

По количеству различают общие и частные суждения. В общих суждениях речь идет обо всем объеме субъекта (S). Частные суждения относятся лишь к части объема субъекта.

На количество суждения указывает так называемый квантор (кванторное слово). «Каждый», «все», «всякий», «ни один» - кванторы общих суждений. Ясно, что речь идет обо всех предметах, входящих в объем субъекта суждения.

«Часть», «некоторые», «многие», «немногие», «большинство» и т.п. – кванторы частных суждений.

Часто квантор не имеет явного языкового выражения, однако он подразумевается и при выявлении логической структуры суждения, обязан быть сформулирован в явном виде. «Пингвины – не рыбы». «Ни один пингвин не является рыбой».

Логика дает объединенную классификацию суждений по качеству и количеству, которая включает суждения четырех типов.

1. Общеутвердительные суждения (суждения типа A). «Все S есть P» («Все прокуроры - юристы»). Отношение между субъектом (S) и предикатом (P) в суждениях типа A есть отношение между объемами понятий и постольку может быть выражено схемой Эйлера.

Весь объем S входит в объем P.

2. Частноутвердительные суждения: «Некоторые S есть P» («Некоторые юристы являются адвокатами»). Схема Эйлера для чатсноутвердительных суждений имеет вид:

3. Общеотрицательные суждения: «Ни один дельфин не является рыбой». Схема Эйлера для суждений типа E такова:

4. Частноотрицательные суждения: «Некоторые преподаватели снисходительны».

Речь в суждениях типа O идет лишь о части (заштрихованной) объема S суждения – она не входит в объем предиката (P).

Единичные суждения, т.е. суждения о признаках отдельных предметов относят в этой классификации к общим суждениям.

«Автор «Бесприданницы» жил в России». Речь идет обо всем объеме S суждения и поэтому в канонической форме суждение имеет вид: «Всякий автор «Бесприданницы» жил в России». S и P суждения называют его терминами.

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

Термин распределен в суждении, если в суждении речь идет обо всем объеме термина.

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

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

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

В утвердительных суждениях P нераспределен, т.к. в них говориться только о той части объема предиката, которая совпадает с объемом субъекта.