Abduction is the kind of practical logic which answers questions of the type "how did this come about?". It produces answers which are not guaranteed to be correct. Consider the observation that the lawn is wet in the morning. How did that happen? In London, the answer is most often that it rained. But in Los Angeles it is much more likely that someone left the sprinkler on.
Abduction is logical inference which goes from an observation to a theory which accounts for the observation. It makes the simplest and most likely explanation. In abductive reasoning, unlike in deductive reasoning, the premises do not guarantee the conclusion. Abductive reasoning is "inference to the best explanation".
- Sober, Elliot. Core questions in philosophy. 5th ed,
- Peirce C.S. On the logic of drawing history from ancient documents especially from testimonies" (1901), Collected Papers v. 7, paragraph 219. "PAP" ["Prolegomena to an Apology for Pragmatism"], MS 293 c. 1906, New Elements of Mathematics v. 4, pp. 319-320. A Letter to F. A. Woods (1913), Collected Papers v. 8, paragraphs 385-388.