Словарь по логике

Логический квадрат

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

 

A1	К о н т р а р н о с т ь	A2
П о д ч и н е н и е	К                                                                        К о                                                                 о н                                                     н т                                           т р                                 р а                        а д                 д и         и К т         т о                о р                         р н                                  н о                                           о с                                                       с т                                                                 т ь                                                                         ь	П о д ч и н е н и е
A3	С у б к о н т р а р н о с т ь	A4

 

Логические квадраты служат для мнемонических и организационно-деятельностных целей, помогая запоминать логические отношения между четверкой высказываний (на схеме: A₁ A₂, A₃, A₄) определенных логических форм, и осуществлять логический вывод от истинности или ложности одного высказывания к истинности или ложности других.

Например, для любых двух высказываний A и B верно, что высказывания вида (AB) (≡A₁), (¬A¬B) (≡A₂), (AB) (≡A₃), (¬A¬B) (≡A₄) находятся между собой в отношениях, указанных на данной схеме.

Является обобщением “логического квадрата” в значении 2.

 

2. Традиционно “логическим квадратом” называют частный случай данной схемы, который был исторически первым и демонстрировал отношения между четырьмя типами атрибутивных высказываний (см. силлогистический квадрат). Придумана схема была, вероятнее всего, византийским философом Михаилом Пселлом.

Шиян Т.А.

© Автор статьи.