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.
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.
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.