The Online Library of Liberty

A project of Liberty Fund, Inc.

• Preface.
• A Biography of Kant With Some Remarks On His Position In Philosophy.
• Kant’s Position In Philosophy.
• Prolegomena to Every Future System of Metaphysics Which Can Claim to Rank As Science.
• Introduction.
• Introductory Remarks On the Speciality of All Metaphysical Knowledge.
• The General Question of the Prolegomena. Is Metaphysics Possible At All?
• General Question. How Is Knowledge Possible From Pure Reason?
• The Transcendental Main Question—first Part. How Is Pure Mathematics Possible?
• The Second Part of the Main Transcendental Problem. How Is Pure Natural Science Possible?
• Appendix to Pure Natural Science. of the System of the Categories.
• The Third Part of the Main Transcendental Problem.
• Conclusion. On the Determination of the Boundary of the Pure Reason.
• Solution of the General Problem of the Prolegomena. How Is Metaphysics Possible As Science.
• Appendix.
• The Metaphysical Foundations of Natural Science.
• Preface.
• First Division.: Metaphysical Foundations of Phoronomy.
• Metaphysical Foundations of Dynamics.
• Metaphysical Foundations of Mechanics.
• Fourth Division.: Metaphysical Foundations of Phenomenology.

INTRODUCTORY REMARKS ON THE SPECIALITY OF ALL METAPHYSICAL KNOWLEDGE.

§ 1.

Of the Source of Metaphysics.

In presenting a branch of knowledge as science, it is necessary to be able to define with precision its distinguishing characteristic, that which it possesses in common with no other branch, and which is therefore special to itself; when this is not the case the boundaries of all sciences run into one another, and no one of them can be thoroughly treated of, according to its own nature.

Now this speciality may consist in the distinction of its object, of its sources of cognition, of its mode of cognition, or lastly, of several if not all these points taken together, on which the idea of a possible science and of its territory primarily rests.

Firstly, as regards the sources of metaphysical knowledge, the very conception of the latter shows that these cannot be empirical. Its principles (under which not merely its axioms, but also its fundamental conceptions are included) must consequently never be derived from experience; since it is not physical but metaphysical knowledge, i.e., knowledge beyond experience, that is wanted. Thus neither external experience, the source of physical science proper, nor internal experience, the groundwork of empirical psychology, will suffice for its foundation. It consists, then, in knowledge à priori, that is, knowledge derived from pure understanding and pure reason.

But in this, there is nothing to distinguish it from pure mathematics; it must be defined, therefore, as pure philosophical knowledge; respecting the meaning of which expression, I must refer the reader to the Critique of Pure Reason, (Bohn’s Ed. p. 435,) where the distinction between these two modes of the Reason’s use are clearly and exhaustively expounded. So much as to the sources of metaphysical knowledge.

§ 2.

Of the Mode of Cognition1 that can alone be termed Metaphysical.

a.

Of the distinction between synthetic and analytic judgments generally.

Metaphysical knowledge must contain simply judgments à priori, so much is demanded by the speciality of its sources. But judgments, let them have what origin they may, or let them even as regards logical form be constituted as they may, possess a distinction according to their content, by virtue of which they are either simply explanatory and contribute nothing to the content of a cognition, or they are extensive, and enlarge the given cognition; the first may be termed analytic, and the second synthetic judgments.

Analytic judgments say nothing in the predicate, but what was already cogitated in the conception of the subject, though perhaps not so clearly, or with the same degree of consciousness. When I say, all bodies are extended, I do not thereby enlarge my conception of a body in the least, but simply analyse it, inasmuch as extension, although not expressly stated, was already cogitated in that conception; the judgment is, in other words, analytic. On the other hand, the proposition, some bodies are heavy, contains something in the predicate which was not already cogitated in the general conception of a body; it enlarges, that is to say, my knowledge, in so far as it adds something to my conception; and must therefore be termed a synthetic judgment.

b.

The common principle of all analytic judgments is the principle of contradiction.

All analytic judgments are based entirely on the principle of contradiction, and are by their nature cognitions à priori, whether the conceptions serving as their matter be empirical or not. For inasmuch as the predicate of an affirmative analytic judgment is previously cogitated in the conception of the subject, it cannot without contradiction be denied of it; in the same way, its contrary, in a negative analytic judgment, must necessarily be denied of the subject, likewise in accordance with the principle of contradiction. It is thus with the propositions—every body is extended; no body is unextended (simple). For this reason all analytic propositions are judgments à priori, although their conceptions may be empirical. Let us take as an instance the proposition, gold is a yellow metal. Now, to know this, I require no further experience beyond my conception of gold, which contains the propositions that this body is yellow and a metal; for this constitutes precisely my conception, and therefore I have only to dissect it, without needing to look around for anything elsewhere.

c.

Synthetic judgments demand a principle other than that of contradiction.

There are synthetic judgments à posteriori whose origin is empirical; but there are also others of an à priori certainty, that spring from the Understanding and the Reason. But both are alike in this, that they can never have their source solely in the axiom of analysis, viz., the principle of contradiction; they require an altogether different principle, notwithstanding that whatever principle they may be deduced from, they must always conform to the principle of contradiction, for nothing can be opposed to this principle, although not everything can be deduced from it. I will first of all bring synthetic judgments under certain classes.

