2) Или A, или B, или C есть P

Разница между этими двумя видами разделительных суждений, как это легко видеть, сводится к следующему. В первом случае возможны два, три или больше сказуемых при одном подлежащем, во втором возможны два, три или больше подлежащих при одном сказуемом. Эта возможность нескольких подлежащих при одном сказуемом или нескольких сказуемых при одном подлежащем делает суждение неопределённым. Возьмём суждение «треугольник есть или остроугольный, или тупоугольный, или прямоугольный»; в этом суждении одно подлежащее и три сказуемых.

Придавая подлежащему одно какое-нибудь сказуемое, мы исключаем все остальные. Вследствие этого если одно суждение истинно, то остальные должны быть ложны. Если я говорю, что треугольник есть прямоугольный, то это значит, что он не остроугольный и не тупоугольный. Примером второго вида разделительных суждений может служить следующее суждение: «или Бэкон, или Шекспир, или человек, равный им по таланту, написал произведения, приписываемые Шекспиру».

Условия правильности разделительных суждений те же самые, что и условия правильности деления; они состоят в том, чтобы члены деления были приведены полностью и чтобы члены деления исключали друг друга. Против этого правила погрешают, например, такие суждения:

«треугольники бывают или прямоугольные, или тупоугольные»;

«человек бывает или образованный, или бедный» (какие ошибки?).

Условно-разделительные суждения. Из соединения условных суждений с разделительными образуются условно разделительные суждения. Схема их:

Если A есть B, то C есть или D, или E, или F,

или в более общей форме эту схему можно изобразить так:

Если есть A, то есть или a, или b, или c,

например, «если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии».

Модальность суждений. Остаётся рассмотреть четвёртое отношение между суждениями, именно с точки зрения модальности. С этой точки зрения рассматривается, с какой квалификацией, т.е. каким образом (cummodo), в суждении сказуемое приписывается подлежащему. Таких квалификаций можно признать три, а отсюда получается деление суждений по модальности на три разряда:

1. Проблематические: «S, вероятно, есть P». «Илиада есть, вероятно, продукт коллективного творчества». В проблематическом суждении соединение подлежащего со сказуемым и разъединение подлежащего от сказуемого выставляется просто как известное предположение.

2. Ассерторические: «S есть P». «Киев стоит на Днепре», «вода состоит из водорода и кислорода».

3. Аподиктические: «S необходимо должно быть P». Например, «две прямые линии не могут замыкать пространства».

Анализируя приведённые примеры, мы видим, что проблематическое суждение характеризуется некоторым ограничением связи между подлежащим и сказуемым (утверждается вероятность, возможность); об ассерторическом суждении связь подлежащего со сказуемым утверждается решительно, без колебания (утверждается действительность какого-либо факта); в аподиктическом суждении утверждение получает характер необходимости.

На первый взгляд различие между суждениями ассерторическими и аподиктическими не совсем ясно. Кажется, что оба они обладают одинаковой достоверностью и что поэтому между ними нет различия; на самом же деле между ними различие очень большое. Суждения ассерторические утверждают нечто действительно существующее, в этом смысле нечто вполне достоверное, но всегда можно мыслить и обратное тому, что утверждается в ассерторическом суждении; что же касается аподиктических суждений, то никоим образом нельзя мыслить противоречащих им суждений. Например, если я возьму ассерторическое суждение «Киев стоит на Днепре», я могу мыслить Киев стоящим не на Днепре, а, например, на Неве; если же я возьму аподиктическое суждение «две прямые линии не могут замыкать пространства», то я не могу мыслить иначе, я не могу мыслить, чтобы две прямые замыкали пространство. Аподиктическое суждение имеет характер необходимый. Другой пример аподиктических суждений: «если две величины равняются одной и той же третьей, то они равны между собой».

Эти три признака – возможность, действительность, необходимость – и характеризуют собой три вида указанных суждений, т.е. если в суждении выражается или возможность, или действительность, или необходимость, то получается или суждение проблематическое, или ассерторическое, или аподиктическое.

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

Как делятся суждения по количеству и по качеству? На какие четыре класса делятся суждения и как они обозначаются? Как различаются суждения по отношению между подлежащим и сказуемым? Какова схема суждений категорических, условных, разделительных? Как делятся суждения по модальности и какое между ними различие? Каково отношение между ассерторическими и аподиктическими суждениями?

Отношение между подлежащим и сказуемым. Мы видели, что суждения бывают обще-утвердительные, обще-отрицательные, частно-утвердительные и частно-отрицательные. Выясним отношение между подлежащим и сказуемым во всех этих классах суждений.

Суждения A. Возьмём обще-утвердительное суждение «все рыбы суть позвоночные» (все S суть P). В этом суждении мы утверждаем, что всякая рыба входит в объём класса позвоночных, другими словами, что в класс вещей, который мы обозначаем при помощи сказуемого «позвоночные», входит целиком класс вещей, обозначаемых подлежащим. Но так как в классе позвоночных кроме рыб есть ещё и другие животные, то объём класса позвоночных будет больше класса рыб. Если понятие S содержится в объёме понятия P, то символически мы можем это представить при помощи круга S, который находится внутри круга P. Поэтому те обще-утвердительные суждения, в которых объём подлежащего меньше объёма сказуемого, можно символически изобразить, как это представлено на рис. 10.

Но если в обще-утвердительных суждениях подлежащее и сказуемое будут понятиями равнозначащими, то символ их будет иной. Возьмём пример: «все квадраты суть параллелограммы с равными сторонами и равными углами». В целом суждении S и P суть понятия равнозначащие и, как таковые, совпадают друг с другом своими объёмами. Поэтому мы не можем круг поместить в середине P, как это мы сделали в предыдущем суждении, а должны представить отношение S к P в виде двух совпадающих кругов (рис. 11).

Суждения E. Возьмём обще-отрицательное суждение «ни одно насекомое не есть позвоночное». В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым; один класс находится вне другого класса. Мы в мышлении совершенно отделяем класс подлежащего от класса сказуемого. Символически отношение S к P в таких суждениях может быть обозначено посредством двух отдельно стоящих и не связанных друг с другом кругов (рис. 12).

Суждения I. Возьмём частно-утвердительное суждение «некоторые книги полезны». В этом суждении часть класса S входит в объём класса P, т.е. совпадает с классом P. Если какая-нибудь часть S совпадает с P, то круги S и P должны иметь общую часть, т.е. должны пересекаться. Символически отношение между подлежащим и сказуемым в частно-утвердительных суждениях можно изобразить так, как это сделано на рис. 13.