LOGIKĒ · IX · for all, there exists

Gottlob Frege

1848 – 1925 · Wismar & Jena · author of the Begriffsschrift · the founder of modern logic

For two thousand years logic was stuck where Aristotle left it: it could say "all men are mortal," but not "every number has a larger one." The gap was quantity — the ability to say for all and there exists, and to chain them. In 1879, in a thin book almost no one read, Frege supplied it: quantifiers, bound variables, and the analysis of a statement as a function applied to arguments. At one stroke, logic could finally express the actual sentences of mathematics — and, much later, the queries of a database and the types of a program. Modern logic begins on that page.

✓ STRONG

Predicate logic — the great leap. Quantifiers (∀, ∃) and the function/argument analysis are the biggest advance since Aristotle. First-order logic is the logic of all modern mathematics and computer science.

◐ COLLAPSED

His grand program failed. Frege's logicism — that mathematics reduces to pure logic — was wrecked in 1902 by Russell's paradox, which showed his foundational system inconsistent.

◔ IGNORED, THEN OWNED

Unread in his time. Almost no one noticed him until Russell and Wittgenstein. (And honestly: his late diaries record vicious antisemitic, anti-democratic views — the logic stands; the man does not.)

I · For all, and there exists

Here is the move Aristotle and Boole could not make. Below is a small world of objects, each red or blue (click to flip one). A quantifier lets a single statement range over the whole world: ∀x "for every x…", ∃x "for some x…". Watch the quantified sentences decide their truth as you change the world — something term logic, locked to whole categories, simply cannot do.

click a dot to flip its colour

a domain of objects · red / blue · the quantified sentences read the whole domain

II · Relations, and why order matters

The deeper gift is relations and nesting. Click the grid to set a relation R(x,y) — "x → y". Then two sentences that use the same symbols in a different order say utterly different things: ∀x ∃y R(x,y) — "everyone relates to someone" — versus ∃y ∀x R(x,y) — "someone is related to by everyone." "Everyone has a mother" is not "someone is everyone's mother." No logic before Frege could even tell them apart.

click cell (row → col) to toggle the arrow R(x,y) · 4 objects

∀x ∃y R(x,y) every row has an arrowF

∃y ∀x R(x,y) some column is all arrowsF

Set every row to have one arrow and the first is true; that almost never makes the second true. Swapping ∀ and ∃ is not a rephrasing — it changes the claim. Capturing that is the whole reason mathematics needed Frege.

"Every good mathematician is at least half a philosopher, and every good philosopher at least half a mathematician." — Gottlob Frege

III · The paradox that broke the foundation

Frege spent decades on one dream: to derive all of arithmetic from pure logic alone — logicism. As the second volume of his Grundgesetze was at the printer in 1902, a letter arrived from a young Bertrand Russell with a single, fatal question. Consider the set of all sets that do not contain themselves. Does it contain itself? Try to answer.

R = { all sets that are not members of themselves }. Is R ∈ R?

Pick one — and watch it refute itself.

Gate kept on. Russell's paradox didn't dent Frege's logic — quantifiers and predicate logic are untouched and immortal. It killed his foundations: the unrestricted "set of all things satisfying a property" his system allowed is self-contradictory. Frege, with rare honesty, appended a note saying a cornerstone of his edifice had given way, and never really recovered the program; arithmetic was later refounded on type theory and on the ZFC axioms that forbid such sets. Two further honest things: he was almost entirely ignored in his lifetime — modern logic flows from him only because Russell, Wittgenstein and Carnap carried it forward — and his late diaries (1924) record virulent antisemitic and anti-democratic views. The greatest logician since Aristotle, whose foundations cracked, who went unread, and whose character at the end was repugnant. The work is permanent; the rest is told plainly.