ЛОГИКА

г) Из ложности общего суждения (А, Е) нельзя выводить ни необходимой ложности, ни необходимой истинности подчинённого ему частного суждения (I, О). Здесь вопрос остаётся открытым и из рассмотрения одного лишь данного суждения решён быть не может. Возможно, что при дальнейшем исследовании окажется, что подчинённое суждение будет также ложным. Но возможно и то, что оно окажется истинным. Если ложно общее суждение «все планеты населены организмами», то остаётся ещё неизвестным, будет ли истинным или ложным подчинённое частное суждение: «некоторые планеты населены организмами». Суждение это будет ложным, если истинным окажется контрарное суждение: «ни одна планета не населена организмами». Но оно будет истинным, если контрарное суждение «ни одна планета не населена организмами» окажется ложным.

Таким образом, в случае подчинения суждений:

1) истинность общего суждения означает непременную истинность частного суждения, но истинность частного суждения ещё не означает необходимой истинности общего;

2) ложность частного суждения означает ложность также и общего суждения, но ложность общего ещё не означает непременной ложности частного.

§ 10. При сопоставлении подчинённых суждений необходимо помнить, что отношение подчинения имеет место только там, где частное суждение (I), подчинённое общему суждению (А), не имеет смысла, противоположного смыслу общего суждения. Рассмотрим с этой точки зрения суждения: «все газы могут быть сжижаемы в жидкости» и «некоторые газы могут быть сжижаемы в жидкости».

Будет ли между этими суждениями отношение подчинения? — Это зависит от того, какой смысл имеет во втором суждении выражение — «некоторые газы». Если выражение «некоторые газы» имеет смысл: «какая-то, неизвестно, какая именно, часть газов», то в этом случае частное суждение («некоторые газы могут быть сжижаемы в жидкости») будет действительно подчинено общему суждению («все газы могут быть сжижаемы в жидкости»). В этом случае истинность А означает вместе и истинность I.

То же самое условие приводит к тому же результату и в случае, если оба суждения отрицательные (Е и О). Так, суждение «некоторые газы не могут быть сжижаемы в жидкости» (О) подчинено суждению «ни один газ не может быть сжижаем в жидкость» (Е) при условии, если выражение «некоторые газы» имеет смысл: «какая-то, неизвестно, какая именно, часть газов». И в этом случае истинность Е означает вместе и истинность О.

Но если суждение «некоторые газы могут быть сжижаемы в жидкость» (I) имеет смысл: «не все газы, но лишь часть газов может быть сжижаема в жидкость», тогда суждение это не будет подчинено суждению «все газы могут быть сжижаемы в жидкости» (А). В этом случае суждение «некоторые (т. е. не все) газы могут быть сжижаемы в жидкости» будет противоположно суждению А («все газы могут быть сжижаемы в жидкости»), так что истинность А несовместима с истинностью I.

Тот же смысл выражения «некоторые газы» приводит к тому же результату, если оба суждения отрицательные (Е и О). И в этом случае отношение между Е и О будет отношением противоположности, а не подчинения, а потому истинность Е несовместима, с истинностью О

«Логический квадрат»

§ 11. Все возможные виды противоположения и подчинения суждений легко доступны обозрению при помощи так называемого «логического квадрата». Так называется наглядная схема, изображающая все отношения между суждениями, имеющими одинаковый материал, но различную форму.

Квадрат этот строится следующим образом (см. рис. 33). Верхний угол слева отмечается буквой А — знаком общеутвердительных суждений. Верхний угол справа отмечается буквой Е — знаком общеотрицательных суждений.

Нижний угол слева отмечается буквой I — знаком частноутвердительных суждений, а нижний угол справа буквой О — знаком частноотрицательных суждений.

§ 12. Расположив знаки качества и количества суждений по вершинам квадрата, легко замечаем, что боковые стороны квадрата AI и ЕО наглядно представляют отношения подчинения.

И действительно, частное суждение «некоторые планеты населены организмами» (I) есть подчинённое относительно общего суждения «все планеты населены организмами» (А). То же справедливо относительно суждений Е—О: частное суждение «некоторые планеты не населены организмами» (О) есть подчинённое относительно общего суждения «ни одна планета не населена организмами» (Е),

Рис. 33

Рассматривая последовательно все отношения между суждениями А, I, Е, О, обозначенными на «логическом квадрате», мы можем без труда повторить все выведенные нами выше правила сопоставления суждений по противоположности и по подчинению.