Synthetic A Priori
ELI5
A synthetic a priori judgment is one where you can figure out something genuinely new and certain — not from experience, and not just from unpacking the meaning of words — but purely through the structure of your mind and the way it organizes experience. It's like how "7 + 5 = 12" feels absolutely certain, yet isn't obvious just from the meanings of the numbers alone.
Definition
The synthetic a priori designates a class of judgments that are simultaneously necessary and universal (a priori) and genuinely knowledge-extending (synthetic) — they add content that cannot be derived by mere analysis of the subject-concept alone. Kant's critical problem is precisely this: how can pure reason, operating without recourse to empirical experience, nonetheless produce judgments that amplify our knowledge rather than merely explicating what is already contained in our concepts? The answer turns on the doctrine of pure intuition (space and time) and the categories of the pure understanding: mathematics achieves synthetic a priori cognition through construction in a priori intuition, while the principles of the pure understanding achieve it through the transcendental schematism that applies categories to temporal intuition. Analytic judgments are certain but empty; empirical judgments are informative but contingent; only the synthetic a priori unites apodictic necessity with genuine cognitive extension, making it the foundation of all theoretical science.
The third occurrence introduces a crucial internal differentiation: transcendental (philosophical) synthetic a priori propositions are distinct from mathematical ones in that they proceed through pure concepts alone, without any corresponding constructive intuition. This makes transcendental philosophy methodologically irreducible to mathematics: its synthetic a priori cognition is discursive rather than constructive, proceeding via the regulated synthesis of empirical intuitions rather than via spatial-temporal construction. The synthetic a priori thus names not a homogeneous domain but a structured field that Kant maps across both mathematical science and transcendental philosophy, each with its own mode of grounding and its own limits.
Place in the corpus
This concept appears exclusively in kant-immanuel-critique-of-pure-reason and sits at the structural center of Kant's critical project. It is precisely the concept that organizes the cross-referenced canonicals: Judgment is the general form, and the synthetic a priori is its most important species — the one that generates the "central problem" of the Critique ("how are synthetic a priori judgments possible?"). The synthetic a priori is what distinguishes Kant's Knowledge regime from mere empirical generalization or tautological analysis: it grounds the universality and necessity of scientific knowledge while preserving its content-giving character, the very feature Lacanian savoir displaces by treating unconscious knowledge as a non-closeable symbolic articulation rather than a transcendental achievement. The concept also directly implicates Understanding (Verstand): the categories of the pure understanding are precisely the operators through which synthetic a priori principles of experience become possible, and the faculty of Reason marks where synthetic a priori cognition overreaches, generating transcendental illusion rather than legitimate extension. Universality and A Priori Cognition name the formal features the synthetic a priori must preserve, while Contradiction and Appearance mark its limits — the antinomies of pure reason arise precisely when synthetic a priori procedures are applied beyond possible experience, yielding contradictory but apparently valid proofs.
Within the broader corpus, the synthetic a priori functions as a pre-Lacanian anchor: it is the Kantian formulation of the problem that Lacan's discourse theory dissolves and reassembles. Where Kant asks how necessity and extension can coexist in a judgment, Lacan shifts the question to how the subject is constituted by a symbolic structure it cannot master or complete. The structured field Kant maps — mathematical construction vs. discursive transcendental proof — reappears, transformed, in Lacan's and Copjec's contrasts between mathematical and dynamical antinomies and in the different logics governing masculine (universal, constructive) and feminine (non-all, discursive) sexuation.
Key formulations
Critique of Pure Reason (page unknown)
There are certainly transcendental synthetical propositions which are framed by means of pure conceptions, and which form the peculiar distinction of philosophy... A transcendental proposition is, therefore, a synthetical cognition of reason by means of pure conceptions and the discursive method.
The quote is theoretically loaded because it drives a wedge inside the synthetic a priori itself: by specifying that transcendental propositions are synthetic yet proceed through "pure conceptions" and the "discursive method" — with no constructive intuition — Kant marks philosophy's irreducibility to mathematics and locates the distinctive mode of transcendental cognition precisely at the point where synthesis proceeds without any intuitive support, making the discursive-versus-constructive distinction a methodological fault line within the a priori domain itself.
All occurrences
Where it appears in the corpus (3)
-
#01
Critique of Pure Reason · Immanuel Kant
THE CRITIQUE OF PURE REASON > PREFACE TO THE SECOND EDITION, 1787
Theoretical move: Kant establishes the distinction between analytical and synthetical judgements, argues that synthetic a priori judgements are both possible and necessary as the foundation of all theoretical sciences (including mathematics), and poses the critical question of how pure reason can legitimately extend knowledge beyond experience without collapsing into groundless speculation.
Upon such synthetical, that is augmentative propositions, depends the whole aim of our speculative knowledge a priori; for although analytical judgements are indeed highly important and necessary, they are so, only to arrive at that clearness of conceptions which is requisite for a sure and extended synthesis
-
#02
Critique of Pure Reason · Immanuel Kant
THE CRITIQUE OF PURE REASON > BOOK II. > CHAPTER II. System of all Principles of the Pure Understanding.
Theoretical move: Kant establishes that the categories of the pure understanding provide the systematic guide for deriving all transcendental principles of a priori cognition, and argues that even foundational principles require a subjective proof (from conditions of possible experience) to avoid the charge of mere assertion, while distinguishing synthetic a priori principles from both analytic judgements and mathematical principles drawn from intuition.
the principles of mathematical science… are synthetical judgements a priori, not indeed for the purpose of proving their accuracy and apodeictic certainty, which is unnecessary, but merely to render conceivable and deduce the possibility of such evident a priori cognitions
-
#03
Critique of Pure Reason · Immanuel Kant
THE CRITIQUE OF PURE REASON > CHAPTER III. The Ideal of Pure Reason. > SECTION I. The Discipline of Pure Reason in the Sphere of Dogmatism.
Theoretical move: Kant establishes the essential difference between philosophical (discursive, via concepts) and mathematical (constructive, via a priori intuition) cognition to argue that transcendental philosophy cannot employ mathematical method: transcendental propositions are synthetic a priori but must proceed through pure concepts alone, without any corresponding a priori intuition, and can only yield rules for the synthesis of empirical intuitions.
There are certainly transcendental synthetical propositions which are framed by means of pure conceptions, and which form the peculiar distinction of philosophy... A transcendental proposition is, therefore, a synthetical cognition of reason by means of pure conceptions and the discursive method.