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

Наконец, следует отметить, что, затрагивая вопрос об экзистенциальной нагруженности, мы вовсе не обязаны сводить область указания терминов к физическому универсуму. Когда мы спрашиваем: «Была ли у Юпитера дочь?» или «Был Гамлет на самом деле сумасшедшим?», мы задаемся вопросом не о физическом существовании, а о существовании индивидов в рамках некоторой предметной области, управляемой определенными допущениями, в нашем случае утверждениями о Гомере или Шекспире. Поэтому индивид, «существование» которого допускается в одной предметной области (универсуме рассуждения), может не существовать в другой. В суждении «Самсон – это чистый миф» отрицается существование Самсона в универсуме достоверной истории, однако, разумеется, оно не отрицается для области библейской мифологии.

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

До настоящего момента нами анализировались только категорические суждения. Однако логические связи присутствуют и между более сложными формами суждений. Рассмотрим следующие суждения:

1. Вес В равен весу G.

2. Прямые АВ и CD параллельны.

3. Если углы AFG и CGF больше двух прямых углов, то оставшиеся углы BFG, DGF меньше двух прямых углов.

4. Сумма внутренних углов одной и той же стороны либо равна, либо больше, либо меньше, чем два прямых угла.

При сравнении первых двух суждений со вторыми двумя видно, что, в отличие от первых двух суждений, вторые два содержат суждения в качестве своих составных компонентов или элементов. Таким образом, «если углы AFG и CGF больше двух прямых углов» и «оставшиеся углы BFG, DGF меньше двух прямых углов» – это тоже суждения, являющиеся компонентами суждений 3 и 4.

Назовем все суждения, содержащие в качестве своих компонентов другие суждения, сложными. При этом читателю следует иметь в виду, что в форме предложения не всегда проявляется выражаемое им суждение. Вспомним сказанное нами в конце предыдущего параграфа, в котором анализировались категорические суждения.

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

1. Рассмотрим суждение «если объявлена война, то цены поднимаются». Мы договорились называть суждение, следующее за словом «если» («объявлена война»), «антецедентом», а суждение, вводимое словом «то» («цены поднимаются») – «консеквентом». Иногда частица «то» пропускается, но при этом она неявно подразумевается во всех подобных случаях. Составное суждение, соединяющее два простых посредством отношения, выражаемого союзом «если… то», называется условным, или импликативным.