Отношения между простыми категорическими суждениями.
“Логический квадрат”.
Два простых категорических суждения будем считать сравнимыми, если они содержат одни и те же термины. Если у двух суждений хотя бы один термин не совпадает, они считаются несравнимыми. Между двумя сравнимыми суждениями возможны следующие отношения: (1) подчинение, (2) противоположность (контрарность), (3) субконтрарность, (4) противоречие.
Для систематизации этих отношений был придуман так называемый “ логический квадрат ”, который выглядит следующим образом:
Все S есть P А к о н т р а р н о с т ь Е Ни одно S не есть P
п п е п
О р и о
Д о ч д
Ч т е ч
И и р и
Н в о н