What, then, is the nature and what are the generating conditions of synthetic judgments that are also a priori? In all judgments there is a relation between subject and predicate, and that can be of two kinds. Either the predicate B belongs to the subject A, or B lies outside the sphere of the concept A though somehow connected with it. In the former case the judgment is analytic; in the latter it is synthetic. The one simply unfolds what has all along been conceived in the subject concept; the other ascribes to the concept of the subject a predicate which cannot be found in it by any process of analysis. Thus the judgment ‘all bodies are extended’ is analytic. The concept of body already contains that of extension, and is impossible save through it. On the other hand, the judgment ‘all bodies are heavy’ is synthetic. For not body as such, but only bodies which are in interaction with other bodies, are found to develop this property. Bodies can very well be conceived as not influencing one another in any such manner.

There is no difficulty in accounting for analytic judgments. They can all be justified by the principle of contradiction. Being analytic, they can be established a priori. Nor, Kant here claims, is there any difficulty in regard to synthetic judgments that are empirical. Though the predicate is not contained in the subject concept, they belong to each other (though accidentally) as parts of a given empirical whole. Experience is the x which lies beyond the concept A, and on which rests the possibility of the synthesis of B with A. In regard, however, to synthetic judgments which are likewise a priori, the matter is very different. Hitherto, both by the sensationalists and by the rationalists, all synthetic judgments have been regarded as empirical, and all a priori judgments as analytic. The only difference between the opposed schools lies in the relative value which they ascribe to the two types of judgment. For Hume the only really fruitful judgments are the synthetic judgments a posteriori; analytic judgments are of quite secondary value; they can never extend our knowledge, but only clarify its existing content. For Leibniz, on the other hand, true knowledge consists only in the analysis of our a priori concepts, which he regards as possessing an intrinsic and fruitful content; synthetic judgments are always empirical, and as such are purely contingent.[152]

Thus for pre-Kantian philosophy analytic is interchangeable with a priori, and synthetic with a posteriori. Kant’s Critical problem arose from the startling discovery that the a priori and the synthetic do not exclude one another. A judgment may be synthetic and yet also a priori. He appears to have made this discovery under the influence of Hume, through study of the general principle of causality—every event must have a cause.[153] In that judgment there seems to be no connection of any kind discoverable between the subject (the conception of an event as something happening in time) and the predicate (the conception of another event preceding it as an originating cause); and yet we not merely ascribe the one to the other but assert that they are necessarily connected. We can conceive an event as sequent upon a preceding empty time; none the less, in physical enquiry, the causal principle is accepted as an established truth. Here, then, is a new and altogether unique type of judgment, of thoroughly paradoxical nature. So entirely is it without apparent basis, that Hume, who first deciphered its strange character, felt constrained to ascribe our belief in it to an unreasoning and merely instinctive, ‘natural’ habit or custom.

Kant found, however, that the paradoxical characteristics of the causal principle also belong to mathematical and physical judgments. This fact makes it impossible to accept Hume’s sceptical conclusion. If even the assertion 7 + 5 = 12 is both synthetic and a priori, it is obviously impossible to question the validity of judgments that possess these characteristics. But they do not for that reason any the less urgently press for explanation. Such an enquiry might not, indeed, be necessary were we concerned only with scientific knowledge. For the natural sciences justify themselves by their practical successes and by their steady unbroken development. But metaphysical judgments are also of this type; and until the conditions which make a priori synthetic judgment possible have been discovered, the question as to the legitimacy of metaphysical speculation cannot be decided. Such judgments are plainly mysterious, and urgently call for further enquiry.

The problem to be solved concerns the ground of our ascription to the subject concept, as necessarily belonging to it, a predicate which seems to have no discoverable relation to it. What is the unknown x on which the understanding rests in asserting the connection? It cannot be repeated experience; for the judgments in question claim necessity. Nor can such judgments be proved by means of a logical test, such as the inconceivability of the opposite. The absence of all apparent connection between subject and predicate removes that possibility. These, however, are the only two methods of proof hitherto recognised in science and philosophy. The problem demands for its solution nothing less than the discovery and formulation of an entirely novel method of proof.

The three main classes of a priori synthetic judgments are, Kant proceeds, the mathematical, the physical, and the metaphysical. The synthetic character of mathematical judgments has hitherto escaped observation owing to their being proved (as is required of all apodictic certainty) according to the principle of contradiction. It is therefrom inferred that they rest on the authority of that principle, and are therefore analytic. That, however, is an illegitimate inference; for though the truth of a synthetic proposition can be thus demonstrated, that can only be if another synthetic principle is first presupposed. It can never be proved that its truth, as a separate judgment, is demanded by the principle of contradiction. That 7 + 5 must equal 12 does not follow analytically from the conception of the sum of seven and five. This conception contains nothing beyond the union of both numbers into one; it does not tell us what is the single number that combines both. That five should be added to seven is no doubt implied in the conception, but not that the sum should be twelve. To discover that, we must, Kant maintains, go beyond the concepts and appeal to intuition. This is more easily recognised when we take large numbers. We then clearly perceive that, turn and twist our concepts as we may, we can never, by means of mere analysis of them, and without the help of intuition, arrive at the sum that is wanted. The fundamental propositions of geometry, the so-called axioms, are similarly synthetic, e.g. that the straight line between two points is the shortest. The concept ‘straight’ only defines direction; it says nothing as to quantity.

As an instance of a synthetic a priori judgment in physical science Kant cites the principle: the quantity of matter remains constant throughout all changes. In the conception of matter we do not conceive its permanency, but only its presence in the space which it fills. The opposite of the principle is thoroughly conceivable.

Metaphysics is meant to contain a priori knowledge. For it seeks to determine that of which we can have no experience, as e.g. that the world must have a first beginning. And if, as will be proved, our a priori concepts have no content, which through analysis might yield such judgments, these judgments also must be synthetic.

Here, then, we find the essential problem of pure reason. Expressed in a single formula, it runs: How are synthetic a priori judgments possible? To ask this question is to enquire, first, how pure mathematics is possible; secondly, how pure natural science is possible; and thirdly, how metaphysics is possible. That philosophy has hitherto remained in so vacillating a state of ignorance and contradiction is entirely due to the neglect of this problem of a priori synthesis. “Its solution is the question of life and death to metaphysics.” Hume came nearest to realising the problem, but he discovered it in too narrow a form to appreciate its full significance and its revolutionary consequences.

“Greater firmness will be required if we are not to be deterred by inward difficulties and outward opposition from endeavouring, through application of a method entirely different from any hitherto employed, to further the growth and fruitfulness of a science indispensable to human reason—a science whose every branch may be cut away but whose root cannot be destroyed.”[154]