Square of opposition¶
In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions.
Core Idea¶
Square of opposition is treated here as the recurring computing and information systems identity summarized by this source-grounded definition: In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions. s, black areas are empty and red areas are nonempty. White areas may or may not be empty. The faded arrows and faded red areas apply in traditional logic assuming the existence of things stated as (or things satisfying a statement in modern logic).
Scope of Application¶
-
Summary. These relationships became the basis of a diagram drawn by Boethius and used by medieval logicians to classify the logical relationships.
-
Summary. The Square of Oppositions was used for the categorical inferences described by medieval logicians: conversion and obversion and contraposition.
-
Summary. This interpretation has caused difficulties (see below).
-
Summary. In traditional logic, a proposition (Latin: propositio) is a spoken assertion (oratio enunciativa), not the meaning of an assertion, as in modern philosophy of language and logic.
-
Summary. A categorical proposition is a simple proposition containing two terms, subject () and predicate (), in which the predicate is either asserted or denied of the subject.
Clarity¶
A clear use of Square of opposition names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions.
Manages Complexity¶
Square of opposition compresses multiple computing and information systems details into a stable diagnostic relation. The source shows both the central mechanism—another logical relation implied by this, though not mentioned explicitly by Aristotle, is 'alternation' (alternatio), consisting of 'subalternation ' and 'superalternation '.—and the practical consequence—but Aristotelian logic requires that, necessarily, one of these statements (more generally 'some particular is ' and 'some particular is not ') is true, i.e.
Abstract Reasoning¶
- Type the carrier. Identify the computing and information systems entities to which the claim applies.
- State the relation. Use the source-grounded identity: In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions.
- Check operation and conditions. These relationships became the basis of a diagram drawn by Boethius and used by medieval logicians to classify the logical relationships.
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Square of opposition transfers literally when a new case preserves the same carrier type, relation, and recognition test. These relationships became the basis of a diagram drawn by Boethius and used by medieval logicians to classify the logical relationships. The Square of Oppositions was used for the categorical inferences described by medieval logicians: conversion and obversion and contraposition. Beyond the home domain. No canonical parent is asserted for Square of opposition.
Relationships to Other Abstractions¶
Current abstraction Square of opposition Domain-specific
Parents (1) — more general patterns this builds on
-
Square of opposition is a kind of, conditional Formal Model Domain-specific
Its formalized relation structure can function as a logical model, though it is also a diagram.
Condition / exception Its formalized relation structure can function as a logical model, though it is also a diagram.
Hierarchy path (1) — routes to 1 parentless root
- Square of opposition → Formal Model → Representation → Abstraction
Neighborhood in Abstraction Space¶
Square of opposition sits in a moderately populated region (59th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Formal Logic & Semantic Systems (18 abstractions)
Nearest neighbors
- De Morgan's Laws — 0.88
- Adequate subcategory — 0.85
- Section (category theory) — 0.84
- Both/and reasoning — 0.84
- Computability logic — 0.84
Computed from structural-signature embeddings · 2026-10-08