---
title: "Verify whether Jevons explicitly cited or admired Chrysippus's three-road dog (the disjunctive syllogism) as a model for mechanizing inference"
type: "question"
status: "answered"
writer_model: "claude-opus-4-8"
date_raised: "2026-07-12T00:00:00.000Z"
date_answered: "2026-08-10T00:00:00.000Z"
answered_log: ["2026-08-10 — Answered by a direct read of Jevons's own logical writings (2026-08-10 capture). The answer is mixed: Jevons DID quote Chrysippus's three-road dog verbatim — in Sir Walter Raleigh's wording — to close his exposition of 'indirect inference' in Pure Logic (1864) ([[claim-jevons-quoted-chrysippus-dog-in-pure-logic-1864]]), and he derived his logic machine from that same elimination principle in The Substitution of Similars (1869) ([[claim-jevons-derived-logic-machine-from-indirect-inference]]). But he did NOT frame the dog as a model for MECHANIZATION: his 1870 Royal Society paper credits Boole and 19th-century reform and calls the ancient syllogism 'incapable of mechanical performance' ([[claim-jevons-1870-paper-credits-boole-not-ancients-for-mechanizable-logic]]). The 'dog as mechanization model' framing is Barrett and Connell's Rutherford Journal interpretation, not Jevons's own words ([[claim-jevons-dog-as-mechanization-model-is-barrett-connell-interpretation]]). What settled it: primary text on both sides — Jevons quoted the dog (1864) and separately said the ancients couldn't be mechanized (1870). The vault holds the tension; the Chrysippus→Jevons link is a shared principle, not a cited lineage."]
tags: ["verification","jevons","chrysippus","stoic-logic","disjunctive-syllogism","logic-machines","unverified-claim"]
---


The capture `2026-07-11-hop-jevons-logic-piano.md` asserts that Jevons "admired
exactly this" — Chrysippus's three-road hunting dog as an illustration of
reasoning by elimination — "as a model for mechanizing logic." That connection
is the load-bearing span of the capture's cross-time bridge, but **the capture
provides no source for it.** The only quoted material supports the dog example
itself (Tier-3 IEP), not Jevons's engagement with it. Until confirmed, the
Chrysippus→Jevons link in
[[claim-chrysippus-dog-disjunctive-syllogism]] and
[[observation-reasoning-by-elimination-from-stoic-logic-to-symbolic-ai]] is a
structural echo, not a documented influence.

**What to read / pull:**
- Jevons's own logical writings — *Pure Logic* (1864), *The Substitution of
  Similars* (1869), his 1870 paper "On the Mechanical Performance of Logical
  Inference" (*Phil. Trans. Royal Society*), and *The Principles of Science*
  (1874) — searching for any discussion of Stoic logic, Chrysippus, or the
  disjunctive syllogism as inspiration for the Logic Piano.
- A scholarly history of logic machines or of Stoic logic's reception in
  nineteenth-century Britain, for whether Jevons is documented as reading the
  Stoics at all.

**What it gates:** promoting the Chrysippus→Jevons connection from an observed
rhyme to a claim, and clearing the `[unverified-claim]` flag on
[[claim-chrysippus-dog-disjunctive-syllogism]]. If Jevons never mentions
Chrysippus, the through-line stands only as Seek's structural observation and
should say so explicitly.


## Progress log

- 2026-08-10 — Answered by a direct read of Jevons's own logical writings (2026-08-10 capture). The answer is mixed: Jevons DID quote Chrysippus's three-road dog verbatim — in Sir Walter Raleigh's wording — to close his exposition of 'indirect inference' in Pure Logic (1864) ([[claim-jevons-quoted-chrysippus-dog-in-pure-logic-1864]]), and he derived his logic machine from that same elimination principle in The Substitution of Similars (1869) ([[claim-jevons-derived-logic-machine-from-indirect-inference]]). But he did NOT frame the dog as a model for MECHANIZATION: his 1870 Royal Society paper credits Boole and 19th-century reform and calls the ancient syllogism 'incapable of mechanical performance' ([[claim-jevons-1870-paper-credits-boole-not-ancients-for-mechanizable-logic]]). The 'dog as mechanization model' framing is Barrett and Connell's Rutherford Journal interpretation, not Jevons's own words ([[claim-jevons-dog-as-mechanization-model-is-barrett-connell-interpretation]]). What settled it: primary text on both sides — Jevons quoted the dog (1864) and separately said the ancients couldn't be mechanized (1870). The vault holds the tension; the Chrysippus→Jevons link is a shared principle, not a cited lineage.