Gottlob Frege · Mathematics
In a thin 1879 book Frege built the first genuine formal system of logic - with quantifiers, bound variables, and a rigorous treatment of generality - replacing Aristotle’s syllogism and giving us the predicate logic that underlies mathematics, computer science, and analytic philosophy.
In 1879 an unknown mathematics lecturer at Jena published a short book with a strange title: Begriffsschrift, a ‘concept-script,’ subtitled ‘a formula language of pure thought, modelled upon that of arithmetic.’ Gottlob Frege had noticed that when we reason in ordinary language, gaps open up without our seeing them: a step feels obvious, so we skip it, and an unnoticed appeal to intuition or a hidden assumption sneaks in. His remedy was radical - to invent a wholly new written notation in which every logical relation is shown explicitly on the page, so that the correctness of an inference can be checked by its form alone. He compared his script to a microscope: ordinary language, like the eye, is wonderfully versatile for everyday life, but for the exact demands of science it lacks resolution, and there the concept-script, though useless for small talk, sees what the eye cannot. With this book, modern logic was born.
The deepest break was structural. Traditional logic, following grammar, split every statement into a subject and a predicate: ‘Socrates‘ is the subject, ‘is mortal’ the predicate. Frege threw this scheme out and borrowed instead from mathematics the idea of a function and its argument. Just as ‘( ) squared’ is a function that yields 9 when fed the argument 3, so ‘( ) is mortal’ is a function (a concept) that yields a truth-value when fed an object such as Socrates. A sentence like ‘Socrates is mortal’ is thus the value of a concept for an argument. This function-argument analysis, not subject-predicate, is what let Frege handle relations (‘( ) loves ( )’ is a two-place function) and, by putting a variable where the argument goes and binding it with a quantifier, express generality. It is the architecture on which all modern logic still stands.
The Begriffsschrift was almost ignored when it appeared; reviewers found the two-dimensional notation forbidding, and few grasped what Frege had done. Yet historians of logic now routinely call it the most important single work in the subject since Aristotle’s Prior Analytics, and the ‘Fregean revolution’ the moment logic became a modern science. In one slim volume Frege gave us: the propositional calculus done rigorously; the analysis of sentences into function and argument; the quantifier and bound variable; and the first formal system with explicit axioms and rules of inference - a system in which proofs are formal objects that can be checked. Everything downstream depends on it: Russell and Whitehead’s Principia, Gödel’s theorems, Turing’s machines, the design of programming languages and databases. When a computer evaluates a logical condition, it is running on Frege’s insight.
This is the opening of the lesson. The rest — the dialogue, the primary source, and the recall — is in the app.
You learned that Frege’s Begriffsschrift (1879) founded modern logic: it introduced the quantifier and bound variables, analysed generality and multiple generality, and demanded gapless chains of inference, superseding the two-thousand-year reign of the syllogism. Explain what was new and why it mattered.
Leads to Aristotle.
Begin this lesson →epoché — a humanities education that remembers you.