The Critique of Pure Reason

Transcendental Doctrine of Method (suite)

The success which attends the efforts of reason in the sphere of mathematics naturally fosters the expectation that the same good fortune will be its lot, if it applies the mathematical method in other regions of mental endeavour besides that of quantities. Its success is thus great, because it can support all its conceptions by à priori intuitions and, in this way, make itself a master, as it were, over nature; while pure philosophy, with its à priori discursive conceptions, bungles about in the world of nature, and cannot accredit or show any à priori evidence of the reality of these conceptions. Masters in the science of mathematics are confident of the success of this method; indeed, it is a common persuasion that it is capable of being applied to any subject of human thought. They have hardly ever reflected or philosophized on their favourite science—a task of great difficulty; and the specific difference between the two modes of employing the faculty of reason has never entered their thoughts. Rules current in the field of common experience, and which common sense stamps everywhere with its approval, are regarded by them as axiomatic. From what source the conceptions of space and time, with which (as the only primitive quanta) they have to deal, enter their minds, is a question which they do not trouble themselves to answer; and they think it just as unnecessary to examine into the origin of the pure conceptions of the understanding and the extent of their validity. All they have to do with them is to employ them. In all this they are perfectly right, if they do not overstep the limits of the sphere of nature. But they pass, unconsciously, from the world of sense to the insecure ground of pure transcendental conceptions (instabilis tellus, innabilis unda), where they can neither stand nor swim, and where the tracks of their footsteps are obliterated by time; while the march of mathematics is pursued on a broad and magnificent highway, which the latest posterity shall frequent without fear of danger or impediment.

As we have taken upon us the task of determining, clearly and certainly, the limits of pure reason in the sphere of transcendentalism, and as the efforts of reason in this direction are persisted in, even after the plainest and most expressive warnings, hope still beckoning us past the limits of experience into the splendours of the intellectual world—it becomes necessary to cut away the last anchor of this fallacious and fantastic hope. We shall, accordingly, show that the mathematical method is unattended in the sphere of philosophy by the least advantage—except, perhaps, that it more plainly exhibits its own inadequacy—that geometry and philosophy are two quite different things, although they go hand in hand in the field of natural science, and, consequently, that the procedure of the one can never be imitated by the other.

The evidence of mathematics rests upon definitions, axioms, and demonstrations. I shall be satisfied with showing that none of these forms can be employed or imitated in philosophy in the sense in which they are understood by mathematicians; and that the geometrician, if he employs his method in philosophy, will succeed only in building card-castles, while the employment of the philosophical method in mathematics can result in nothing but mere verbiage. The essential business of philosophy, indeed, is to mark out the limits of the science; and even the mathematician, unless his talent is naturally circumscribed and limited to this particular department of knowledge, cannot turn a deaf ear to the warnings of philosophy, or set himself above its direction.

