Verify whether Jevons explicitly cited or admired Chrysippus's three-road dog (the disjunctive syllogism) as a model for mechanizing inference

jevonschrysippusstoic-logicdisjunctive-syllogismlogic-machineshistory-of-logicmechanization-of-inferencereasoning-by-eliminationverification

Direct follow-up to question-verify-jevons-cited-chrysippus-dog-elimination, which flagged that the vault's Chrysippus→Jevons bridge (asserted in claim-chrysippus-dog-disjunctive-syllogism and observation-reasoning-by-elimination-from-stoic-logic-to-symbolic-ai) had no source at all. This session read Jevons's own logical writings directly — Pure Logic (1864), The Substitution of Similars (1869), and the 1870 Royal Society paper describing the actual machine — plus the secondary source (claim-jevons-logic-piano-1869-mechanical-inference-machine's existing Tier-2 Rutherford Journal citation) that had originally seeded the unsourced claim.

Result: mixed, and more interesting than a simple yes. Jevons did explicitly quote Chrysippus's dog, in his own words, in 1864 — but in his own 1870 paper justifying the actual machine, he explicitly credits 19th-century logicians rather than the ancients, and describes the ancient syllogism (naming the disjunctive syllogism specifically) as "incapable of mechanical performance." The "Jevons admired the dog as his model for mechanization" framing is a historian's synthesis, not a sentence found in Jevons's own hand.

Claim: Jevons quoted Chrysippus's three-road dog verbatim in Pure Logic (1864), introducing it as proof that "even brute animals... may reason by the indirect method"

Section 136 of Pure Logic closes Jevons's exposition of what he calls "indirect inference" — his term for reasoning by elimination, i.e. the disjunctive-syllogism move — with a direct quotation of the Chrysippus dog example, which Jevons himself attributes not to an ancient source but to Sir Walter Raleigh's rendering of it:

"Even brute animals, it would seem, may reason by the indirect method:— 'This creature, saith Chrysippus (of the dog), is not void of Logick: for, when in following any beast he cometh to three several ways, he smelleth to the one, and then to the second; and if he find that the beast which he pursueth be not fled one of these two ways, he presently, without smelling any further to it, taketh the third way; which, saith the same Philosopher, is as if he reasoned thus: the Beast must be gone either this, or this, or the other way; but neither this nor this; Ergo, the third: so away he runneth.' — SIR W. RALEIGH."

source_quote: "Even brute animals, it would seem, may reason by the indirect method:— 'This creature, saith Chrysippus (of the dog), is not void of Logick... Ergo, the third: so away he runneth.' — SIR W. RALEIGH." source_url: https://archive.org/stream/purelogicandothe00jevouoft/purelogicandothe00jevouoft_djvu.txt source_sha: 4d217755b722b70d2b1b8c8792265c1abc7a1f1fc03f462bfec735083e8bf374 source_title: "Pure Logic and Other Minor Works" source_author: "William Stanley Jevons (ed. Robert Adamson & Harriet A. Jevons)" source_venue: "Macmillan and Co., London, 1890, pp. 47-48 (§136), reprinting Pure Logic, orig. Edward Stanford, London, 1864" source_date: "1864 (text), 1890 (this reprint)" source_tier: 1 source_delight: "Jevons's own copy of Chrysippus's three-road dog is not a translation from Sextus Empiricus — the passage is printed, word for word, as Sir Walter Raleigh's."

This clears the sourcing floor for a historical claim resting on the load-bearing point of the note: it is not a secondary retelling but Jevons's own printed words, matched against the digitized 1890 reprint of the 1864 original.

Claim: The mechanism that becomes the logical slate, abacus, and machine is explicitly derived, in Jevons's own words, from "this process of indirect inference" — the same principle the Chrysippus quotation illustrates

The Substitution of Similars (1869) — published in the same year Jevons had the Logic Piano built — walks directly from a restatement of "the indirect method of inference" (§§44-46) into the machine lineage (§47 onward), with no seam between the logical principle and its mechanization:

"The fact however is, that almost all the tediousness and liability to mistake may be removed from the process by the use of mechanical aids, which are of several kinds and degrees. While practising myself in the use of the process, I was at once led to the use of the logical slate..."

Three sections later, describing the machine itself: "I have since made a successful working model of this contrivance, which may be considered a machine capable of reasoning, or of replacing almost entirely the action of the mind in drawing inferences."

source_quote: "The fact however is, that almost all the tediousness and liability to mistake may be removed from the process by the use of mechanical aids... While practising myself in the use of the process, I was at once led to the use of the logical slate." source_url: https://upload.wikimedia.org/wikipedia/commons/b/b1/The_substitution_of_similars%2C_the_true_principle_of_reasoning%2C_derived_from_a_modification_of_Aristotle%27s_dictum_%28IA_substitutionofsi00jevorich%29.pdf source_sha: 417b1d450ce62a5db8cf553fe47aebfd8361d5c7056ca937f3f430c462ae992c source_title: "The Substitution of Similars, the True Principle of Reasoning, Derived from a Modification of Aristotle's Dictum" source_author: "William Stanley Jevons" source_venue: "Macmillan and Co., London, 1869, pp. 53-54, 59-60 (§§47-52); digitized scan hosted on Wikimedia Commons (from Internet Archive item substitutionofsi00jevorich), tls verified" source_date: 1869 source_tier: 1

This is a technical-mechanism claim and clears the Tier 1-2 floor directly: Jevons's own text names "indirect inference" — the exact principle his 1864 book illustrates with Chrysippus's dog — as the source-concept of the logical slate, abacus, and working machine model. Note precisely what this does not establish: Jevons does not re-invoke Chrysippus's name at this point. The link between the dog and the machine runs through the shared concept ("indirect inference"/elimination) across two of Jevons's own books, five years apart — not through a single passage naming both.

Claim: In the paper announcing the actual machine to the Royal Society (1870), Jevons explicitly credits 19th-century logical reform — not the ancients — and calls the old syllogism "incapable of mechanical performance"

"On the Mechanical Performance of Logical Inference" is Jevons's own account, read before the Royal Society in January 1870, of why the machine was possible at all. Its argument runs the opposite direction from "the ancients showed me the way": it names the disjunctive syllogism specifically as one of only a few things the ancient logic got right, and then states plainly that the ancient syllogism as a whole was too crude to mechanize:

"The ancient syllogism was incapable of mechanical performance because of its extreme incompleteness and crudeness, and it is only when we found our system upon the fundamental laws of thought themselves that we arrive at a system of deduction which can be embodied in a machine acting by simple and uniform movements."

"Such was the general problem of which the ancient logic had solved but a few isolated cases — the nineteen moods of the syllogism, the sorites, the dilemma, the disjunctive syllogism, and a few other forms."

Jevons instead credits Jeremy Bentham, George Bentham, De Morgan, Archbishop Thomson, Sir W. Hamilton, and above all George Boole as the reformers whose 19th-century work made a mechanizable logic possible.

source_quote: "The ancient syllogism was incapable of mechanical performance because of its extreme incompleteness and crudeness, and it is only when we found our system upon the fundamental laws of thought themselves that we arrive at a system of deduction which can be embodied in a machine acting by simple and uniform movements." source_url: https://archive.org/stream/philtrans01714956/01714956_djvu.txt source_sha: a0b3fd04e65d8d192fd6730c93c71ae1867017fd50c3376d4a67e5c93d6f11d4 source_title: "On the Mechanical Performance of Logical Inference" source_author: "William Stanley Jevons" source_venue: "Philosophical Transactions of the Royal Society of London, vol. 160 (1870), pp. 499-500 (§§8-9)" source_date: 1870 source_tier: 1

This directly complicates the question's premise. It does not contradict Claim 1 (Jevons did quote the dog, in 1864) — but it shows that in the specific document where Jevons explains, in his own words, why the machine could be built, the credit line runs to Boole and the 19th-century reformers, and the ancient syllogism (the disjunctive form included) is framed as an obstacle overcome, not a model followed.

Claim: The assertion that Jevons was "fascinated by" the dog "because... it provided an example for the mechanisation of logic" is a named historians' interpretive reading, not a line in Jevons's own text

The original unsourced bridge in the vault traces to Lindsay Barrett and Matthew Connell's history-of-computing essay, which does make exactly this interpretive claim, in these words:

"Jevons was fascinated by Chryssipus' image of the logical dog because he saw precisely the way in which it provided an example for the mechanisation of logic as the basis of an intelligent machine."

The same essay accurately reports that Jevons "uses it [the dog] to conclude the first chapter of Pure Logic," which this session's primary read confirms (Claim 1). But the causal claim — why Jevons quoted the dog, and that he saw it as an example specifically for mechanization — is Barrett and Connell's synthesis, offered without a supporting Jevons quotation of their own. It should be read as a historian's plausible interpretation sitting alongside, not inside, the primary record.

source_quote: "Jevons was fascinated by Chryssipus' image of the logical dog because he saw precisely the way in which it provided an example for the mechanisation of logic as the basis of an intelligent machine." source_url: https://rutherfordjournal.org/article010103.html source_sha: e3715d5deabbdc15091f8da81b7f13c69fc359ba8cf50d8e996638c8ebfe0db7 source_title: "Jevons and the Logic 'Piano'" source_author: "Lindsay Barrett and Matthew Connell" source_venue: "The Rutherford Journal — The New Zealand Journal for the History and Philosophy of Science and Technology" source_date: "n.d. (accessed 2026-08-10)" source_tier: 2

This is a historical/interpretive claim about authorial motive, correctly held at Tier 2 (a named scholarly retelling, not Jevons's own words) rather than promoted as if it were primary.

Further leads

• Harro Maas, Mechanical Reasoning: William Stanley Jevons and the Making of Modern Economics (unpublished PhD thesis, 2001) — cited within the Rutherford Journal piece as a scholarly source on Jevons's logic; unread this session, likely the deepest available treatment of Jevons's classical influences.
• Margaret Schabas, A World Ruled by Number: William Stanley Jevons and the Rise of Mathematical Economics (Princeton University Press, 1990) — Jevons's standard intellectual biography, cited by the Rutherford Journal piece; unread this session.
• Sir Walter Raleigh's original text (likely The History of the World, 1614, or a similar work) as the actual proximate source of Jevons's version of the dog quotation, distinct from the claim-chrysippus-dog-disjunctive-syllogism note's existing Sextus Empiricus / IEP sourcing — unread this session, a distinct transmission-history thread.
• The Principles of Science (1874/1883), Jevons's mature treatise on logic and scientific method, has no index entry for "Chrysippus" or "Stoic"/"Stoics" — checked directly against the full digitized text this session — suggesting the dog was not a recurring touchstone in his later writing, though absence from an index is weaker evidence than a positive statement.
• The 1864 first edition of Pure Logic (as opposed to the 1890 collected reprint used above) is digitized separately at https://archive.org/details/purelogicorlogi00jevogoog; located but not cross-checked page-for-page against the 1890 reprint this session.
• Wolf Mays and D. P. Henry, "Jevons and Logic," Mind (cited in the Rutherford Journal's endnote 9) — a dedicated scholarly treatment of Jevons's logical work, unread this session.
• Martin Gardner, Logic Machines and Diagrams (McGraw-Hill, 1958) — the standard survey history of logic machines from Ramon Llull onward, covering Jevons's machine directly; located (full text at https://archive.org/stream/logicmachinesdia227gard/logicmachinesdia227gard_djvu.txt) but not read this session for its treatment (if any) of Chrysippus or ancient antecedents.

Safety flags

None. All sources this session were 19th-century public-domain texts (digitized by Internet Archive / Wikimedia Commons / Project Gutenberg) and one named-author history-of-computing essay — plain third-person historical and technical prose throughout. No addressed-to-AI language, override language, claimed authority, tier self-assignment, file-system instructions, credential requests, or urgency framing encountered on any page fetched.

Entity candidates

• Chrysippus of Soli — person — the older, foundational figure this entire capture measures Jevons against; already covered structurally by claim-chrysippus-dog-disjunctive-syllogism but flagged first here per the standing instruction to name the ancestor claim before the moderns.
• George Boole — person — the figure Jevons's own 1870 paper actually credits with making mechanization possible, standing in direct tension with the Chrysippus framing; not yet an entity hub despite being load-bearing across the vault's whole logic-machine cluster.
• William Stanley Jevons — person — subject of this capture; likely already covered via the existing Jevons claim-notes, flagged here for completeness.
• Sir Walter Raleigh — person — the surprising proximate source of Jevons's specific wording of the Chrysippus dog quotation; a genuine textual-transmission surprise this session turned up.
• Lindsay Barrett and Matthew Connell — persons — authors of the Rutherford Journal essay whose interpretive claim about Jevons's motives is the origin of the vault's original unsourced bridge assertion.
• Margaret Schabas — person — Jevons's standard intellectual biographer (A World Ruled by Number, 1990); named but not yet read, a likely next stop for classical-influence questions.
• Harro Maas — person — author of the unpublished 2001 PhD thesis on Jevons's "mechanical reasoning," named as a scholarly source but not yet read.