Traditional LogicImmediate Inference

Chains of Immediate Inference

Combine conversion, obversion, contraposition and the square to decide whether one proposition follows from another.

Not started Jump to practice

The steps of contraposition, obversion and conversion can be chained, and combined with the square of opposition. A chain lets you decide whether one statement follows from another even when the two look nothing alike.

Key idea

A chain is valid only if every step is valid for the form it is applied to: obversion for any form, conversion for E and I, contraposition for A and O (and, on the traditional reading only, subalternation and conversion by limitation).
Check the form before every step.
StepWorks on
ObversionA, E, I, O
ConversionE, I
ContrapositionA, O
Contradictory (square)any form, any reading: it gives the opposite truth value
Subalternation, limitationtraditional reading only

Why it works

Each valid step produces a statement with the same meaning (or, for the traditional steps, one that is guaranteed true when the original is). Linking statements that each mean the same as the one before gives a last statement that means the same as the first. One invalid step anywhere breaks the guarantee, even if the remaining steps are fine.
The start and the end of a chain: same diagram, same meaning.

Worked examples

Worked example: A two-step chain

If "No poets are campers" is true, must "All campers are non-poets" be true?
  1. Obvert the original (any form): "All poets are non-campers".
  2. That is an A, so contraposition is allowed: "All non-non-campers are non-poets", that is, "All campers are non-poets".

Answer: yes, by obversion then contraposition

Worked example: A broken chain

Does "Some non-P are S" follow from "All S are P"?
  1. Obvert: "No S are non-P". Convert (E is fine): "No non-P are S".
  2. That says no non-P are S, the opposite of what was asked.
  3. No valid chain reaches "Some non-P are S"; in fact it is the contradictory of a statement that does follow.

Answer: no

Common mistake

Losing track of the form and slipping in an invalid step, such as converting an A halfway through a chain. Check: write the letter of each line before choosing the next step.

Practice

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

Loading practice…

Builds on

Leads to

This is one of the top rungs of Traditional Logic.

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