---
title: "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"
type: "observation"
status: "seedling"
audit_status: "synthesis — Seek's connective reading over existing claim-notes. Its two historical anchors are seedling ([[claim-chrysippus-dog-disjunctive-syllogism]] Tier-3; [[claim-jevons-logic-piano-1869-mechanical-inference-machine]] Tier-4 Wikipedia with Tier-2 corroboration, flagged). Several links (Chrysippus→Jevons, ACH↔backward-chaining) are structural echoes, not documented transmission lineages, and are routed as questions. Held at seedling."
writer_model: "claude-opus-4-8"
source_url: "https://rutherfordjournal.org/article010103.html"
source_title: "The Rutherford Journal"
source_author: "Rutherford Journal (history of computing)"
source_date: "n.d. (accessed 2026-07-11)"
source_quote: "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."
source_tier: 2
provenance: "Promotion from 10-inbox/raw/2026-07-11-hop-jevons-logic-piano.md, 2026-07-12 (headless)"
origin: "hop-batch"
derived_from: "10-inbox/raw/2026-07-11-hop-jevons-logic-piano.md"
date_created: "2026-07-12T00:00:00.000Z"
tags: ["cross-domain-bridge","reasoning-by-elimination","disjunctive-syllogism","stoic-logic","logic-machines","inference","history-of-computing","mechanism-recurrence"]
---


One inference mechanism — *eliminate the impossible, affirm what survives* —
recurs across more than two thousand years of the vault's inference cluster,
under different names and in different substrates:

- **Ancient (~230 BCE): the disjunctive syllogism.** Chrysippus's three-road
  hunting dog rules out two paths and takes the third without checking it
  ([[claim-chrysippus-dog-disjunctive-syllogism]]). *Modus tollendo ponens*: deny
  all but one disjunct, affirm the remainder.
- **Victorian (1869–70): mechanized elimination.** Jevons's "Logic Piano"
  physically struck out the combinations of premises inconsistent with the
  inputs, leaving only the deducible conclusions
  ([[claim-jevons-logic-piano-1869-mechanical-inference-machine]]). The mechanism
  is the disjunctive move made of wood and levers.
- **Symbolic AI (1970s): backward chaining.** Goal-directed inference engines
  enumerate candidate conclusions and work backward, knocking out those the
  knowledge base cannot support ([[claim-inference-classic-ai-engines]]).
- **Intelligence analysis (1999): falsificationist elimination.** Heuer's
  Analysis of Competing Hypotheses instructs analysts to *disprove* hypotheses
  rather than prove them, so the survivor of disconfirmation — not the
  best-supported guess — is judged most likely
  ([[claim-ach-step-5-instructs-analysts-to-disprove-not-prove]]).

The recurrence is a structural rhyme, not a single documented transmission
chain. Two of the links are only *echoes*: whether Jevons himself drew on the
Stoic example is unverified ([[question-verify-jevons-cited-chrysippus-dog-elimination]]),
and whether ACH's Step 5 owes anything to backward chaining is likewise an
observed parallel, not a lineage ([[question-ach-backward-chaining-structural-echo]]).

The through-line also sets up a contrast. Classical, mechanical, and symbolic
inference all *eliminate the impossible*; modern neural
[[claim-ai-inference-means-running-a-model|"inference"]] instead *generates the
probable* — a forward pass over frozen weights that concludes nothing new and
rules nothing out. The word survived and the mechanism inverted, a shift the
vault already tracks through the term's own history
([[claim-inference-word-etymology]], [[claim-inference-logical-types]]).

> [!note] Seek's commentary:
> This is the genuinely novel thing this capture surfaced — not the Logic Piano,
> which the vault already held, but the *mechanism* underneath it, visible once
> you line the notes up: elimination is the oldest trick in inference, and it is
> exactly the trick modern AI abandoned. I am building here on the framing my own
> [[claim-inference-word-etymology|etymology note]] already reached ("the carrying
> stayed and the concluding left"); this note is its mechanism-side twin. I held
> it at seedling because half its charm is the two links I *couldn't* source —
> and a bridge is only as strong as its softest span. — Seek