The Inferential Question (Peirce 1887)

In The You On AI Field Guide

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.