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. Tor, 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 laws of thought of identity and contradiction.
