its impediments and consequences, of the origin of error, of the state of doubt, hesitation, conviction, etc., and to it is related pure general logic in the same way that pure morality, which contains only the necessary moral laws of a free will, is related to practical ethics, which considers these laws under all the impediments of feelings, inclinations, and passions to which men are more or less subjected, and which never can furnish us with a true and demonstrated science, because it, as well as applied logic, requires empirical and psychological principles.
II. Of Transcendental Logic.
General logic, as we have seen, makes abstraction of all content of cognition, that is, of all relation of cognition to its object, and regards only the logical form in the relation of cognitions to each other, that is, the form of thought in general. But as we have both pure and empirical intuitions (as transcendental æsthetic proves), in like manner a distinction might be drawn between pure and empirical thought (of objects). In this case, there would exist a kind of logic, in which we should not make abstraction of all content of cognition; for or logic which should comprise merely the laws of pure thought (of an object), would of course exclude all those cognitions which were of empirical content. This kind of logic would also examine the origin of our cognitions of objects, so far as that origin cannot be ascribed to the objects themselves; while, on the contrary, general logic has nothing to do with the origin of our cognitions, but contemplates our representations, be they given primitively à priori in ourselves, or be they only of empirical origin, solely according to the laws which the understanding observes in employing them in the process of thought, in relation to each other. Consequently, general logic treats of the form of the understanding only, which can be applied to representations, from whatever source they may have arisen.
And here I shall make a remark, which the reader must bear well in mind in the course of the following considerations, to wit, that not every cognition à priori, but only those through which we cognize that and how certain representations (intuitions or conceptions) are applied or are possible only à priori; that is to say, the à priori possibility of cognition and the à priori use of it are transcendental. Therefore neither is space, nor any à priori geometrical determination of space, a transcendental Representation, but only the knowledge that such a representation is not of empirical origin, and the possibility of its relating to objects of experience, although itself à priori, can be called transcendental. So also, the application of space to objects in general would be transcendental; but if it be limited to objects of sense it is empirical. Thus, the distinction of the transcendental and empirical belongs only to the critique of cognitions, and does not concern the relation of these to their object.
Accordingly, in the expectation that there may perhaps be conceptions which relate à priori to objects, not as pure or sensuous intuitions, but merely as acts of pure thought (which are therefore conceptions, but neither of empirical nor æsthetical origin)—in this expectation, I say, we form to ourselves, by anticipation, the idea of a science of pure understanding and rational cognition, by means of which we may cogitate objects entirely à priori. A science of this kind, which should determine the origin, the extent, and the objective validity of such cognitions, must be called transcendental logic, because it has not, like general logic, to do with the laws of understanding and reason in relation to empirical as well as pure rational cognitions without distinction, but concerns itself with these only in an à priori relation to objects.
III. Of the Division of General Logic into Analytic and Dialectic.
The old question with which people sought to push logicians into a corner, so that they must either have recourse to pitiful sophisms or confess their ignorance, and consequently the vanity of their whole art, is this: “What is truth?” The definition of the word truth, to wit, “the accordance of the cognition with its object,” is presupposed in the question; but we desire to be told, in the answer to it, what is the universal and secure criterion of the truth of every cognition.
To know what questions we may reasonably propose is in itself a strong evidence of sagacity and intelligence. For if a question be in itself absurd and unsusceptible of a rational answer, it is attended with the danger—not to mention the shame that falls upon the person who proposes it—of seducing the unguarded listener into making absurd answers, and we are presented with the ridiculous spectacle of one (as the ancients said) “milking the he-goat, and the other holding a sieve.”
If truth consists in the accordance of a cognition with its object, this object must be, ipso facto, distinguished from all others; for a cognition is false if it does not accord with the object to which it relates, although it contains something which may be affirmed of other objects. Now an universal criterion of truth would be that which is valid for all cognitions, without distinction of their objects. But it is evident that since, in the case of such a criterion, we make abstraction of all the content of a cognition (that is, of all relation to its object), and truth relates precisely to this content, it must be utterly absurd to ask for a mark of the truth of this content of cognition; and that, accordingly, a sufficient, and at the same time universal, test of truth cannot possibly be found. As we have already termed the content of a cognition its matter, we shall say: “Of the truth of our cognitions in respect of their matter, no universal test can be demanded, because such a demand is self-contradictory.”
On the other hand, with regard to our cognition in respect of its mere form (excluding all content), it is equally manifest that logic, in so far as it exhibits the universal and necessary laws of the understanding, must in these very laws present us with criteria of truth. Whatever contradicts these rules is false, because thereby the understanding is made to contradict its own universal laws of thought; that is, to contradict itself. These criteria, however, apply solely to the form of truth, that is, of thought in general, and in so far they are perfectly accurate, yet not sufficient. For although a cognition may be perfectly accurate as to logical form, that is, not self-contradictory, it is notwithstanding quite possible that it may not stand in agreement with its object. Consequently, the merely logical criterion of truth, namely, the accordance of a cognition with the universal and formal laws of understanding and reason, is nothing more than the conditio sine qua non, or negative condition of all truth. Farther than this logic cannot go, and the error which depends not on the form, but on the content of the cognition, it has no test to discover.
General logic, then, resolves the whole formal business of understanding and reason into its elements, and exhibits them as principles of all logical judging of our cognitions. This part of logic may, therefore, be called analytic, and is at least the negative test of truth, because all cognitions must first of an be estimated and tried according to these laws before we proceed to investigate them in respect of their content, in order to discover whether they contain positive truth in regard to their object. Because, however, the mere form of a cognition, accurately as it may accord with logical laws, is insufficient to supply us with material (objective) truth, no one, by means of logic alone, can venture to predicate anything of or decide concerning objects, unless he has obtained, independently of logic, well-grounded information about them, in order afterwards to examine, according to logical laws, into the use and connection, in a cohering whole, of that information, or, what is still better, merely to test it by them. Notwithstanding, there lies so seductive a charm in the possession of a specious art like this—an art which gives to all our cognitions the form of the understanding, although with respect to the content thereof we may be sadly deficient—that general logic, which is merely a canon of judgement, has been employed as an organon for the actual production, or rather for the semblance of production, of objective assertions, and has thus been grossly misapplied. Now general logic, in its assumed character of organon, is called dialectic.
Different as are the significations in which the ancients used this term for a science or an art, we may safely infer, from their actual employment of it, that with them it was nothing else than a logic of illusion—a sophistical art for giving ignorance, nay, even intentional sophistries, the colouring of truth, in which the thoroughness of procedure which logic requires was imitated, and their topic employed to cloak the empty pretensions. Now it may be taken as a safe and useful warning, that general logic, considered as an organon, must always be a logic of illusion, that is, be dialectical, for, as it teaches us nothing whatever respecting the content of our cognitions, but merely the formal conditions of their accordance with the understanding, which do not relate to and are quite indifferent in respect of objects, any attempt to employ it as an instrument (organon) in order to extend and enlarge the range of our knowledge must end in mere prating; any one being able to maintain or oppose, with some appearance of truth, any single assertion whatever.
Such instruction is quite unbecoming the dignity of philosophy. For these reasons we have chosen to denominate this part of logic dialectic, in the sense of a critique of dialectical illusion, and we wish the term to be so understood in this place.
IV. Of the Division of Transcendental Logic into Transcendental Analytic and Dialectic.
In transcendental logic we isolate the understanding (as in transcendental æsthetic the sensibility) and select from our cognition merely that part of thought which has its origin in the understanding alone. The exercise of this pure cognition, however, depends upon this as its condition, that objects to which it may be applied be given to us in intuition, for without intuition the whole of our cognition is without objects, and is therefore quite void. That part of transcendental logic, then, which treats of the elements of pure cognition of the understanding, and of the principles without which no object at all can be thought, is transcendental analytic, and at the same time a logic of truth. For no cognition can contradict it, without losing at the same time all content, that is, losing all reference to an object, and therefore all truth. But because we are very easily seduced into employing these pure cognitions and principles of the understanding by themselves, and that even beyond the boundaries of experience, which yet is the only source whence we can obtain matter (objects) on which those pure conceptions may be employed—understanding runs the risk of making, by means of empty sophisms, a material and objective use of the mere formal principles of the pure understanding, and of passing judgements on objects without distinction—objects which are not given to us, nay, perhaps cannot be given to us in any way.
Now, as it ought properly to be only a canon for judging of the empirical use of the understanding, this kind of logic is misused when we seek to employ it as an organon of the universal and unlimited exercise of the understanding, and attempt with the pure understanding alone to judge synthetically, affirm, and determine respecting objects in general. In this case the exercise of the pure understanding becomes dialectical. The second part of our transcendental logic must therefore be a critique of dialectical illusion, and this critique we shall term transcendental dialectic—not meaning it as an art of producing dogmatically such illusion (an art which is unfortunately too current among the practitioners of metaphysical juggling), but as a critique of understanding and reason in regard to their hyperphysical use. This critique will expose the groundless nature of the pretensions of these two faculties, and invalidate their claims to the discovery and enlargement of our cognitions merely by means of transcendental principles, and show that the proper employment of these faculties is to test the judgements made by the pure understanding, and to guard it from sophistical delusion.
FIRST DIVISION. TRANSCENDENTAL LOGIC. TRANSCENDENTAL ANALYTIC. § 1 Transcendental analytic is the dissection of the whole of our à priori knowledge into the elements of the pure cognition of the understanding.
In order to effect our purpose, it is necessary: (1) That the conceptions be pure and not empirical; (2) That they belong not to intuition and sensibility, but to thought and understanding; (3) That they be elementary conceptions, and as such, quite different from deduced or compound conceptions; (4) That our table of these elementary conceptions be complete, and fill up the whole sphere of the pure understanding. Now this completeness of a science cannot be accepted with confidence on the guarantee of a mere estimate of its existence in an aggregate formed only by means of repeated experiments and attempts.
The completeness which we require is possible only by means of an idea of the totality of the à priori cognition of the understanding, and through the thereby determined division of the conceptions which form the said whole; consequently, only by means of their connection in a system. Pure understanding distinguishes itself not merely from everything empirical, but also completely from all sensibility. It is a unity self-subsistent, self-sufficient, and not to be enlarged by any additions from without. Hence the sum of its cognition constitutes a system to be determined by and comprised under an idea; and the completeness and articulation of this system can at the same time serve as a test of the correctness and genuineness of all the parts of cognition that belong to it. The whole of this part of transcendental logic consists of two books, of which the one contains the conceptions, and the other the principles of pure understanding.
BOOK I. Analytic of Conceptions. § 2 By the term Analytic of Conceptions, I do not understand the analysis of these, or the usual process in philosophical investigations of dissecting the conceptions which present themselves, according to their content, and so making them clear; but I mean the hitherto little attempted dissection of the faculty of understanding itself, in order to investigate the possibility of conceptions à priori, by looking for them in the understanding alone, as their birthplace, and analysing the pure use of this faculty. For this is the proper duty of a transcendental philosophy; what remains is the logical treatment of the conceptions in philosophy in general. We shall therefore follow up the pure conceptions even to their germs and beginnings in the human understanding, in which they lie, until they are developed on occasions presented by experience, and, freed by the same understanding from the empirical conditions attaching to them, are set forth in their unalloyed purity.
Chapter I. Of the Transcendental Clue to the Discovery of all Pure Conceptions of the Understanding Introductory § 3 When we call into play a faculty of cognition, different conceptions manifest themselves according to the different circumstances, and make known this faculty, and assemble themselves into a more or less extensive collection, according to the time or penetration that has been applied to the consideration of them. Where this process, conducted as it is mechanically, so to speak, will end, cannot be determined with certainty. Besides, the conceptions which we discover in this haphazard manner present themselves by no means in order and systematic unity, but are at last coupled together only according to resemblances to each other, and arranged in series, according to the quantity of their content, from the simpler to the more complex—series which are anything but systematic, though not altogether without a certain kind of method in their construction.
Transcendental philosophy has the advantage, and moreover the duty, of searching for its conceptions according to a principle; because these conceptions spring pure and unmixed out of the understanding as an absolute unity, and therefore must be connected with each other according to one conception or idea. A connection of this kind, however, furnishes us with a ready prepared rule, by which its proper place may be assigned to every pure conception of the understanding, and the completeness of the system of all be determined à priori—both which would otherwise have been dependent on mere choice or chance.
Section I. Of the Logical Use of the Understanding in General § 4 The understanding was defined above only negatively, as a non-sensuous faculty of cognition. Now, independently of sensibility, we cannot possibly have any intuition; consequently, the understanding is no faculty of intuition. But besides intuition there is no other mode of cognition, except through conceptions; consequently, the cognition of every, at least of every human, understanding is a cognition through conceptions—not intuitive, but discursive. All intuitions, as sensuous, depend on affections; conceptions, therefore, upon functions. By the word function I understand the unity of the act of arranging diverse representations under one common representation. Conceptions, then, are based on the spontaneity of thought, as sensuous intuitions are on the receptivity of impressions. Now, the understanding cannot make any other use of these conceptions than to judge by means of them. As no representation, except an intuition, relates immediately to its object, a conception never relates immediately to an object, but only to some other representation thereof, be that an intuition or itself a conception. A judgement, therefore, is the mediate cognition of an object, consequently the representation of a representation of it. In every judgement there is a conception which applies to, and is valid for many other conceptions, and which among these comprehends also a given representation, this last being immediately connected with an object. For example, in the judgement—“All bodies are divisible,” our conception of divisible applies to various other conceptions; among these, however, it is here particularly applied to the conception of body, and this conception of body relates to certain phenomena which occur to us. These objects, therefore, are mediately represented by the conception of divisibility. All judgements, accordingly, are functions of unity in our representations, inasmuch as, instead of an immediate, a higher representation, which comprises this and various others, is used for our cognition of the object, and thereby many possible cognitions are collected into one. But we can reduce all acts of the understanding to judgements, so that understanding may be represented as the faculty of judging. For it is, according to what has been said above, a faculty of thought. Now thought is cognition by means of conceptions. But conceptions, as predicates of possible judgements, relate to some representation of a yet undetermined object. Thus the conception of body indicates something—for example, metal—which can be cognized by means of that conception. It is therefore a conception, for the reason alone that other representations are contained under it, by means of which it can relate to objects. It is therefore the predicate to a possible judgement; for example: “Every metal is a body.” All the functions of the understanding therefore can be discovered, when we can completely exhibit the functions of unity in judgements. And that this may be effected very easily, the following section will show.
Section II. Of the Logical Function of the Understanding in Judgements § 5 If we abstract all the content of a judgement, and consider only the intellectual form thereof, we find that the function of thought in a judgement can be brought under four heads, of which each contains three momenta. These may be conveniently represented in the following table: 1 Universal Particular Singular 2 3 _Quality Relation_ Affirmative Categorical Negative Hypothetical Infinite Disjunctive 4 _Modality_ Problematical Assertorical Apodeictical As this division appears to differ in some, though not essential points, from the usual technique of logicians, the following observations, for the prevention of otherwise possible misunderstanding, will not be without their use.
1. Logicians say, with justice, that in the use of judgements in syllogisms, singular judgements may be treated like universal ones.
For, precisely because a singular judgement has no extent at all, its predicate cannot refer to a part of that which is contained in the conception of the subject and be excluded from the rest. The predicate is valid for the whole conception just as if it were a general conception, and had extent, to the whole of which the predicate applied. On the other hand, let us compare a singular with a general judgement, merely as a cognition, in regard to quantity. The singular judgement relates to the general one, as unity to infinity, and is therefore in itself essentially different. Thus, if we estimate a singular judgement (_judicium singulare_) not merely according to its intrinsic validity as a judgement, but also as a cognition generally, according to its quantity in comparison with that of other cognitions, it is then entirely different from a general judgement (_judicium commune_), and in a complete table of the momenta of thought deserves a separate place—though, indeed, this would not be necessary in a logic limited merely to the consideration of the use of judgements in reference to each other.
2. In like manner, in transcendental logic, infinite must be distinguished from affirmative judgements, although in general logic they are rightly enough classed under affirmative. General logic abstracts all content of the predicate (though it be negative), and only considers whether the said predicate be affirmed or denied of the subject. But transcendental logic considers also the worth or content of this logical affirmation—an affirmation by means of a merely negative predicate, and inquires how much the sum total of our cognition gains by this affirmation. For example, if I say of the soul, “It is not mortal”—by this negative judgement I should at least ward off error. Now, by the proposition, “The soul is not mortal,” I have, in respect of the logical form, really affirmed, inasmuch as I thereby place the soul in the unlimited sphere of immortal beings. Now, because of the whole sphere of possible existences, the mortal occupies one part, and the immortal the other, neither more nor less is affirmed by the proposition than that the soul is one among the infinite multitude of things which remain over, when I take away the whole mortal part.
But by this proceeding we accomplish only this much, that the infinite sphere of all possible existences is in so far limited that the mortal is excluded from it, and the soul is placed in the remaining part of the extent of this sphere. But this part remains, notwithstanding this exception, infinite, and more and more parts may be taken away from the whole sphere, without in the slightest degree thereby augmenting or affirmatively determining our conception of the soul. These judgements, therefore, infinite in respect of their logical extent, are, in respect of the content of their cognition, merely limitative; and are consequently entitled to a place in our transcendental table of all the momenta of thought in judgements, because the function of the understanding exercised by them may perhaps be of importance in the field of its pure à priori cognition.
3. All relations of thought in judgements are those (a) of the predicate to the subject; (b) of the principle to its consequence; (c) of the divided cognition and all the members of the division to each other. In the first of these three classes, we consider only two conceptions; in the second, two judgements; in the third, several judgements in relation to each other. The hypothetical proposition, “If perfect justice exists, the obstinately wicked are punished,” contains properly the relation to each other of two propositions, namely, “Perfect justice exists,” and “The obstinately wicked are punished.”
Whether these propositions are in themselves true is a question not here decided. Nothing is cogitated by means of this judgement except a certain consequence. Finally, the disjunctive judgement contains a relation of two or more propositions to each other—a relation not of consequence, but of logical opposition, in so far as the sphere of the one proposition excludes that of the other. But it contains at the same time a relation of community, in so far as all the propositions taken together fill up the sphere of the cognition. The disjunctive judgement contains, therefore, the relation of the parts of the whole sphere of a cognition, since the sphere of each part is a complemental part of the sphere of the other, each contributing to form the sum total of the divided cognition. Take, for example, the proposition, “The world exists either through blind chance, or through internal necessity, or through an external cause.” Each of these propositions embraces a part of the sphere of our possible cognition as to the existence of a world; all of them taken together, the whole sphere. To take the cognition out of one of these spheres, is equivalent to placing it in one of the others; and, on the other hand, to place it in one sphere is equivalent to taking it out of the rest. There is, therefore, in a disjunctive judgement a certain community of cognitions, which consists in this, that they mutually exclude each other, yet thereby determine, as a whole, the true cognition, inasmuch as, taken together, they make up the complete content of a particular given cognition. And this is all that I find necessary, for the sake of what follows, to remark in this place.
4. The modality of judgements is a quite peculiar function, with this distinguishing characteristic, that it contributes nothing to the content of a judgement (for besides quantity, quality, and relation, there is nothing more that constitutes the content of a judgement), but concerns itself only with the value of the copula in relation to thought in general. Problematical judgements are those in which the affirmation or negation is accepted as merely possible (ad libitum). In the assertorical, we regard the proposition as real (true); in the apodeictical, we look on it as necessary.[13] Thus the two judgements (antecedens et consequens), the relation of which constitutes a hypothetical judgement, likewise those (the members of the division) in whose reciprocity the disjunctive consists, are only problematical. In the example above given the proposition, “There exists perfect justice,” is not stated assertorically, but as an ad libitum judgement, which someone may choose to adopt, and the consequence alone is assertorical. Hence such judgements may be obviously false, and yet, taken problematically, be conditions of our cognition of the truth.
Thus the proposition, “The world exists only by blind chance,” is in the disjunctive judgement of problematical import only: that is to say, one may accept it for the moment, and it helps us (like the indication of the wrong road among all the roads that one can take) to find out the true proposition. The problematical proposition is, therefore, that which expresses only logical possibility (which is not objective); that is, it expresses a free choice to admit the validity of such a proposition—a merely arbitrary reception of it into the understanding.
The assertorical speaks of logical reality or truth; as, for example, in a hypothetical syllogism, the antecedens presents itself in a problematical form in the major, in an assertorical form in the minor, and it shows that the proposition is in harmony with the laws of the understanding. The apodeictical proposition cogitates the assertorical as determined by these very laws of the understanding, consequently as affirming à priori, and in this manner it expresses logical necessity.
Now because all is here gradually incorporated with the understanding—inasmuch as in the first place we judge problematically; then accept assertorically our judgement as true; lastly, affirm it as inseparably united with the understanding, that is, as necessary and apodeictical—we may safely reckon these three functions of modality as so many momenta of thought.
[13] Just as if thought were in the first instance a function of the understanding; in the second, of judgement; in the third, of reason. A remark which will be explained in the sequel.
Section III. Of the Pure Conceptions of the Understanding, or Categories § 6 General logic, as has been repeatedly said, makes abstraction of all content of cognition, and expects to receive representations from some other quarter, in order, by means of analysis, to convert them into conceptions. On the contrary, transcendental logic has lying before it the manifold content of à priori sensibility, which transcendental æsthetic presents to it in order to give matter to the pure conceptions of the understanding, without which transcendental logic would have no content, and be therefore utterly void. Now space and time contain an infinite diversity of determinations of pure à priori intuition, but are nevertheless the condition of the mind’s receptivity, under which alone it can obtain representations of objects, and which, consequently, must always affect the conception of these objects. But the spontaneity of thought requires that this diversity be examined after a certain manner, received into the mind, and connected, in order afterwards to form a cognition out of it. This Process I call synthesis.
By the word synthesis, in its most general signification, I understand the process of joining different representations to each other and of comprehending their diversity in one cognition. This synthesis is pure when the diversity is not given empirically but à priori (as that in space and time). Our representations must be given previously to any analysis of them; and no conceptions can arise, quoad their content, analytically. But the synthesis of a diversity (be it given à priori or empirically) is the first requisite for the production of a cognition, which in its beginning, indeed, may be crude and confused, and therefore in need of analysis—still, synthesis is that by which alone the elements of our cognitions are collected and united into a certain content, consequently it is the first thing on which we must fix our attention, if we wish to investigate the origin of our knowledge.
Synthesis, generally speaking, is, as we shall afterwards see, the mere operation of the imagination—a blind but indispensable function of the soul, without which we should have no cognition whatever, but of the working of which we are seldom even conscious. But to reduce this synthesis to conceptions is a function of the understanding, by means of which we attain to cognition, in the proper meaning of the term.
Pure synthesis, represented generally, gives us the pure conception of the understanding. But by this pure synthesis, I mean that which rests upon a basis of à priori synthetical unity. Thus, our numeration (and this is more observable in large numbers) is a synthesis according to conceptions, because it takes place according to a common basis of unity (for example, the decade). By means of this conception, therefore, the unity in the synthesis of the manifold becomes necessary.
By means of analysis different representations are brought under one conception—an operation of which general logic treats. On the other hand, the duty of transcendental logic is to reduce to conceptions, not representations, but the pure synthesis of representations. The first thing which must be given to us for the sake of the à priori cognition of all objects, is the diversity of the pure intuition; the synthesis of this diversity by means of the imagination is the second; but this gives, as yet, no cognition. The conceptions which give unity to this pure synthesis, and which consist solely in the representation of this necessary synthetical unity, furnish the third requisite for the cognition of an object, and these conceptions are given by the understanding.
The same function which gives unity to the different representation in a judgement, gives also unity to the mere synthesis of different representations in an intuition; and this unity we call the pure conception of the understanding. Thus, the same understanding, and by the same operations, whereby in conceptions, by means of analytical unity, it produced the logical form of a judgement, introduces, by means of the synthetical unity of the manifold in intuition, a transcendental content into its representations, on which account they are called pure conceptions of the understanding, and they apply à priori to objects, a result not within the power of general logic.
In this manner, there arise exactly so many pure conceptions of the understanding, applying à priori to objects of intuition in general, as there are logical functions in all possible judgements. For there is no other function or faculty existing in the understanding besides those enumerated in that table. These conceptions we shall, with Aristotle, call categories, our purpose being originally identical with his, notwithstanding the great difference in the execution.
TABLE OF THE CATEGORIES 1 2 _Of Quantity Of Quality_ Unity Reality Plurality Negation Totality Limitation 3 _Of Relation_ Of Inherence and Subsistence (substantia et accidens) Of Causality and Dependence (cause and effect) Of Community (reciprocity between the agent and patient) 4 _Of Modality_