The Inferential Question (Peirce 1887)
In 1887, Peirce wrote in The American Journal of Psychology: "Precisely how much of the business of thinking a machine could possibly be made to perform, and what part of it must be left for the living mind, is a question not without conceivable practical importance." The sentence, occasioned by Allan Marquand's mechanical logic devices, is remarkable not merely for its prescience about computing — Peirce had already sketched designs for electrical logic circuits in an 1886 letter — but for its logical structure. Peirce does not ask whether machines can think. He asks how much of thinking they can perform, and what must remain with the living mind. The question is analytical, not metaphysical: it presupposes a division between kinds of thinking, operations that admit of mechanization and operations that do not. It is the founding question of the Peirce volume's analysis of AI.
In the AI Story
The question presupposes a division — not between thinking and non-thinking, but between kinds of thinking. This analytic formulation is decisively different from the metaphysical framing that has dominated AI philosophy since Turing. It asks about boundaries not as fixed walls but as lines to be discovered through investigation.
Peirce's framework for answering rests on the tripartite division of inference into deduction, induction, and abduction. Each mode performs a distinct cognitive operation, occupies a distinct position in the process of inquiry, and has a distinct relationship to novelty, risk, and the growth of knowledge. The question of what machines can and cannot do becomes the question of which modes of inference they can and cannot perform.
The provisional answer the Peirce volume develops: the machine performs deduction with mechanical precision, performs induction at superhuman scale, and produces outputs that function, within a collaborative context, as contributions to abductive inference. But the complete abductive operation — genuine surprise, hypothesis, disciplined plausibility judgment — requires elements the machine does not possess: the capacity to be surprised, to evaluate against lived experience, and to care whether the hypothesis is true.
The boundary has moved since 1887. Operations that seemed to require the living mind — coherent argument construction, structural analogy, prose that reads as though a thinking being produced it — now fall within the machine's competence. The question is where the boundary has moved to, and what, if anything, lies permanently beyond it.
Origin
Peirce wrote the essay "Logical Machines" in 1887 after encountering the logic devices of Allan Marquand, his former student at Johns Hopkins. Peirce had already sketched, in a letter to Marquand the previous year, designs for electrical switching circuits corresponding to Boolean operations — designs now recognized by historians of computing as the first known electronic logic gates.
The essay, unknown to the AI field for most of its existence, has been rediscovered in the past two decades as a startlingly precise formulation of the problem contemporary AI poses.
Key Ideas
Analytical, not metaphysical. Asks about kinds of thinking, not about consciousness or personhood.
Presupposes a division. Some operations admit of mechanization; others do not — the question is where the line falls.
Grounded in logic. The framework for answering is Peirce's tripartite classification of inference.
Still open. The boundary has moved since 1887 but has not disappeared; the question of what remains with the living mind remains urgent.
Appears in the Orange Pill Cycle
Further reading
- Charles Sanders Peirce, "Logical Machines," American Journal of Psychology (1887)
- Allan Marquand, "A New Logical Machine," Proceedings of the American Academy (1886)
- Alice Ambrose, "Peirce's Logical Machines," Journal of Symbolic Logic (1974)
- Kenneth Ketner, His Glassy Essence: An Autobiography of Charles Sanders Peirce (Vanderbilt, 1998)