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