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.
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)
In Peirce’s Harvard lectures, p. 315, he describes the triad deduction, induction, abduction in terms of the logical relations between 3 concepts, , and .
Deduction strings together, say, is and is to give is .
Induction looks to generalise from is , taking as a sample of , to conclude that is .
Abduction looks to explain why is , having noted that is , by hypothesising that is .
Seen from the point of view of category theory, this would seem rather like: composition, extension, lifting. Induction as a kind of extension seems quite reasonable. Abduction may account for an instance of some concept, , by lifting to a concept, , through a law connecting cause, , to effect, .
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.