I. Of Definitions. A definition is, as the term itself indicates, the representation, upon primary grounds, of the complete conception of a thing within its own limits.[76] Accordingly, an empirical conception cannot be defined, it can only be explained. For, as there are in such a conception only a certain number of marks or signs, which denote a certain class of sensuous objects, we can never be sure that we do not cogitate under the word which indicates the same object, at one time a greater, at another a smaller number of signs. Thus, one person may cogitate in his conception of gold, in addition to its properties of weight, colour, malleability, that of resisting rust, while another person may be ignorant of this quality. We employ certain signs only so long as we require them for the sake of distinction; new observations abstract some and add new ones, so that an empirical conception never remains within permanent limits. It is, in fact, useless to define a conception of this kind. If, for example, we are speaking of water and its properties, we do not stop at what we actually think by the word water, but proceed to observation and experiment; and the word, with the few signs attached to it, is more properly a designation than a conception of the thing. A definition in this case would evidently be nothing more than a determination of the word. In the second place, no à priori conception, such as those of substance, cause, right, fitness, and so on, can be defined. For I can never be sure, that the clear representation of a given conception (which is given in a confused state) has been fully developed, until I know that the representation is adequate with its object. But, inasmuch as the conception, as it is presented to the mind, may contain a number of obscure representations, which we do not observe in our analysis, although we employ them in our application of the conception, I can never be sure that my analysis is complete, while examples may make this probable, although they can never demonstrate the fact. Instead of the word definition, I should rather employ the term exposition—a more modest expression, which the critic may accept without surrendering his doubts as to the completeness of the analysis of any such conception. As, therefore, neither empirical nor à priori conceptions are capable of definition, we have to see whether the only other kind of conceptions—arbitrary conceptions—can be subjected to this mental operation. Such a conception can always be defined; for I must know thoroughly what I wished to cogitate in it, as it was I who created it, and it was not given to my mind either by the nature of my understanding or by experience. At the same time, I cannot say that, by such a definition, I have defined a real object. If the conception is based upon empirical conditions, if, for example, I have a conception of a clock for a ship, this arbitrary conception does not assure me of the existence or even of the possibility of the object. My definition of such a conception would with more propriety be termed a declaration of a project than a definition of an object. There are no other conceptions which can bear definition, except those which contain an arbitrary synthesis, which can be constructed à priori. Consequently, the science of mathematics alone possesses definitions. For the object here thought is presented à priori in intuition; and thus it can never contain more or less than the conception, because the conception of the object has been given by the definition—and primarily, that is, without deriving the definition from any other source. Philosophical definitions are, therefore, merely expositions of given conceptions, while mathematical definitions are constructions of conceptions originally formed by the mind itself; the former are produced by analysis, the completeness of which is never demonstratively certain, the latter by a synthesis. In a mathematical definition the conception is formed, in a philosophical definition it is only explained. From this it follows:

[76] The definition must describe the conception completely that is, omit none of the marks or signs of which it composed; within its own limits, that is, it must be precise, and enumerate no more signs than belong to the conception; and on primary grounds, that is to say, the limitations of the bounds of the conception must not be deduced from other conceptions, as in this case a proof would be necessary, and the so-called definition would be incapable of taking its place at the head of all the judgements we have to form regarding an object.

(a) That we must not imitate, in philosophy, the mathematical usage of commencing with definitions—except by way of hypothesis or experiment. For, as all so-called philosophical definitions are merely analyses of given conceptions, these conceptions, although only in a confused form, must precede the analysis; and the incomplete exposition must precede the complete, so that we may be able to draw certain inferences from the characteristics which an incomplete analysis has enabled us to discover, before we attain to the complete exposition or definition of the conception. In one word, a full and clear definition ought, in philosophy, rather to form the conclusion than the commencement of our labours.[77] In mathematics, on the contrary, we cannot have a conception prior to the definition; it is the definition which gives us the conception, and it must for this reason form the commencement of every chain of mathematical reasoning.

[77] Philosophy abounds in faulty definitions, especially such as contain some of the elements requisite to form a complete definition. If a conception could not be employed in reasoning before it had been defined, it would fare ill with all philosophical thought. But, as incompletely defined conceptions may always be employed without detriment to truth, so far as our analysis of the elements contained in them proceeds, imperfect definitions, that is, propositions which are properly not definitions, but merely approximations thereto, may be used with great advantage. In mathematics, definition belongs ad esse, in philosophy ad melius esse. It is a difficult task to construct a proper definition. Jurists are still without a complete definition of the idea of right.

(b) Mathematical definitions cannot be erroneous. For the conception is given only in and through the definition, and thus it contains only what has been cogitated in the definition. But although a definition cannot be incorrect, as regards its content, an error may sometimes, although seldom, creep into the form. This error consists in a want of precision. Thus the common definition of a circle—that it is a curved line, every point in which is equally distant from another point called the centre—is faulty, from the fact that the determination indicated by the word curved is superfluous. For there ought to be a particular theorem, which may be easily proved from the definition, to the effect that every line, which has all its points at equal distances from another point, must be a curved line—that is, that not even the smallest part of it can be straight. Analytical definitions, on the other hand, may be erroneous in many respects, either by the introduction of signs which do not actually exist in the conception, or by wanting in that completeness which forms the essential of a definition. In the latter case, the definition is necessarily defective, because we can never be fully certain of the completeness of our analysis. For these reasons, the method of definition employed in mathematics cannot be imitated in philosophy.

