Логический квадрат: формы суждений A, E, I, O и примеры

Логический квадрат (традиционно — квадрат противоположностей) — схема отношений между четырьмя типами категорических суждений об одних и тех же классах предметов. Она показывает, какие высказывания не могут быть одновременно истинными, какие не могут быть одновременно ложными и при каких предпосылках истинность одного влечёт истинность другого. Термин относится к формальной логике, а не к «четырём точкам зрения» на произвольный вопрос.

Представьте школьный кружок, в котором точно есть участники. Класс S — его участники, признак P — «читает философские книги». На этом примере можно проверить все отношения, но необходимо заранее зафиксировать, что именно означают слова «все», «ни один», «некоторые».

Суть: четыре формы A, E, I, O

Классический логический квадрат строится вокруг следующих форм. В каждой используется один и тот же предметный класс S и один и тот же признак P.

1. A — общеутвердительное: «Все S суть P». Пример: «Все участники кружка читают философские книги».
2. E — общеотрицательное: «Ни одно S не есть P». Пример: «Ни один участник кружка не читает философские книги».
3. I — частноутвердительное: «Некоторые S суть P». Пример: «Некоторые участники кружка читают философские книги».
4. O — частноотрицательное: «Некоторые S не суть P». Пример: «Некоторые участники кружка не читают философские книги».

Здесь «некоторые» в обычной современной логической записи означает «по меньшей мере один», а не обязательно «несколько» и не обязательно «но не все». Поэтому высказывания A и I при непустом S могут быть истинными вместе: если читают все, то читают и некоторые.

Отличие: какие связи изображает квадрат

Противоречие: диагонали A–O и E–I

A и O не могут иметь одинаковое истинностное значение. Если все участники читают, то неверно, что хотя бы один не читает; если неверно, что все читают, значит, хотя бы один не читает. Точно так же E и I: отрицание «ни один не читает» равносильно тому, что хотя бы один читает. Эти две диагонали сохраняются и при обычной современной интерпретации кванторов, даже когда класс S пуст.

Противоположность: A–E

В учебной версии квадрата для заведомо непустого S два общих суждения не могут быть одновременно истинными. Если есть участники и все читают, неправда, что никто не читает. Но оба могут оказаться ложными, когда часть участников читает, а часть — нет. Такая ситуация не позволяет из ложности A заключить истинность E: нужно различать «не все» и «никто».

Подпротивоположность: I–O

Для непустого S оба частных суждения могут быть истинны одновременно: хотя бы один участник читает и хотя бы один не читает. При этом оба одновременно ложны быть не могут, если участники существуют и любой участник либо обладает признаком, либо не обладает им. Но если S пуст, в современной логике оба высказывания с «некоторые» ложны. Поэтому эта связь требует оговорки.

Подчинение: от общего к частному

В привычной школьной модели с непустым S из истинности A следует истинность I, а из истинности E — истинность O. Обратный вывод ошибочен: из «некоторые читают» не следует «все читают». Кроме того, без уверенности в существовании предметов переход от «все» к «некоторые» в современной логике недопустим.

Пример применения: проверьте рассуждение

Пусть известно: «Все участники кружка сдали тест», и дополнительно подтверждено, что кружок не пуст. Правильно ли заключить «Некоторые участники кружка сдали тест»? Да: в данном случае A истинно, а I следует из него при условии непустоты класса. Но заключение «Ни один участник не провалил тест» уже требует уточнить, является ли «провалил» точным логическим отрицанием «сдал». В обычной речи существуют пропуск, неполный результат и другие случаи; логика не разрешает автоматически подменять один предикат другим.

Другой вопрос: если верно «Не все участники кружка сдали тест», следует ли «Ни один не сдал»? Нет. По диагонали A–O отсюда следует только, что как минимум один участник не сдал. Остальные вполне могли сдать. Именно такие ошибки квадрат помогает обнаруживать.

Оговорка: пустые классы меняют картину

Представим, что кружок закрыт и участников нет. В стандартной современной логике предикатов «Все участники читают» и «Ни один участник не читает» истинны из-за отсутствия контрпримеров. При этом «Некоторые читают» и «Некоторые не читают» ложны: не существует ни одного участника. Значит, отношения A–E, I–O и привычное подчинение перестают действовать в прежнем виде; остаются диагонали противоречия.

Историческая тонкость существенна. Нельзя просто сказать, что «древние логики всегда полагали все классы непустыми». Историческое исследование SEP объясняет, что традиционные отношения могли сохраняться и для пустых терминов при ином понимании формы O. Следовательно, учебниковый квадрат с предположением существования и анализ реальной истории логики не полностью совпадают. Это не ошибка Аристотеля, которую якобы безоговорочно исправила одна современная формула, а вопрос различающихся формальных интерпретаций.

Что важно запомнить

Логический квадрат — это инструмент анализа отношений форм суждений, а не универсальный генератор выводов о мире. Для корректного применения держите неизменными субъект и предикат, проверяйте смысл «некоторые» и явно оговаривайте существование предметов. Его надёжное ядро в современной трактовке — A против O и E против I. Остальные связи требуют дополнительных семантических условий.

Проверенные источники

• Stanford Encyclopedia of Philosophy — The Traditional Square of Opposition: история и разные интерпретации, включая пустые термины.
• Internet Encyclopedia of Philosophy — Square of Opposition: формы и учебная версия отношений.
• Internet Encyclopedia of Philosophy — Aristotle: Logic: античный контекст учения о противоположности суждений.
• ИФ РАН — «Импликации и модальности», раздел «Логический квадрат»: русская терминология отношений.