Abduction
In The You On AI Encyclopedia
The logical form of abduction conceals a profound difficulty: where does the hypothesis come from? It is not derived from the evidence. It is not a deductive consequence of any premise. It is not an inductive generalization. It arrives — from the inquirer's imagination, from what Peirce called the lumen naturale, the natural light of reason. The capacity to generate the right hypothesis, or at least one close enough to right that testing can refine it, is a brute fact about human cognition that logic can describe but cannot fully explain.
Peirce was candid about the mystery: "You cannot say that it happened by chance, because the possible theories, if not strictly innumerable, at any rate exceed a trillion — and therefore the chances are too overwhelmingly against the single true theory having been the first to occur to any man." The human mind guesses correctly more often than pure chance would predict, and the capacity for right guessing is the foundation of inquiry.
Contemporary AI systems produce outputs that have, from the human user's perspective, the phenomenological characteristics of abductive inferences. When Claude suggests an analogy that resolves a structural problem, the suggestion has the logical form of abduction: surprising fact, hypothesis, plausibility. But the abductive elements are distributed asymmetrically across the collaboration — surprise in the human, hypothesis-generation in the machine, plausibility-judgment back in the human.
Erik Larson, drawing explicitly on Peirce, argued that abductive inference constitutes an impassable barrier for current AI. The claim may be too strong, but the underlying insight is sound: the three modes of inference are distinct logical operations, and the capacity to perform one does not entail the capacity to perform another.
Origin
Peirce developed the tripartite classification of inference across the 1860s and 1870s, refining the distinction between hypothesis (later renamed abduction) and induction through successive papers. His mature treatment, in lectures and unpublished manuscripts from the 1900s, gave abduction its fullest articulation as the logic of discovery.
The concept has been rediscovered repeatedly — by philosophers of science studying theory formation, by cognitive scientists studying creative problem-solving, and most recently by AI researchers asking whether machines can perform genuinely novel inference.
Key Ideas
Not derived from evidence. The hypothesis goes beyond the observation in a way categorically different from induction — inventing a pattern rather than extending one.
The only ampliative-novel inference. Deduction clarifies; induction generalizes; only abduction proposes what has not been seen.
Three required elements. Genuine surprise, candidate hypothesis, judgment of plausibility — all three must be present and connected.
Distributed in human-AI work. Surprise belongs to the human, hypothesis-generation to the machine, plausibility-judgment back to the human.
Debates & Critiques
Whether large language models perform genuine abduction or only its surface simulation is the central unresolved question of AI epistemology. Larson's strict reading says no; functionalist readings say the distinction is hard to maintain once the machine's outputs are indistinguishable from human abductions. Peirce's framework sharpens rather than resolves the debate, by specifying exactly which elements are present and which are missing.
Further Reading
- Charles Sanders Peirce, Collected Papers, vols. 5 and 7, esp. "Abduction and Induction"
- Erik Larson, The Myth of Artificial Intelligence (Harvard, 2021)
- Douglas Anderson, "The Evolution of Peirce's Concept of Abduction," Transactions of the Charles S. Peirce Society (1986)
- Atocha Aliseda, Abductive Reasoning: Logical Investigations into Discovery and Explanation (Springer, 2006)
- Sami Paavola, "Hansonian and Harmanian Abduction as Models of Discovery," International Studies in the Philosophy of Science (2006)