nLab abductive reasoning



General idea

Abductive reasoning is a process whereby one reasons to the truth of an explanation from its ability to account for what is observed. It is therefore sometimes also known as inference to the best explanation.

Charles Peirce, the originator of the term, illustrated the differences between deduction, induction, and abduction by the following example.

  • Deduction

    • All beans in that bag are white.
    • These beans are from that bag.
    • Therefore, these beans are white.
  • Induction

    • These beans are from that bag.
    • These beans are white.
    • Therefore, all beans in that bag are white.
  • Abduction

    • These beans are white.
    • All beans in that bag are white.
    • Therefore, these beans are from that bag.

It is not completely clear what Peirce meant by abduction, which he also termed retroduction. Clearly the inference cannot be to just any possible explanation, e.g., in the case above, there might have been many other bags full of white beans. But before we decide what constitutes a best explanation, we had been inquire into the nature of explanation itself.

There is an extensive literature about explanation in the Philosophy of Science, for example, (FourDecades). Clearly it is not merely a matter of devising propositions, perhaps a general law and a particular statement, which have the thing to be explained (explicandum) as a consequence. We want the proposed explanation to ‘give the reason for’ the observation. A thorough account of what constitutes the ‘reason’ for something is notoriously difficult to formulate. For some, it is a matter of subsuming the observation under a general covering law, while for others, it is a matter of giving a causal or mechanistic story with the observation as the outcome.

Note also that there is a growing literature now on the concept of ‘explanatory proofs’ in mathematics, it being felt that one may have proved a mathematical fact without understanding ‘why’ it is true.

For some, abduction also signifies the creative process of coming up with a good explanation. Otherwise, if it is merely a case of assessing a range of existing rival hypotheses as explanations, it may be possible to employ Bayesian reasoning, generally taken to be a form of inductive reasoning.

If you really can find an explanation having sufficient probability to be worth consideration, you escape in great measure from reposing upon retroduction [abduction] and make your inference inductive. (Peirce, Harvard Lectures, p. 193)

Abduction as lifting

In Peirce’s Harvard lectures, p. 315, he describes the triad – deduction, induction, abduction – in terms of the logical relations between three concepts, MM, PP and SS.

  • Deduction strings together, say, MM is PP and PP is SS to give MM is SS.

  • Induction looks to generalise from MM is SS, taking MM as a sample of PP, to conclude that PP is SS.

  • Abduction looks to explain why MM is SS, having noted that PP is SS, by hypothesising that MM is PP.

Seen from the point of view of category theory, this would seem rather like: composition, extension, and lifting. Induction as a kind of extension seems quite reasonable. Abduction may account for an instance of some concept, EE, by lifting to a concept, CC, through a law connecting cause, CC, to effect, EE.


  • Wesley Salmon, 1989, Four Decades of Scientific Explanation, University of Pittsburgh Press.

  • Proposed formalization as a functor between categories of structures can be found in Fernando Tohmé, Gianluca Caterina, Rocco Gangle, Abduction: A categorical characterization, Journal of Applied Logic, Volume 13, Issue 1, March 2015, Pages 78-90

  • Gerhard Schurz, 2008, Patterns of abduction, Synthese 164:201–234.

  • Charles Peirce, 1992, Reasoning and the logic of things, Harvard University Press (lectures from 1898, book)

  • Peter Krause, Presupposition and abduction in type theory, In Working Notes of. CLNLP-95: Computational Logic and Natural Language Processing.

Last revised on January 27, 2018 at 15:23:20. See the history of this page for a list of all contributions to it.