Understanding Opposition in Categorical Propositions

When we make a statement like “All politicians are liars” or “Some scientists are not researchers,” we are doing more than expressing an opinion – we are making a categorical proposition, a formal logical claim about the relationship between two classes of things. What makes these propositions especially interesting is how they interact with one another. In classical logic, propositions don’t exist in isolation; they stand in structured relationships of opposition. Understanding those relationships – contradiction, contrariety, subcontrariety, and subalternation – is one of the foundational skills in logical reasoning.

What is a categorical proposition? 🔗

A categorical proposition is a statement that asserts or denies that all or some members of one category (the subject, S) are included in another category (the predicate, P). As New World Encyclopedia explains, these propositions use logical expressions like “all,” “some,” “is,” and “is not” to link two terms that refer to sets or classes of things.

Aristotle identified four distinct types of categorical proposition, and medieval logicians assigned them the labels A, E, I, and O – drawn from the Latin words affirmo (I affirm) and nego (I deny):

• A proposition – Universal Affirmative: All S are P (e.g., “All humans are mortal”)
• E proposition – Universal Negative: No S are P (e.g., “No humans are immortal”)
• I proposition – Particular Affirmative: Some S are P (e.g., “Some humans are philosophers”)
• O proposition – Particular Negative: Some S are not P (e.g., “Some humans are not philosophers”)

These four forms are the building blocks of classical logical reasoning, and the systematic relationships among them form the heart of the square of opposition.

The role of quality and quantity 🔗

Before we can understand opposition, we need to understand two key properties that define every categorical proposition: quality and quantity.

Quality: affirmative vs. negative 🔗

The quality of a proposition tells us whether the predicate is being affirmed or denied of the subject. According to Wikipedia’s treatment of categorical logic, quality is described as whether the proposition affirms or denies the inclusion of a subject within the class of the predicate. An A proposition (“All S are P”) has affirmative quality; an O proposition (“Some S are not P”) has negative quality. Quality is determined by the copula – the connecting verb – which either includes or excludes the subject from the predicate class.

Quantity: universal vs. particular 🔗

Quantity tells us how much of the subject class the proposition is talking about. As explained in this open logic textbook, a proposition is universal if it refers to all members of the subject class, and particular if it refers to only some members. A and E propositions are universal; I and O propositions are particular. The quantifiers “all” and “no” signal universality, while “some” signals particularity.

These two properties – quality and quantity – combine to create the four proposition types. Every A, E, I, and O proposition can be fully described by its combination of these two features, and it is precisely those combinations that determine how propositions oppose one another.

The square of opposition 🔗

The square of opposition is a visual tool, traceable back to Aristotle’s On Interpretation, that maps the logical relationships among the four categorical proposition types. As the Stanford Encyclopedia of Philosophy describes, the doctrine embedded in this diagram captures how A and O are contradictories, E and I are contradictories, and A and E are contraries. The four corners of the square represent the four proposition types, and the lines connecting them represent four distinct kinds of logical opposition.

Contradiction: the strongest opposition 🔗

Contradictory propositions are those where one must be true and the other must be false – there is no middle ground. The contradictory pairs sit at the diagonals of the square: A and O are one contradictory pair, and E and I are the other.

As the Internet Encyclopedia of Philosophy states, propositions are contradictory when the truth of one implies the falsity of the other, and conversely. So if “All mammals are warm-blooded” (A) is true, then “Some mammals are not warm-blooded” (O) must be false. Flip it around: if “No birds can fly” (E) is false, then “Some birds can fly” (I) must be true. This is the sharpest logical opposition possible – one wins, the other loses, every time.

Contrariety: both can be false, but not both true 🔗

Contrary propositions are the two universal propositions: A and E. They occupy the top edge of the square. Contraries cannot both be true at the same time, but they can both be false.

Consider: “All birds can fly” (A) and “No birds can fly” (E). Both cannot be true simultaneously – that would be a logical impossibility. But both can be false, and in fact both are false here, because some birds can fly while others (like penguins and ostriches) cannot. As Philosophy A Level explains, contrariety means that if one universal proposition is true, the other is necessarily false – but the falsity of one does not guarantee the truth of the other.

This is an important distinction from contradiction: contraries leave room for a third option. Both might be wrong; contradictories never are.

Subcontrariety: both can be true, but not both false 🔗

Subcontraries are the two particular propositions: I and O. They sit at the bottom edge of the square, directly below the contrary pair. Their relationship is the inverse of contrariety – subcontraries cannot both be false, but they can both be true.

