Welcome back. In our last lesson, we confronted the full force of David Hume's problem of induction. We saw how his powerful dilemma—that induction can be justified neither by logic nor by experience without circularity—appears to undermine the rational foundation of all scientific knowledge. Hume's "skeptical solution," attributing our belief in causality and induction to mere psychological habit, left us with the unsettling conclusion that science rests on little more than animal instinct.
This conclusion was so profound that it famously "interrupted [Immanuel] Kant's dogmatic slumber." Kant realized that to save science, and indeed any objective knowledge about the world, he couldn't simply refute Hume; he had to build a new foundation for knowledge altogether. Today's lesson is about the essential conceptual tools Kant forged for this monumental task. We will analyze his crucial distinctions between a priori and a posteriori knowledge, and between analytic and synthetic judgments. By combining these, Kant carves out a new category of knowledge that Hume's framework completely missed, a category he believes holds the key to understanding how we can know necessary truths about the world.
1. The Source of Justification: A Priori vs. A Posteriori
Kant begins by classifying judgments based on their epistemological source—that is, how we justify them. This first distinction will be familiar, as it formalizes an idea we've encountered with both the rationalists and the empiricists.
- A Posteriori Judgments: These are judgments whose justification depends on sense experience. They are empirical. For example, "This sample of CuO is red" is known a posteriori because you must observe the sample to verify it. Such judgments are always contingent; the sample could have been a different color.
- A Priori Judgments: These are judgments whose justification is independent of any particular sense experience. They are known through reason alone. For example, "For any propositions P and Q, if P is true, then P or Q is true" is a logical truth you know without needing to consult the world. For Kant, the key markers of a priori knowledge are necessity and strict universality.
To grasp Kant's precise definitions, let's start with a clear summary.
Kant on the Synthetic A Priori - PHIL 871
This reading from a set of course notes clearly defines a priori knowledge and contrasts it with the a posteriori, highlighting the key characteristics of necessity and universality.
Please read the first section, The A Priori. Pay close attention to the distinction between knowledge commencing with experience and arising from experience. Also, note the example of an "impure" a priori judgment.
As the reading makes clear, Kant's claim is not that we can have knowledge without ever having had any experiences at all. Rather, it is that the justification for certain judgments does not rely on the content of those experiences. For a more formal treatment of this idea, which may appeal to your background in mathematical physics, the Stanford Encyclopedia of Philosophy offers a definition based on the concept of "strict determination."
The Stanford Encyclopedia of Philosophy provides a highly rigorous and detailed analysis of Kant's philosophical terms.
Read section 2.2.1, A priori judgments and a posteriori judgments. Focus on the idea that a cognition is a priori if it is "strictly determined in its form or in its semantic content by our innate spontaneous cognitive faculties." This formal definition provides a robust alternative to a purely psychological interpretation.
2. The Structure of a Judgment: Analytic vs. Synthetic
Kant's second distinction is more novel. It classifies judgments not by their source of justification, but by their semantic content—how the meaning of the subject relates to the meaning of the predicate.
-
Analytic Judgments: The predicate is already contained within the concept of the subject. These judgments are "explicative"—they don't add new information but merely clarify or analyze the subject concept.
- Example: "All bodies are extended." The concept of 'body' already includes the concept of 'extension'. To think of a body is to think of something that takes up space.
- The truth of an analytic judgment can be determined by the principle of non-contradiction. Denying an analytic judgment ("This body is not extended") results in a logical contradiction.
-
Synthetic Judgments: The predicate is not contained within the concept of the subject. These judgments are "ampliative"—they add new information, synthesizing two separate concepts.
- Example: "All bodies have weight." According to Kant, the concept 'body' does not necessarily include the concept of 'weight' (one could, for instance, conceive of a body in a zero-gravity environment). The judgment that bodies have weight connects the concept 'body' to a new concept, 'weight', based on experience.
The following video provides a very clear explanation of this distinction, grounding it directly in Kant's own text from the Prolegomena to Any Future Metaphysics.
Immanuel Kant, Prolegomena | Analytic and Synthetic Judgements | Philosophy Core Concepts
Dr. Gregory Sadler, in his "Philosophy Core Concepts" series, provides a close reading of Kant's text to explain the analytic-synthetic distinction.
Please watch from this segment, which defines analytic judgments as "explicative." Then, watch the short definition of synthetic judgments as "ampliative" from this point. Finally, see how analytic judgments are based on the principle of non-contradiction in the section from this timestamp.
As with the first distinction, we can again turn to the Stanford Encyclopedia of Philosophy for a more rigorous analysis. The common "containment" metaphor is a useful starting point, but Kant's theory is more robust, extending to all logical truths.
This reading delves into the semantic basis of Kant's distinction, moving beyond simplistic definitions.
Please read section 2.2.2, Analytic judgments and synthetic judgments. Note the critique of interpreting analyticity as only containment. The key takeaway is Kant's universal criterion: "a judgment is analytically true if and only if its denial entails a contradiction." Also, note the positive characterization of a synthetic judgment as an "intuition-based proposition."
3. The Fourfold Table of Judgments
With these two independent distinctions in hand, we can construct a 2x2 table that reveals the logical space of possible judgments.
Let's examine the four quadrants:
-
Analytic a priori: This category is uncontroversial. Since analytic judgments are true by definition and logical relations, their justification doesn't depend on experience. They are necessarily a priori. Example: "All bachelors are unmarried." This category corresponds perfectly to Hume's relations of ideas.
-
Synthetic a posteriori: This is also uncontroversial. These are our standard empirical judgments about the world, where we synthesize a subject with a new predicate based on experience. Example: "The bubble raft avalanche follows a power-law distribution." This category corresponds perfectly to Hume's matters of fact.
-
Analytic a posteriori: This category is empty. An analytic judgment is true by necessity. For Kant, necessity is a hallmark of a priori justification. A truth that depends on a particular experience (a posteriori) cannot be a necessary, analytic truth.
-
Synthetic a priori: This is the crucial, revolutionary category that Hume's Fork completely missed. Are there judgments that add new knowledge (synthetic) but are also known with necessity and universality (a priori)?
Hume's answer was a definitive "no." For him, all knowledge was either analytic a priori or synthetic a posteriori. Kant's answer is a resounding "yes," and he argues that these judgments form the very bedrock of mathematics and natural science.
4. The Synthetic A Priori: Kant's Answer to Hume
The existence of synthetic a priori judgments is the linchpin of Kant's entire philosophical project. If he can show that such judgments exist and explain how they are possible, he can show that we can have necessary and universal knowledge about the world, thereby rescuing science from Hume's skepticism.
Let's trace Kant's argument through his primary examples. The following comprehensive video lecture walks through Kant's motivation, his definitions, and his defense of the synthetic a priori.
Kant 1: Synthetic A Priori Knowledge
This lecture provides a fantastic narrative, starting with Kant's reaction to Hume and culminating in the application of the synthetic a priori to the problem of causation.
First, watch the introduction here. This will powerfully connect what we are about to discuss with last lesson's topic, framing Kant's entire project as a direct, personal response to Hume's challenge. Next, watch from this segment. The lecturer introduces the analytic/synthetic distinction and then combines it with the a priori/a posteriori distinction to arrive at the crucial four categories, explicitly identifying Hume's two and Kant's third. Now, focus on Kant's prime example: mathematics. Watch from this point. Pay close attention to the argument for why "7 + 5 = 12" is synthetic. Kant argues the concept of '12' is not contained in the concept of 'a sum of 7 and 5'. To arrive at 12, an act of synthesis or construction is required. Finally, see how Kant applies this back to Hume's central problem. Watch the conclusion from here. The claim is that "Every event has a cause" is a synthetic a priori judgment. We know it necessarily (a priori), but 'cause' is a new concept added to 'event' (synthetic).
As the video demonstrates, Kant argues that the foundational principles of both mathematics and physics are synthetic a priori.
- In Mathematics: When you perform a calculation, even a simple one like , you are not merely analyzing the definitions of '7', '5', and '+'. You are performing a constructive procedure in your mind to arrive at a new piece of information, '12'. Yet, the result is necessary and universal. This process is even more evident in complex proofs or in your work with numerical simulations, where the consequences of your initial rules are discovered, not merely analyzed.
- In Physics: The principle "Every event has a cause" is not something we derive from experience, because experience only gives us contingent conjunctions (Hume's point). We apply this principle to experience as a necessary precondition for understanding it. Yet it is synthetic, because the concept of 'cause' adds the idea of necessary connection to the concept of 'event', which on its own is just 'something happening'.
Conclusion
Today we have assembled the fundamental components of Kant's new epistemological framework. By carefully distinguishing between the source of a judgment (a priori / a posteriori) and its semantic structure (analytic / synthetic), Kant created a more nuanced map of human knowledge than his predecessors.
Key Takeaways:
- Two Distinctions: Kant employs two separate distinctions:
- A Priori vs. A Posteriori: Based on whether the justification is independent of or dependent on experience. Marked by necessity/universality vs. contingency.
- Analytic vs. Synthetic: Based on whether the predicate is contained in the subject. Marked by being explicative vs. ampliative (adding new information).
- The Four Categories: Combining these yields four types of judgments: analytic a priori (Hume's relations of ideas), synthetic a posteriori (Hume's matters of fact), the empty set of analytic a posteriori, and the revolutionary category of synthetic a priori.
- Kant's Innovation: Kant argues that the foundational principles of mathematics (e.g., ) and science (e.g., "Every event has a cause") are synthetic a priori. They provide new information about the world, but are known with the necessity and universality of a priori reason.
- The Answer to Hume: The existence of this third category of knowledge is Kant's direct challenge to Hume's Fork. It opens the door for genuine metaphysical knowledge that is both informative and necessary.
We have established that Kant believes synthetic a priori judgments exist, and what they are. But this raises the most important question of all, which will occupy us in the next lesson: How are synthetic a priori judgments possible?
Preview of the Next Lesson:
To answer this question, Kant will propose his "Copernican Revolution" in philosophy. He will argue that instead of our minds conforming to the structure of an independent world, the world as we experience it must conform to the inherent structures of our mind. The synthetic a priori judgments are, in fact, descriptions of these very structures.