20.15.02 · philosophy / history-of-philosophy

Kant's Critique of Pure Reason: transcendental idealism, the synthetic a priori, and the categories

shipped3 tiersLean: none

Anchor (Master): Kant 1781/1787 Kritik der reinen Vernunft (Critique of Pure Reason, A/B editions); Kant 1783 Prolegomena to Any Future Metaphysics; Kant 1786 Metaphysical Foundations of Natural Science; Strawson 1966 The Bounds of Sense; Henry Allison 1983 Kant's Transcendental Idealism

Intuition Beginner

Immanuel Kant, working in the East Prussian city of Konigsberg in the 1770s and 1780s, set himself a single question: how is metaphysics possible? Two centuries of European philosophy had produced two great answers, both of which Kant took to be failures. The rationalists (Descartes, Spinoza, Leibniz) claimed that pure reason could discover the nature of God, freedom, and the soul. The empiricists (Locke, Berkeley, Hume) claimed that all knowledge comes from experience, and that necessary truths are merely habits of association. Both led to scepticism or dogmatism. Kant's Critique of Pure Reason (1781, revised 1787) proposed a third path.

The central image is the Copernican revolution in philosophy. Copernicus saw that the planets' motions made sense only if the observer (the Earth) moved, not the observed. Kant proposed the same for knowledge: objects must conform to our faculty of cognition, rather than our cognition conforming to objects. If our minds impose structure on what we experience — space, time, causality, substance — then the necessity of those structures in our experience is explained, without claiming that we read them off from things-in-themselves.

The result is transcendental idealism. We know the world as it appears to us (the phenomenon), structured by the forms our cognition imposes. We do not know the world as it is in itself (the noumenon). The restriction is not a loss but a gain: it explains why mathematics and natural science are possible (they study the structured phenomenal world), and it shows that traditional metaphysics — claims about God, freedom, and immortality beyond possible experience — oversteps the bounds of reason.

Visual Beginner

The picture shows the Kantian cognitive architecture as a three-stage pipeline. Stage one is the manifold of intuition: raw sensory intake, already structured by the pure forms of space and time. Stage two is the imagination's synthesis: the manifold is gathered into a unity under the guidance of the categories (quantity, quality, relation, modality). Stage three is apperception: the unified representation is referred to the "I think", the transcendental subject who accompanies every experience. A vertical line on the right marks the boundary between phenomena (the structured appearances inside the pipeline) and noumena (the things-in-themselves outside, marked with a question mark).

The pipeline is the load-bearing image: cognition is not passive reception but active structuring. The boundary at the right is the unknowability of the thing-in-itself.

Worked example Beginner

Walk through Kant's argument that the categories (in particular, causality) apply necessarily to all experience — the heart of the transcendental deduction.

Step 1. Start with Hume's challenge. David Hume argued that we never perceive causation: we see one event followed by another, repeated, and form a habit of expecting the second after the first. The necessity of the connection is, on Hume's reading, a projection of our psychology, not a feature of the world. Kant took Hume's challenge seriously but denied its conclusion.

Step 2. Identify Kant's premise. Experience is not a passive reception of given items; it is already a representation of an objective world. To experience an event as an event — to see the wind blowing and the tree falling as two stages of one happening — the mind must combine the manifold of intuition under a rule.

Step 3. Apply the categories. The categories are the pure concepts of the understanding: quantity (unity, plurality, totality), quality (reality, negation, limitation), relation (substance-and-accident, cause-and-effect, community), and modality (possibility, existence, necessity). For any experience to be of an object, the manifold must be unified under these categories. To see the wind-and-tree as one event is to apply the category of cause-and-effect.

Step 4. Conclude. The categories are not generalisations from experience (as Hume held); they are conditions of the possibility of experience. They apply necessarily because without them, there would be no experience to generalise from. This is the transcendental deduction: a proof that the categories are necessarily valid for all appearances, because they are the structural conditions under which appearances are possible at all.

What this tells us: Kant's answer to Hume is not a refutation of the empiricist observation (we never perceive necessity) but a transcendental argument that necessity is a condition of the empirical. The reply reframes the question rather than answering it on Hume's own ground.

Check your understanding Beginner

Exercise (easy, multiple choice).

Kant's Copernican revolution in philosophy proposes that:

