# William Stanley Jevons

### Logician, Economist, Inventor — 1835–1882 — England

> _"The substitution of similars is a mode of inference for which we have continual occasion in reasoning. In every act of inference or reasoning we are employing the substitution of equals."_

---

## Why This Matters

You cannot understand the mechanization of thought without understanding Jevons. He built the first machine that could perform logical inference automatically — the Logic Piano (1869). While Boole had shown that logic could be reduced to algebra, Jevons demonstrated that this algebraic logic could be embodied in brass, wood, and mechanical levers. When you use a computer to prove theorems, verify software, or run any logical operation, you are using machines descended from what Jevons first constructed. He bridged the gap between logic as abstract mathematics and logic as physical mechanism — the essential step from Boole to the digital computer.

---

## Quick Reference

| Attribute | Value |
|-----------|-------|
| **Registry #** | 21 |
| **Born** | 1 September 1835, Liverpool, England |
| **Died** | 13 August 1882, Hastings, England |
| **Active Period** | 1858–1882 |
| **Fields** | Logic, Economics, Philosophy of Science, Statistics |
| **Known For** | Logic Piano (1869) — first mechanical logic machine; Marginal Utility Theory; _The Theory of Political Economy_ (1871); _The Principles of Science_ (1874) |
| **Influenced By** | George Boole, John Stuart Mill, Augustus De Morgan, Richard Whately |
| **Influenced** | Alfred Marshall, John Maynard Keynes, Charles Sanders Peirce, modern computational logic |

---

## Table of Contents

