Three Modes

Chapter 1 · Peirce 1878, 1903

The dog that didn't bark

"Is there any other point to which you would wish to draw my attention?"

"To the curious incident of the dog in the night-time."

"The dog did nothing in the night-time."

"That was the curious incident."

— Arthur Conan Doyle, The Adventure of Silver Blaze (1892)

Holmesian reasoning is usually called deduction. This case is not. You can reconstruct a deductive argument after the fact: dogs bark at strangers; this dog did not bark; therefore the intruder was no stranger. But where did the first premise come from? Holmes knows a thousand things about dogs, stables, night, and strangers. The work is not in the syllogism. It is in selecting which fact to attend to: the silence of the dog rather than the lock, the weather, the groom's alibi, the colour of the horse.

Absence is the signal; a quiet night is the background. Separating one from the other is the operation the tradition misnamed.

Peirce called it the neglected third mode of reasoning. Sharp diagnosticians do it fast: separate what matters from what doesn't. Every scientist, doctor, engineer, and detective performs it constantly. They have local names (diagnosis, root cause analysis, hypothesis generation) but no shared theory.

Three modes, three Latin roots

Charles Sanders Peirce identified the trichotomy in 1878 and refined it over the next twenty-five years. All three terms derive from Latin ducere ("to lead"):

Deduction (de-ducere, "to lead from"): given premises, derive consequences. If all men are mortal and Socrates is a man, then Socrates is mortal. The conclusion adds nothing not already in the premises. Two millennia of formalisation back it, from Aristotle's syllogisms through Frege's predicate logic to modern theorem provers, type checkers, and SAT solvers.

Induction (in-ducere, "to lead toward"): given examples, generalise a pattern. Every swan I've seen is white; probably all swans are white. The conclusion extends beyond the observed cases but stays within the same conceptual frame. Bacon elevated it to systematic method in 1620, Fisher and Neyman formalised it in the twentieth century, and it underpins statistical inference and supervised machine learning.

Abduction (ab-ducere, "to lead away"): given a surprising observation, propose what would make it unsurprising. The lawn is wet but it didn't rain; perhaps the sprinkler ran overnight. The conclusion goes beyond both premises and data: it introduces a new idea. Peirce gave it its classic treatment in 1878 under the name hypothesis, later calling it abduction or retroduction. It still lacks a quantitative framework comparable to deductive validity or statistical inference.

Same beans, three syllogisms

Peirce illustrated the three modes by rotating a single example. The classic version uses beans:

Each mode rearranges three propositions (Rule, Case, Result). Deduction: Rule + Case to Result. Induction: Case + Result to Rule. Abduction: Rule + Result to Case. The logical form is symmetric; the epistemic status is not.

Deduction preserves truth with certainty. Induction converges under assumptions: sufficient samples, stable distribution. Abduction proposes a candidate that might be entirely wrong.

# Three propositions. Three arrangements. Three epistemic statuses.
rule   = "All beans from this bag are white"
case   = "These beans are from this bag"
result = "These beans are white"

# Deduction: Rule + Case → Result. Certain.
print("Deduce:", result, "  (given rule and case)")

# Induction: Case + Result → Rule. Probable.
print("Induce:", rule,   "  (given case and result)")

# Abduction: Rule + Result → Case. Plausible.
print("Abduce:", case,   "  (given rule and result)")

The code makes the symmetry visible: same data, three arrangements, three epistemic statuses.

Why three and only three

In his 1903 Harvard lectures, Peirce argued the trichotomy is exhaustive. His argument rests on three irreducible kinds of relation.

A monadic relation is a quality of a single thing. A dyadic relation connects two things (cause and effect, stimulus and response). A triadic relation connects three things in a way that cannot be reduced to pairs (a sign, the object it represents, and the interpretation it produces).

Deduction is monadic: it unpacks what the premises already contain. Induction is dyadic: it correlates cases with results. Abduction is triadic: it relates observation, rule, and case irreducibly. Monadic, dyadic, and triadic exhaust the irreducible relation types, so three modes exhaust the kinds of inference.

Peirce's argument assumes that no relation of arity four or higher is irreducible. Whether that holds depends on how you formalise "irreducible." This book bets that apparent fourth modes reduce to compositions of the three. The claim is empirical, not proven.

