A priori knowledge is not all of the logical kind we have been hitherto considering. Perhaps the most important example of non-logical a priori knowledge is knowledge as to ethical value. I am not speaking of judgements as to what is useful or as to what is virtuous, for such judgements do require empirical premisses; I am speaking of judgements as to the intrinsic desirability of things. If something is useful, it must be useful because it secures some end; the end must, if we have gone far enough, be valuable on its own account, and not merely because it is useful for some further end. Thus all judgements as to what is useful depend upon judgements as to what has value on its own account.
We judge, for example, that happiness is more desirable than misery, knowledge than ignorance, goodwill than hatred, and so on. Such judgements must, in part at least, be immediate and a priori. Like our previous a priori judgements, they may be elicited by experience, and indeed they must be; for it seems not possible to judge whether anything is intrinsically valuable unless we have experienced something of the same kind. But it is fairly obvious that they cannot be proved by experience; for the fact that a thing exists or does not exist cannot prove either that it is good that it should exist or that it is bad. The pursuit of this subject belongs to ethics, where the impossibility of deducing what ought to be from what is has to be established. In the present connexion, it is only important to realize that knowledge as to what is intrinsically of value is a priori in the same sense in which logic is a priori, namely in the sense that the truth of such knowledge can be neither proved nor disproved by experience.
All pure mathematics is a priori, like logic. This was strenuously denied by the empirical philosophers, who maintained that experience was as much the source of our knowledge of arithmetic as of our knowledge of geography. They maintained that by the repeated experience of seeing two things and two other things, and finding that altogether they made four things, we were led by induction to the conclusion that two things and two other things would always make four things altogether. If, however, this were the source of our knowledge that two and two are four, we should proceed differently, in persuading ourselves of its truth, from the way in which we do actually proceed. In fact, a certain number of instances are needed to make us think of two abstractly, rather than of two coins or two books or two people, or two of any other specified kind. But as soon as we are able to divest our thoughts of irrelevant particularity, we become able to see the general principle that two and two are four; any one instance is seen to be typical, and the examination of other instances becomes unnecessary.(1)
(1) Cf. A. N. Whitehead, Introduction to Mathematics (Home University Library).
The same thing is exemplified in geometry. If we want to prove some property of all triangles, we draw some one triangle and reason about it; but we can avoid making use of any property which it does not share with all other triangles, and thus, from our particular case, we obtain a general result. We do not, in fact, feel our certainty that two and two are four increased by fresh instances, because, as soon as we have seen the truth of this proposition, our certainty becomes so great as to be incapable of growing greater. Moreover, we feel some quality of necessity about the proposition ‘two and two are four’, which is absent from even the best attested empirical generalizations. Such generalizations always remain mere facts: we feel that there might be a world in which they were false, though in the actual world they happen to be true. In any possible world, on the contrary, we feel that two and two would be four: this is not a mere fact, but a necessity to which everything actual and possible must conform.
The case may be made clearer by considering a genuinely-empirical generalization, such as ‘All men are mortal.’ It is plain that we believe this proposition, in the first place, because there is no known instance of men living beyond a certain age, and in the second place because there seem to be physiological grounds for thinking that an organism such as a man’s body must sooner or later wear out. Neglecting the second ground, and considering merely our experience of men’s mortality, it is plain that we should not be content with one quite clearly understood instance of a man dying, whereas, in the case of ‘two and two are four’, one instance does suffice, when carefully considered, to persuade us that the same must happen in any other instance. Also we can be forced to admit, on reflection, that there may be some doubt, however slight, as to whether all men are mortal. This may be made plain by the attempt to imagine two different worlds, in one of which there are men who are not mortal, while in the other two and two make five. When Swift invites us to consider the race of Struldbugs who never die, we are able to acquiesce in imagination. But a world where two and two make five seems quite on a different level. We feel that such a world, if there were one, would upset the whole fabric of our knowledge and reduce us to utter doubt.
The fact is that, in simple mathematical judgements such as ‘two and two are four’, and also in many judgements of logic, we can know the general proposition without inferring it from instances, although some instance is usually necessary to make clear to us what the general proposition means. This is why there is real utility in the process of deduction, which goes from the general to the general, or from the general to the particular, as well as in the process of induction, which goes from the particular to the particular, or from the particular to the general. It is an old debate among philosophers whether deduction ever gives new knowledge. We can now see that in certain cases, at least, it does do so. If we already know that two and two always make four, and we know that Brown and Jones are two, and so are Robinson and Smith, we can deduce that Brown and Jones and Robinson and Smith are four. This is new knowledge, not contained in our premisses, because the general proposition, ‘two and two are four’, never told us there were such people as Brown and Jones and Robinson and Smith, and the particular premisses do not tell us that there were four of them, whereas the particular proposition deduced does tell us both these things.
But the newness of the knowledge is much less certain if we take the stock instance of deduction that is always given in books on logic, namely, ‘All men are mortal; Socrates is a man, therefore Socrates is mortal.’ In this case, what we really know beyond reasonable doubt is that certain men, A, B, C, were mortal, since, in fact, they have died. If Socrates is one of these men, it is foolish to go the roundabout way through ‘all men are mortal’ to arrive at the conclusion that probably Socrates is mortal. If Socrates is not one of the men on whom our induction is based, we shall still do better to argue straight from our A, B, C, to Socrates, than to go round by the general proposition, ‘all men are mortal’. For the probability that Socrates is mortal is greater, on our data, than the probability that all men are mortal. (This is obvious, because if all men are mortal, so is Socrates; but if Socrates is mortal, it does not follow that all men are mortal.) Hence we shall reach the conclusion that Socrates is mortal with a greater approach to certainty if we make our argument purely inductive than if we go by way of ‘all men are mortal’ and then use deduction.
This illustrates the difference between general