The economist of the Jevons paradox also built the first machine to mechanize inference

The seed note defines inference as running a trained model with frozen weights. Following the seed's economic framing (inference is cheap and getting cheaper) led to the Jevons paradox — and to the man behind it, the Victorian economist William Stanley Jevons (The Coal Question, 1865). The surprise: the same Jevons built one of the first machines to mechanize inference — the word the whole vault cluster orbits.

Core claims

1. Jevons built the "Logic Piano," arguably the first machine to perform logical inference — ~80 years before the electronic computer. He constructed it in 1869 and described it in a paper literally titled On the Mechanical Performance of Logical Inference (Phil. Trans. Royal Society, 1870).

"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." — Rutherford Journal, https://rutherfordjournal.org/article010103.html — Tier 2

2. It worked by elimination — striking keys removed the truth-table combinations inconsistent with the premises, leaving the deducible conclusion. This is the same "eliminate the impossible" move as classic AI inference engines.

the machine "becomes capable of returning any answer which may be logically deduced from them." — Computer History Museum, https://computerhistory.org/blog/logical-piano-lessons/ — Tier 2

3. The mechanism's ancient root is Chrysippus's dog (~230 BCE) — a hunting dog at a three-way fork that, having sniffed two paths, takes the third without sniffing: disjunctive syllogism (modus tollendo ponens). Jevons admired exactly this as a model for mechanizing logic.

"The animal took either A or B or C, so if it did not take A or B it must have taken C." — Internet Encyclopedia of Philosophy / search summary, https://iep.utm.edu/chrysippus/ — Tier 3 (uncontested historical)

Why this was hop-worthy

A confirmed vault bridge: the Logic Piano sits between the hydraulic-analog-computer / MONIAC cluster (economics machines) and the classic AI inference engines cluster (unlinked pair, bridge_candidate: true). One 19th-century economist connects both — and lands the chain back on the seed's own word.

Further leads

• Jevons → Boolean logic → Shannon's circuits (mechanizing Boolean logic for switching) — hardware-history thread, saved.
• Heuer's Analysis of Competing Hypotheses ("disprove, don't prove") as the intelligence-analysis descendant of elimination-inference (vault note, mid-band 0.716).

Hop chain

Hop 1: Telnyx "AI training vs inference" seed note — vault: 30-notes/claim-ai-inference-means-running-a-model.md

• Hook type: The person behind the thing (+ cross-domain bridge)
• Hook: the seed frames inference as an operational cost that has collapsed 280x — the shape of the Jevons paradox; who was Jevons?
• Why followed: the person behind an economics idea turned out to also be a logic-machine builder — bridge to the vault's inference cluster.
• Key findings: William Stanley Jevons, the neoclassical economist of The Coal Question (1865), also built a mechanical logic machine.

Hop 2: Jevons and the Logic 'Piano' — https://rutherfordjournal.org/article010103.html

• Hook type: Cross-domain / cross-time bridge
• Hook: a Victorian built a machine whose paper is titled "On the Mechanical Performance of Logical Inference."
• Why followed: the seed's exact word ("inference") mechanized in 1870, 80 years pre-computer.
• Key findings: the Logic Piano handled up to four terms and reasoned by removing combinations inconsistent with the premises; "conceivably the world's first machine for doing logic inference."

Hop 3: Chrysippus's dog / Stoic logic — https://iep.utm.edu/chrysippus/ (via WebSearch)

• Hook type: Cross-domain bridge (surprising claim; cultural resonance — a reasoning dog)
• Hook: Jevons admired an ancient "logical dog" that eliminated paths rather than checking each.
• Why followed: it names the ancient root of elimination-inference, extending the through-line back to ~230 BCE.
• Key findings: Chrysippus used the three-road hunting dog to illustrate disjunctive syllogism; he was actually skeptical of animal reason — the dog was a logic illustration, not a rationality claim.

Hop 4: Logical Piano Lessons — https://computerhistory.org/blog/logical-piano-lessons/

• Hook type: Mechanism question (road home to AI)
• Hook: how the elimination mechanism reads on the keyboard and what it meant for "machines that reason."
• Why followed: to ground the mechanism at Tier 2 and find the modern-AI framing.
• Key findings: the machine returned "any answer which may be logically deduced"; CHM frames machine-reasoning debates as really debates about what human reasoning is — a natural stop.

Saved hooks not followed:

• Jevons → Boolean logic → Shannon's switching circuits — from Rutherford Journal — a clean hardware-history bridge, but a different thread.
• Heuer's Analysis of Competing Hypotheses ("disprove, don't prove") — from vault_novelty — the intelligence-analysis descendant of elimination-inference; mid-band bridge worth its own chain.
• The MONIAC / hydraulic-analog-computer cluster — from vault_bridge — Jevons's economics-machine kin; a possible second bridge note.

Surprise: expected the Jevons paradox and any "Logic Piano" to be two different people — found one Victorian economist built both the energy-economics idea and the inference machine. Surprise: expected mechanizing logical inference to be a 20th-century (Turing/Shannon-era) idea — found a working elimination machine demonstrated to the Royal Society in 1870. Surprise: expected "reasoning by elimination" to originate in modern logic — found Chrysippus staging it with a hunting dog ~230 BCE, the example Jevons explicitly admired.

post-worthy: yes — a single economist quietly links Stoic dogs, a Victorian "piano," and modern AI inference engines under one 2,200-year idea (infer by eliminating the impossible), with a clean twist that the word outlived its mechanism.