The resulting situation is strangely perverse. In the very act of revolutionising the traditional logic, Kant relies upon its prestige and upon the assumed finality of its results to make good the shortcomings of the logic which is to displace it. By Kant’s own admission transcendental logic is incapable of guaranteeing that completeness upon which, throughout the whole _Critique_, so great an emphasis is laid. General logic is allowed an independent status, sufficient to justify its authority being appealed to; and the principle which is supposed to guarantee the completeness of the table of categories is so formulated as to contain no suggestion of the dependence of discursive upon synthetic thinking. Formal logic, Kant would seem to hold, can supply a criterion for the classification of the ultimate forms of judgment just because its task is relatively simple, and is independent of all epistemological views as to the nature, scope, and conditions of the thought process. Since formal logic is a completed and perfectly _a priori_ science, which has stood the test of 2000 years, and remains practically unchanged to the present day, its results can be accepted as final, and can be employed without question in all further enquiries. Analytic thinking is scientifically treated in general logic; the _Critique_ is concerned only with the possibility and conditions of synthetic judgment. The table of analytic judgments therefore supplies a complete and absolutely guaranteed list of the possible categories of the understanding. But the perverseness of this whole procedure is shown by the manner in which, as we shall find, Kant recasts, extends, or alters, to suit his own purposes, the actual teaching of the traditional logic.