One cycle, self-correcting

The three modes form a cycle. Each takes one kind of thing and produces another:

Abduction: Observation → Theory. Something surprising — a symptom, a bug, an anomaly — provokes a hypothesis. New ideas enter inquiry through abduction.

Deduction: Theory → Experiment. The hypothesis yields consequences: if this theory holds, we should observe X under conditions Y. Knowledge becomes procedure.

Induction: Experiment → Observation. Run the experiment, accumulate evidence, compare results to prediction. New observations feed back into the cycle.

Self-correcting inquiry traverses all three edges. Partial traversals yield partial inquiries: a hypothesis without a test (abduction alone), a test without a hypothesis (induction alone), a prediction without data (deduction alone). Only the full cycle self-corrects.

Four domains, one triangle

The triangle appears in medicine, engineering, science, and daily life. Vocabulary changes; structure does not.

Medicine. A patient presents with fever, joint pain, and a butterfly-shaped facial rash. The doctor proposes lupus (abduction). If lupus, antinuclear antibodies should be elevated (deduction). The lab runs the ANA test and reports a high titer. The doctor updates confidence given the test's sensitivity and the patient's presentation (induction). A positive ANA supports but does not confirm lupus; ANA is sensitive, not specific. The new observation narrows the differential or forces a new hypothesis.

Debugging. A server returns 500 errors on every third request. The engineer suspects connection pool exhaustion (abduction). If the pool is exhausted, active connections should climb to the limit before failures begin (deduction). She checks the connection count at failure time (induction). Errors persist — wrong hypothesis. She abduces again: maybe a thread-safety issue in the request handler.

Science. Darwin observed that finch beak shapes vary across the Galapagos islands. (The history is messier than this schematic suggests, but the logical structure holds.) He proposed that beak shape tracks food source: different environments select for different beaks (abduction). If natural selection drives beak shape, islands with hard seeds should have finches with stronger beaks (deduction). Decades of field measurement confirmed the correlation (induction).

Everyday life. You flip a light switch and nothing happens. The bulb burned out (abduction). If so, replacing it should restore the light (deduction). You swap the bulb; the light turns on (induction).

Three primitives compose everything

Complex reasoning decomposes into compositions of the three:

Analogy = abduction (notice a surprising similarity across two domains) + induction (generalise the structural correspondence). Peirce analysed it this way. Brewer's account of legal reasoning supports the same decomposition.

Diagnosis = abduction (propose what is wrong) + deduction (derive the observable consequences of that fault).

Scientific method = abduction (hypothesise) + deduction (predict) + induction (test). The full triangle.

Debugging = abduction (propose a cause) + deduction (if this cause, then that symptom) + abduction again (it wasn't that; next cause). Debugging is abduction-heavy because the hypothesis space is large and each test eliminates only one candidate.

Legal precedent = abduction (match the current case to a prior case) + induction (generalise a principle from the precedent) + deduction (apply the generalised rule to the current facts).

Holmes, House, Semmelweis, Darwin. Same compositions, different costumes.

Twenty-three centuries to name three modes

The trichotomy accumulated slowly.

Rediscovered six times over

Abduction keeps getting rediscovered. At least eight entries across six fields describe the same pattern: given an observation, separate what demands attention from what can be held constant. Gestalt psychologists call it figure-ground segregation; Piaget, equilibration; Calcagno, bi-abduction. Each field coined its own term. Chapter 3 lays out the full table and extracts the common structure.

The missing ruler

Three modes, defined. A cycle connecting them. Cross-field recurrence. Decomposition rules that reduce complex reasoning to compositions of the three.

But we cannot measure abduction. We can say it is "more fertile" than deduction and "less certain" than induction, but those are ordinal claims, never quantitative. How fertile? How uncertain? Can we compare two abductive inferences and say which is better before testing either?

Peirce addressed this late in life with two terms: security (how certain is the conclusion?) and uberty (how much new knowledge does it produce?). He claimed security and uberty are inversely related. The tradeoff is structural. If he's right, it constrains the design space of any system that reasons. If he's wrong, abduction is just guessing with extra syllables.

That tradeoff is the subject of Chapter 2.

Sources