What is the Square of Opposition?
A Classical Tool for Logical Relationships
The Square of Opposition is a fundamental tool in traditional logic that shows how four types of categorical propositions about the same subject and predicate are logically related to each other.
š The Four Types of Propositions
A
Universal Affirmative
"All S are P"
Example:
"All birds can fly"
E
Universal Negative
"No S are P"
Example:
"No birds can fly"
I
Particular Affirmative
"Some S are P"
Example:
"Some birds can fly"
O
Particular Negative
"Some S are not P"
Example:
"Some birds cannot fly"
š Key Classifications
By Quantity:
Universal: A & E (All/No)
Particular: I & O (Some)
By Quality:
Affirmative: A & I (are)
Negative: E & O (are not)
šÆ What's Next: We'll explore the four key relationships between these propositions: Contradictory, Contrary, Subcontrary, and Subaltern. Each relationship has specific rules about truth and falsity!