Consider two very different kinds of claim:
"All bachelors are unmarried" — this is true, but trivially so. The predicate "unmarried" is already contained in the subject "bachelor"; knowing what the word means is enough to know the statement is true. No inquiry, no experiment, no observation is required. Kant calls this kind of judgment analytic: the predicate merely analyzes what is already in the concept of the subject.
"The sum of the angles of a triangle is 180°" — this is also true, but not trivially so. The concept of "triangle" does not already contain, hidden within it, anything about the sum of angles being 180°; we discover this by mathematical proof, which goes beyond merely unpacking definitions. And yet the result is necessary and universal — we cannot imagine a Euclidean triangle whose angles sum to 170°. This judgment is both informative (it tells us something genuinely new) and necessary (it could not be otherwise). Kant calls this kind of judgment synthetic — the predicate genuinely adds to the subject — and a priori — known independently of, and holding with necessity beyond, any particular experience.
How is this possible? How can a judgment be both genuinely informative and yet necessary? This is Kant's "great problem" — and it is not merely a technical puzzle in the classification of judgments. It is the question on which the possibility of mathematics, physics, and philosophy as systematic disciplines depends.
The three-way distinction
Kant's epistemological framework rests on a classification of judgments into three types:
- Analytic judgments: the predicate is contained in the subject — "All bodies are extended." These are necessarily true and universally valid, but they add nothing to our knowledge; they merely make explicit what was already implicit. They do not require experience to verify but also cannot extend knowledge.
- Synthetic a posteriori judgments: the predicate adds genuinely new information to the subject, and this information is derived from experience — "This ball is heavy," "Lead melts at 327°C." These extend knowledge but are not necessary; experience might have been otherwise.
- Synthetic a priori judgments: the predicate adds genuinely new information, but the judgment is known with necessity and universality, independently of particular experience. These judgments, if they exist, would be epistemically remarkable — they would be both informative and immune to empirical refutation. Examples of synthetic a priori knowledge
Kant claims three domains contain synthetic a priori knowledge:
- Mathematics: "7 + 5 = 12" is not analytic — the concept of 12 is not contained in the concepts of 7, 5, and addition. We have to perform the addition to arrive at 12; this is a genuine synthesis. And yet the result is necessary — not merely a habit of the mind (contra Hume) but universally and necessarily true. Similarly, "the straight line between two points is the shortest" adds the concept of "shortest" to "straight line" — it is a genuine synthesis, verified by spatial construction.
- Natural science (physics): "Every event has a cause" is not analytic — the concept of causation is not contained in the concept of an event. But it is not merely an empirical generalization either — it is applied with necessity to every possible experience, not merely to the events we happen to have observed. Kant argues that this principle, along with other fundamental principles of Newtonian mechanics, is synthetic a priori — it is the presupposition, not the conclusion, of empirical inquiry.
- Pure philosophy (metaphysica naturalis): the principles of substance, causality, and reciprocal interaction that structure our experience of nature are synthetic a priori contributions of the understanding.
The explanation: the mind's constitutive role
How are synthetic a priori judgments possible? Kant's answer is now familiar: they are possible because the mind contributes the structural forms and categories through which experience is organized. Mathematical truths hold necessarily because they concern the structure of pure intuition — the forms of space and time that the mind brings to all possible experience. Physics' fundamental principles hold necessarily because they are the categories — causality, substance, reciprocity — that the understanding must apply in order to have coherent experience of an objective world at all. Kant's precise formulation: "How are synthetic judgments a priori possible?... This is the great problem upon whose solution depends the success or failure of metaphysics, and even the very existence of the science of metaphysics." His answer is the Copernican hypothesis: they are possible because the conditions of the possibility of experience are simultaneously the conditions of the possibility of the objects of experience. What the mind necessarily contributes to experience, it can know a priori about any possible object of experience.
Newtonian physics and the a priori framework
Kant took Newtonian physics as the paradigm case of synthetic a priori knowledge in natural science. Newton's three laws of motion and the law of universal gravitation were, for Kant, not empirical generalizations subject to revision but (at least in their most fundamental form) necessary features of any possible experience of an objective material world.
The principle of the conservation of matter (substance persists through change) and the principle of causality (every change has a cause) are, in Kant's account, not conclusions of physical investigation but its preconditions. Without these principles already in force as organizing categories, the physicist would not even know what to look for; there would be no concept of "a change that requires explanation" or "a conservation law to be verified." The a priori framework does not compete with empirical physics; it makes empirical physics possible. This relationship between the a priori framework and empirical science is subtle and important. Kant does not claim that the specific laws of physics (the inverse square law of gravitation, the precise value of the gravitational constant) are a priori — these are empirical discoveries, contingent facts about our particular universe. What is a priori is the general framework within which such laws can be discovered and applied: that nature is causally structured, that matter is conserved, that events have determining conditions. The specific content of science is empirical; its formal presuppositions are a priori.
The synthetic a priori faces a powerful challenge from twentieth-century philosophy of science and mathematics. W.V.O. Quine's attack on the analytic/synthetic distinction (in "Two Dogmas of Empiricism," 1951) argued that no clear line can be drawn between truths that are true by virtue of meaning (analytic) and truths that are true by virtue of fact (synthetic) — and that even apparently necessary truths can in principle be revised in the face of recalcitrant experience. On Quine's view, the web of belief is revised holistically; no statement is immune from revision.
If Quine is right, the synthetic a priori category collapses: there are no truths that are both genuinely informative and immune to empirical revision. The apparent necessity of mathematics and basic physics is an artifact of their centrality in our belief system — they are held very firmly because revising them would require revising almost everything else, not because they are guaranteed by the mind's structure. Non-Euclidean geometry and general relativity compound this difficulty. If physical space is non-Euclidean, then Kant's paradigm case of synthetic a priori knowledge — Euclidean geometry as the a priori form of spatial intuition — turns out to be empirically falsified. Physical space does not conform to the Euclidean form that Kant thought was the mind's invariant contribution to experience. Contemporary Kantians have responded in various ways: by retreating to a more modest, revisable account of the a priori; by distinguishing between different levels of the a priori (some more revisable than others); or by arguing that the challenge shows not that Kant was wrong but that his specific identification of which truths are a priori was mistaken, while his general account of the mind's constitutive role in experience remains valid.
Kant's account of synthetic a priori knowledge is the engine of his entire critical philosophy. The demonstration that such knowledge is possible — and that its possibility is explained by the mind's constitutive contribution to experience — simultaneously vindicates mathematics and physics as sciences, refutes the skeptical challenge of Humean empiricism, and limits the pretensions of dogmatic metaphysics. It is a single conceptual move that achieves three philosophical goals at once.
For contemporary epistemology and philosophy of science, the question of whether there is a defensible successor to Kant's synthetic a priori remains one of the central open problems. The recognition that even scientific frameworks carry presuppositions that function in a quasi-a priori way — organizing experience before any particular experimental test is run — is a permanent contribution, even if the specific details of Kant's account require revision. The broader legacy is captured in a sentence that is both Kant's manifesto and the standing challenge to any post-Kantian epistemology: "All our knowledge begins with the senses, proceeds then to the understanding, and ends with reason." The question of how much of that journey is experience-given and how much is mind-contributed remains, two and a half centuries after the Critique, genuinely and productively open.
The interactive steps that follow ask you to engage directly with Kant's B Preface, map the architecture of his critical philosophy, debate his account of knowledge against Hume and contemporary science, and reflect on what the Copernican Revolution means for our own picture of what knowledge is and where it comes from.