Введение в логику и научный метод

Является ли суждение «Тайс была гетерой в Александрии» общим или частным? Читателю может показаться, что частным. Однако он будет не прав, т. к. в таком случае он будет использовать частицу «некоторые» в смысле, отличающемся от того, который применяется в классификации суждений. На основании определения общих суждений как суждений, в которых нечто утверждается обо всем субъекте, данное суждение следует считать общим. Мы считаем, что это было бы еще более очевидным, если бы вместо терминов «общее» и «частное» использовались бы термины «определенное» и «неопределенное». В традиционной логике, однако, такие суждения иногда называются единичными, поскольку в них мы утверждаем нечто относительно одного индивида. Согласно традиционному подходу, единичные суждения следует, тем не менее, классифицировать как общие. Данное заключение, однако, не может считаться удовлетворительным в свете более тонкого анализа. Даже люди, не имеющие предварительной подготовки, смутно чувствуют, что существует разница в форме между суждением «доктор Смит является человеком, внушающим доверие» и суждением «все медики являются людьми, внушающими доверие». Такое чувство расходится с позицией традиционной логики. Современная логика поддерживает данное чувство, ясно демонстрируя, что эти суждения на самом деле являются примерами различных логических форм. При этом для многих целей использование традиционной логики, приписывающей данным суждениям одинаковую структуру, является вполне допустимым.

Качество

Второй принцип классификации категорических суждений – это их качество. В суждении «все змеи ядовиты» о субъекте утверждается предикат. Такое суждение называется утвердительным. В суждении «ни одна демократия не является приемлемой» о субъекте нечто отрицается. Такое суждение является отрицательным. Если мы посмотрим на категорическое суждение как отношение между классами индивидов, то в утвердительном суждении будет утверждаться включение одного класса или части класса другим классом, тогда как в отрицательном суждении утверждается исключение одного класса или части класса из другого. Из этого следует, что отрицательную частицу, являющуюся знаком качества, нужно рассматривать как относящуюся к связке, а не субъекту или предикату.

Как нам классифицировать суждение «все граждане не являются патриотами»? Данное суждение похоже на отрицательное, а знак количества, похоже, указывает на то, что оно общее. Однако, с одной стороны, его можно рассматривать как утверждающее, что «ни один гражданин не является патриотом», но, с другой стороны, оно может быть понято как отрицающее, что «все граждане являются патриотами», или же утверждающее, что «некоторые граждане не являются патриотами» [15] . Выражения, в которых используются слова «все… не», как показано в вышеприведенном примере или как видно на примере суждения «все, что блестит, не является золотом», по своей сути двусмысленны. В подобных случаях нам следует определить, что имеется в виду, и только затем выражать сказанное в ясной форме.

Таким образом, на основании различий, проведенных по количеству и качеству, мы можем насчитать четыре формы категорических суждений. «Все трезвенники живут недолго» является общеутвердительным суждением и обозначается буквой « А ». «Ни один политик не является злобным» является общеотрицательным суждением и обозначается буквой «Е». «Некоторые профессора являются мягкосердечными» – частноутвердительное суждение, обозначающееся буквой « I ». «Некоторые язычники не являются глупыми» – частноотрицательное и обозначается буквой «О». Буквы « А » и « I » традиционно использовались для утвердительных суждений: они являются первыми двумя гласными в слове «affirmo» [16] , тогда как « Е » и « О » обозначают отрицательные суждения: они – гласные в слове «nego» [17] .

 Исключительные и исключающие суждения

В таких суждениях, как «только те, кто зол, счастливы», «только ленивые – бедные», «никто, кроме дикарей, не является здоровым», нечто предицируется чему-то исключительным образом. Поэтому такие суждения называются исключительными. Традиционная логика сводит их к канонической форме категорических суждений. Например, в суждении «только те, кто зол, счастливы» утверждается то же самое, что и в суждении «все счастливые люди – злы». В суждении «никто, кроме храбрых, не заслуживает справедливости» утверждается то же самое, что и в суждении «все, кто заслуживает справедливости, храбры». В суждении «никто, кроме старшекурсников, не допускается» утверждается то же самое, что и в суждении «допускаются только старшекурсники».