From 7+5=12 to transcendental idealism

⏱ 9 min read

We started with a schoolchild’s sum. We are about to end with the claim that the entire world of the senses is appearance — real, but not the thing in itself. Watch how tightly the second follows from the first.

Here is the whole road in one line. Mathematics is synthetic a priori (§2). That is possible only if it is built in pure intuition (§7). Pure intuition is possible only if space and time are the forms of our sensibility (§8–10). So the objects given in space and time — the entire sensible world — are known by us only as they appear under those forms. This is Part I’s payoff, in §13 and its Remarks. See Prolegomena to Any Future Metaphysics §13.

Kant’s word for it: transcendental idealism. Space, time, and everything in them are ideal — not in the sense of unreal, but in the sense that their spatial-temporal form depends on the constitution of our sensibility, not on the things themselves. What we thereby know are appearances (phenomena), never things in themselves (the Ding an sich).

The move can feel like a loss, so Kant immediately pairs it with its other half: empirical realism. Within experience, appearances are fully real — public, measurable, law-governed, the same for everyone. A table is a genuine object, not a private phantom. Space is empirically real (everything outer is truly in it) even while it is transcendentally ideal (its form is ours). Ideality of the form; reality of the content.

Why call this the road “from 7 + 5 = 12”? Because the argument runs only in that direction. Kant is not asserting idealism on a hunch and deriving mathematics from it. He starts from the undeniable fact of synthetic a priori mathematics and shows that nothing else could explain it — if space and time were features of things in themselves rather than our forms, we could never know in advance, with necessity, that objects must obey geometry. The sheer success of mathematics forces the conclusion that its objects are appearances.

So Kant draws the line sharply. Berkeley’s idealism is material or dogmatic: it holds that bodies are nothing but ideas, that there is no space or matter outside the mind, and it “degrades bodies to mere illusion.” Kant’s idealism is transcendental — critical, or formal: bodies are real and given; only their spatial-temporal form is contributed by us. Berkeley empties the world; Kant re-formats it. See Prolegomena to Any Future Metaphysics §13.

How does Kant's transcendental idealism differ from Berkeley's idealism?

Which statement best captures the pairing of transcendental idealism with empirical realism?

And so the unit closes where a guided reading should: mathematics, the least controversial knowledge we have, turns out to rest on a thesis about the mind that reorganises everything after it. Establish that the objects of the senses are appearances, and the way is open — in the Prolegomena’s Second Part — to ask how a pure science of nature is likewise possible. The sum was never innocent.

Key takeaway

The argument runs one way — from the fact of synthetic a priori mathematics to its only possible ground. If space and time are merely the forms of our intuition, then the objects given in them — the whole sensible world — are known only as appearances (phenomena), never as things in themselves. That is transcendental idealism: the form is ideal (ours), so it is paired with empirical realism — within experience, appearances are fully real, public, and law-governed (§13). This is not Berkeley’s idealism, which “degrades bodies to mere illusion”; Kant’s is critical or formal idealism — the things are real, only their spatial-temporal form is the mind’s. Ideality of the form, reality of the content. Against the Garve–Feder charge of 1782, that distinction is everything.

← Course