square of opposition
E427132
The square of opposition is a classical logical diagram that illustrates the relationships of contradiction, contrariety, subcontrariety, and subalternation among four types of categorical propositions.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Venn diagrams | 1 |
| square of opposition canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4270465 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: square of opposition Context triple: [On Interpretation, mainTopic, square of opposition]
-
A.
Pythagorean table of opposites
The Pythagorean table of opposites is an ancient philosophical schema that arranges reality into paired contrasting principles (such as limited/unlimited and odd/even) to explain the structure and harmony of the cosmos.
-
B.
Logik
Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
-
C.
Universals
Universals is a philosophical work by F. P. Ramsey that examines the nature and existence of general properties or qualities shared by multiple particular things.
-
D.
The Criterion between truth and falsehood
"The Criterion between truth and falsehood" is the English rendering of the title of Surah Al-Furqan, a chapter of the Qur’an that emphasizes the distinction between guidance and misguidance through divine revelation.
-
E.
Paradoxes of plurality
Paradoxes of plurality are a set of arguments by Zeno of Elea that challenge the coherence of the concepts of plurality and divisibility in space and time.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: square of opposition Target entity description: The square of opposition is a classical logical diagram that illustrates the relationships of contradiction, contrariety, subcontrariety, and subalternation among four types of categorical propositions.
-
A.
Pythagorean table of opposites
The Pythagorean table of opposites is an ancient philosophical schema that arranges reality into paired contrasting principles (such as limited/unlimited and odd/even) to explain the structure and harmony of the cosmos.
-
B.
Logik
Logik is a foundational work on formal logic by German philosopher and mathematician Gottlob Frege, contributing significantly to the development of modern logic and the philosophy of language.
-
C.
Universals
Universals is a philosophical work by F. P. Ramsey that examines the nature and existence of general properties or qualities shared by multiple particular things.
-
D.
The Criterion between truth and falsehood
"The Criterion between truth and falsehood" is the English rendering of the title of Surah Al-Furqan, a chapter of the Qur’an that emphasizes the distinction between guidance and misguidance through divine revelation.
-
E.
Paradoxes of plurality
Paradoxes of plurality are a set of arguments by Zeno of Elea that challenge the coherence of the concepts of plurality and divisibility in space and time.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
didactic device in logic
ⓘ
logical diagram ⓘ tool in categorical logic ⓘ |
| assumes | existential import for universal propositions (in traditional logic) ⓘ |
| contradictoryPairs |
A and O
ⓘ
E and I ⓘ |
| contraryPairs | A and E ⓘ |
| cornerRepresents | type of categorical proposition ⓘ |
| developedBy | Aristotle NERFINISHED ⓘ |
| diagonalRepresents | contradiction ⓘ |
| edgeRepresents |
contradiction
ⓘ
contrariety ⓘ subcontrariety ⓘ |
| field |
logic
ⓘ
philosophy of logic ⓘ traditional (Aristotelian) logic ⓘ |
| furtherDevelopedBy | medieval logicians ⓘ |
| hasPart |
A-proposition
ⓘ
E-proposition ⓘ I-proposition ⓘ O-proposition ⓘ |
| hasVariant |
cube of opposition
ⓘ
hexagon of opposition ⓘ modern (Boolean) square of opposition ⓘ |
| historicalOrigin | Aristotelian tradition ⓘ |
| illustrates |
contradiction
ⓘ
contrariety ⓘ relations among categorical propositions ⓘ subalternation ⓘ subcontrariety ⓘ |
| relatedConcept |
Aristotelian syllogistic
NERFINISHED
ⓘ
Boolean interpretation of categorical propositions ⓘ categorical syllogism ⓘ existential import ⓘ |
| standardForm |
A: All S are P
ⓘ
E: No S are P ⓘ I: Some S are P ⓘ O: Some S are not P ⓘ |
| subalternationPairs |
A and I
ⓘ
E and O ⓘ |
| subcontraryPairs | I and O ⓘ |
| usedFor |
analyzing logical relations between quantified statements
ⓘ
teaching elementary logic ⓘ testing validity of inferences between categorical propositions ⓘ |
| uses |
particular affirmative proposition
ⓘ
particular negative proposition ⓘ universal affirmative proposition ⓘ universal negative proposition ⓘ |
| visualForm | square ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: square of opposition Description of subject: The square of opposition is a classical logical diagram that illustrates the relationships of contradiction, contrariety, subcontrariety, and subalternation among four types of categorical propositions.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Venn diagrams