Traditional LogicThe Square of Opposition

Contraries and Subcontraries

A and E cannot both be true but can both be false; I and O cannot both be false but can both be true.

Not started Jump to practice

The diagonals are the strongest link on the square. The top and bottom sides are weaker, and each is weak in its own way.

Key idea

Contraries (A and E) cannot both be true, but can both be false. Subcontraries (I and O) cannot both be false, but can both be true. (Traditional reading: the subject class has members.)

Why it works

Picture a class where some members are P and some are not: some students swim and some do not. Then "All students are swimmers" and "No students are swimmers" are both false, and "Some are" and "Some are not" are both true. That mixed case is why contraries can both be false and subcontraries both true. But if there is at least one student, the A and the E cannot both be true (that student cannot be both a swimmer and not one), and the I and the O cannot both be false (that student is one or the other).
What each pair allows.
PairBoth true?Both false?
A and O (contradictories)nono
A and E (contraries)noyes
I and O (subcontraries)yesno
If A is false, E is undetermined: contraries can both be false.

Worked examples

Worked example: From a true contrary

"All the students are swimmers" is true. What about "No students are swimmers"?
  1. A and E are contraries: they cannot both be true.
  2. A is true, so E must be false.

Answer: false

Worked example: From a false subcontrary

"Some students are swimmers" is false. What about "Some students are not swimmers"?
  1. I and O are subcontraries: they cannot both be false.
  2. I is false, so O must be true.

Answer: true

Common mistake

Treating contraries as contradictories and concluding from "A is false" that E is true. Both can be false when some S are P and some are not. Check by building the mixed case: if it makes both statements false, you cannot conclude anything from one being false.

Practice

Pass with 3 right answers, the last 2 in a row. Each right answer earns 2 XP.

Loading practice…

Builds on

Leads to

Sources and further reading

  • Patrick J. Hurley, A Concise Introduction to Logic, 4.5 The Traditional Square of Opposition
  • Aristotle, On Interpretation 7
  • Stanford Encyclopedia of Philosophy, "The Traditional Square of Opposition"
@teddyrookbook GitHub