Hello, and welcome to the first lesson of our second module, "The Kantian Background and Frege's Revolution."
In the previous module, we assembled a "Philosopher's Toolkit," culminating in a deep dive into the distinction between model-theoretic () and proof-theoretic () conceptions of logical consequence. We saw how these two perspectives—one based on truth and meaning, the other on formal rules and provability—provide different answers to the question of what it means for a conclusion to follow from its premises.
Now, we begin our historical and philosophical journey by turning to the figure who set the stage for much of modern philosophy, Immanuel Kant. Today's learning outcome is to: Explain Kant's view of logic as formal and his conception of analytic and synthetic judgments.
Understanding Kant is essential because the pioneers of modern logic, especially Gottlob Frege, saw their own work as a direct response to the Kantian framework. Frege's project was, in large part, an attempt to answer Kantian questions with more powerful logical tools. By grasping Kant's perspective, we will understand the philosophical problems that the new logic was designed to solve.
1. Kant's Conception of Logic as Formal
Before we delve into Kant's famous distinctions, we must first understand what he considered "logic" to be. For Kant, logic had, in his time, already found its complete and final form in the work of Aristotle. He saw it as a finished science, perfect and unimprovable. This view sounds strange to us today, but it makes sense once we understand the narrow, yet precise, role he assigned to it.
Kant called logic "general" or "formal" logic. To see what he meant by this, please read the following short text.
This excerpt from the Internet Encyclopedia of Philosophy lucidly explains Kant's definition of formal logic. It details the essential features that distinguish it from other kinds of inquiry.
Please read the section titled '2. The Concept of Formal Logic'. Focus on the three key features Kant ascribes to logic: General: It disregards all content and differences between objects, focusing only on the form of thought. Pure: It abstracts away from all empirical and psychological conditions of thinking. Distinct from Transcendental Logic: It is not a special logic concerned with the origins of our knowledge or the specific concepts (categories) that structure reality.
In essence, Kant viewed formal logic as the set of absolutely universal and necessary rules for correct thinking, irrespective of the subject matter. It is a canon that helps us evaluate the formal correctness of our reasoning, not an organon (or tool) for extending our knowledge. This is a crucial point: for Kant, logic itself does not generate new truths about the world; it only structures our thought.
The following diagram illustrates where "General Logic" fits within Kant's overall classification of philosophy.
A Note for the Modern Logician
From your perspective, having studied modern predicate logic, Kant's own logical system (his "Table of Judgments") can appear strange. It mixes concepts that we now strictly separate, such as logical connectives and quantifiers, and it seems to miss fundamental operators like conjunction (and).
This is because Kant's project was fundamentally different from that of a modern logician. He was not trying to find a minimal set of axioms and operators to build a complete formal system. Instead, he was engaged in a philosophical and transcendental project: to identify and catalogue the distinct acts of the understanding—the basic ways our mind unifies representations to form a judgment.
The following video brilliantly explains this difference in perspective. It argues that we should not see Kant's logic as a failed attempt at modern logic, but as a successful attempt at his own, distinct philosophical project.
Kant's Critique of Pure Reason - Video 20: Kant and Modern Logic
Philosopher Victor Gijsbers explains why it's a mistake to judge Kant's logic by modern standards. He clarifies that Kant's concepts of 'hypothetical' and 'disjunctive' judgments are about conceptual relations of 'ground-consequent' and 'dividing a logical space', not the truth-functional operators you're familiar with.
Please watch from 11:42 to 18:51. Focus on how Kant's analysis of judgments is concerned with the relationship between concepts and the mental acts that form them, rather than the truth-functional composition of propositions.
2. The Two Great Distinctions: Classifying Judgments
The heart of Kant's theoretical philosophy lies in two distinctions he made for classifying judgments (or propositions). These distinctions provide the framework for his entire theory of knowledge and set the central problem for his Critique of Pure Reason.
- The A Priori / A Posteriori distinction concerns the epistemic justification of a judgment: How do we know it is true?
- The Analytic / Synthetic distinction concerns the semantic content of a judgment: What makes it true?
The following text from the Stanford Encyclopedia of Philosophy offers a precise, rigorous account of these classifications. Given your background in mathematics, you will appreciate its attention to detail.
This reading provides the formal definitions and philosophical motivations for Kant's classificatory system for judgments.
Please read sections 2.2.1 ('A priori judgments and a posteriori judgments') and 2.2.2 ('Analytic judgments and synthetic judgments'). In 2.2.1, focus on the definition of 'a priori' as being 'absolutely independent of all sensory impressions' and its connection to the marks of necessity and strict universality. In 2.2.2, note the precise definition of an analytic judgment. Kant's primary criterion is that its denial entails a contradiction. The popular 'predicate is contained in the subject' idea is just one instance of this. A synthetic judgment, by contrast, is one whose truth is determined by its constituent intuitions; it is an 'intuition-based proposition'.
To consolidate this, let's summarize the key ideas:
| Distinction | A Priori | A Posteriori |
|---|---|---|
| Domain | Epistemic: How we justify knowledge. | |
| Definition | A judgment is known a priori if its justification is independent of any particular experience. | A judgment is known a posteriori if its justification depends on sensory experience. |
| Kant's Test | It is necessary (could not be otherwise) and strictly universal (admits no exceptions). | It is contingent (could be otherwise) and at best comparatively universal (true of all cases so far). |
| Example | "Every change has a cause." | "The book is red." |
| Distinction | Analytic | Synthetic |
|---|---|---|
| Domain | Semantic: What the judgment's truth is based on. | |
| Definition | A judgment is analytic if its truth is determined solely by the concepts and logical principles it contains. | A judgment is synthetic if its truth is determined by connecting its concepts to something outside of them—namely, intuition. |
| Kant's Test | Its negation is a contradiction. It is explicative (it clarifies or unpacks concepts). | Its negation is not a contradiction. It is ampliative (it extends or adds to our knowledge). |
| Example | "All bachelors are unmarried men." | "All bodies are heavy." |
3. Combining the Distinctions: The "Holy Grail" of Metaphysics
The philosophical power of Kant's framework comes from combining these two distinctions. This creates a four-fold classification of all possible judgments:
- Analytic a posteriori: This category is empty. If a judgment is analytic, its truth rests on concepts alone, so experience is irrelevant to its justification.
- Analytic a priori: These are truths of definition and logic. For example, "All triangles have three sides." They are necessary and known independently of experience, but they are not ampliative—they don't teach us anything new about the world, only about our concepts.
- Synthetic a posteriori: These are standard empirical truths. For example, "Water boils at 100°C." They are ampliative—we learn something new about the world—but they are known through experience and are contingent.
- Synthetic a priori: This is Kant's revolutionary and most important category. A judgment is synthetic a priori if it expands our knowledge (synthetic) but is also necessary and known independently of experience (a priori).
The central question of Kant's philosophy became: "How are synthetic a priori judgments possible?"
He believed that the most fundamental principles of mathematics, physics, and metaphysics fall into this category. Consider his famous example from arithmetic: "7 + 5 = 12".
- It is a priori: You do not need to conduct experiments by counting objects to know it is true. It is a necessary truth.
- It is synthetic: Kant argued that the concept of '12' is not actually contained within the concept of '7 + 5'. The concept '7 + 5' only contains the idea of the union of two numbers. To get to '12', you must go beyond the concepts themselves and perform a constructive act in what he called pure intuition (our innate sense of time, in which we carry out the counting sequence). This act of construction synthesizes the concepts to produce new knowledge.
For Kant, uncovering the possibility of synthetic a priori knowledge was the key to placing metaphysics on the "secure path of a science." It would explain how we can have necessary and universal knowledge about the structure of reality without deriving it from experience.
Conclusion
In this lesson, we have laid the philosophical groundwork for the revolution that was to come. We have seen how Kant carved out a very specific, formal role for logic and, more importantly, how he classified knowledge in a way that created a new philosophical problem.
Key Takeaways:
- Kant's Formal Logic: For Kant, logic is a "general" and "pure" science concerned only with the formal rules of thinking. It is a canon for evaluating thought, not an organon for discovery, and its project is distinct from that of modern symbolic logic.
- A Priori vs. A Posteriori: This is an epistemic distinction about justification. A priori knowledge is independent of experience and marked by necessity and universality. A posteriori knowledge is justified through experience.
- Analytic vs. Synthetic: This is a semantic distinction about content. Analytic judgments are true by virtue of their conceptual and logical relations (explicative). Synthetic judgments are true by virtue of connecting concepts to intuition (ampliative).
- Synthetic A Priori: This crucial category represents knowledge that is both necessary and ampliative. Kant believed that mathematics and the foundations of science consisted of such judgments, and his philosophy aimed to explain their possibility.
Preview of the Next Lesson:
Kant believed logic was a completed science. The 19th century would prove him wrong. In our next lesson, we will examine the first major step in overturning the Aristotelian tradition: George Boole's algebraization of logic. We will analyze the philosophical significance of treating logical reasoning as a kind of mathematical calculation, a crucial move that set the stage for Frege's even more profound revolution.