William Stanley Jevons built the 'Logic Piano' (1869), a mechanical machine that performed logical inference, exhibited before the Royal Society in 1870

The English economist and logician William Stanley Jevons (1835–1882) designed an early logical machine — a "'logical machine' built from his specifications in 1869, sometimes called the 'Logic Piano' because of its resemblance to an upright piano" — which he exhibited before the Royal Society in 1870. Operated from a keyboard of terms and logical operators, the device mechanically eliminated the combinations of premises inconsistent with the inputs, returning the valid conclusions of a syllogistic problem. It is one of the earliest machines to physically carry out deductive inference rather than mere arithmetic, and sits in the lineage that leads toward the symbolic inference engines the vault tracks under claim-inference-classic-ai-engines.

The Logic Piano seeded a further hardware thread. It inspired the American logician Allan Marquand to build his own logic machine at Princeton, and it was to Marquand that Charles Sanders Peirce — the philosopher who named and theorized abduction — proposed, in an 1886 letter, that such machines be built from electrical switching circuits, roughly half a century before Claude Shannon's 1937 thesis made switching-circuit logic canonical. (That Peirce–Marquand–Shannon electrical lineage is recorded here only as context; it rests on tertiary history-of-computing sources not independently verified in this run and is left in the inbox as a distinct thread.)

A sibling capture promoted the same day (2026-07-11-hop-jevons-logic-piano.md) adds two Tier-2 corroborations for the facts this note originally rested on Wikipedia alone. A history-of-computing account in the Rutherford Journal states that "in 1869 he designed and built what is conceivably the world's first machine for doing logic inference, a machine that anticipated the contemporary computer by 80 years," and gives the title of the 1870 paper as On the Mechanical Performance of Logical Inference (read as Philosophical Transactions of the Royal Society, 1870); the Computer History Museum independently describes the elimination mechanism, noting the device "becomes capable of returning any answer which may be logically deduced from them." These strengthen the 1869 construction and the mechanism, though the flag is kept until the primary confirms the exact 1870 Royal Society exhibition date. The same disjunctive- elimination move traces back to antiquity — see claim-chrysippus-dog-disjunctive-syllogism and the mechanism through-line in observation-reasoning-by-elimination-from-stoic-logic-to-symbolic-ai.

This mechanical-logic role is one leg of the cross-time bridge developed in observation-jevons-double-bridge-victorian-logic-machine-to-ai-energy: the same Jevons who built a proto-computer also coined the efficiency-rebound paradox now central to AI's energy debate (claim-jevons-paradox-coal-question-1865-efficiency-rebound).