| Retroduction | |
|---|---|
| Room | Systems |
| Field | Logic, epistemology |
| Known for | Abductive reasoning, inference to best explanation |
| Key figures | Peirce, Wheeler |
Retroduction (Abduction) — Peirce's Third Mode of Inference
Retroduction (also called abduction or abductive inference) is the third fundamental mode of reasoning alongside deduction and induction. Identified by Charles Sanders Peirce (1839–1914) as the only logical operation that introduces new ideas.
| Mode | Direction | What it does | Certainty |
|---|
|------|-----------|-------------|-----------|
| **Deduction** | Rule → Case → Result | Derives necessary consequences from assumptions | Certain |
|---|---|---|---|
| **Induction** | Case → Result → Rule | Generalizes from observed data to a rule | Probable |
| **Retroduction** | Result → Rule → Case | Forms explanatory hypothesis for observed facts | Provisional |
The surprising fact, C, is observed.
But if A were true, C would be a matter of course.
Hence, there is reason to suspect that A is true.
This is not a logical proof — it's a guess that is the only kind of inference capable of generating genuinely new knowledge. Peirce: "Abduction is the process of forming explanatory hypotheses. It is the only logical operation which introduces any new idea."
RETRODUCTION → DEDUCTION → INDUCTION
(guess) (test) (verify)
1. Retroduction — Invent a hypothesis to explain surprising facts. Context of discovery.
2. Deduction — Derive testable consequences from the hypothesis.
3. Induction — Test those consequences against observation. Context of justification.
Peirce insisted retroduction belongs to logic (not psychology) because it can be given a schematic form, even though the act of generating the hypothesis involves insight and creativity.
| Step | Mode | Example |
|---|
|------|------|---------|
| You observe | — | Coffee cup on the table this morning |
| You guess the cause | **Retroduction** | "Someone had a midnight snack" |
| The snack would leave evidence | **Deduction** | "If someone ate toast, crumbs would remain" |
| You check | **Induction** | "Crumbs are present → confirms hypothesis" |
In contemporary philosophy of science, "abduction" is used in a related but distinct sense — Inference to the Best Explanation. Given competing explanatory hypotheses, infer the one that best explains the evidence. Criteria for "best":
Retroduction is the logical backbone of the prediction project:
| Figure | How they use retroduction |
|---|
|--------|--------------------------|
| **Peter Turchin** | Observes instability patterns → retroducts elite overproduction as the structural cause |
|---|---|
| **Yaneer Bar-Yam** | Observes Arab Spring → retroducts food prices as the tipping variable |
| **Jiang** | Observes US-China dynamics → retroducts Thucydides Trap pattern |
| **Ibn Khaldun** | Observed dynasty collapse → retroducted asabiyya decay as the mechanism |
| **Andrey Nikolaevich Kolmogorov** | Observed probability paradoxes → retroducted axiomatization as the solution |
| **Elon Musk** | Observes expensive rockets → retroducts raw materials cost as the true baseline |
Every one of them starts with a surprising fact, guesses an underlying cause that would make it unsurprising, then tests. That's retroduction.