Логічний квадрат.

Логічний квадрат — це запропонований Аристотелем схематичний засіб класифікацій суджень. Він насправді має форму геометричного квадрата. Логіка лише вводить спеціальну систему символів для позначення суджень і відношень між ними. З його допомогою система класифікації включає всі атрибутивні (одиничні, загальні й часткові) судження. Причому загальні й одиничні судження розглядаються як тотожні за обсягом суб’єкта.

За логічним квадратом усі атрибутивні судження поділяються на: загальноствердні ("S – Р); загальнозаперечні ("S ~ Р); частковоствердні ($S – Р); частковозаперечні ($S ~ Р). Кожне з цих суджень відповідно позначають літерою певної вершини «логічного квадрату»: А, Е, І, О. Наведені символи є певними літерами латин-
ських назв відповідних суджень: «А» — від першої голосної літери лат. Аffirmo (стверджую), «Е» — від першої голосної літери лат. Nego (заперечую), «І» — від другої голосної літери лат. Affirmo,
«О» — від другої голосної літери лат. Nego (схема 2).

Лінії квадрата по вертикалі відображають відношення підпорядкованості між судженнями А та І, Е та О, де А,Е — підпорядковуючі судження, а Е та О — підпорядковані.

Лінії квадрата по діагоналі відображають відношення суперечності (контрадикторності) між судженнями А та О, Е та І.

Лінія квадрата по верхній горизонталі відображає відношення протилежності (контрарності) між судженнями А та Е.

Лінія квадрата по нижній горизонталі відображає відношення субконтрарності (часткової збіжності) між судженнями І та О.