7 + 5 = 12
⏱ 9 min read · ⏳ active
Seven plus five is twelve. You’d stake your life on it — and you didn’t have to check. Kant thought that tiny certainty was one of the deepest puzzles in philosophy. Here’s why.
Last lesson ended on Kant’s guiding question: how are synthetic a priori judgments possible? That sentence is useless until you own four words. Kant builds them out of two distinctions that cut across each other. Master the grid and the whole first Critique opens up; miss it and you’re lost. He sets it all out in The Critique of Pure Reason Introduction.
Distinction one: analytic vs. synthetic. This is about the content of a judgment — where the predicate comes from. In an analytic judgment, the predicate is already contained in the concept of the subject. “All bodies are extended.” To be a body just is to take up space; the predicate merely unpacks what the subject already means. It clarifies, adds nothing — and its denial is a flat contradiction (“an unextended body”).
In a synthetic judgment, the predicate adds something not contained in the subject. “All bodies are heavy (have weight).” Weight is not part of the mere concept body — you had to go beyond the concept to attach it. Synthetic judgments are ampliative: they amplify your knowledge, genuinely extend it. Their denial is not a contradiction — you can think an unheavy body without logical crime.
Distinction two: a priori vs. a posteriori. This is a different axis entirely — about how a judgment is justified, not what it contains. A priori = knowable independently of experience, and its mark is necessity and universality (it holds in every case, no exceptions, and couldn’t be otherwise). A posteriori = knowable only through experience, and it is contingent (it happens to be so; experience could have shown otherwise).
Cross the two distinctions and you get four boxes. Three are familiar. Analytic a priori: “all bachelors are unmarried” — contained and known without checking. Synthetic a posteriori: “the table is brown” — new content, learned by looking. Analytic a posteriori: empty — if the predicate is already in the concept, you never needed experience, so nothing lives here. That leaves one fateful box.
The fourth box: synthetic a priori. A judgment that is ampliative (adds real content, extends knowledge — synthetic) and yet necessary and universal, knowable before experience (a priori). New information you can be certain of without checking. The empiricists said this box is empty — that certainty and novelty can’t coexist. Kant says it is where the most important knowledge we have actually lives, and he has examples.
Example one: 7 + 5 = 12. Surely just a definition? Kant says no — it is synthetic. Analyze the concepts 7, 5, and addition as hard as you like: the concept 12 is nowhere inside them. “The sum of 7 and 5” contains only the thought of uniting two numbers — not which number results. To reach 12 you must go beyond the concepts, appealing to intuition — counting, laying out units (fingers, dots) and running them together. So it is ampliative. Yet 7 + 5 = 12 is necessary and universal — it couldn’t be otherwise, no experiment could refute it. So it is a priori. Ampliative and necessary: synthetic a priori.
Example two: geometry. “The straight line is the shortest between two points” — synthetic (the concept straight is about direction/quality; shortest is about quantity, not contained in it) yet a priori (necessary, universal, proven without measuring any actual line). Example three: the causal principle. “Every event has a cause” — the concept of an event (something that begins to be) does not contain the concept of being caused by something else; yet Kant holds we know it with strict necessity, a priori. These are exactly the truths Hume couldn’t account for (he’d call causation mere habit) and the dogmatists couldn’t ground (they just assumed it).
Why does Kant classify '7 + 5 = 12' as SYNTHETIC rather than analytic?
Which pairing did the empiricists assume, and which single combination does Kant argue actually carries our most important knowledge?
So the real question sharpens. It is not merely whether we have synthetic a priori knowledge — Kant takes mathematics and mathematical physics as proof that we do. The urgent question is how it is possible at all: how can the mind reach out ahead of experience and legislate, with necessity, what every future case must be like? Answer that, and you rescue science from Hume and discipline the dogmatists in one stroke. That answer is the Copernican revolution — next lesson.