mechanization-of-inference

2 notes carry this tag — 1 claim, 1 capture. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

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