A. The Earth moves around the sun, not vice versa B. Objects of experience must conform to our faculty of cognition, rather than our cognition conforming to objects C. Reason is the slave of the passions D. All knowledge comes from sense experience

Hint

Kant borrows the Copernican image to make a philosophical point about the direction of fit between mind and world.

Answer

B. Kant's Copernican revolution proposes that objects of experience conform to the structure of our cognition, rather than our cognition passively conforming to objects. Just as Copernicus made the data fit by having the observer move, Kant makes experience intelligible by having the mind impose structure (space, time, the categories) on the manifold of intuition. The move explains the necessity of mathematics and natural science without claiming we read off the structure from things-in-themselves.

Exercise (easy, true-false).

A synthetic a priori judgement is one whose truth can be known independently of experience, but whose predicate is not contained in its subject (so the judgement is genuinely informative).

Hint

Synthetic = predicate adds to subject (informative). A priori = knowable independently of experience (necessary, universal). Kant held that mathematics and the fundamental laws of natural science are synthetic a priori.

Answer

True. Kant's distinction: analytic judgements have the predicate contained in the subject (e.g., "all bachelors are unmarried") and are known a priori but uninformative; synthetic judgements have the predicate add to the subject (e.g., "this bachelor is tall") and are typically informative but empirical. The synthetic a priori — informative yet knowable independently of experience — is the load-bearing category of Kant's system: he held that mathematics ("7 + 5 = 12") and the laws of natural science ("every event has a cause") are synthetic a priori, and the Critique's central question is how such judgements are possible.

Exercise (easy, multiple choice).

The distinction between phenomenon and noumenon in Kant refers to:

A. The mind-body distinction B. The thing as it appears to us (phenomenon) versus the thing as it is in itself (noumenon) C. The animate-inanimate distinction D. The material-immaterial distinction

Hint

Phenomenon = appearance. Noumenon = thing-in-itself, the object of intellectual intuition (which humans lack).

Answer

B. The phenomenon is the thing as it appears to us, structured by the forms of intuition (space and time) and the categories. The noumenon is the thing as it is in itself, independent of our mode of cognition. Kant holds that we know only phenomena; noumena are thought (as the limiting concept of a thing-in-itself) but not known. The distinction is the core of transcendental idealism: the world of our experience is phenomenal, structured by our cognition; the noumenal substrate is real but unknowable.

Exercise (easy, multiple choice).

Kant's table of categories (the pure concepts of the understanding) is organised under four headings. Which of the following lists them correctly?

A. Unity, plurality, totality, and infinity B. Quantity, quality, relation, and modality C. Space, time, causality, and substance D. Goodness, truth, beauty, and unity

Hint

Kant derived the categories from the forms of logical judgement, organising them into four headings of three categories each.

Answer

B. The four headings of the category table are quantity, quality, relation, and modality. Each heading contains three categories: quantity (unity, plurality, totality), quality (reality, negation, limitation), relation (substance-and-accident, cause-and-effect, community), modality (possibility, existence, necessity). The twelve categories are the pure concepts of the understanding, derived by Kant from the corresponding forms of logical judgement.

Formal definition Intermediate+

Kant's transcendental idealism is the thesis that the objects of experience are appearances structured by the subject's cognitive faculties, and that things-in-themselves are real but unknowable. Its core notions are the synthetic a priori, the forms of intuition, the categories, and the transcendental deduction.

Definition (analytic / synthetic judgement). An analytic judgement is one in which the predicate is contained in the concept of the subject (e.g., "all triangles have three sides"); its negation is a contradiction. A synthetic judgement is one in which the predicate adds to the concept of the subject (e.g., "this triangle is green"); its negation is not a contradiction.

Definition (a priori / a posteriori). An a priori judgement is one whose truth can be known independently of experience (it carries necessity and universality). An a posteriori judgement is one whose truth can be known only through experience. Combining the two distinctions: analytic-a-priori (logic, definitions), synthetic-a-posteriori (empirical judgements), analytic-a-posteriori (impossible, on Kant's account), and synthetic-a-priori (the load-bearing category: informative yet necessary).

Definition (transcendental). A transcendental argument is one that establishes the necessary conditions of the possibility of experience. The word does not mean "transcendent" (going beyond experience) but "concerning the conditions of possible experience".

Definition (the categories). The categories are the twelve pure concepts of the understanding, derived from the twelve forms of logical judgement and grouped under four headings (quantity, quality, relation, modality). They are the rules by which the understanding synthesises the manifold of intuition into the representation of an object.

Counterexamples to common slips Intermediate+

Conflating transcendental idealism with subjective idealism. Kant's idealism is not Berkeley's: Kant does not claim that material objects are mere ideas in our minds. He claims that material objects are real appearances structured by our cognition, and that there is a noumenal substrate beyond them. Berkeley denies the noumenal substrate; Kant affirms it but marks it unknowable.
Treating the noumenon as a second kind of object alongside phenomena. The noumenon is not a second object "behind" the phenomenon but the same object considered under the concept of "thing-in-itself, apart from our mode of intuition". The distinction is conceptual, not ontological (on the two-aspect reading defended by Allison).
Reading the synthetic-a-priori distinction as psychological. The distinction is logical, not psychological: it concerns the grounds on which a judgement can be known to be true, not the mental process by which a person arrives at it.

Key argument Intermediate+

Argument (the transcendental deduction of the categories, B-edition, 1787).

Premise (the transcendental unity of apperception). Every representation that is mine must be capable of accompanying the "I think". This is the unity of apperception — the formal unity of all my representations under a single self-consciousness.
Premise (synthesis under a rule). For representations to belong to a single self-consciousness, they must be combined according to a rule. Mere succession of representations does not amount to an experience of an object; the manifold must be synthesised under the unity of a concept.
Intermediate conclusion. The rule-governed combination of the manifold is what makes the representation of an object possible. The categories are precisely the rules by which the understanding combines the manifold into the representation of an object (the category of substance, for example, combines successive appearances into the representation of an enduring thing).
Conclusion (the categories apply necessarily to all appearances). Since experience of an object presupposes the rule-governed synthesis that the categories perform, and since all appearances are possible objects of experience, the categories apply necessarily to all appearances. We are licensed to think every appearance under the categories, because without them no appearance would be experience at all.

Reconstruction. The deduction is a transcendental argument: it derives the validity of the categories not from experience (which would be circular, presupposing what it explains) but from the conditions of the possibility of experience itself. The argument is reflexive: it asks what must already be true for any experience to occur, and answers that the categories must already be operating. The Humean challenge — that we never perceive causation — is answered at the transcendental level: we do not perceive causation as a feature of things-in-themselves, but causation is a condition of our experiencing anything as an object at all.

Bridge. The transcendental deduction builds toward 20.11.01 metaphysics by reorienting the modal questions (existence, identity, causation, modality) from objects-in-themselves to the conditions of possible experience, and appears again in 20.13.01 philosophy of mind as the historical source of the cognitive-revolution idea that the mind actively structures its input rather than passively reflecting it. The foundational reason the deduction works is that the categories are not empirical generalisations but structural conditions — if they did not apply, there would be no experience from which to generalise. This is exactly the structure that identifies the categories with the formal framework of any possible cognition, and the bridge is from the question "what can I know?" to the answer "only what falls under the conditions my cognition imposes", with the synthetic a priori as the load-bearing category. The pattern generalises across the Kantian programme — the Transcendental Aesthetic on space and time, the Analytic on the categories, the Schematism on the application of the categories to intuitions, the Refutation of Idealism on the externality of experience — each of which treats a philosophical question as the question of the conditions of its own possibility, and the central insight is that knowledge is not a copying of an independent reality but an active structuring under the conditions our cognitive faculties impose.

Exercises Intermediate+

Exercise 2 (easy, multiple choice).

On Kant's classification, the judgement "every event has a cause" is:

A. Analytic a priori B. Synthetic a priori C. Synthetic a posteriori D. A bare tautology

Hint

The judgement is necessary and universal (a priori) but not contained in the concept of "event" (so not analytic). Kant's central claim is that causality is a category — a condition of possible experience.

Answer

B. "Every event has a cause" carries necessity and universality (it is a priori, not a generalisation from finite experience), but the predicate "has a cause" is not contained in the concept "event" (one can think of an event without thinking of its cause). So the judgement is synthetic (informative) and a priori (necessary). Kant's transcendental deduction establishes that such judgements are valid by showing causality to be a category — a structural condition of possible experience. The synthetic a priori is the load-bearing category of the Critique.

Exercise 3 (easy, multiple choice).

Kant's Transcendental Aesthetic argues that:

A. Space and time are empirical generalisations from experience B. Space and time are objective features of things-in-themselves C. Space and time are pure forms of intuition — structures imposed by our sensibility on the manifold, not features of things-in-themselves D. Space and time are illusions

Hint

The Aesthetic is Kant's argument that geometry and arithmetic are possible because space and time are the forms our sensibility imposes on what we receive.

Answer

C. The Transcendental Aesthetic argues that space and time are the pure forms of intuition — structures that our sensibility imposes on the manifold of sensation. They are not properties of things-in-themselves (which would make geometry and arithmetic empirical, contradicting their necessity) and not generalisations from experience (which would not explain their universality). They are the framework within which any sensation is received, which is why geometry (the science of space) and arithmetic (the science of time, via succession) are synthetic a priori.

Exercise 4 (medium, short answer).

In three or four sentences, explain the difference between Kant's transcendental idealism and Berkeley's subjective idealism, in particular addressing the status of the material world.

Hint

Berkeley held that material objects are mere collections of ideas in minds (esse est percipi). Kant denied this: material objects are real appearances, structured by our cognition but not invented by it.

Answer

Berkeley held that material objects are collections of ideas in minds (their being is their being perceived); the material world as a mind-independent substance does not exist. Kant denied this: material objects are real appearances, structured by the forms of intuition and the categories, but not invented by perception. The noumenal substrate of appearances is real, even if unknowable. Kant's idealism is "transcendental", not "empirical" or "subjective": it concerns the conditions of possible experience, not the reduction of objects to subjective ideas.

Exercise 5 (medium, multiple choice).

Kant's refutation of idealism (B-edition) argues that:

A. Idealism is self-evidently true B. The existence of external things in space can be proved from the existence of inner experience (our own representations in time) C. The noumenal world is knowable after all D. Berkeley was right

Hint

Kant's argument reverses Descartes's order of certainty: inner experience (my representations) is itself possible only against the background of outer experience (things in space).

Answer

B. The refutation of idealism argues that the existence of external things in space is a condition of the possibility of inner experience. My representations are themselves temporal, and time is itself a form of intuition that can be determinately applied only by reference to something persistent — and the only persistent things available to us are in space, not in inner sense (which is in constant flux). So inner experience presupposes outer experience. The argument reverses the Cartesian order of certainty: rather than the self being most certain and the external world doubtful, the self's temporal determinacy presupposes the external spatial world.

Exercise 6 (medium, multiple choice).

The antinomies of pure reason (Transcendental Dialectic) are four contradictions that arise when reason tries to apply the categories beyond possible experience. The first antinomy concerns:

A. The freedom of the will B. The existence of God C. The spatial and temporal limits of the world (whether the world has a beginning in time and limits in space) D. The immortality of the soul

Hint

The four antinomies concern (1) the limits of the world in space and time, (2) the divisibility of matter, (3) freedom vs determinism, (4) the existence of a necessary being. The first is the cosmological one about the world's extent.

Answer

C. The first antinomy concerns the spatial and temporal extent of the world. Thesis: the world has a beginning in time and finite limits in space. Antithesis: the world has no beginning and no finite limits (it is infinite in both). Kant held that both arguments are formally valid because both presuppose the false view that the world is a thing-in-itself with determinate extent; on transcendental idealism, the world as appearance is neither finitely nor infinitely extended in itself, because spatial and temporal infinity are not properties of things-in-themselves.

Exercise 7 (hard, short answer).

In four or five sentences, explain the role of the schematism in Kant's system. What problem does it solve, and how does the schema of a category differ from the category itself?

Hint

The categories are pure concepts; intuitions are temporal. How can a pure concept apply to a temporal intuition? The schema is the mediating representation: a procedure for applying the category to time.

Answer

The schematism solves the problem of how pure concepts (the categories) can apply to empirical intuitions, given that the categories are non-temporal and intuitions are temporal. A category like "cause" is a pure concept, but the empirical intuitions to which it must apply are temporal; there must be a mediating representation that translates the pure concept into a temporal rule. The schema is this mediating representation: a procedure, grounded in the imagination, for applying the category to the form of time. The schema of cause is "the succession of the manifold insofar as it is subject to a rule" — a temporal pattern. The schema is not the category itself (which is atemporal) but the category's temporalised form, which makes its application to intuitions possible.

Exercise 8 (hard, multiple choice).

Henry Allison's "two-aspect" reading of Kant's transcendental idealism (defended in Kant's Transcendental Idealism, 1983, 2004) holds that:

A. There are two distinct kinds of object: phenomena and noumena B. The phenomenon/noumenon distinction is a distinction between two ways of considering the same object (as appearance vs as thing-in-itself), not between two distinct objects C. Kant was really a subjective idealist like Berkeley D. The noumenal world is knowable by intellectual intuition

Hint

The two-aspect reading (Allison) and the two-object reading (the traditional alternative) disagree on whether phenomena and noumena are two sides of one coin or two distinct entities.

Answer

B. Allison's two-aspect reading holds that the phenomenon/noumenon distinction is conceptual, not ontological: it is a distinction between two ways of considering the same object (as it appears to us versus as it is in itself, abstracted from our mode of intuition). The alternative two-object reading holds that phenomena and noumena are two distinct entities, with the noumenon being a separate object "behind" the phenomenon. Allison's reading is now the dominant interpretive line in English-language Kant scholarship and is the standard defense of Kant against the charge of incoherence (that the noumenal "cause" of phenomena would itself have to be a phenomenon).

Advanced results Master

Result 1 (the synthetic-a-priori distinction, 1781). Kant's three-way classification of judgements — analytic-a-priori, synthetic-a-posteriori, and synthetic-a-priori — distinguishes informative-and-necessary judgements (mathematics, the laws of natural science) from the two simpler categories. The synthetic a priori is the load-bearing category of the Critique: its possibility is what the transcendental deduction sets out to explain.

Result 2 (the Transcendental Aesthetic, 1781). Space and time are pure forms of intuition — the structural frameworks our sensibility imposes on the manifold of sensation. The thesis explains the synthetic-a-priori status of geometry (the science of space) and arithmetic (the science of time, via succession), and it grounds the unknowability of space and time as features of things-in-themselves.

Result 3 (the Transcendental Deduction, B-edition 1787). The twelve categories are the pure concepts of the understanding, and their objective validity is established by the transcendental deduction: the argument that the categories are the rules by which the understanding synthesises the manifold into the representation of an object, and that therefore they apply necessarily to all appearances (because without them no appearance would be an experience at all).

Result 4 (the Schematism, 1781). The categories apply to intuitions only through the mediation of schemas — temporalised procedures (grounded in the imagination) for applying each category to the form of time. The schema of cause is the rule-governed succession of the manifold; the schema of substance is persistence in time. Without the schematism, the categories would remain empty concepts with no application.

Result 5 (the Refutation of Idealism, B-edition). Inner experience (our own representations in time) is possible only against the background of outer experience (things in space), because the temporal determinacy required for inner experience presupposes something persistent, and only spatial things are persistent in the relevant sense. The argument reverses the Cartesian order of certainty and refutes the Cartesian worry that the external world might be a dream.

Result 6 (the Antinomies, 1781). Pure reason, attempting to apply the categories beyond possible experience (to the world-as-a-whole, to God, to the soul), generates contradictions (antinomies). Kant's diagnosis is that the antinomies rest on a false presupposition: that the world is a thing-in-itself with determinate properties. On transcendental idealism, the contradictions dissolve because the world as appearance has no determinate extent in itself.

Synthesis. The Critique of Pure Reason builds toward 20.11.01 metaphysics by reorienting the modal questions (existence, identity, causation, modality) from objects-in-themselves to the conditions of possible experience, and appears again in 20.13.01 philosophy of mind as the historical source of the active-mind thesis that defines the cognitive revolution. The foundational reason the Kantian programme works is the Copernican move: the conditions of possible experience are at the same time the conditions of possible objects of experience, so the structure of our cognition explains the structure of our world. This is exactly the structure that identifies the categories with the formal framework of any possible cognition, and the bridge is from the question "what can I know?" to the answer "only what falls under the conditions my cognition imposes", with the synthetic a priori as the load-bearing category. The pattern generalises across the Kantian programme — the Aesthetic on space and time, the Analytic on the categories, the Schematism on the application of the categories, the Refutation of Idealism, the Antinomies — each of which treats a philosophical question as the question of the conditions of its own possibility, and the central insight is that knowledge is not a copying of an independent reality but an active structuring under the conditions our cognitive faculties impose.

Full proof set Master

Proposition (The Transcendental Deduction, B-edition summary). The categories are necessarily valid for all appearances because they are the structural conditions under which any manifold of intuition can be unified into the representation of an object for a self-conscious subject.

Proof sketch. (i) Every representation that is mine must be capable of being accompanied by the "I think" — the transcendental unity of apperception. (ii) For representations to belong to a single self-consciousness, they must be combined according to a rule; mere succession is not experience of an object. (iii) The categories are precisely the rules by which the understanding combines the manifold into the representation of an object (substance, cause, community). (iv) Therefore, any representation that is mine presupposes the operation of the categories, and so the categories apply necessarily to all appearances. The argument is transcendental: it derives the validity of the categories not from experience but from the conditions of the possibility of experience itself. $□$

Proposition (The synthetic a priori of arithmetic). Arithmetic judgements are synthetic (the predicate is not contained in the subject) and a priori (they are necessary and universal), and their possibility is grounded in the pure intuition of time.

Proof sketch. Consider "7 + 5 = 12". The concept of the sum of 7 and 5 does not contain the number 12 (one must perform the addition in intuition to find it); so the judgement is synthetic. It is necessary and universal (no experience can overturn it); so it is a priori. The possibility of such judgements is grounded in the pure intuition of time: the addition is performed as a successive gathering of units in time, and time is the pure form of inner sense that our sensibility imposes on all representations. Arithmetic is thus the science of the temporal structure our cognition imposes, and its synthetic-a-priori status follows from the pure-intuition thesis of the Transcendental Aesthetic. $□$

Connections Master

History of philosophy — ancient, medieval, modern, and continental 20.15.01. The Critique of Pure Reason is the load-bearing text of modern philosophy, the hinge between the early-modern rationalist/empiricist debate and the post-Kantian tradition (German idealism, neo-Kantianism, phenomenology, analytic philosophy). Every subsequent major movement in European philosophy is a response to Kant.
Metaphysics — existence, identity, causation, modality 20.11.01. The Critique reorients the modal questions from objects-in-themselves to the conditions of possible experience. Kant's treatment of causation (as a category rather than an empirical generalisation) is the load-bearing reply to Hume and the foundation of modern treatments of causation.
Philosophy of mind — consciousness, physicalism, and the mental 20.13.01. The Kantian thesis that the mind actively structures its input rather than passively reflecting it is the historical source of the cognitive-revolution thesis that defines modern philosophy of mind and cognitive science. The transcendental unity of apperception is the ancestor of the modern unity-of-consciousness problem.

Historical & philosophical context Master

Immanuel Kant published the first edition of the Critique of Pure Reason ^[Kant1781] (the "A edition") in 1781, and a substantially revised second edition ^[Kant1787] (the "B edition") in 1787. The Prolegomena to Any Future Metaphysics ^[Kant1783] of 1783 is Kant's own popular summary, written in response to early reviews that had misunderstood the Critique as Berkeleyan idealism. The Metaphysical Foundations of Natural Science of 1786 applied the critical philosophy to Newtonian mechanics.

The immediate context is the early-modern debate between the rationalists (Descartes, Spinoza, Leibniz, Wolff) and the empiricists (Locke, Berkeley, Hume). Kant described himself as awakened from "dogmatic slumber" by Hume's challenge to the necessity of causation, and the Critique is his systematic reply. The deeper context is the seventeenth-century scientific revolution (Newton, Galileo): Kant held that the new physics presupposed synthetic-a-priori principles (causality, substance, the conservation of matter) that earlier philosophy could not justify, and the Critique's central task is to ground those principles in the structure of cognition.

The post-Kantian tradition divides into two main branches. The German Idealists (Fichte, Schelling, Hegel) developed Kant's idealism in directions he would have rejected, particularly by abolishing the noumenal substrate and treating the world as the self-development of spirit. The neo-Kantians (Cohen, Natorp, Cassirer, Rickert) of the late nineteenth century returned to the transcendental method and developed it as a philosophy of science and culture. The analytic tradition (Frege, Russell, the early Wittgenstein, Carnap) rejected the synthetic-a-priori distinction and the transcendental method but inherited Kant's concern with the conditions of meaningful thought. Modern Kant scholarship, anchored by Henry Allison's two-aspect reading ^{[Allison2004]} and Paul Guyer's historical-compositional scholarship, has recovered the systematic force of the Critique for contemporary philosophy.

Bibliography Master

@book{Kant1781,
  author = {Kant, I.},
  title = {Kritik der reinen Vernunft},
  publisher = {Hartknoch},
  address = {Riga},
  year = {1781},
  note = {A edition; the standard A/B pagination refers to the 1781 first and 1787 second editions},
}

@book{Kant1787,
  author = {Kant, I.},
  title = {Kritik der reinen Vernunft (second edition)},
  publisher = {Hartknoch},
  address = {Riga},
  year = {1787},
  note = {B edition; substantially revised, especially the transcendental deduction and the refutation of idealism},
}

@book{Kant1783,
  author = {Kant, I.},
  title = {Prolegomena zu einer jeden k\"unftigen Metaphysik, die als Wissenschaft wird auftreten k\"onnen},
  publisher = {Hartknoch},
  address = {Riga},
  year = {1783},
}

@book{Allison2004,
  author = {Allison, H. E.},
  title = {Kant's Transcendental Idealism: An Interpretation and Defense},
  edition = {Revised},
  publisher = {Yale University Press},
  address = {New Haven},
  year = {2004},
}

@book{Strawson1966,
  author = {Strawson, P. F.},
  title = {The Bounds of Sense: An Essay on Kant's Critique of Pure Reason},
  publisher = {Methuen},
  address = {London},
  year = {1966},
}

@book{KempSmith1923,
  author = {Kemp Smith, N.},
  title = {Commentary to Kant's Critique of Pure Reason},
  edition = {2nd},
  publisher = {Macmillan},
  address = {London},
  year = {1923},
}

@book{GuyerWood1998,
  author = {Kant, I.},
  editor = {Guyer, P. and Wood, A. W.},
  title = {Critique of Pure Reason},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1998},
  note = {The Cambridge Edition translation and editorial matter by Guyer and Wood},
}

Prerequisites

20.15.01
20.11.01

Tier anchors

beginner: Kemp Smith — Commentary to Kant's Critique of Pure Reason (Macmillan 1918, revised 1923); Scruton — Kant (Oxford Past Masters 1982)
intermediate: Guyer-Wood — Introduction to the Critique of Pure Reason (Cambridge 1998 translation); Allison — Kant's Transcendental Idealism (Yale 1983, 2004)
master: Kant 1781/1787 Kritik der reinen Vernunft (Critique of Pure Reason, A/B editions); Kant 1783 Prolegomena to Any Future Metaphysics; Kant 1786 Metaphysical Foundations of Natural Science; Strawson 1966 The Bounds of Sense; Henry Allison 1983 Kant's Transcendental Idealism

References

Kant — Kritik der reinen Vernunft · Critique of Pure Reason, A edition 1781 and B edition 1787 (the standard A/B pagination); the load-bearing primary text
Kant — Prolegomena zu einer jeden kunftigen Metaphysik · Prolegomena to Any Future Metaphysics, 1783; Kant's own summary of the Critique for a broader audience
Allison — Kant's Transcendental Idealism: An Interpretation and Defense · Yale University Press, revised edition 2004; the canonical modern defense of Kant's idealism against the two-aspect/two-object debate
Guyer and Wood — Introduction to the Cambridge Edition of the Critique of Pure Reason · Cambridge University Press 1998; the standard English translation and scholarly introduction
Strawson — The Bounds of Sense: An Essay on Kant's Critique of Pure Reason · Methuen 1966; the canonical analytic reconstruction of the Critique
Kemp Smith — Commentary to Kant's Critique of Pure Reason · Macmillan, 2nd edition 1923; the standard close reading of the A/B text

Estimated time

beginner: 20m
intermediate: 50m
master: 90m