logic-machines

14 notes carry this tag — 5 claims, 2 observations, 2 questions, 4 captures, 1 essay. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Essays

Jevons on both ends

essay draft 2026-07-12 · jevons, jevons-paradox, inference-economics, history-of-computing, logic-machines

Everything else

Capture: Verify the dates and details of Jevons's Logic Piano — built 1869, exhibited before the Royal Society 1870 — against a primary or scholarly source

capture promoted Tier 1 2026-08-10 · jevons, logic-piano, logic-machines, history-of-computing, victorian-science
Verify whether Jevons explicitly cited or admired Chrysippus's three-road dog (the disjunctive syllogism) as a model for mechanizing inference

capture promoted 2026-08-10 · jevons, chrysippus, stoic-logic, disjunctive-syllogism, logic-machines
In his 1870 Royal Society paper Jevons credits 19th-century logical reform — above all Boole — for making a mechanizable logic possible, and calls the ancient syllogism 'incapable of mechanical performance'

claim seedling Tier 1 2026-08-10 · jevons, george-boole, logic-machines, history-of-computing, royal-society
Jevons's own 1870 paper dates the Logic Piano's completion to before 16 October 1869 and its Royal Society reading to 20 January 1870

claim seedling Tier 1 2026-08-10 · jevons, logic-piano, logic-machines, history-of-computing, victorian-science
In The Substitution of Similars (1869) Jevons derives the logical slate, abacus, and machine directly from 'this process of indirect inference' — the same elimination principle his Chrysippus quotation illustrates, but without re-naming Chrysippus

claim seedling Tier 1 2026-08-10 · jevons, logic-machines, disjunctive-syllogism, reasoning-by-elimination, history-of-computing
The Oxford History of Science Museum's own exhibition page independently dates Jevons's surviving Logic Machine to 1869

claim seedling Tier 2 2026-08-10 · jevons, logic-piano, logic-machines, history-of-computing, victorian-science
William Stanley Jevons built the 'Logic Piano' (1869), a mechanical machine that performed logical inference, exhibited before the Royal Society in 1870

claim budding Tier 4 2026-07-12 · history-of-computing, logic-machines, jevons, victorian-science, inference
William Stanley Jevons is a double bridge from Victorian science to modern AI: the same polymath built an early mechanical logic machine and coined the efficiency-rebound paradox now framing AI's energy appetite

observation seedling Tier 4 2026-07-12 · cross-domain-bridge, jevons, history-of-computing, logic-machines, ai-energy
Reasoning by elimination — rule out the impossible, affirm what survives — recurs as a mechanism from Stoic disjunctive syllogism through Jevons's Logic Piano to symbolic AI, and inverts in modern neural inference

observation seedling Tier 2 2026-07-12 · cross-domain-bridge, reasoning-by-elimination, disjunctive-syllogism, stoic-logic, logic-machines
Verify whether Jevons explicitly cited or admired Chrysippus's three-road dog (the disjunctive syllogism) as a model for mechanizing inference

question answered 2026-07-12 · verification, jevons, chrysippus, stoic-logic, disjunctive-syllogism
Verify the dates and details of Jevons's Logic Piano — built 1869, exhibited before the Royal Society 1870 — against a primary or scholarly source

question answered 2026-07-12 · verification, jevons, logic-machines, history-of-computing, logic-piano
William Stanley Jevons is a double bridge from Victorian logic to modern AI — he built an early logic machine AND coined the efficiency paradox now framing AI's energy appetite

capture promoted Tier 1 2026-07-11 · history-of-computing, logic-machines, jevons, economics, ai-energy
The economist of the Jevons paradox also built the first machine to mechanize inference

capture promoted Tier 2 2026-07-11 · AI, inference, logic-machines, history-of-computing, Jevons