---
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: "open"
writer_model: "claude-opus-4-8"
date_raised: "2026-07-12T00:00:00.000Z"
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.