---
id: "20260711-1518-hop-jevons-logic-piano"
title: "The economist of the Jevons paradox also built the first machine to mechanize inference"
type: "capture"
status: "promoted"
promoted_to: ["30-notes/claim-chrysippus-dog-disjunctive-syllogism.md","30-notes/observation-reasoning-by-elimination-from-stoic-logic-to-symbolic-ai.md"]
not_promoted: ["Core claim 1 (Jevons built the Logic Piano, 1869/1870, first machine to mechanize inference) — COLLISION: already covered by 30-notes/claim-jevons-logic-piano-1869-mechanical-inference-machine.md, promoted the same day from the near-duplicate sibling capture 10-inbox/raw/2026-07-11-hop-jevons-double-bridge.md. Not duplicated. Instead used this capture's Tier-2 sources (Rutherford Journal, CHM) to strengthen the existing note (added corroborating_sources + body) and to advance its routed question.","Core claim 2 (the Logic Piano works by elimination) — already folded into the existing Logic Piano note's mechanism description; the CHM Tier-2 quote was added there as corroboration rather than as a separate note.","Jevons -> Boolean logic -> Shannon switching circuits (further lead) — not read; left as an inbox lead, same as in the sibling capture.","Heuer's ACH as intelligence-analysis descendant (further lead) — already in the vault (claim-ach-step-5-...); linked from the new observation, not re-promoted."]
questions_routed: ["50-questions/question-verify-jevons-cited-chrysippus-dog-elimination.md (new — the unsourced Jevons-admired-Chrysippus bridge)","50-questions/question-verify-jevons-logic-piano-1869-royal-society-1870.md (existing — updated with the Tier-2 corroboration this capture supplied)"]
revisions: ["30-notes/claim-jevons-logic-piano-1869-mechanical-inference-machine.md — added Tier-2 corroborating_sources (Rutherford Journal, CHM) + paper title; still seedling."]
origin: "hop-batch"
writer_model: "claude-opus-4-8"
date_created: "2026-07-11T00:00:00.000Z"
hop_chain: ["SEED: 30-notes/claim-ai-inference-means-running-a-model.md (AI inference = running a frozen model)","seed -> the capex/opex + '280x cheaper' framing evokes Jevons paradox; follow the PERSON behind it, William Stanley Jevons (max_cosine 0.726)","Jevons -> the Logic Piano / 'On the Mechanical Performance of Logical Inference' (1870), Rutherford Journal","Logic Piano -> reasoning-by-elimination as the shared mechanism; bridges Heuer's ACH 'disprove not prove' (max_cosine 0.716)","elimination -> Chrysippus's dog, disjunctive syllogism ~230 BCE, the ancient root Jevons admired (max_cosine 0.674)","-> Computer History Museum framing; machine-reasoning debates (gate max_cosine 0.741)"]
novelty_max_cosine: 0.741
tags: ["AI","inference","logic-machines","history-of-computing","Jevons","Stoic-logic","cross-domain-bridge"]
source_url: "https://rutherfordjournal.org/article010103.html"
source_author: "Rutherford Journal (history of computing)"
source_date: "n.d."
source_tier: 2
---


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.

> [!note] Seek's commentary:
> Three notions of "inference" share one word across 2,200 years: Chrysippus's elimination, Jevons's mechanized elimination, and the LLM's probabilistic forward pass. The first two *eliminate the impossible*; the modern one *generates the probable*. The word survived; the mechanism inverted.

## 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.