2. Of Axioms. These, in so far as they are immediately certain, are à priori synthetical principles. Now, one conception cannot be connected synthetically and yet immediately with another; because, if we wish to proceed out of and beyond a conception, a third mediating cognition is necessary. And, as philosophy is a cognition of reason by the aid of conceptions alone, there is to be found in it no principle which deserves to be called an axiom. Mathematics, on the other hand, may possess axioms, because it can always connect the predicates of an object à priori, and without any mediating term, by means of the construction of conceptions in intuition. Such is the case with the proposition: Three points can always lie in a plane. On the other hand, no synthetical principle which is based upon conceptions, can ever be immediately certain (for example, the proposition: Everything that happens has a cause), because I require a mediating term to connect the two conceptions of event and cause—namely, the condition of time-determination in an experience, and I cannot cognize any such principle immediately and from conceptions alone. Discursive principles are, accordingly, very different from intuitive principles or axioms. The former always require deduction, which in the case of the latter may be altogether dispensed with. Axioms are, for this reason, always self-evident, while philosophical principles, whatever may be the degree of certainty they possess, cannot lay any claim to such a distinction. No synthetical proposition of pure transcendental reason can be so evident, as is often rashly enough declared, as the statement, twice two are four. It is true that in the Analytic I introduced into the list of principles of the pure understanding, certain axioms of intuition; but the principle there discussed was not itself an axiom, but served merely to present the principle of the possibility of axioms in general, while it was really nothing more than a principle based upon conceptions. For it is one part of the duty of transcendental philosophy to establish the possibility of mathematics itself. Philosophy possesses, then, no axioms, and has no right to impose its à priori principles upon thought, until it has established their authority and validity by a thoroughgoing deduction.

3. Of Demonstrations. Only an apodeictic proof, based upon intuition, can be termed a demonstration. Experience teaches us what is, but it cannot convince us that it might not have been otherwise. Hence a proof upon empirical grounds cannot be apodeictic. À priori conceptions, in discursive cognition, can never produce intuitive certainty or evidence, however certain the judgement they present may be. Mathematics alone, therefore, contains demonstrations, because it does not deduce its cognition from conceptions, but from the construction of conceptions, that is, from intuition, which can be given à priori in accordance with conceptions. The method of algebra, in equations, from which the correct answer is deduced by reduction, is a kind of construction—not geometrical, but by symbols—in which all conceptions, especially those of the relations of quantities, are represented in intuition by signs; and thus the conclusions in that science are secured from errors by the fact that every proof is submitted to ocular evidence. Philosophical cognition does not possess this advantage, it being required to consider the general always in abstracto (by means of conceptions), while mathematics can always consider it in concreto (in an individual intuition), and at the same time by means of à priori representation, whereby all errors are rendered manifest to the senses. The former—discursive proofs—ought to be termed acroamatic proofs, rather than demonstrations, as only words are employed in them, while demonstrations proper, as the term itself indicates, always require a reference to the intuition of the object.

It follows from all these considerations that it is not consonant with the nature of philosophy, especially in the sphere of pure reason, to employ the dogmatical method, and to adorn itself with the titles and insignia of mathematical science. It does not belong to that order, and can only hope for a fraternal union with that science. Its attempts at mathematical evidence are vain pretensions, which can only keep it back from its true aim, which is to detect the illusory procedure of reason when transgressing its proper limits, and by fully explaining and analysing our conceptions, to conduct us from the dim regions of speculation to the clear region of modest self-knowledge. Reason must not, therefore, in its transcendental endeavours, look forward with such confidence, as if the path it is pursuing led straight to its aim, nor reckon with such security upon its premisses, as to consider it unnecessary to take a step back, or to keep a strict watch for errors, which, overlooked in the principles, may be detected in the arguments themselves—in which case it may be requisite either to determine these principles with greater strictness, or to change them entirely.

