4.2. Класифікація суджень за «логічним квадратом»

За логічним квадратом усі атрибутивні судження поділяються на:

загальноствердні (" S – Р);

загальнозаперечні (" S ~ Р);

частковоствердні ($ S – Р);

частковозаперечні ($ S ~Р).

Кожне з цих суджень позначають літерою певної вершини «логічного квадрата»: А, Е, І, О. Наведені символи є певними літерами латинських назв відповідних суджень: «А» від першої голосної літери лат. Аffirmo (стверджую); «Е» від першої голосної літери лат. Nego (заперечую); «І» від другої голосної літери лат. Affirmo; «О» від другої голосної літери лат. Nego.

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

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

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

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

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

Усі атрибутивні судження можна класифікувати за допомогою логічного квадрата. Причому ця класифікація ототожнює загальні і одиничні судження, тому що розподіленість суб’єктів в обох типах суджень однакова. Тобто в загальному судженні квантор «усі» означає, що суб’єкт складається з множини, в котрій є кілька елементів, і всі вони характеризуються відповідним предикатом; в одиничному судженні відсутність квантора означає наявність у складі суб’єкта множини з одного елемента, і він теж цілком характеризується предикатом.