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

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

Противоположность (контрарность) Частичная совместимость (субконтрарность)

Противоречие (контрадикторность)

Среди сравнимых различаютсовместимые и несовместимые суждения.

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

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

2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение имеет место междусуждениями А иI, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истинным

При ложности частного суждения общее суждение также будет ложным