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

 

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

 

A1
A2
К                                                                        К
о                                                                 о
н                                                     н
т                                           т
р                                 р
а                        а
д                 д
и         и
К
т         т
о                о
р                         р
н                                  н
о                                           о
с                                                       с
т                                                                 т
ь                                                                         ь
A3
A4

 

Логические квадраты служат для мнемонических и организационно-деятельностных целей, помогая запоминать логические отношения между четверкой высказываний (на схеме: A1 A2, A3, A4) определенных логических форм, и осуществлять логический вывод от истинности или ложности одного высказывания к истинности или ложности других.

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

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

 

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

Шиян Т.А.

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