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