1. The so-called Quantity of judgments springs from the nature of concepts as such. It thus has its ground in the reason alone, and has absolutely no direct connection with the understanding and with knowledge of perception. It is indeed, as is explained at length in the first book, essential to concepts, as such, that they should have an extent, a sphere, and the wider, less determined concept includes the narrower and more determined. The latter can therefore be separated from the former, and this may happen in two ways, – either the narrower concept may be indicated as an indefinite part of the wider concept in general, or it may be defined and completely separated by means of the addition of a special name. The judgment which carries out this operation is in the first case called a particular, and in the second case an universal judgment. For example, one and the same part of the sphere of the concept tree may be isolated through a particular and through an universal judgment, thus – “Some trees bear gall-nuts,” or “All oaks bear gall-nuts.” One sees that the difference of the two operations is very slight; indeed, that the possibility of it depends upon the richness of the language. Nevertheless, Kant has explained this difference as disclosing two fundamentally different actions, functions, categories of the pure understanding which determines experience a priori through them.
Finally, a concept may also be used in order to arrive by means of it at a definite particular idea of perception, from which, as well as from many others, this concept itself is drawn; this happens in the singular judgment. Such a judgment merely indicates the boundary-line between abstract knowledge and knowledge of perception, and passes directly to the latter, “This tree here bears gall-nuts.” Kant has made of this also a special category.
After all that has been said there is no need of further polemic here.
2. In the same way the Quality of the judgment lies entirely within the province of reason, and is not an adumbration of any law of that understanding which makes perception possible, i. e., it does not point to it. The nature of abstract concepts, which is just the nature of the reason itself objectively comprehended, carries with it the possibility of uniting and separating their spheres, as was already explained in the first book, and upon this possibility, as their presupposition, rest the universal laws of thought of identity and contradiction, to which I have given the name of metalogical truths, because they spring purely from the reason, and cannot be further explained. They determine that what is united must remain united, and what is separated must remain separate, thus that what is established cannot at the same time be also abolished, and thus they presuppose the possibility of the combination and separation of spheres, i. e., of judgment. This, however, lies, according to its form, simply and solely in the reason, and this form has not, like the content of the judgments, been brought over from the perceptible knowledge of the understanding, and therefore there is no correlative or analogue of it to be looked for there. After the perception has been brought about through the understanding and for the understanding, it exists complete, subject to no doubt nor error, and therefore knows neither assertion nor denial; for it expresses itself, and has not, like the abstract knowledge of the reason, its value and content in its mere relation to something outside of it, according to the principle of the ground of knowing. It is, therefore, pure reality; all negation is foreign to its nature, can only be added on through reflection, and just on this account remains always in the province of abstract thought.
To the affirmative and negative Kant adds the infinite judgment, making use of a crotchet of the old scholastics, an ingeniously invented stop-gap, which does not even require to be explained, a blind window, such as many others he made for the sake of his architectonic symmetry.
3. Under the very wide conception of Relation Kant has brought three entirely different properties of judgments, which we must, therefore, examine singly, in order to recognise their origin.
(a.) The hypothetical judgment in general is the abstract expression of that most universal form of all our knowledge, the principle of sufficient reason. In my essay on this principle, I already showed in 1813 that it has four entirely different meanings, and in each of these originally originates in a different faculty of knowledge, and also concerns a different class of ideas. It clearly follows from this, that the source of the hypothetical judgment in general, of that universal form of thought, cannot be, as Kant wishes to make it, merely the understanding and its category of causality; but that the law of causality which, according to my exposition, is the one form of knowledge of the pure understanding, is only one of the forms of that principle which embraces all pure or a priori knowledge – the principle of sufficient reason – which, on the other hand, in each of its meanings has this hypothetical form of judgment as its expression. We see here, however, very distinctly how kinds of knowledge which are quite different in their origin and significance yet appear, if thought in abstracto by the reason, in one and the same form of combination of concepts and judgments, and then in this form can no longer be distinguished, but, in order to distinguish them, we must go back to knowledge of perception, leaving abstract knowledge altogether. Therefore the path which was followed by Kant, starting from the point of view of abstract knowledge, to find the elements and the inmost spring of intuitive knowledge also, was quite a wrong one. For the rest, my whole introductory essay on the principle of sufficient reason is, to a certain extent, to be regarded merely as a thorough exposition of the significance of the hypothetical form of judgment; therefore I do not dwell upon it longer here.
(b.) The form of the categorical judgment is nothing but the form of judgment in general, in its strictest sense. For, strictly speaking, judging merely means thinking, the combination of, or the impossibility of combining, the spheres of the concepts. Therefore the hypothetical and the disjunctive combination are properly no special forms of the judgment; for they are only applied to already completed judgments, in which the combination of the concepts remains unchanged the categorical. But they again connect these judgments, for the hypothetical form expresses their dependence upon each other, and the disjunctive their incompatibility. Mere concepts, however, have only one class of relations to each other, those which are expressed in the categorical judgment. The fuller determination, or the sub-species of this relation, are the intersection and the complete separateness of the concept-spheres, i. e., thus affirmation and negation; out of which Kant has made special categories, under quite a different title, that of quality. Intersection and separateness have again sub-species, according as the spheres lie within each other entirely, or only in part, a determination which constitutes the quantity of the judgments; out of which Kant has again made a quite special class of categories. Thus he separates what is very closely related, and even identical, the easily surveyed modifications of the one possible relation of mere concepts to each other, and, on the other hand, unites what is very different under this title of relation.
Categorical judgments have as their metalogical principle the