3. Выделяющие и исключающие суждения

Наконец, заметим, что к числу категорических суждений часто относят так называемые выделяющие категорические суждения видов:

Общевыделяющие: Все S, и только S, суть Р, Все S, но не только S, суть Р,

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

Частновыделяющие вида 1: Некоторые S, и только S, суть Р,

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

Существует и другая разновидность частновыделяющих суждений: Только некоторые S суть Р; Только некоторые S не суть Р

Частновыделяющие вида 2: К числу категорических относят также обычно и исклюючающие суждения видов: Все S, кроме R, суть Р;

Ни одно S, кроме R, не суть Р

Исключающие: Эта форма суждения не является естественной и в естественном языке не встречается. Однако более точно суждения приведенных форм следует характеризовать не как категорические, то есть разновидность простых, а как некоторые сложные суждения. Так, Все S, и только S, суть Р означает; Все S суть Р и ни одно не-S не есть Р, то есть сложное суждение — конъюнкция двух высказываний. Например, суждение «Все млекопитающие животные и только млекопитающие являются Теплокровными» имеет смысл: «Все млекопитающие животные суть теплокровные животные и ни одно не млекопитающее животное не является теплокровным.

Суждение вида «Все S, но не только S, суть Р» равнозначно: ≪Все S суть Р и некоторые не-S суть Р≫ Очевидно, что вроде бы простое по внешнему виду уждение «Все металлы, но не только они, проводят электрический ток» равносильно сложному: «Все металлы проводят электрический ток и некоторые неметаллы проводят электрический ток». Первые два из частновыделяющих (вида 1) отличаются от других двух (вида 2) тем, что логическая константа только связана в них с субъектом, в двух других — с кванторным словом ≪некоторые≫ (первые можно было назвать субъектно-выделяющими, а вторые — кванторно-ыделяющими

суждениями). Для первых имеем эквивалентности:

Некоторые S, и только S, суть Р = (Некоторые S суть Р) & (Ни одно не-S не суть Р). Например, ≪Некоторые кислоты и только они образуют соли≫ эквивалентно ≪Некоторые кислоты образуют соли и ни одна не кислота не образует соли≫.

Некоторые S, и только S, не суть Р = (Некоторые S не суть Р) и (Все не-Sсуть Р). Например, ≪Некоторые лодыри и только они не сдадут этот экзамен≫ = Некоторые лодыри не сдадут этот экзамен≫ и ≪Все не-лодыри сдадут его≫. Два других частновыделяющих вида 2 (кванторно-выделяющие) эквивалентны между собой и могут быть истолкованы как конъюнкция: (Некоторые S суть Р) & (Некоторые S

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

ный в свою очередь ≪Неверно, что все S суть Р≫. Поэтому все выделяющее суждение эквивалентно такому: (Некоторые S суть Р) & (Неверно, что все S суть Р).

В суждении формы ≪Только некоторые S не суть Р≫ выделяется первая часть упомянутой конъюнкции (Некоторые S суть Р), эквивалентная ≪Неверно, что ни одно S не суть Р≫. Принимая это во внимание, можно увидеть, что все выделяющее суждение этого вида эквивалентно: (Неверно, что ни одно S не суть Р) & (Некоторые S не суть Р). Упомянутые психологические различия связаны со спецификой ситуаций, в которых высказываются эти суждения. Обычно эти суждения употребляются как возражения на необоснованные обобщения: если, например, студенты заявляют, что никто не сдаст логику, преподаватель может ответить:

≪Только некоторые не сдадут!≫, подчеркивая тот факт — первый член конъюнкции, — это некоторые сдадут. В случае же проявления излишней самонадеянности ≪Все сдадим!≫, естественно возразить: ≪Нет, только некоторые сдадут!≫, оттеняя второй член конъюнкции — ≪Некоторые не сдадут≫. Как видим, логическая константа ≪только≫ употребляется как некоторый ослабленный аналог отрицания (≪Прямым≫ отрицанием в первом случае было бы суждение Некоторые

сдадут≫, а во втором —≪Некоторые не сдадут≫). Исключающее суждение формы ≪Все S, кроме R, суть Р≫ выражает сложное суждение: (Все S, которые не являются R, суть Р) & (Ни одно R не есть Р). (Более детально, с учетом рода М понятии S, R, Р: ≪Все предметы класса М, обладающие свойством S и не обладающие свойством R, суть предметы М, обладающие свойством Р, и ни один предмет М, обладающий свойством R, не есть предмет М, обладающий свой-

ством Р≫). Так, если кто-то говорит: ≪Все спортсмены, кроме боксеров, вызывают у меня симпатию≫, то фактически он утверждает: ≪Все спортсмены не-боксеры вызывают у него симпатию≫ (1) и ≪Ни один боксер симпатии у него не вызывает≫ (2). (С учетом М — особого рода понятий, играющих роль S, R, Р: 1. Все люди (М), являющиеся спортсменами (S) и при этом не являющиеся боксерами (R) есть люди (М), вызывающие у него симпатию (Р) и 2. Ни один человек (М), являющийся бок-

сером (R) не есть человек (М), вызывающий у него симпатию (Р))- Другая словесная формулировка исключающего суждения этого вида — сходная с выделяющим — ≪Среди S только R не суть Р≫. Аналогичным образом выясняется смысл отрицательного исключающего суждения ≪Ни одно S, кроме R, не суть Р≫.