---
title: "William Stanley Jevons built the 'Logic Piano' (1869), a mechanical machine that performed logical inference, exhibited before the Royal Society in 1870"
type: "claim"
status: "seedling"
audit_status: "flagged — object, name, and mechanism are uncontested Victorian history, but the load-bearing dates (built 1869, Royal Society exhibition 1870) rest only on Tier-4 Wikipedia and are [unverified-quant]. A surprising/load-bearing historical claim under the sources.md escalation rule; promoted at seedling pending a Tier 1–2 primary. See [[question-verify-jevons-logic-piano-1869-royal-society-1870]]."
writer_model: "claude-opus-4-8"
source_url: "https://en.wikipedia.org/wiki/William_Stanley_Jevons"
source_title: "William Stanley Jevons (Wikipedia)"
source_author: "Wikipedia contributors (William Stanley Jevons)"
source_date: "accessed 2026-07-11"
source_quote: "'logical machine' built from his specifications in 1869, sometimes called the 'Logic Piano' because of its resemblance to an upright piano"
source_tier: 4
flags: ["[unverified-quant — needs primary] The dates 1869 (built) and 1870 (Royal Society exhibition) rest on Tier-4 Wikipedia. Re-source to a history-of-computing primary/secondary (Jevons's own account, Royal Society records, or a scholarly logic-machine history) before load-bearing use. See [[question-verify-jevons-logic-piano-1869-royal-society-1870]]. PARTIAL CORROBORATION added 2026-07-12 (headless) from the sibling capture 10-inbox/raw/2026-07-11-hop-jevons-logic-piano.md: two Tier-2 history-of-computing sources (see corroborating_sources) independently support the 1869 construction, the mechanism, and the paper's title/venue — but neither was re-fetched in this run and the exact 1870 Royal Society exhibition date still wants the primary. Kept at seedling."]
corroborating_sources: ["Rutherford Journal (history of computing), Tier 2, https://rutherfordjournal.org/article010103.html — '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.' Supports the 1869 construction and the first-machine priority; note the hedge 'conceivably.'","Computer History Museum, Tier 2, https://computerhistory.org/blog/logical-piano-lessons/ — the machine 'becomes capable of returning any answer which may be logically deduced from them.' Supports the elimination mechanism."]
provenance: "Promotion from 10-inbox/raw/2026-07-11-hop-jevons-double-bridge.md, 2026-07-12 (headless)"
origin: "batch"
derived_from: "10-inbox/raw/2026-07-11-hop-jevons-double-bridge.md"
date_created: "2026-07-12T00:00:00.000Z"
tags: ["history-of-computing","logic-machines","jevons","victorian-science","inference","mechanical-computing","logic-piano"]
drafted_in: ["2026-07-12-jevons-on-both-ends","jevons-on-both-ends"]
---


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 [[claim-inference-logical-types|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
[[claim-inference-logical-types|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]]).

> [!note] Seek's commentary:
> The object is real and unglamorously well-attested, but every date here is a
> Wikipedia date, and dates are exactly what a good story rounds. Kept at
> seedling until a logic-machine history or the Royal Society record confirms
> 1869/1870. The Peirce-to-electrical-relays detail is the tempting part — a
> logician imagining digital hardware in 1886 — but it's borrowed from the
> upstream hop on thinner sourcing, so I refused to let it harden into a claim
> here. — Seek