Again, Kant's starting-point really commits him to the view that space is a characteristic of things as they are. For—paradoxical though it may be—his problem is to explain the possibility of perceiving a priori, i. e. of perceiving the characteristics of an object anterior to the actual presence of the object in perception.[45] This implies that empirical perception, which involves the actual presence of the object, involves no difficulty; in other words, it is implied that empirical perception is of objects as they are. And we find Kant admitting this to the extent of allowing for the sake of argument that the perception of a present thing can make us know the thing as it is in itself.[46] But if empirical perception gives us things as they are, and if, as is the case, and as Kant really presupposes, the objects of empirical perception are spatial, then, since space is their form, the judgements of geometry must relate to things as they are. It is true that on this view Kant's first presupposition of geometrical judgements has to be stated by saying that we are able to perceive a real characteristic of things in space, before we perceive the things; and, no doubt, Kant thinks this impossible. According to him, when we perceive empty space no object is present, and therefore what is before the mind must be merely mental. But no greater difficulty is involved than that involved in the corresponding supposition required by Kant's own view. It is really just as difficult to hold that we can perceive a characteristic of things as they appear to us before they appear, as to hold that we can perceive a characteristic of them as they are in themselves before we perceive them.

The fact is that the real difficulty with which Kant is grappling in the Prolegomena arises, not from the supposition that spatial bodies are things in themselves, but from the supposed presupposition of geometry that we must be able to perceive empty space before we perceive bodies in it. It is, of course, impossible to defend the perception of empty space, but if it be maintained, the space perceived must be conceded to be not, as Kant thinks, something mental or subjective, but a real characteristic of things. For, as has been pointed out, the paradox of pure perception is reached solely through the consideration that, while in empirical perception we perceive objects, in pure perception we do not, and since the objects of empirical perception are spatial, space must be a real characteristic of them.

The general result of the preceding criticism is that Kant's conclusion does not follow from the premises by which he supports it. It should therefore be asked whether it is not possible to take advantage of this hiatus by presenting the argument for the merely phenomenal character of space without any appeal to the possibility of perceiving empty space. For it is clear that what was primarily before Kant, in writing the Critique, was the a priori character of geometrical judgements themselves, and not the existence of a perception of empty space which they were held to presuppose.[47]

If, then, the conclusion that space is only the form of sensibility can be connected with the a priori character of geometrical judgements without presupposing the existence of a perception of empty space, his position will be rendered more plausible.

This can be done as follows. The essential characteristic of a geometrical judgement is not that it takes place prior to experience, but that it is not based upon experience. Thus a judgement, arrived at by an activity of the mind in which it remains within itself and does not appeal to actual experience of the objects to which the judgement relates, is implied to hold good of those objects. If the objects were things as they are in themselves, the validity of the judgement could not be justified, for it would involve the gratuitous assumption that a necessity of thought is binding on things which ex hypothesi are independent of the nature of the mind. If, however, the objects in question are things as perceived, they will be through and through conditioned by the mind's perceiving nature; and, consequently, if a geometrical rule, e. g. that a three-sided figure must have three angles, is really a law of the mind's perceiving nature, all individual perceptions, i. e. all objects as perceived by us, will necessarily conform to the law. Therefore, in the latter case, and in that only, will the universal validity of geometrical judgements be justified. Since, then, geometrical judgements are universally valid, space, which is that of which geometrical laws are the laws, must be merely a form of perception or a characteristic of objects as perceived by us.

This appears to be the best form in which the substance of Kant's argument, stripped of unessentials, can be stated. It will be necessary to consider both the argument and its conclusion.

