Логический квадрат, или квадрат оппозиции — это диаграмма, представляющая отношения между основными категориальными пропозициями, которые, в свою очередь, утверждают, что все или некоторые из членов одной категории (субъектный термин) включены в другую (предикатный термин).
Происхождение квадрата может быть приписано Аристотелю, который впервые провел различие между двумя оппозициями: противоречие и противоположность. Но Аристотель не делал каких-либо схем. Теория была разработана спустя несколько веков Боэцием и Абеляром. Автором современного логического квадрата является византийский учёный Михаил Пселл[1][2].
Концепцию логического квадрата разрабатывали такие философы и логики, как Уильям из Шервуда, Роджер Бэкон, Жан Буридан, Питер Стросон.[3]
В традиционной логике пропозиция (лат. Propositio) — это устное утверждение (oratio enunciativa), а не значение утверждения, как в современной философии языка и логики. Категорическое предложение — это простое предложение, содержащее два термина, субъект (S) и предикат (P), в котором предикат либо утверждается, либо отрицается в отношении субъекта.
Каждая категориальная пропозиция может быть сведена к одной из четырех логических форм, названных A, E, I и O на основе латинского алфавита - лат. affirmo (подтверждаю) для утвердительных пропозиций A и I и лат. nego (отрицаю) для отрицательных пропозиций E и O.
* Утверждение «А» можно сформулировать как «Все S есть P». Однако предложение «E», когда оно формулируется соответственно как «Все S не являются P» является неоднозначным[5], потому что это может быть пропозиция E или O, поэтому для определения формы требуется контекст; стандартная форма «Ни один S является P» однозначна, поэтому она предпочтительна. Пропозиция «O» также принимает форму «Некоторые S не являются P» или «Некоторый S не является P» (буквально латинское Quoddam S nōn est P).