Рассмотрим возможные отношения между суждениями на примере про- стых категорических суждений. В разных жизненных ситуациях (при встрече с другом, в аудитории, на конференции, при обсуждении различных событий) мы высказываем разные суждения. Одни из них оказываются сравнимыми между собой, так как имеют одинаковые субъекты и предикаты. Например, суждения:
«Все химические элементы имеют определенный атомный вес» и «Гелий не имеет атомного веса» можно сравнивать и устанавливать, в каком логическом отношении они находятся (в данном случае они противоречат друг другу).
В суждениях с разными субъектами и предикатами мыслится разное конкретное содержание. Такие суждения называются несравнимыми. Например,
«Студент Иванов не сдал два экзамена в зимнюю сессию» и «Все фрукты полезны для здоровья». О таких суждениях говорят, что они различны и логические отношения между ними отсутствуют. Поэтому суждения «Все химические элементы имеют атомный вес» и «Душа не имеет атомного веса», одинаково возможны и не противоречат друг другу, так как относятся к разным предметам мысли («химические элементы» и «душа») и имеют разные субъекты.
Сравнимые суждения могут также быть совместимыми и несовместимыми. Когда рассматривался вопрос об отношениях между понятиями по содержанию и объему, было установлено, что «совместимость» бывает троякой: пол- ной (совпадение, равнозначность), частичной (пересечение) и подчиняющей (включение). Несовместимость также бывает различной. При выяснении логических отношений между суждениями наибольшее значение имеют два вида несовместимости: противоположность (контрарность) и противоречивость (контрадикторность).
В целом логика устанавливает четыре вида логических отношений между сравнимыми категорическими суждениями:

* подчинения;
* противоречия (контрадикторности);
* противоположности (контрарности);
* подпротивоположности (субконтрарности).

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