Traditional LogicImmediate Inference

Obversion

Obversion changes the quality (affirmative to negative or back) and replaces the predicate with its complement; it is valid for all four forms.

Not started Jump to practice

Obversion uses complements to say the same thing in the opposite quality. It works for every form.

Key idea

To obvert: (1) change the quality (affirmative ↔ negative: A ↔ E, I ↔ O) and (2) replace the predicate with its complement. The obverse always means the same as the original.
Change the quality, complement the predicate.
OriginalObverse
All S are PNo S are non-P
No S are PAll S are non-P
Some S are PSome S are not non-P
Some S are not PSome S are non-P

Why it works

The two changes cancel each other, like two negations. "All S are P" says no S lies outside P. "Outside P" is exactly "in non-P", so it says no S are non-P. Saying an S is not in non-P is the same as saying it is in P, because P and non-P split everything with no gap and no overlap.
A statement and its obverse have the same diagram.

Worked examples

Worked example: Obverting an E

Obvert "No coders are musicians".
  1. Change the quality: E becomes A ("All … are").
  2. Complement the predicate: musicians → non-musicians.

Answer: All coders are non-musicians

Worked example: Removing a "non-"

Obvert "No cyclists are non-debaters".
  1. Change the quality: E becomes A.
  2. Complement the predicate: the complement of non-debaters is debaters.

Answer: All cyclists are debaters

Obversion is the main tool for removing a "non-" from an argument. When a syllogism seems to have four terms because one of them is a complement, obverting a premise often brings it back to three (you will use this in Unit 6).

Common mistake

Doing only half the job: changing the quality but forgetting to complement the predicate ("No S are P" from "All S are P" means something very different), or complementing the subject instead of the predicate. Check: the subject term must come through untouched, and exactly one "not" or "no" is added or removed.

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.4 Conversion, Obversion, and Contraposition
  • Patrick J. Hurley, A Concise Introduction to Logic, 4.6 Venn Diagrams and the Traditional Standpoint (conversion by limitation)
@teddyrookbook GitHub