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

Равнозначность – это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения Москва является древним городом, Столица России является древним городом находятся в отношении равнозначности.

Подчинение – это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода. Например, суждения Все растения являются живыми организмами, Все цветы (некоторые растения) являются живыми организмами находятся в отношении подчинения.

Частичное совпадение – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения Некоторые грибы являются съедобными и Некоторые грибы не являются съедобными находятся в отношении частичного совпадения. Необходимо отметить, что в этом отношении находятся только частные суждения – частноутвердительные (I) и частноотрицательные (О).

Несовместимые суждения могут находиться в отношениях противоположности или противоречия.

Противоположность – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения Все люди являются правдивыми и Все люди не являются правдивыми находятся в отношении противоположности. В этом отношении могут быть только общие суждения – общеутвердительные (Д) и общеотрицательные (Е).

Важным признаком противоположных суждений является то, что они не могут быть одновременно истинными, но могут быть одновременно ложными. Вернемся к приведенным выше суждениям и убедимся в этом: неправда, что все люди являются правдивыми, но также неправда, что все люди не являются правдивыми. Противоположные суждения могут быть одновременно ложными, потому что между ними, обозначающими какие-то крайние варианты, всегда есть третий, средний, промежуточный вариант. Если этот средний вариант будет истинным, то два крайних окажутся ложными. Между противоположными (крайними) суждениями Все люди являются правдивыми и Все люди не являются правдивыми есть третий, средний вариант Некоторые люди являются правдивыми, а некоторые не являются таковыми, который, будучи истинным суждением, обусловливает одновременную ложность двух крайних противоположных суждений.

Противоречие – это отношение между двумя суждениями, у которых предикаты совпадают, связки различны, а субъекты отличаются своими объемами, т. е. находятся в отношении подчинения (вида и рода). Например, суждения Все люди являются правдивыми и Некоторые люди не являются правдивыми находятся в отношении противоречия.

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

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

Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. Так, суждения вида А и вида I, а также суждения вида Е и вида О находятся в отношении подчинения. Суждения вида А и вида Е находятся в отношении противоположности, а суждения вида I и вида О – частичного совпадения. Суждения вида А и вида О, а также суждения вида Е и вида I находятся в отношении противоречия.

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

Чтобы установить отношение между двумя суждениями, достаточно определить, к какому виду относится каждое из них. Например, надо выяснить, в каком отношении находятся суждения Все люди изучали логику и Некоторые люди не изучали логику. Видя, что первое суждение является общеутвердительным (А), а второе частноотрицательным (О), мы без труда устанавливаем отношение между ними с помощью логического квадрата – это противоречие.

Суждения Все люди изучали логику (А) и Некоторые люди изучали логику (I) находятся в отношении подчинения, а суждения Все люди изучали логику (А) и Все люди не изучали логику (Е) находятся в отношении противоположности.

Как уже говорилось, важным свойством суждений (в отличие от понятий) является то, что они могут быть истинными или ложными. Что касается сравнимых суждений, то истинностные значения каждого из них определенным образом связаны с истинностными значениями остальных. Так, если суждение вида А является истинным или ложным, то три других (I, Е, О), сравнимых с ним суждения (имеющих сходные с ним субъекты и предикаты), в зависимости от этого (от истинности или ложности суждения вида А) тоже являются истинными или ложными.