Типы простых атрибутивных суждений

№	Наименование	Логическая форма	Сокращенная запись
1.	Общеутвердительные	Всякий S есть P	S а P
2.	Общеотрицательные	Всякий S не есть P	S е P
3.	Частноутвердительные	Некоторые S есть P	S i P
4.	Частноотрицательные	Некоторые S не есть P	S o P
5.	Единичноутвердительные	а есть Р	S а P
6.	Единичноотрицательные	а не есть Р	S е P

В названиях категорических атрибутивных высказываний приведенных выше указываются их количественные и качественные характеристики.

Единичные высказывания не играют самостоятельной роли, самостоятельную роль играют только высказывания первых четырех типов. В средние века высказывания этих последних типов получили специальные обозначения: предложения с логической формой «Всякий S есть Р» стали называться высказываниями типа а (первая буква латинского слова «affirmo» – утверждаю); предложения с логической формой «Некоторый S есть Р» стали называться высказываниями типа i (вторая гласная в том же слове); предложения вида «Всякий S не есть P» относиться к высказываниям типа е (первая гласная буква в слове «nego» – отрицаю), а предложения вида «Некоторый S не есть Р» – к высказываниям типа о (вторая гласная в слове «nego»). Эти обозначения являются удобным средством сокращенного представления в языке категорических высказываний.

19. Исключающие и выделяющие суждения

Исключающие и выделяющие суждения следует характеризовать скорее всего не как категорические, то есть разновидность простых, а как некоторые сложные суждения.

Общевыделяющие суждения.

«Все S, и только S, суть Р»,

«Все S, но не только S, суть Р»,

«Ни одно S, и только S, не есть Р».

Например, «Все S, и только S, суть Р» означает «Все S есть Р и ни одно не-S не есть Р», то есть два простых высказывания.

Суждение

«Все млекопитающие животные и только млекопитающие являются теплокровными»

имеет смысл:

«Все млекопитающие животные суть теплокровные животные и ни одно не млекопитающее животное не является теплокровным».

Частновыделяющие суждения (вида 1, слово «только» относится к субъекту).

1) «Некоторые S, и только S, суть Р»,

2) «Некоторые S, и только S, не суть Р».

Данные высказывания эквивалентны:

1. «Некоторые S есть Р и Ни одно не-S не суть Р»

Например, «Некоторые кислоты и только они образуют соли» эквивалентно «Некоторые кислоты образуют соли и ни одна не кислота не образует соли».

2. «Некоторые S не есть Р и Все не-S есть Р»

Например, «Некоторые лодыри и только они не сдадут этот экзамен» и «Все не-лодыри сдадут его».

Частновыделяющие суждения (вида 2, слово «только» относится к кванторному слову).

1) «Только некоторые S есть Р».

2) «Только некоторые S не есть Р».

Данные высказывания эквивалентны: «Некоторые S есть Р» и «Некоторые S не есть Р». Например, «Только некоторые студенты становятся профессорами» эквивалентно «Некоторые студенты становятся профессорами и некоторые студенты не становятся профессорами».

Исключающие суждения.

1) «Все S, кроме R, суть Р» выражает сложное суждение: «Все S, которые не являются R, есть Р» и «Ни одно R не есть Р». Например, «Все спортсмены, кроме боксеров, вызывают у меня симпатию» эквивалентно «Все спортсмены не-боксеры вызывают у меня симпатию» и «Ни один боксер не вызывает у меня симпатию».

2) «Ни одно S, кроме R, не суть Р».