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

Логический квадрат – это диаграмма, представляющая отношения между четырьмя базовыми категориями пропозиций. Его основа строится на категорических предложениях, которые выражают утверждения о принадлежности субъекта и предиката в универсальной или частной форме. В классической логике используются четыре формы таких предложений: A, E, I и O.

Исторически авторство логического квадрата связывают с Аристотелем, хотя строго схемы он не создавал. Аристотель впервые выделил два типа оппозиций: противоречие и противоположность. Теоретическую базу развили Боэций и Абеляр. Современный вид логического квадрата оформил византийский учёный Михаил Пселл в XI веке.

Элементы логического квадрата

Термин пропозиция в традиционной логике означает устное высказывание, в современной философии логики под ним понимается значение утверждения. Категорическое предложение – это простое высказывание с двумя терминами: субъектом (S) и предикатом (P). Предикат либо утверждается, либо отрицается к субъекту.

Формы категорических предложений классифицируют по четырём латинским буквам:

• A – универсальное утвердительное: «Каждый S является P» («omne S est P»);
• E – универсальное отрицательное: «Ни один S не является P» («nullum S est P»);
• I – частное утвердительное: «Некоторые S являются P» («quoddam S est P»);
• O – частное отрицательное: «Некоторые S не являются P» («quoddam S non est P»).

Все четыре формы размещаются на углах логического квадрата, который иллюстрирует их взаимоотношения через логические оппозиции.

Основные отношения логического квадрата

Аристотель описал ключевые логические отношения между четырьмя формами пропозиций. К каждой пропозиции сопоставляется ровно одно отрицание, которое ей противоположно по истинностному статусу.

Наиболее фундаментальное отношение – противоречие, когда одна пропозиция истинна, вторая – ложна. Примеры:

• «Каждое яблоко красное» (форма A) и «Некоторые яблоки не красные» (форма O);
• «Ни одно яблоко не красное» (форма E) и «Некоторые яблоки красные» (форма I).

Противоречия характеризуются строгим исключением: одновременно истинны быть не могут. Другие оппозиции выражают менее жёсткую взаимосвязь.

Дополнительно выделяются отношения альтерации и противоположности. Альтерация состоит из субальтерации и суперальтерации. Субальтерация – отношение между универсальным и частным утверждением одного качества, когда универсальное подразумевает истинность частного. Например, если универсальное утвердительное (A) истинно, то частное утвердительное (I), являющееся субальтератом, будет истинно также.

Суперальтерация – обратное отношение: универсальное утверждение является суперальтератом частного. Если истинно частное отрицательное (O), то истинно универсальное отрицательное (E) подразумевается.

Оппозиции контрарности и субконтрарности строят отношения между универсальными и частными пропозициями соответственно. Универсальные утвердительные и универсальные отрицательные находятся в контрарности: они не могут быть одновременно истинными, но могут оба быть ложными, если множество субъектов неоднородно по предикату.

Частные утвердительные и отрицательные пропозиции связаны субконтрарностью: они не могут быть одновременно ложными, но могут иметь различные истинностные статусы одновременно.

Таблица логических отношений и истинностных следствий

Ниже приводится таблица, которая суммирует взаимозависимость истинности и ложности пропозиций A, E, I, O в логическом квадрате.

В таблице "Не определено" обозначает, что истинностный статус пропозиции не может быть однозначно выведен только из известного состояния другой пропозиции. Это важное ограничение, связанное с отсутствием дополнительной информации о предметной области.

Механика логических отношений и особенности применения

Логический квадрат базируется на формальном сопоставлении истинности и ложности четырёх основных типов пропозиций. Каждая позиция в квадрате представляет пропозицию одного типа в отношении субъект-предикат. Оппозиции строятся через прямые логические связи: противоречия, контрарности, субконтрарности и альтерации.

Механизмы отношений опираются на отношения множества субъектов и предикатов в классе:

• Универсальные утверждения (A, E) обязательно принадлежат к мосту между классами с максимальной охватностью – либо все элементы субъектного класса включены или полностью исключены из предикатного;
• Частные утверждения (I, O) ставят точку над существованием элементов с необходимостью принадлежать или не принадлежать к предикатному классу;
• Оппоненты в логическом квадрате не могут противоречиво разделять множество субъектов без нарушения истинностной логики;
• При отсутствии сущестования субъектов (например, пустое множество S) универсальные утверждения логически истинны, частные утверждения ложны или неопределенны в зависимости от трактовки.

Типичная ошибка применения связана с неучётом семантики пустого субъекта. В классической логике пропозиция A («каждый S есть P») считается истинной, если множество S пусто. Современная формальная логика, использующая кванторы, трактует такие утверждения как условные импликации, которые могут быть истинными в силу пустоты множества. Следствие – выводы о частных пропозициях могут стать ложными или неопределёнными.

Также часто игнорируется различие между семантикой категориальных пропозиций в традиционной и современной логике, что ведёт к неоднозначным интерпретациям отношения альтераций и противоречий на практике.

Применение и ограничение логического квадрата

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

Ограничения метода заключаются в следующем:

• Требование классических категориальных пропозиций с чётким субъектом и предикатом;
• Отсутствие учета модальностей, времени и других параметров высказываний;
• Семантическая неоднозначность при пустых предметах;
• Невозможность применения напрямую к сложным или составным логическим формулам.

При использовании логического квадрата в формальных системах рекомендуется дополнительно применять теорию кванторов второго порядка или модельно-теоретический подход для уточнения истинностных условий и исключения неоднозначностей.

Матрица условий использования логического квадрата

Для выбора метода анализа логических высказываний стоит ориентироваться на условия, указанные в матрице ниже.