1. [Origins & Formation](#1-origins--formation)
2. [Intellectual Genealogy](#2-intellectual-genealogy)
3. [The Work: Chronological](#3-the-work-chronological)
4. [Core Ideas & Contributions](#4-core-ideas--contributions)
5. [Impact & Legacy](#5-impact--legacy)
6. [Study Guide: The Mental Model](#6-study-guide-the-mental-model)
7. [Going Deeper: Sources](#7-going-deeper-sources)

---

## 1. Origins & Formation

### Early Life & Context

> _Etymology: **Jevons** — an English surname of Welsh origin, derived from "Ieuan" (the Welsh form of John)._

William Stanley Jevons was born on **1 September 1835** in Liverpool, England, into a prosperous Unitarian family with strong intellectual traditions. His father, Thomas Jevons, was an iron merchant who also wrote on legal and economic topics. His mother, Mary Anne Roscoe, came from a distinguished literary and intellectual family — her father William Roscoe was a historian, art collector, and abolitionist.

**Liverpool in the 1830s–1840s:**
- The second city of the British Empire, a global trading hub
- Center of the Industrial Revolution's commercial networks
- A city where practical mechanics and commerce intersected with intellectual culture
- Home to strong Unitarian communities that valued education, science, and reform

This was the era of Victorian scientific optimism — the belief that reason, properly applied, could solve any problem. The young Jevons grew up surrounded by discussions of logic, economics, machinery, and social reform. The death of his mother when he was ten, followed by the collapse of his father's business during the financial crisis of 1847, marked his childhood with economic instability that would later inform his economic theories.

### Education & Training

| Period | Institution | Focus | Significance |
|--------|-------------|-------|--------------|
| 1850–1853 | University College London | Chemistry, Mathematics, Botany | Early scientific training; exposure to Augustus De Morgan's logic |
| 1854–1859 | Sydney, Australia | Assayer at Royal Mint | Practical application; independent meteorological and social research |
| 1859–1862 | University College London | B.A. and M.A. | Completion of formal education; Gold Medal in Philosophy and Economics |

**University College London:**

UCL was the natural choice for a Unitarian family — it was founded as a secular alternative to Oxford and Cambridge, which still required religious conformity. Here Jevons encountered **Augustus De Morgan**, the logician whose work extended Boole's ideas. De Morgan's lectures planted the seeds of Jevons's later logical work.

Financial necessity interrupted his studies. In 1854, at age eighteen, Jevons accepted a position as assayer at the newly established Royal Mint in Sydney, Australia — a lucrative post that would allow him to support his family and fund his later education.

**The Australian Years (1854–1859):**

These five years in Sydney were formative in unexpected ways. Isolated from European intellectual society, Jevons became a systematic observer and self-educator:
- Conducted meteorological observations and published papers on Australian climate
- Studied the social conditions of Sydney, developing empirical methods he would later apply to economics
- Read voraciously in philosophy, logic, and political economy
- Began formulating his ideas about scientific method and economic theory

He wrote in his journal of his ambition to reform logic and political economy — a project that would occupy the rest of his life.

### Formative Influences

**George Boole (1815–1864):**

Jevons discovered Boole's _The Mathematical Analysis of Logic_ (1847) and _An Investigation of the Laws of Thought_ (1854) during his Australian years. Boole's algebraic treatment of logic was a revelation — but Jevons also saw its limitations. Boole's system was elegant but difficult to use in practice. Jevons would spend years developing a more usable notation and, ultimately, a mechanical implementation.

**John Stuart Mill (1806–1873):**

Mill's _A System of Logic_ (1843) was the dominant work on scientific methodology in Victorian England. Jevons deeply engaged with Mill, ultimately challenging his inductive logic and his labor theory of value in economics. Much of Jevons's work can be read as a systematic critique and reconstruction of Mill.

**Augustus De Morgan (1806–1871):**

His teacher at UCL, De Morgan had independently developed symbolic logic and was extending the scope of formal reasoning. De Morgan encouraged rigorous symbolic treatment and influenced Jevons's belief that logic could be made precise and teachable.

---

## 2. Intellectual Genealogy

### The Lineage: Who Influenced Jevons

```
Aristotelian Logic (2000+ years)
        │
        ▼
┌───────────────────────────────────────┐
│ Richard Whately (1787-1863)           │
│ Revived formal logic in England       │
└───────────────────────────────────────┘
        │
        ▼
┌───────────────────────────────────────┐
│ George Boole (1815-1864)              │
│ Algebraic logic — Laws of Thought     │
├───────────────────────────────────────┤
│ Augustus De Morgan (1806-1871)        │
│ Extended symbolic logic               │
└───────────────────────────────────────┘
        │
        ▼
    ┌────────┐
    │ JEVONS │
    └────────┘
        │
        ▼
┌───────────────────────────────────────────────────────────────────┐
│ C.S. Peirce → Logic machines → Marquand's machine (1881)          │
│                                                                   │
│ ───────────── Mechanical reasoning line ─────────────             │
│                                                                   │
│ → Relay logic → Shannon (1937) → Digital computers                │
│                                                                   │
│ ───────────── Economic theory line ─────────────                  │
│                                                                   │
│ → Marshall → Keynes → Modern mathematical economics               │
└───────────────────────────────────────────────────────────────────┘
```

**Direct Influences on Jevons:**

- **George Boole:** The fundamental insight that logic is algebra — Jevons's entire logical project is a practical elaboration and mechanization of this idea
- **Augustus De Morgan:** Direct teaching influence; rigorous symbolic methods
- **John Stuart Mill:** The dominant philosopher to react against; Jevons defined many positions by opposing Mill
- **Jeremy Bentham:** The utilitarian framework that Jevons would mathematize in his economic theory

**Contextual Influences:**

- **Industrial Revolution:** The environment of machines solving problems shaped the natural question: could a machine perform reasoning?
- **Statistical Movement:** The rise of social statistics in Victorian England; Jevons applied statistical methods throughout his work
- **Mathematical Physics:** The success of mathematical methods in physics suggested similar approaches to logic and economics

### The Lineage: Who Jevons Influenced

**In Logic and Computing:**

| Figure | Era | Contribution |
|--------|-----|--------------|
| **Allan Marquand** | 1881 | Built improved logic machine based on Jevons's principles |
| **Charles Sanders Peirce** | 1880s | Designed electrical logic circuits; saw the path from Jevons to automated reasoning |
| **Claude Shannon** | 1937 | Showed switching circuits could perform Boolean logic — the theoretical foundation of digital computing |

**In Economics:**

- **Alfred Marshall:** Incorporated Jevons's marginalist approach into the mainstream of economics
- **Leon Walras, Carl Menger:** Independently developed marginalism; together with Jevons, the "Marginalist Revolution"
- **John Maynard Keynes:** Wrote sympathetically of Jevons; the statistical approach to economics traces through Jevons

**Ideas That Persist:**

| Jevons's Concept | Modern Manifestation |
|------------------|---------------------|
| Mechanical logic | Digital logic circuits, theorem provers |
| Marginal utility | Foundation of microeconomics |
| Statistical economics | Econometrics |
| Substitution of similars | Equational reasoning in formal systems |

---

## 3. The Work: Chronological

### Master Timeline

| Year | Work | Type | Significance |
|------|------|------|--------------|
| 1862 | "On the Study of Periodic Commercial Fluctuations" | Paper | Early statistical economics; introduced graphical methods |
| 1863 | _A Serious Fall in the Value of Gold_ | Monograph | First economic work to gain attention |
| 1864 | _Pure Logic_ | Logic | First presentation of his logical system |
| 1866 | _The Coal Question_ | Economics | Predicted exhaustion of British coal; made Jevons famous |
| 1869 | Logic Piano constructed | Machine | First mechanical device for logical inference |
| 1870 | "On the Mechanical Performance of Logical Inference" | Paper | Presented the Logic Piano to the Royal Society |
| 1871 | _The Theory of Political Economy_ | Economics | Marginal utility theory; mathematization of economics |
| 1874 | _The Principles of Science_ | Phil. Science | Comprehensive methodology; probabilistic induction |
| 1877 | _Studies in Deductive Logic_ | Logic | Textbook version of his logical methods |
| 1881 | "On the Relation between the Variation of Prices..." | Paper | Theory linking sunspots to economic cycles |
| 1882 | (Death) | — | Drowned while swimming; many works published posthumously |

### The Logic Piano (1869)

> _"I have constructed a logical machine which can work all the operations of the syllogism with ease and rapidity."_ — Jevons to Boole's widow, 1870

**What It Is:**

The Logic Piano is a mechanical device, approximately the size of a small upright piano, that performs Boolean logical operations automatically. The user inputs premises by pressing keys (like piano keys), and the machine displays all conclusions that follow from those premises. It was the first machine in history to automate logical reasoning.

**How It Works:**

The machine operates on Jevons's "Logical Alphabet" — the complete enumeration of all possible combinations of terms. For example, with four terms A, B, C, D, there are 16 possible combinations (ABCD, ABCd, ABcD, etc., where lowercase indicates negation). The machine starts with all combinations possible, then eliminates those inconsistent with each premise entered.

**Physical Construction:**

- Wooden cabinet with metal mechanism
- 21 keys on a keyboard for entering premises
- A window displaying rods representing the logical alphabet
- Internal mechanism of levers, pins, and springs that perform the elimination

**What Makes It Revolutionary:**

1. **First Automated Reasoning:** No machine had ever performed logical inference before. Calculators did arithmetic; the Logic Piano did logic.

2. **Exhaustive Method:** By working through all possibilities and eliminating contradictions, it achieved what Jevons called the "inverse logical operation" — finding what follows from given premises.

3. **Practical Demonstration:** It proved that mechanical reasoning was possible — a question Boole had left unanswered.

**Why This Matters:**

> The Logic Piano is the ancestor of every theorem prover, every logic circuit, every constraint solver. It demonstrated that reasoning — not just calculation — could be mechanized. The path from the Logic Piano to the digital computer runs through Peirce, Marquand, and Shannon, but Jevons took the essential first step: he built a machine that thinks.

### _The Theory of Political Economy_ (1871)

**What It Is:**

A treatise that refounded economics on mathematical principles, introducing marginal utility theory as the basis for value and exchange. Where classical economics (Smith, Ricardo, Mill) explained value by labor cost, Jevons explained it by the final increment of utility to the consumer.

**Core Argument:**

Value depends not on total utility but on **marginal utility** — the usefulness of the last unit consumed. Water is essential but cheap (high total utility, low marginal utility); diamonds are trivial but expensive (low total utility, high marginal utility). This resolves the classical "paradox of value."

**Mathematical Treatment:**

Jevons represented utility as a function and used calculus to analyze exchange. His equations showed that in equilibrium, the ratio of marginal utilities equals the ratio of prices — the foundation of modern demand theory.

**Impact:**

Together with Leon Walras (Switzerland) and Carl Menger (Austria), Jevons inaugurated the "Marginalist Revolution" that transformed economics from verbal reasoning into mathematical science. Modern microeconomics descends directly from this work.

### _The Principles of Science_ (1874)

**What It Is:**

A comprehensive treatise on scientific method — how we discover laws, test hypotheses, and achieve probable knowledge. It synthesizes Jevons's logical work with his philosophy of science.

**Key Ideas:**

- **Inverse Probability:** Scientific inference runs from observed effects to probable causes; Jevons uses Bayesian reasoning to quantify this
- **Hypothesis and Verification:** Science proceeds by generating hypotheses and testing them — anticipating Popper's falsificationism
- **Combinatorial Method:** The same exhaustive enumeration used in the Logic Piano applies to scientific investigation

**Significance:**

This was the most complete Victorian treatise on scientific method, influencing a generation of scientists and philosophers. Its probabilistic approach to induction was ahead of its time.

---

## 4. Core Ideas & Contributions

### The Central Insight

Jevons understood that logical inference could be treated as a mechanical process of elimination. Given premises that constrain what is possible, reasoning consists of systematically identifying what remains possible — an operation that can be performed by mechanism.

This insight connects:
- Logic (what follows from what)
- Computation (systematic rule-following)
- Economics (optimization under constraints)
- Scientific method (eliminating hypotheses inconsistent with evidence)

### Key Concepts

#### Substitution of Similars

> _Definition: **Substitution of Similars** — The fundamental operation of reasoning: if A = B, then anything true of A is true of B, and A can be substituted for B in any expression._

**Definition:** Jevons argued that all logical inference reduces to a single principle: the substitution of equals. If we know that "All men are mortal" (Man = Mortal thing), then wherever we have "Man" we can substitute "Mortal thing."

**Example:** From "Socrates is a man" and "All men are mortal," we substitute "mortal thing" for "man" to get "Socrates is a mortal thing."

**Modern Application:** Equational reasoning in functional programming; unification in logic programming; algebraic manipulation.

#### The Logical Alphabet

> _Definition: **Logical Alphabet** — The complete enumeration of all possible combinations of presence and absence of logical terms._

**Definition:** For any set of terms, the Logical Alphabet lists every possible combination. With terms A and B, the alphabet is: AB, Ab, aB, ab (where lowercase = negation). Every premise eliminates some rows; what remains is the conclusion.

**Example:** Premise "All A are B" eliminates Ab (A present, B absent). We're left with AB, aB, ab as possibilities consistent with the premise.

**Modern Application:** Truth tables; satisfiability testing (SAT); constraint propagation; binary decision diagrams.

#### Marginal Utility

> _Definition: **Marginal Utility** — The additional utility gained from consuming one more unit of a good, which decreases as consumption increases._

**Definition:** The utility of a good is not fixed but depends on how much you already have. The first glass of water when thirsty is extremely valuable; the tenth glass is nearly worthless. Value in exchange reflects marginal utility, not total utility.

**Example:** A person will trade goods until the marginal utilities per unit price are equal across all goods — equilibrium.

**Modern Application:** All of microeconomics; consumer choice theory; demand analysis; welfare economics.

#### Inverse Logical Problem

> _Definition: **Inverse Logical Problem** — Given premises, find all conclusions that follow; the "inverse" of simply checking if a conclusion follows from premises._

**Definition:** The direct problem asks: "Does conclusion C follow from premises P?" The inverse problem asks: "What are ALL conclusions that follow from P?" Jevons's Logic Piano solves the inverse problem by displaying everything consistent with the premises.

**Example:** Given "All A are B" and "Some A are C," what can we conclude about B and C? The machine shows all consistent combinations.

**Modern Application:** Automated theorem proving; constraint satisfaction; model checking.

### Theoretical Framework

Jevons's logical system operates as an **elimination machine**:

```
INPUT:  The Logical Alphabet (all possible combinations)
           │
           ▼
┌─────────────────────────────────────┐
│ For each premise entered:           │
│ 1. Identify combinations that       │
│    contradict the premise           │
│ 2. Eliminate those combinations     │
│ 3. Display remaining possibilities  │
└─────────────────────────────────────┘
           │
           ▼
OUTPUT: All conclusions (what remains after elimination)
```

This is the **closed-world assumption** in logic: anything not proven true is false. It is also the principle behind SAT solvers, constraint propagation, and model-based reasoning.

### Innovations & Firsts

| Innovation | Description | Prior State | What Changed |
|------------|-------------|-------------|--------------|
| Logic Piano | First mechanical reasoning machine | Logic was paper-and-pen | Physical embodiment of inference |
| Practical Boolean algebra | Simplified Boole's notation for use | Boole's system was complex | Usable symbolic logic |
| Marginal utility mathematics | Calculus applied to economic value | Verbal labor theories | Mathematical economics |
| Inverse logical method | Systematic enumeration of all conclusions | Ad hoc logical derivation | Complete solution method |
| Graphical statistics | Charts for time-series economic data | Tables of numbers | Visual data analysis |

---

## 5. Impact & Legacy

### Immediate Impact

**In Jevons's Lifetime:**

_The Coal Question_ (1866) made Jevons famous. His prediction that British coal reserves would be exhausted, threatening industrial supremacy, caused a political sensation. Prime Minister Gladstone referenced it in Parliament. While his specific predictions were wrong (he underestimated future energy sources), his method of quantitative forecasting was influential.

The Logic Piano was demonstrated to the Royal Society in 1870 and at several other venues. It was admired as an ingenious curiosity but not widely adopted. The scientific establishment was uncertain whether mechanical logic was a profound advance or a mere toy.

_The Theory of Political Economy_ was controversial. Classical economists (followers of Mill and Ricardo) rejected the marginal approach. But younger economists recognized its power, and by Jevons's death, marginalism was ascendant.

### Long-Term Influence

**In Computing:**

The line of descent from Jevons to digital computers:

1. **Allan Marquand (1881):** Built an improved logic machine based on Jevons's principles
2. **Charles Sanders Peirce (1886):** Designed electrical circuits for logic; saw that relays could replace mechanical levers
3. **Claude Shannon (1937):** Proved that Boolean algebra could be implemented in switching circuits — the theoretical foundation of digital logic
4. **Modern computers:** Every CPU performs Boolean operations; theorem provers automate reasoning; SAT solvers use exhaustive enumeration

**In Economics:**

The Marginalist Revolution that Jevons co-founded (with Walras and Menger) transformed economics:

- Replaced classical labor theory of value with marginal utility theory
- Introduced mathematical methods that became standard
- Founded the tradition leading to modern microeconomics
- Influenced general equilibrium theory, game theory, and behavioral economics

**In Philosophy of Science:**

_The Principles of Science_ shaped Victorian philosophy:

- Probabilistic approach to induction influenced later Bayesian philosophy of science
- Analysis of scientific method anticipated logical positivism and Popperian falsification
- Statistical methods in social science trace through Jevons's work

### The Counterfactual

> What if Jevons had never existed?

Boolean logic would still have been developed and eventually mechanized — the mathematical foundations were already laid. But Jevons accelerated the process by decades. His Logic Piano proved that mechanical reasoning was feasible, inspiring others to pursue the idea.

In economics, Walras and Menger independently developed marginalism, so the revolution would have occurred — but perhaps more slowly and with less influence in England. Jevons's mathematical approach gave English economics a head start.

### Recognition & Honors

| Era | Recognition |
|-----|-------------|
| 1866 | _The Coal Question_ brings national fame |
| 1872 | Fellow of the Royal Society |
| 1869-1882 | Professor at Owens College Manchester, then University College London |
| Posthumous | Recognized as co-founder of the Marginalist Revolution |
| Modern | Logic Piano preserved at Museum of the History of Science, Oxford |

---

## 6. Study Guide: The Mental Model

### The One Sentence

> **Jevons built the first machine that could reason — the Logic Piano (1869) — demonstrating that logical inference could be mechanically automated, while simultaneously mathematizing economics with marginal utility theory.**

### The Three Things to Remember

1. **First Logic Machine:** The Logic Piano performed Boolean reasoning mechanically. It enumerated all possibilities, eliminated those contradicted by premises, and displayed valid conclusions. This is the ancestor of all automated reasoning.

2. **Applied Boole's Logic:** Boole showed logic was algebra; Jevons showed it could be embodied in mechanism. He simplified Boole's notation for practical use and then built hardware that executed it.

3. **Mathematical Economics:** Independently of Walras and Menger, Jevons founded marginal utility theory — the insight that value depends on the usefulness of the last unit consumed, not on labor cost. He used calculus to make economics a mathematical science.

### The Visual

```
┌────────────────────────────────────────────────────────────────┐
│                    JEVONS'S LOGIC PIANO                        │
│                  (The First Reasoning Machine)                  │
│                                                                │
│   INPUT                 PROCESS                  OUTPUT        │
│  ┌──────────┐      ┌─────────────────┐      ┌──────────┐      │
│  │ Premises │      │ Logical         │      │ ALL      │      │
│  │ entered  │ ───▶ │ Alphabet        │ ───▶ │ VALID    │      │
│  │ via keys │      │ (2^n combos)    │      │ CONCLU-  │      │
│  │          │      │                 │      │ SIONS    │      │
│  │          │      │ Eliminate       │      │          │      │
│  │          │      │ contradictions  │      │          │      │
│  └──────────┘      └─────────────────┘      └──────────┘      │
│       ▲                    ▲                                   │
│       │                    │                                   │
│   Boolean              Mechanical                              │
│   Encoding             Elimination                             │
│                                                                │
└────────────────────────────────────────────────────────────────┘
```

### Connecting to Other Figures

| If You Know... | Then Understand That Jevons... |
|----------------|--------------------------------|
| 20-George Boole | Mechanized Boole's algebraic logic — turned theory into working hardware |
| 22-Georg Cantor | Worked with the same exhaustive enumeration methods Cantor would apply to infinite sets |
| Charles Babbage | Extended the idea of computational machinery from arithmetic to logic |
| Claude Shannon | Built the mechanical ancestor of Shannon's electrical logic circuits |
| Modern SAT solvers | Invented the exhaustive enumeration method that SAT solvers still use |

### Common Misconceptions

| Misconception | Reality |
|---------------|---------|
| "The Logic Piano was just a calculator" | It performed logical inference, not arithmetic — a fundamentally different operation |
| "Jevons just applied Boole's logic" | He significantly simplified and extended Boole's system, making it practical |
| "Marginal utility was his main contribution" | His logical and computing work is equally significant, though less famous today |
| "The machine was a curiosity without influence" | It directly inspired Marquand, Peirce, and the tradition leading to digital logic |

### Test Your Understanding

1. **Conceptual:** Why is the "inverse" logical problem (finding all conclusions from premises) harder than the "direct" problem (checking if a specific conclusion follows)?

2. **Connection:** How does Jevons's method of exhaustive enumeration in the Logic Piano relate to modern SAT solvers?

3. **Genealogy:** Trace the path from Boole's algebra to Shannon's switching theory — what role did Jevons play in this development?

---

## 7. Going Deeper: Sources

### Primary Sources

| Source | Type | Access | Notes |
|--------|------|--------|-------|
| _Pure Logic_ (1864) | Logic | Archive.org | First presentation of his logical system |
| _The Theory of Political Economy_ (1871) | Economics | Archive.org, Liberty Fund | The marginal utility treatise |
| _The Principles of Science_ (1874) | Phil. Science | Archive.org | Comprehensive scientific methodology |
| "On the Mechanical Performance of Logical Inference" (1870) | Paper | Philosophical Transactions | Description of the Logic Piano |
| _Studies in Deductive Logic_ (1880) | Logic | Archive.org | Textbook presentation |
| _Letters and Journal_ (1886, ed. H.A. Jevons) | Biography | Archive.org | Primary biographical source |

### Essential Secondary Sources

| Source | Author | Type | What It Covers |
|--------|--------|------|----------------|
| _W. Stanley Jevons: Critical Responses_ | Sandra Peart (ed.) | Collection | Modern assessments across all fields |
| _The Mechanical Mind in History_ | Phil Husbands et al. | History | Chapter on logical machines including Jevons |
| _A History of Formal Logic_ | I.M. Bochenski | History | Context for Jevons's logical work |
| _The Marginal Revolutionaries_ | Roger Backhouse | Economics | Jevons's role in economic transformation |
| _Jevons_ | Ross Emmett | Biography | Compact intellectual biography |

### Modern Introductions

- **For logicians:** "Jevons's Logic Piano" — various articles trace its mechanical operation and logical principles
- **For economists:** Any history of economic thought covers Jevons's marginal revolution
- **For computer scientists:** Search "history of logic machines" — Jevons figures prominently

### Online Resources

- [Museum of the History of Science, Oxford](https://www.hsm.ox.ac.uk) — Houses the original Logic Piano
- [The Library of Economics and Liberty](https://www.econlib.org) — _Theory of Political Economy_ available free
- [MacTutor History of Mathematics](https://mathshistory.st-andrews.ac.uk) — Biography and mathematical context
- [Internet Archive](https://archive.org) — Most of Jevons's works freely available

---

## Appendix: Handling Uncertainty

> **Note on Sources:** Jevons lived in the well-documented Victorian era. His letters, journals, and publications survive. There are no major biographical uncertainties.

| Claim | Confidence | Source |
|-------|------------|--------|
| Life dates and locations | High | Parish records, institutional records |
| Construction of Logic Piano (1869) | High | Royal Society presentation, surviving machine |
| Development of marginal utility theory | High | Published works, correspondence |
| Influence on later computing | Medium-High | Documented in Marquand, Peirce writings |
| Priority disputes (vs. Walras, Menger) | Resolved | All three developed marginalism independently c.1871 |

---

_Last updated: 2026-03-26. This is a living document._