Логика

И.И. Веревичев

3.4. Отношения между атрибутивными суждениями

Атрибутивные суждения, совпадающие в основных терминах (S и Р), называются сравнимыми.

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

Эквивалентными называются суждения, выражающие одну и ту же мысль по-разному: «Москва — столица нашей Родины» и «Москва — главный город Российской Федерации». Сравнимые частные суждения, одинаковые по количеству, но различные по качеству, находятся в отношении субконтрарности: I — O. Отношения субординации выражают специфику отношений подчинения следующих пар суждений: А подчиняет I; Е подчиняет О.

Сравнимые общие суждения, одинаковые по количеству, но различные по качеству, находятся в отношении контрарности: А — Е. Сравнимые суждения, отличающиеся и качеством и количеством одновременно, находятся в отношении контрадикторности: А — О; Е — I.