The Traditional Square of Opposition
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
The square of opposition is the traditional logical doctrine that uses a square diagram to represent the relations of contradiction, contrariety, subcontrariety, and subalternation among the four types of categorical proposition: universal affirmative, universal negative, particular affirmative, and particular negative. It supplied the foundation of logical research for more than two thousand years. Its validity rests on specific conventions about non-empty subject terms and the truth conditions of particular propositions.
SCAFFOLDING EFFECT
Reduce cognitive load
- Relational inference: from the truth or falsity of one proposition, derive the remaining three directly. - Empty term check: test which relations fail when the subject term is empty. - Presupposition audit: examine whether obversion and conversion carry a hidden existence presupposition.
Anchor fast decisions
The square's validity depends on specific conventions about non-empty subjects and the truth conditions of particulars: if empty terms are allowed while contradiction is retained, one must accept that a particular negative is true when no subject exists. Modern logic handles existential import explicitly, so several traditional relations fail; and if obversion and conversion are used alongside it, contradictions follow.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/square/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS