Kritik der Reinen Vernunft (Critique of Pure Reason), abbreviated KrV.
first edition 1781. Usually and in this article denoted by “A”, e.g. “A111” refers to page 111 of the original first edition. But the Akademieausgabe uses A¹.
second edition 1787. Usually and in this article denoted by “B”. Akademieausgabe uses A².
The second edition was “improved here and there”; some passages have been replaced entirely, like in the Transcendental Induction.
The science of all the principles of sensibility a priori, I call transcendental aesthetic.* There must, then, be such a science forming the first part of the transcendental doctrine of elements, in contradistinction to that part which contains the principles of pure thought, and which is called transcendental logic.
For Kant space is not a concept but an intuition, more precisely an intuition, “which serves for the foundation of all external intuitions”. Kant develops this view in the following steps (A23-24/B38-40)
Space is not a conception which has been derived from outward experiences. For, in order that certain sensations may relate to something without me (that is, to something which occupies a different part of space from that in which I am); in like manner, in order that I may represent them not merely as without, of, and near to each other, but also in separate places, the representation of space must already exist as a foundation. …
Space then is a necessary representation a priori, which serves for the foundation of all external intuitions. We never can imagine or make a representation to ourselves of the non-existence of space, though we may easily enough think that no objects are found in it. …
Space is no discursive, or as we say, general conception of the relations of things, but a pure intuition. For, in the first place, we can only represent to ourselves one space, and, when we talk of divers spaces, we mean only parts of one and the same space. Moreover, these parts cannot antecede this one all-embracing space, as the component parts from which the aggregate can be made up, but can be cogitated only as existing in it. Space is essentially one, and multiplicity in it, consequently the general notion of spaces, of this or that space, depends solely upon limitations. …
The intuition (in the ordinary sense) Kant has concerning space is similar to a number theorist who considers “the” natural numbers as the object of her studies, though she certainly has limitations in specifying what she means. Indeed, common way to do so have limitation: for instance, one can not uniquely determine the natural numbers by a list of axioms, as Gödel's fist incompleteness theorem demonstrates, nor is it satisfying to describe the natural numbers by a concrete model, because there are several ways to do so.
Due to his intuition that there is “one” space, Kant discards the first two out of the three possibilities he discusses. Since Kant this intuition has been dropped mostly by geometers in favor of the first introducing pioneering concepts like Riemannian manifolds in 1854. In his very early work Bertrand Russell tried to adapt Kant’s work to this new view (see An Essay on the Foundations of Geometry). Later Kant’s idea appeared again in the framework of noncommutative geometry (Petitot 2009)
Actually, all three possibilities discussed by Kant appear in modern mathematics:
the “discursive, or …, general conception” is just the most common way to describe a space by a list of axioms, e.g. a topological space or a metric space.
a space that “antecede this one all-embracing space, as the component parts from which the aggregate can be made up” (German: “vor dem einigen allbefassenden Raume gleichsam als dessen Bestandtheile (daraus seine Zusammensetzung möglich sei) vorhergehen”). A modern concept that matches this description quite well is the concept of a classifying space, that does not contain each member of a certain class of spaces as a subspace, but from which “antecede” each such space by pullback.
“Space is essentially one, and multiplicity in it, consequently the general notion of spaces, of this or that space, depends solely upon limitations.” (German: “Er [Der Raum] ist wesentlich einig, das Mannigfaltige in ihm, mithin auch der allgemeine Begriff von Räumen überhaupt beruht lediglich auf Einschränkungen.”) A situation like this is found if any space in a geometrical theory can be considered as a subspace of one fix space. Good examples of such situations are given, as mentioned, by noncommutative geometry (Petitot 2009), which is concerned with subspaces of the space of bounded operators on a separable Hilbert space, or by descriptive set theory that can be understood as the study of subsets of the real line.
Making such comparisons maybe a word of caution is in order to note that what Kant meant by the intuition of e.g. “space” is certainly not exactly any of the objects described above. But Kant’s “formal intuition” (“formale Anschauung”), which he mentions later in the Transcendental Deduction as a footnote in B §26, comes probably quite close.
“Time is nothing other than the form of inner sense, i.e., of the intuition of our self and our inner state.” (A33/B50)
In the development of Kant’s distinction between general logic and transcendental logic Kant’s Attempt to Introduce the Concept of Negative Quantities into Philosophy from 1763 constitutes a crucial step.
In this paragraph, the scope of logic as a science is clarified, distinguishing it from aesthetics and structuring its subdisciplines, to then be able to show the place of transcendental logic among them in the following paragraph, Paragraph II.
To do so, Kant firstly provides a plethora of definitions, to then distinguish between the science of aesthetics and logic, the former concerning the rules of sensibility and the latter the rules of thinking. The termini defined are “receptivity of impressions”, “spontaneity of concepts”, “cognition”, “pure”, “empirical”, “sensibility”, “receptivity”, ”aesthetics”, and “logic” (A50-2/B74-6).
Secondly, he divides the science of logic into general logic (synonymous with elementary logic) which contains the necessary rules of thinking, regardless of its object and particular logic which contains the necessary rules of thinking about certain kinds of objects. Such a set of rules is called “organon of this or that science”. In modern language this is the methodology? of a scientific discipline. The termini defined are “general logic”, and “particular logic” (A52/B76).
General logic is then again subdivided into pure logic—which “abstract[s] from all empirical conditions under which our understanding is exercised”—and applied logic—which deals with the conditions of thinking “under the subjective empirical conditions that psychology teaches us”, which are only given a posteriori, and which can all be given only empirically. The termini defined are “general but pure logic” and “general but empirical logic” (A53-5/B77-9).
In this paragraph, the concept of transcendental logic as a particular kind of applied logic is established, contrasting it to pure logic. Pure logic abstracts from all contents of cognition [Erkenntnis] and is only concerned with the form of thinking in general. Transcendental logic contains the “rules of pure thinking of an object” (A55/B80). Kant then notes the difference between cognition a priori and transcendental cognition. The former is merely any cognition obtained without recourse to intuition. The latter is cognition concerning the possibility or use of cognition a priori. (A56-7/B80-1) Hence, transcendental aesthetics would describe the pure forms of intuition, which can then be drawn on to justify e.g. the possibility of geometric cognition a priori. Analogously there would need to be a transcendental logic, which would be the science of the possibilities and rules of thinking about objects a priori. (A56-7/B81-2)
In this paragraph, general logic is established as a negative criterion of truth, while arguing against its capability to serve as a positive (sufficient) criterion. To show, that general pure logic is only capable of providing a negative criterion of truth, Kant firstly supposes a definition of truth which is: Truth “is the agreement of cognition with its object” (A58/B82). Now, using this supposition as a premise, he attempts to prove the self-contradictory nature of a “certain and general criterion of truth of any cognition” (A58/B82) according to the following schema:
Nevertheless, since “[g]eneral logic analyses the entire formal business of the understanding and reason into its elements, and presents these as principles of all logical assessment of our cognition. This part of logic can therefore be called an analytic [our emphasis], and is on that very account at least the negative touchstone of truth.” (A60/B84) On the other hand, “general logic, which is merely a canon for judging, has been used as if it were an organon for the actual production of at least the semblance of objective assertions, and thus in fact it has thereby been misused. Now general logic, as a putative organon, is called dialectic.” (A61/B85)
The purpose of this paragraph is to narrow down the scope of transcendental logic, applying the division established in the last paragraph. From A62-3/B87:
The use of this pure cognition [described in transcendental logic], however, depends on this as its condition: that objects are given to us in intuition, to which it can be applied. For without intuition all of our cognition would lack objects and therefore remain completely empty. The part of transcendental logic, therefore, that expounds the elements of the pure cognition of the understanding and the principles without which no object can be thought at all, is the transcendental analytic and at the same time a logic of truth [our emphasis] For no cognition can contradict it without at the same time losing all content, i.e., all relation to any object …
One may summarize, that the transcendental logic, in its analytic part, provides the necessary criterion of truth, not only regarding its logical form, which is already accomplished by general pure logic, but also regarding the necessary form which truth has to have as it necessarily relates to objects. Kant continues (A63/B88):
[Transcendental logic] should properly be only a canon for the assessment of empirical use [of pure cognitions of the understanding], it is misused if one […] dares to synthetically judge, assert, and decide about objects in general with the pure understanding alone. The use of the pure understanding would in this case therefore be dialectical. The second part of the transcendental logic must therefore be a critique of this dialectical illusion [our emphasis].
Table of judgements | ||
---|---|---|
$\,$ | Quantity of judgments Universal Particular Singular | $\,$ |
Quality Affirmative Negative Infinite | $\,$ | Relation Categorical Hypothetical Disjunctive |
Modality Problematic Assertoric Apodictic |
Note that at least in (Jäsche Logik, 1800) the negative and infinite judgements collapse in pure logic:
Nach dem Principium der Ausschließung jedes Dritten (exclusi tertii) ist die Sphäre eines Begriffs relativ auf eine andre entweder ausschließend oder einschließend. - Da nun die Logik bloß mit der Form des Urteils, nicht mit den Begriffen ihrem Inhalte nach, es zu tun hat: so ist die Unterscheidung der unendlichen von den negativen Urteilen nicht zu dieser Wissenschaft gehörig.
Kant explains the transcendental deduction as follows:
I therefore call the explanation of the way in which concepts can relate to objects a priori their transcendental deduction. (B117)
Kant begins by describing the way in which the manifold of intuition is formed:
Yet the combination (conjunctio) of a manifold in general can never come to us through the senses, and therefore cannot already be contained in the pure form of sensible intuition; for it is an act of the spontaneity of the power of representation. (B129)
He justifies the transcendental unity in the following sentence:
I am therefore conscious of the identical self in regard to the manifold of the representations that are given to me in an intuition because I call them all together my representations, which constitute one. (B135)
Presupposing that the human understanding only operates with concepts rather than with intuitions, Kant defines “understanding” in the following way:
Understanding is, generally speaking, the faculty of cognitions. (B137)
To advance his argument, Kant then needs the synthetic unity, because:
The synthetic unity of consciousness is … an objective condition of all cognition, … (B138)
Now a question regarding the purpose of the categories arises since for Kant
[the Categories] are only rules for an understanding whose entire capacity consists in thinking, i.e., in the action of bringing the synthesis of the manifold that is given to it in intuition from elsewhere to the unity of apperception, which therefore cognizes nothing at all by itself, but only combines and orders the material for cognition, the intuition, which must be given to it through the object. (B145)
While “Space and time are valid, as conditions of the possibility of how objects can be given to us, no further than for objects of the senses, hence only for experience.” (B148) the categories are rules regarding how understanding may occur.
The following quote enlightens the connection between natural laws, which Kant describes as derivable from nature, and the categories, which are conditions of possible experience:
Particular laws, because they concern empirically determined appearances, cannot be completely derived from the categories, although they all stand under them. (B165)
In the end Kant arrives at the result that “no a priori cognition is possible for us except solely of objects of possible experience.” (B166)
In the first edition Kant provides a more thorough description on how the formation of concepts in our mind works. This description was left out in the corresponding chapter of the second edition (“B deduction”). Concepts are created in three steps:
All representations belong “as modifications of the mind … to inner sense, and as such all of our cognitions are in the end subjected to the formal condition of inner sense, namely time” (A99).
Every intuition [Anschauung] contains a manifold in itself … (A99)
The mind distinguishes between every moment of impression. These impressions should give rise to a Unity of intuition. This process is called Synthesis of apprehension:
Run through all manifolds of impressions (these are not modified) and take them together. In modern terminology this ma be called a limiting process.
In order to have One representation such a limiting process must have occurred.
This process has to happen a priori.
It is … a merely empirical law in accordance with which representations that have often followed or accompanied one another are finally associated with each other and thereby placed in a connection in accordance with which, even without the presence of the object, one of these representations brings about a transition of the mind to the other in accordance with a constant rule [beständige Regel]. (A100)
The obvious formalization of a constant rule between two states, when thinking about states as sets, is a relation between both sets. But it is not clear from Kant’s formulation if one should restrict to a specific kind of relation, e.g. a function in one direction.
This is formulated in the Law of reproduction:
the appearances of objects are associated with the manifold of their representation
the similar limiting process as in the synthesis of apprehension has to occur
The crucial fact is that different impressions give rise to the same representation, i.e. we have one concept: “It is this one consciousness that unifies the manifold that has been successively intuited, and then also reproduced, into one representation” (A103). Kant continues:
The unity that the object makes necessary can [only be] the formal unity of the consciousness in the synthesis of the manifold of the representations. [Therefore] we cognize the object if we have effected synthetic unity in the manifold of intuition. (A105)
for that it is necessary to have:
A rule, which guarantees that the reproduction happens a priori and can always be exhibited. This is called “unity of rule”.
The concept in which the representations unite. (“All cognition requires a concept”, A106)
To sum up crucial features: transcendental apperception
must precede all experiences, i.e. has to be a priori
is a pure, original, unchanging consciousness
Grounds a priori concepts (similar as Space and Time grounds the intuition of sensibility)
While in view of the transcendental object: it
Is the object in which the trancendental apperception grounds a priori concepts
Its pure concept is that, which in all of our empirical concepts in general can provide relation to an object, i.e., objective reality.
Cannot contain any determined intuition at all - just the that unity which must be encountered in a manifold of cognition insofar as it stands in relation to an object.
Starting from the description of the A deduction above Achourioti and van Lambalgen (2011/2012) suggested a formalization of Kant’s logic in terms of geometric logic. The idea is to assign each moment of time, i.e. impression, a model. Then a directed system of such models represents the syntheses of apprehension and reproduction. Taking the limit along this directed system (“synthesis of recognition”) gives the concept. Geometric implications come into play as they are exactly the formulas whose truth is stable under taking the limit.
Although the natural category for interpreting geometric logic is a geometric category (e.g. a topos), Achourioti and van Lambalgen work only in Set for technical convenience. From a philosophical point of view they remark that the underlying category should have additional structure. They elaborate on a specific finite set model of their interpretation, for which they can show a completness theorem. We will state their main results with small reformulations.
…
Kant | mathematical logic and model theory |
---|---|
time | directed index category |
a manifold of representation | object in the underlying category |
synthesis of apprehension | objects of the index category of a directed system (inside the underlying category) |
synthesis of reproduction | morphisms of the index category of a directed system (inside the underlying category) |
synthesis of recognition | limit along the directed system |
Regarding Aristotelian logic:
Concepts [Begriffe] … serve as predicates of possible judgements. (A69/B94)
Compare to the identification of concepts with the types in the sense of type theory, see the references here.
…
Publications of Kant’s original work include:
Cambridge University Press, First and second editions, English translation. Critique of Pure Reason (1998) (The Cambridge Edition of the Works of Immanuel Kant) (P. Guyer & A. Wood, Eds.). doi:10.1017/CBO9780511804649
Wikisource, First edition, German (1781) and several English translations
Wikisource, Second edition, English (1855) translated by John Miller Dow Meiklejohn.
comparison of first and second edition (German), Bär, Jochen A. (ed.) (2010 ff.): Zentralbegriffe der klassisch-romantischen „Kunstperiode“ (1760–1840). Wörterbuch zur Literatur- und Kunstreflexion der Goethezeit. http://www.zbk-online.de.
Related primary literature from Kant comprises
Secondary literature include:
Wikipedia, Critique of Pure Reason
Bitbol, Michel, Kerszberg, Pierre, Petitot, Jean (Eds.), Constituting Objectivity: Transcendental Perspectives on Modern Physics Springer (2009)
Achourioti and van Lambalgen’s approach appeared in
Achourioti and van Lambalgen, A formalization of Kant’s transcendental logic. (June 2011). Review of Symbolic Logic 4 (2):254-289.
Achourioti and van Lambalgen, The Completeness of Kant’s Table of Judgments & Consequences for Philosophy of Mathematics. Talk given at the Munich Center for Mathematical Philosophy (November 2011). Video.
Later the authors elaborated on the table of judgements in
Last revised on January 20, 2020 at 06:24:37. See the history of this page for a list of all contributions to it.