Reasoning Methods: Deductive, Inductive, Abductive (and Friends)

A simplified guide to the three classical modes of inference — deduction, induction, and abduction (“inference to the best explanation”) — plus the other methods they shade into (analogy, statistical inference, Bayesian confirmation). Knowing which mode an argument uses tells you what kind of warrant it claims: logical necessity, probability, or explanatory power.

The Big Three

1. Deductive — logical certainty

Idea: if the premises are true, the conclusion cannot be false. The truth of the premises guarantees the truth of the conclusion. Nothing probabilistic, nothing explanatory — just logical structure.

Schema: All A are B. a is an A. Therefore, a is a B.

Example: All dogs are mammals. Rex is a dog. Therefore, Rex is a mammal.

Validity vs soundness: a deductive argument can be valid (conclusion follows necessarily) but unsound (a premise is false): “If today is Monday, the moon is made of green cheese; today is Monday → the moon is made of green cheese” is valid but false in its premises. 1

In philosophy: ontological arguments, Descartes’ trademark argument, the logical problem of evil.

2. Inductive — probability from statistics

Idea: premises make the conclusion likely, not guaranteed. Classic form: generalize from observed frequencies (“most A’s are B; this is an A; so this is probably a B”). The conclusion can always fail — Rex may be missing a leg.

Example: Most dogs have 4 legs. Rex is a dog. Therefore Rex probably has 4 legs.

Variants: statistical/generalization arguments; argument from analogy (two things similar in one way are likely similar in another — shared taste in music ⇒ shared taste in art). 1

In philosophy: the evidential problem of evil, Hume’s teleological argument, Mill’s argument from analogy for other minds.

3. Abductive — the best explanation (Inference to the Best Explanation, IBE)

Idea: given evidence E and candidate explanations, infer the hypothesis that best explains E — usually the simplest/least contrived account (Ockham’s razor).

Examples: Tim and Harry had a row; they’re seen jogging together → they made up. A messy kitchen table → a house-mate had a midnight snack. Rex won’t eat and lies in the corner → Rex is sick. In each case the conclusion doesn’t follow logically and no statistics are involved; it is the explanatory fit that carries the inference. 2 1

Two senses (SEP): historically (Peirce) abduction = the place of explanatory reasoning in generating hypotheses; in the modern literature it is the role of explanatory reasoning in justifying them (IBE). The SEP entry is about the modern sense. 2

In philosophy: Russell’s “external world is the best hypothesis” reply to skepticism, Swinburne’s teleological argument.

Side-by-Side

DimensionDeductiveInductiveAbductive
Conclusion follows from premisesNecessarilyProbably (likely)As best explanation
What carries the inferenceLogical formObserved frequencies / statisticsExplanatory considerations
Can premises be true & conclusion false?No (if valid)YesYes
Ampliative (goes beyond premises)?NoYesYes
Monotonic (adding premises never undoes it)?YesNoNo
Warranted conclusionTruth of conclusionLikelihoodBest available explanation (not necessarily true)
Classic exampleAll dogs are mammals; Rex is a dog → Rex is a mammalMost dogs have 4 legs → Rex probably has 4 legsRex is sick (best explanation of his behaviour)
Typical useProof, mathematics, logical analysisStatistics, generalization, predictionEveryday sense-making, diagnosis, science, historiography

The Key Subtlety: Induction vs Abduction

Both are ampliative (non-necessary: the conclusion goes beyond the premises), and both violate monotonicity — adding premises can defeat an otherwise good inference (e.g., learning Tim and Harry are former business partners calls off the “they made up” inference). Deduction satisfies monotonicity. 2

The standard distinction (SEP §1.1): in abduction there is an explicit or implicit appeal to explanatory considerations, whereas in induction there is only an appeal to observed frequencies or statistics. Abduction may also use statistics — e.g., “all observed elephants are gray, because that best explains why we’ve seen only gray ones” is abductive, not merely enumerative. Harman (1965) even treats induction as a special type of abduction. 2

Other Reasoning Methods (the “and Friends”)

  • Analogical inference — similarity-based; often taught as an inductive form (music/art example). 1
  • Statistical / probabilistic inference — the general inductive family; as a normative framework it is now dominated by Bayesian confirmation theory, which assigns confirmation purely via probability (priors + likelihoods → posterior) and makes no reference to explanation. 2
  • Abduction vs Bayes (SEP §4): the two are compatible for many: Lipton (2004) argues Bayesians should also be “explanationists” — explanatory considerations set priors/likelihoods (see also Weisberg 2009; Okasha 2000; McGrew 2003; Dellsén 2018). Douven & Schupbach’s experiments show people’s probability updates do deviate from strict Bayes, and more explanatory weighting correlates with better accuracy. 2
  • Testimony and pragmatics — trusting what someone says is analyzed as abductive (Adler, Harman, Fricker, Lipton), and Gricean utterance interpretation as inference to the best explanation of why the speaker said that. 2
  • Scientific discovery — abduction is central to science: Neptune was postulated as the best explanation of Uranus’s deviating orbit (Adams & Leverrier); Thomson “could see no escape” from the conclusion that cathode rays are charged particles. McMullin calls abduction “the inference that makes science”; Williamson: “the abductive methodology is the best science provides.” Medical and psychiatric diagnosis are likewise typically abductive. 2

What Is Still Debated

  • How to state it: textbook form ABD1 (infer the truth of the best explanation) is criticized for the “bad lot” problem (van Fraassen 1989: the best of our hypotheses may not be the best possible — and the absolute conclusion doesn’t follow from a comparative premise). Refinements: ABD2 require the winner be satisfactory/good enough (Musgrave, Lipton); ABD3 draw only a comparative conclusion, “closer to the truth” (Kuipers). 2
  • Normative status: van Fraassen’s objections (explanatory superiority may require more falsity-makng content; probabilistic abduction must equal Bayes’ rule or be probabilistically incoherent, per Dutch-Book arguments) are met by Maher/Skyrms/Douven (coherence of rule packages; faster convergence to truth can outweigh incoherence). Boyd’s reliability argument (the success of science is best explained by approximately true background theories, so abduction is reliable) is criticized as circular (Laudan, Fine); Psillos defends it as merely rule-circular, hence not vicious. 2
  • Theoretical virtues: “best explanation” is usually cashed out via simplicity, generality, coherence with established theory (Thagard 1978; McMullin 1996) — but none is yet well understood, and Lombrozo (2007) shows people overrate simple explanations. 2

See Also

References

Footnotes

  1. raw/articles/philosophyalevel-reasoning-methods-2023.md 2 3 4 5

  2. raw/articles/sep-abduction.md 2 3 4 5 6 7 8 9 10 11 12