The Analytic is accordingly subdivided into the Analytic of Conceptions and the Analytic of Principles. The Analytic of Conceptions, again, is divided into the Metaphysical Deduction of the Categories, the aim of which is to discover the conceptions of the understanding, and the Transcendental Deduction of the Categories, the aim of which is to vindicate their validity, i. e. their applicability to individual things.
It should further be noticed that, according to Kant, it is the connexion of the a priori conceptions and laws underlying natural science with the understanding which constitutes the main difficulty of the vindication of their validity, and renders necessary an answer of a different kind to that which would have been possible, if the validity of mathematical judgements had been in question.
"We have been able above, with little trouble, to make comprehensible how the conceptions of space and time, although a priori knowledge, must necessarily relate to objects and render possible a synthetic knowledge of them independently of all experience. For since an object can appear to us, i. e. be an object of empirical perception, only by means of such pure forms of sensibility, space and time are pure perceptions, which contain a priori the condition of the possibility of objects as phenomena, and the synthesis in space and time has objective validity."
"On the other hand, the categories of the understanding do not represent the conditions under which objects are given in perception; consequently, objects can certainly appear to us without their necessarily being related to functions of the understanding, and therefore without the understanding containing a priori the conditions of these objects. Hence a difficulty appears here, which we did not meet in the field of sensibility, viz. how subjective conditions of thought can have objective validity, i. e. can furnish conditions of the possibility of all knowledge of objects; for phenomena can certainly be given us in perception without the functions of the understanding. Let us take, for example, the conception of cause, which indicates a peculiar kind of synthesis in which on A something entirely different B is placed[6] according to a law. It is not a priori clear why phenomena should contain something of this kind ... and it is consequently doubtful a priori, whether such a conception is not wholly empty, and without any corresponding object among phenomena. For that objects of sensuous perception must conform to the formal conditions of the sensibility which lie a priori in the mind is clear, since otherwise they would not be objects for us; but that they must also conform to the conditions which the understanding requires for the synthetical unity of thought is a conclusion the cogency of which it is not so easy to see. For phenomena might quite well be so constituted that the understanding did not find them in conformity with the conditions of its unity, and everything might lie in such confusion that, e. g. in the succession of phenomena, nothing might present itself which would offer a rule of synthesis, and so correspond to the conception of cause and effect, so that this conception would be quite empty, null, and meaningless. Phenomena would none the less present objects to our perception, for perception does not in any way require the functions of thinking."[7]
This passage, if read in connexion with that immediately preceding it,[8] may be paraphrased as follows: 'The argument of the Aesthetic assumes the validity of mathematical judgements, which as such relate to space and time, and thence it deduces the phenomenal character of space and time, and of what is contained therein. At the same time the possibility of questioning the validity of the law of causality, and of similar principles, may lead us to question even the validity of mathematical judgements. In the case of mathematical judgements, however, in consequence of their relation to perception, an answer is readily forthcoming. We need only reverse the original argument and appeal directly to the phenomenal character of space and time and of what is contained in them. Objects in space and time, being appearances, must conform to the laws according to which we have appearances; and since space and time are only ways in which we perceive, or have appearances, mathematical laws, which constitute the general nature of space and time, are the laws according to which we have appearances. Mathematical laws, then, constitute the general structure of appearances, and, as such, enter into the very being of objects in space and time. But the case is otherwise with the conceptions and principles underlying natural science. For the law of causality, for instance, is a law not of our perceiving but of our thinking nature, and consequently it is not presupposed in the presentation to us of objects in space and time. Objects in space and time, being appearances, need conform only to the laws of our perceiving nature. We have therefore to explain the possibility of saying that a law of our thinking nature must be valid for objects which, as conditioned merely by our perceiving nature, are independent of the laws of our thinking; for phenomena might be so constituted as not to correspond to the necessities of our thought.'
No doubt Kant's solution of this problem in the Analytic involves an emphatic denial of the central feature of this statement of it, viz. that phenomena may be given in perception without any help from the activity of the understanding.[9] Hence it may be urged that this passage merely expresses a temporary aberration on Kant's part, and should therefore be ignored. Nevertheless, in spite of this inconsistency, the view that phenomena may be given in perception without help from the activity of the understanding forms the basis of the difference of treatment which Kant thinks necessary for the vindication of the judgements underlying natural science and for that of the judgements of mathematics.
We may now consider how Kant 'discovers' the categories or conceptions which belong to the understanding as such.[10] His method is sound in principle. He begins with an account of the understanding in general. He then determines its essential differentiations. Finally, he argues that each of these differentiations involves a special conception, and that therefore these conceptions taken together constitute an exhaustive list of the conceptions which belong to the understanding.
His account of the understanding is expressed thus: "The understanding was explained above only negatively, as a non-sensuous faculty of knowledge. Now, independently of sensibility, we cannot have any perception; consequently, the understanding is no faculty of perception. But besides perception there is no other kind of knowledge, except through conceptions. Consequently, the knowledge of every understanding, or at least of every human understanding, is a knowledge through conceptions,—not perceptive, but discursive. All perceptions, as sensuous, depend on affections; conceptions, therefore, upon functions. By the word function, I understand the unity of the act of arranging different representations under one common representation. Conceptions, then, are based on the spontaneity of thinking, as sensuous perceptions are on the receptivity of impressions. Now the understanding cannot make any other use of these conceptions than to judge by means of them. Since no representation, except only the perception, refers immediately to the object, a conception is never referred immediately to an object, but to some other representation thereof, be that a perception or itself a conception. A judgement, therefore, is the mediate knowledge of an object, consequently the representation of a representation of it. In every judgement there is a conception which is valid for many representations, and among these also comprehends a given representation, this last being then immediately referred to the object. For example, in the judgement 'All bodies are divisible', our conception of the divisible refers to various other conceptions; among these, however, it is herein particularly referred to the conception of body, and this conception of body is referred to certain phenomena which present themselves to us. These objects, therefore, are mediately represented by the conception of divisibility. Accordingly, all judgements are functions of unity in our representations, since, instead of an immediate, a higher representation, which comprehends this and several others, is used for the knowledge of the object, and thereby many possible items of knowledge are collected into one. But we can reduce all acts of the understanding to judgements, so that the understanding in general can be represented as a faculty of judging."[11]
It is not worth while to go into all the difficulties of this confused and artificial passage. Three points are clear upon the surface. In the first place, the account of the understanding now given differs from that given earlier in the Critique[12] in that, instead of merely distinguishing, it separates the sensibility and the understanding, and treats them as contributing, not two inseparable factors involved in all knowledge, but two kinds of knowledge. In the second place, the guise of argument is very thin, and while Kant ostensibly proves, he really only asserts that the understanding is the faculty of judgement. In the third place, in describing judgement Kant is hampered by trying to oppose it as the mediate knowledge of an object to perception as the immediate knowledge of an object. A perception is said to relate immediately to an object; in contrast with this, a conception is said to relate immediately only to another conception or to a perception, and mediately to an object through relation to a perception, either directly or through another conception. Hence a judgement, as being the use of a conception, viz. the predicate of the judgement, is said to be the mediate knowledge of an object. But if this distinction be examined, it will be found that two kinds of immediate relation are involved, and that the account of perception is not really compatible with that of judgement. When a perception is said to relate immediately to an object, the relation in question is that between a sensation or appearance produced by an object acting upon or affecting the sensibility and the object which produces it. But when a conception is said to relate immediately to another conception or to a perception, the relation in question is that of universal and particular, i. e. that of genus and species or of universal and individual. For the conception is said to be 'valid for' (i. e. to 'apply to') and to 'comprehend' the conception or perception to which it is immediately related; and again, when a conception is said to relate mediately to an object, the relation meant is its 'application' to the object, even though in this case the application is indirect. Now if a perception to which a conception is related—either directly or indirectly through another conception—were an appearance produced by an object, the conception could never be related to the object in the sense required, viz. that it applies to it; for an appearance does not apply to but is produced by the object. Consequently, when Kant is considering a conception, and therefore also when he is considering a judgement, which is the use of a conception, he is really thinking of the perception to which it is related as an object of perception, i. e. as a perceived individual, and he has ceased to think of a perception as an appearance produced by an object.[13] Hence in considering Kant's account of a conception and of judgement, we should ignore his account of perception, and therefore also his statement that judgement is the mediate knowledge of an object.
If we do so, we see that Kant's account of judgement simply amounts to this: 'Judgement is the use of a conception or 'universal'; the use of a conception or universal consists in bringing under it corresponding individuals or species. Consequently, judgement is a function producing unity. If, for instance, we judge 'All bodies are divisible', we thereby unify 'bodies' with other kinds of divisible things by bringing them under the conception of divisibility; and if we judge 'This body is divisible' we thereby unify this divisible body with others by bringing it and them under the conception of divisibility.'[14] Again, since 'the understanding in general can be represented as a faculty of judging', it follows that the activity of the understanding consists in introducing unity into our representations, by bringing individuals or species—both these being representations—under the corresponding universal or conception.[15]