constant. It might happen, if Kant is right, that tomorrow our nature would so change as to make two and two become five. This possibility seems never to have occurred to him, yet it is one which utterly destroys the certainty and universality which he is anxious to vindicate for arithmetical propositions. It is true that this possibility, formally, is inconsistent with the Kantian view that time itself is a form imposed by the subject upon phenomena, so that our real Self is not in time and has no tomorrow. But he will still have to suppose that the time-order of phenomena is determined by characteristics of what is behind phenomena, and this suffices for the substance of our argument.
Reflection, moreover, seems to make it clear that, if there is any truth in our arithmetical beliefs, they must apply to things equally whether we think of them or not. Two physical objects and two other physical objects must make four physical objects, even if physical objects cannot be experienced. To assert this is certainly within the scope of what we mean when we state that two and two are four. Its truth is just as indubitable as the truth of the assertion that two phenomena and two other phenomena make four phenomena. Thus Kant’s solution unduly limits the scope of a priori propositions, in addition to failing in the attempt at explaining their certainty.
Apart from the special doctrines advocated by Kant, it is very common among philosophers to regard what is a priori as in some sense mental, as concerned rather with the way we must think than with any fact of the outer world. We noted in the preceding chapter the three principles commonly called “laws of thought.” The view which led to their being so named is a natural one, but there are strong reasons for thinking that it is erroneous. Let us take as an illustration the law of contradiction. This is commonly stated in the form “Nothing can both be and not be,” which is intended to express the fact that nothing can at once have and not have a given quality. Thus, for example, if a tree is a beech it cannot also be not a beech; if my table is rectangular it cannot also be not rectangular, and so on.