IV. Of the difference between analytical and synthetical judgments.
In all judgments wherein the relation of a subject to the predicate is cogitated (I mention affirmative judgments only here; the application to negative will be very easy), this relation is possible in two different ways. Either the predicate B belongs to the subject A, as somewhat which is contained (though covertly) in the conception A; or the predicate B lies completely out of the conception A, although it stands in connection with it. In the first instance, I term the judgment analytical, in the second, synthetical. Analytical judgments (affirmative) are therefore those in which the connection of the predicate with the subject is cogitated through identity; those in which this connection is cogitated without identity, are called synthetical judgments. The former may be called explicative, the latter augmentative[1] judgments; because the former add in the predicate nothing to the conception of the subject, but only analyse it into its constituent conceptions, which were thought already in the subject, although in a confused manner; the latter add to our conceptions of the subject a predicate which was not contained in it, and which no analysis could ever have discovered therein. For example, when I say, “all bodies are extended,” this is an analytical judgment. For I need not go beyond the conception of body in order to find extension connected with it, but merely analyse the conception, that is, become conscious of the manifold properties which I think in that conception, in order to discover this predicate in it: it is therefore an analytical judgment. On the other hand, when I say, “all bodies are heavy,” the predicate is something totally different from that which I think in the mere conception of a body. By the addition of such a predicate, therefore, it becomes a synthetical judgment.
Judgments of experience, as such, are always synthetical. For it would be absurd to think of grounding an analytical judgment on experience, because in forming such a judgment I need not go out of the sphere of my conceptions,
- ↑ That is, judgments which really add to, and do not merely analyse or explain the conceptions which make up the sum of our knowledge.—Tr.