Take the pair: “Some nations are democracies” (I) and “Some nations are not democracies” (O). Both of these are true statements about the world today. As the Internet Encyclopedia of Philosophy notes, because “some lunches are free” (I) is false, “some lunches are not free” (O) must be true. The impossibility of both being false makes sense: if no S were P (I false), then E would have to be true; and if no S were not-P (O false), then A would have to be true – but A and E cannot both be true (they are contraries). This contradiction rules out both I and O being simultaneously false.

Subalternation: truth flows downward, falsity flows upward 🔗

Subalternation is the relationship that runs down the sides of the square, connecting each universal proposition to its particular counterpart of the same quality: A to I (both affirmative) and E to O (both negative). The universal is called the superaltern; the particular is called the subaltern.

The key rule here is asymmetric: the truth of the universal guarantees the truth of the particular, but not the other way around. As Philo Notes outlines, if “All jasmine flowers are white” (A) is true, then “Some jasmine flowers are white” (I) must also be true. But if “Some jasmine flowers are white” (I) is true, we cannot conclude that all jasmine flowers are white.

Equally important is how falsity works in the opposite direction: if the particular is false, the universal must also be false. If “Some dogs are reptiles” (I) is false, then “All dogs are reptiles” (A) is certainly false. However, if the universal is false, the particular’s truth value becomes uncertain – it may or may not be true.

In a nutshell: truth flows downward from universal to particular; falsity flows upward from particular to universal.

How the four types of opposition interact 🔗

These four relations work as a system. Knowing the truth value of just one proposition allows us to derive – or partially derive – the truth values of the other three. As demonstrated in LibreTexts’ logic resource, if you know an A proposition is true, you can determine that: its contradictory O is false; its contrary E is false; and by subalternation, its subaltern I is true.

However, when you start from a particular proposition, the inferences become more limited. Knowing that an I proposition is true tells you only that its contradictory E is false – neither the truth nor falsity of A or O can be established from I alone. This asymmetry reflects the logical hierarchy between universal and particular statements.

The traditional vs. modern square of opposition 🔗

There is an important caveat worth noting. The square of opposition as described above belongs to the traditional (Aristotelian) framework, which assumes existential import – the idea that the subject class of any proposition must contain at least one real member. Under this assumption, saying “All unicorns have horns” would be problematic because unicorns don’t exist.

Modern logic, developed in the 19th century through the work of George Boole and later Gottlob Frege, abandoned this assumption. In the modern square of opposition, universal statements do not carry existential import. As a result, the Internet Encyclopedia of Philosophy explains, relations of contrariety, subcontrariety, and subalternation no longer hold for propositions with empty subject classes – only the contradictory relation survives in modern logic. In the modern framework, “All unicorns have horns” and “No unicorns have horns” can both be true, which means they are not genuinely contrary.

For students of traditional logic, however, the full square remains a powerful and internally consistent system, provided the subject terms refer to actually existing classes of things.

Why opposition matters in logical reasoning 🔗

Understanding opposition is not an abstract exercise. It is a practical tool for evaluating the internal consistency of arguments. When two propositions in a debate are contradictory, only one can be right. When they are merely contrary, both might be wrong – which opens the door to a third option. When a universal claim is established, the corresponding particular claim automatically follows. And when a particular claim is shown to be false, the corresponding universal claim collapses with it.

These relationships shape how conclusions are drawn from premises, how counterexamples work to defeat universal claims, and how logical consistency is maintained within any structured argument. As this open logic resource explains, knowing the truth value of one categorical proposition and applying the square’s relations allows reasoners to trace the logical consequences through the entire system – a skill that underlies all rigorous deductive thinking.

The study of categorical opposition, then, is really the study of how statements constrain one another. Logic is not just about what is said – it is about what follows.

What do you think? If someone argues that “All politicians are corrupt” has been disproven by one honest politician, which type of opposition makes that disproof work – and why does the logic hold? And does the difference between contrariety and contradiction change how you evaluate sweeping generalizations in everyday discourse?

References

1. https://www.newworldencyclopedia.org/entry/Categorical_proposition
2. https://iep.utm.edu/aristotle-logic/
3. https://en.wikipedia.org/wiki/Categorical_proposition
4. https://cod.pressbooks.pub/introtologic/chapter/categorical-logic/
5. https://plato.stanford.edu/entries/square/
6. https://iep.utm.edu/sqr-opp/
7. https://philosophyalevel.com/posts/the-square-of-opposition-explained/
8. https://philonotes.com/2022/05/square-of-opposition-categorical-logic
9. https://human.libretexts.org/Bookshelves/Philosophy/Fundamental_Methods_of_Logic_(Knachel)/03:_Deductive_Logic_I_-_Aristotelian_Logic/3.03:_The_Square_of_Opposition
10. https://en.wikipedia.org/wiki/Square_of_opposition
11. https://pimaopen.pressbooks.pub/intrologic/chapter/3-2-the-square-of-opposition/