The argument, so stated, is undeniably plausible. Nevertheless, examination of it reveals two fatal defects. In the first place, its starting-point is false. To Kant the paradox of geometrical judgements lies in the fact that they are not based upon an appeal to experience of the things to which they relate. It is implied, therefore, that judgements which are based on experience involve no paradox, and for the reason that in experience we apprehend things as they are.[48] In contrast with this, it is implied that in geometrical judgements the connexion which we apprehend is not real, i. e. does not relate to things as they are. Otherwise, there would be no difficulty; if in geometry we apprehended rules of connexion relating to things as they are, we could allow without difficulty that the things must conform to them. No such distinction, however, can be drawn between a priori and empirical judgements. For the necessity of connexion, e. g. between being a three-sided figure and being a three-angled figure, is as much a characteristic of things as the empirically-observed shape of an individual body, e. g. a table. Geometrical judgements, therefore, cannot be distinguished from empirical judgements on the ground that in the former the mind remains within itself, and does not immediately apprehend fact or a real characteristic of reality.[49] Moreover, since in a geometrical judgement we do in fact think that we are apprehending a real connexion, i. e. a connexion which applies to things and to things as they are in themselves, to question the reality of the connexion is to question the validity of thinking altogether, and to do this is implicitly to question the validity of our thought about the nature of our own mind, as well as the validity of our thought about things independent of the mind. Yet Kant's argument, in the form in which it has just been stated, presupposes that our thought is valid at any rate when it is concerned with our perceptions of things, even if it is not valid when concerned with the things as they are in themselves.

This consideration leads to the second criticism. The supposition that space is only a form of perception, even if it be true, in no way assists the explanation of the universal validity of geometrical judgements. Kant's argument really confuses a necessity of relation with the consciousness of a necessity of relation. No doubt, if it be a law of our perceiving nature that, whenever we perceive an object as a three-sided figure, the object as perceived contains three angles, it follows that any object as perceived will conform to this law; just as if it be a law of things as they are in themselves that three-sided figures contain three angles, all three-sided figures will in themselves have three angles. But what has to be explained is the universal applicability, not of a law, but of a judgement about a law. For Kant's real problem is to explain why our judgement that a three-sided figure must contain three angles must apply to all three-sided figures. Of course, if it be granted that in the judgement we apprehend the true law, the problem may be regarded as solved. But how are we to know that what we judge is the true law? The answer is in no way facilitated by the supposition that the judgement relates to our perceiving nature. It can just as well be urged that what we think to be a necessity of our perceiving nature is not a necessity of it, as that what we think to be a necessity of things as they are in themselves is not a necessity of them. The best, or rather the only possible, answer is simply that that of which we apprehend the necessity must be true, or, in other words, that we must accept the validity of thought. Hence nothing is gained by the supposition that space is a form of sensibility. If what we judge to be necessary is, as such, valid, a judgement relating to things in themselves will be as valid as a judgement relating to our perceiving nature.[50]

This difficulty is concealed from Kant by his insistence on the perception of space involved in geometrical judgements. This leads him at times to identify the judgement and the perception, and, therefore, to speak of the judgement as a perception. Thus we find him saying that mathematical judgements are always perceptive,[51] and that "It is only possible for my perception to precede the actuality of the object and take place as a priori knowledge, if &c."[52] Hence, if, in addition, a geometrical judgement, as being a judgement about a necessity, be identified with a necessity of judging, the conformity of things to these universal judgements will become the conformity of things to rules or necessities of our judging, i. e. of our perceiving nature, and Kant's conclusion will at once follow.[53] Unfortunately for Kant, a geometrical judgement, however closely related to a perception, must itself, as the apprehension of what is necessary and universal, be an act of thought rather than of perception, and therefore the original problem of the conformity of things to our mind can be forced upon him again, even after he thinks that he has solved it, in the new form of that of the conformity within the mind of perceiving to thinking.

The fact is simply that the universal validity of geometrical judgements can in no way be 'explained'. It is not in the least explained or made easier to accept by the supposition that objects are 'phenomena'. These judgements must be accepted as being what we presuppose them to be in making them, viz. the direct apprehension of necessities of relation between real characteristics of real things. To explain them by reference to the phenomenal character of what is known is really—though contrary to Kant's intention—to throw doubt upon their validity; otherwise, they would not need explanation. As a matter of fact, it is impossible to question their validity. In the act of judging, doubt is impossible. Doubt can arise only when we subsequently reflect and temporarily lose our hold upon the consciousness of necessity in judging.[54] The doubt, however, since it is non-existent in our geometrical consciousness, is really groundless,[55] and, therefore, the problem to which it gives rise is unreal. Moreover if, per impossibile, doubt could be raised, it could not be set at rest. No vindication of a judgement in which we are conscious of a necessity could do more than take the problem a stage further back, by basing it upon some other consciousness of a necessity; and since this latter judgement could be questioned for precisely the same reason, we should only be embarking upon an infinite process.