I divide all apodeictic propositions, whether demonstrable or immediately certain, into dogmata and mathemata. A direct synthetical proposition, based on conceptions, is a dogma; a proposition of the same kind, based on the construction of conceptions, is a mathema. Analytical judgements do not teach us any more about an object than what was contained in the conception we had of it; because they do not extend our cognition beyond our conception of an object, they merely elucidate the conception. They cannot therefore be with propriety termed dogmas. Of the two kinds of à priori synthetical propositions above mentioned, only those which are employed in philosophy can, according to the general mode of speech, bear this name; those of arithmetic or geometry would not be rightly so denominated. Thus the customary mode of speaking confirms the explanation given above, and the conclusion arrived at, that only those judgements which are based upon conceptions, not on the construction of conceptions, can be termed dogmatical.

Thus, pure reason, in the sphere of speculation, does not contain a single direct synthetical judgement based upon conceptions. By means of ideas, it is, as we have shown, incapable of producing synthetical judgements, which are objectively valid; by means of the conceptions of the understanding, it establishes certain indubitable principles, not, however, directly on the basis of conceptions, but only indirectly by means of the relation of these conceptions to something of a purely contingent nature, namely, possible experience. When experience is presupposed, these principles are apodeictically certain, but in themselves, and directly, they cannot even be cognized à priori. Thus the given conceptions of cause and event will not be sufficient for the demonstration of the proposition: Every event has a cause. For this reason, it is not a dogma; although from another point of view, that of experience, it is capable of being proved to demonstration. The proper term for such a proposition is principle, and not theorem (although it does require to be proved), because it possesses the remarkable peculiarity of being the condition of the possibility of its own ground of proof, that is, experience, and of forming a necessary presupposition in all empirical observation.

If then, in the speculative sphere of pure reason, no dogmata are to be found; all dogmatical methods, whether borrowed from mathematics, or invented by philosophical thinkers, are alike inappropriate and inefficient. They only serve to conceal errors and fallacies, and to deceive philosophy, whose duty it is to see that reason pursues a safe and straight path. A philosophical method may, however, be systematical. For our reason is, subjectively considered, itself a system, and, in the sphere of mere conceptions, a system of investigation according to principles of unity, the material being supplied by experience alone. But this is not the proper place for discussing the peculiar method of transcendental philosophy, as our present task is simply to examine whether our faculties are capable of erecting an edifice on the basis of pure reason, and how far they may proceed with the materials at their command.

Section II. The Discipline of Pure Reason in Polemics

Reason must be subject, in all its operations, to criticism, which must always be permitted to exercise its functions without restraint; otherwise its interests are imperilled and its influence obnoxious to suspicion. There is nothing, however useful, however sacred it may be, that can claim exemption from the searching examination of this supreme tribunal, which has no respect of persons. The very existence of reason depends upon this freedom; for the voice of reason is not that of a dictatorial and despotic power, it is rather like the vote of the citizens of a free state, every member of which must have the privilege of giving free expression to his doubts, and possess even the right of veto.

But while reason can never decline to submit itself to the tribunal of criticism, it has not always cause to dread the judgement of this court. Pure reason, however, when engaged in the sphere of dogmatism, is not so thoroughly conscious of a strict observance of its highest laws, as to appear before a higher judicial reason with perfect confidence. On the contrary, it must renounce its magnificent dogmatical pretensions in philosophy.

Very different is the case when it has to defend itself, not before a judge, but against an equal. If dogmatical assertions are advanced on the negative side, in opposition to those made by reason on the positive side, its justification kat authrhopon is complete, although the proof of its propositions is kat aletheian unsatisfactory.