(1) Judgments of experience are always synthetic. It would be absurd to found an analytic judgment on experience, as it is unnecessary to go beyond my own conception in order to construct the judgment, and therefore the confirmation of experience is unnecessary to it. That a body is extended is a proposition possessing à priori certainty, and no judgment of experience. For before I go to experience I have all the conditions of my judgment already present in the conception, out of which I simply draw the predicate in accordance with the principle of contradiction, and thereby at the same time the necessity of the judgment may be known, a point which experience could never teach me.

(2) Mathematical judgments are in their entirety synthetic. This truth seems hitherto to have altogether escaped the analysts of human Reason; indeed, to be directly opposed to all their suppositions, although it is indisputably certain and very important in its consequences. For, because it was found that the conclusions of mathematicians all proceed according to the principle of contradiction (which the nature of every apodictic certainty demands), it was concluded that the axioms were also known through the principle of contradiction, which was a great error; for though a synthetic proposition can be viewed in the light of the above principle, it can only be so by presupposing another synthetic proposition from which it is derived, but never by itself.

It must be first of all remarked that essentially mathematical propositions are always à priori, and never empirical, because they involve necessity, which cannot be inferred from experience. Should any one be unwilling to admit this, I will limit my assertion to pure mathematics, the very conception of which itself brings with it the fact that it contains nothing empirical, but simply pure knowledge à priori.

At first sight, one might be disposed to think the proposition 7+5 = 12 merely analytic, resulting from the conception of a sum of seven and five, according to the principle of contradiction. But more closely considered it will be found that the conception of the sum of 7 and 5 comprises nothing beyond the union of two numbers in a single one, and that therein nothing whatever is cogitated as to what this single number is, that comprehends both the others. The conception of twelve is by no means already cogitated, when I think merely of the union of seven and five, and I may dissect my conception of such a possible sum as long as I please, without discovering therein the number twelve. One must leave these conceptions, and call to one’s aid an intuition corresponding to one or other of them, as for instance one’s five fingers (or, like Segner in his Arithmetic, five points), and so gradually add the units of the five given in intuition to the conception of the seven. One’s conception is therefore really enlarged by the proposition 7+5 = 12; to the first a new one being added, that was in nowise cogitated in the former; in other words, arithmetical propositions are always synthetic, a truth which is more apparent when we take rather larger numbers, for we must then be clearly convinced, that turn and twist our conceptions as we may, without calling intuition to our aid, we shall never find the sum required, by the mere dissection of them.

Just as little is any axiom of pure geometry analytic. That a straight line is the shortest between two points, is a synthetic proposition. For my conception of straight, has no reference to size, but only to quality. The conception of the “shortest” therefore is quite additional, and cannot be drawn from any analysis of the conception of a straight line. Intuition must therefore again be taken to our aid, by means of which alone the synthesis is possible.

Certain other axioms, postulated by geometricians, are indeed really analytic and rest on the principle of contradiction, but they only serve, like identical propositions, as links in the chain of method, and not themselves as principles; as for instance a = a, the whole is equal to itself, or (a+b)≻a, i.e., the whole is greater than its part. But even these, although they are contained in mere conceptions, are only admitted in mathematics because they can be presented in intuition. What produces the common belief that the predicate of such apodictic judgments lies already in our conception, and that the judgment is therefore analytic, is merely the ambiguity of expression. We ought, namely, to cogitate a certain predicate to a given conception, and this necessity adheres even to the conceptions themselves. But the question is not what we ought to, but what we actually do, although obscurely, cogitate in them; this shows us that the predicate of those conceptions is dependent indeed necessarily, though not immediately (but by means of an added intuition), upon its subject.

§ 3.

Observation on the universal division of Judgments into Analytic and Synthetic.

This division is in view of the Critique of human understanding indispensable, and deserves therefore to be classic in this department; though I am not aware of any other in which it has any important use. And here I also find the cause why dogmatic philosophers who looked for the sources of metaphysical judgments in metaphysics itself (rather than outside of it, in the laws of the pure Reason in general), have always neglected this division, that seems so naturally to offer itself, and like the celebrated Wolff, or the acute Baumgarten, who followed in his steps, have sought the proof of the principle of sufficient reason, which is obviously synthetic, in that of contradiction. On the other hand, I can trace already in “Locke’s Essays on the Human Understanding” a notion of this division. For in the third chapter of the fourth book, (Chap. III. § 9 et seq.,) after he has spoken of the connection of different presentations in judgments, and of their sources, one of which he places in identity or contradiction (analytic judgments), and the other in the existence of presentations in a subject (synthetic judgments), he confesses, § 10, that our knowledge (à priori) of the last is very limited, amounting almost to nothing. But there is so little that is definite and reduced to rule in what he says respecting this kind of knowledge, that one cannot wonder that nobody, strange to say, not excepting Hume, was induced thereby to institute investigations into the class of propositions in question. For universal yet definite principles like these, are not easily learnt from other men, to whom they have been only dimly discernible. One must, first of all, have come upon them through one’s own reflection, and one will then find them elsewhere, in places where otherwise they would certainly not have been discovered; since not even the authors knew that such an idea lay at the foundation of their own remarks. Those who do not think for themselves, possess notwithstanding the sharpness of insight to detect everything after it has already been shown them, in what has previously been said, where no one could before see it.

[1 ]Kant’s expression “erkenntnism” I have variously translated “knowledge” and “cognition,” according to circumstances and the usages of the English language.—Tr.—