We saw in the preceding chapter that the principle of induction, while necessary to the validity of all arguments based on experience, is itself not capable of being proved by experience, and yet is unhesitatingly believed by every one, at least in all its concrete applications. In these characteristics the principle of induction does not stand alone. There are a number of other principles which cannot be proved or disproved by experience, but are used in arguments which start from what is experienced.
Some of these principles have even greater evidence than the principle of induction, and the knowledge of them has the same degree of certainty as the knowledge of the existence of sense-data. They constitute the means of drawing inferences from what is given in sensation; and if what we infer is to be true, it is just as necessary that our principles of inference should be true as it is that our data should be true. The principles of inference are apt to be overlooked because of their very obviousness—the assumption involved is assented to without our realizing that it is an assumption. But it is very important to realize the use of principles of inference, if a correct theory of knowledge is to be obtained; for our knowledge of them raises interesting and difficult questions.
In all our knowledge of general principles, what actually happens is that first of all we realize some particular application of the principle, and then we realize that the particularity is irrelevant, and that there is a generality which may equally truly be affirmed. This is of course familiar in such matters as teaching arithmetic: 'two and two are four' is first learnt in the case of some particular pair of couples, and then in some other particular case, and so on, until at last it becomes possible to see that it is true of any pair of couples. The same thing happens with logical principles. Suppose two men are discussing what day of the month it is. One of them says, 'At least you will admit that if yesterday was the 15th to-day must be the 16th.' 'Yes', says the other, 'I admit that.' 'And you know', the first continues, 'that yesterday was the 15th, because you dined with Jones, and your diary will tell you that was on the 15th.' 'Yes', says the second; 'therefore to-day is the 16th.'
Now such an argument is not hard to follow; and if it is granted that its premisses are true in fact, no one will deny that the conclusion must also be true. But it depends for its truth upon an instance of a general logical principle. The logical principle is as follows: 'Suppose it known that if this is true, then that is true. Suppose it also known that this is true, then it follows that that is true.' When it is the case that if this is true, that is true, we shall say that this 'implies' that, and that that 'follows from' this. Thus our principle states that if this implies that, and this is true, then that is true. In other words, 'anything implied by a true proposition is true', or 'whatever follows from a true proposition is true'.
This principle is really involved—at least, concrete instances of it are involved—in all demonstrations. Whenever one thing which we believe is used to prove something else, which we consequently believe, this principle is relevant. If any one asks: 'Why should I accept the results of valid arguments based on true premisses?' we can only answer by appealing to our principle. In fact, the truth of the principle is impossible to doubt, and its obviousness is so great that at first sight it seems almost trivial. Such principles, however, are not trivial to the philosopher, for they show that we may have indubitable knowledge which is in no way derived from objects of sense.
The above principle is merely one of a certain number of self-evident logical principles. Some at least of these principles must be granted before any argument or proof becomes possible. When some of them have been granted, others can be proved, though these others, so long as they are simple, are just as obvious as the principles taken for granted. For no very good reason, three of these principles have been singled out by tradition under the name of 'Laws of Thought'.
They are as follows:
(1) The law of identity: 'Whatever is, is.'
(2) The law of contradiction: 'Nothing can both be and not be.'
(3) The law of excluded middle: 'Everything must either be or not be.'
These three laws are samples of self-evident logical principles, but are not really more fundamental or more self-evident than various other similar principles: for instance, the one we considered just now, which states that what follows from a true premiss is true. The name 'laws of thought' is also misleading, for what is important is not the fact that we think in accordance with these laws, but the fact that things behave in accordance with them; in other words, the fact that when we think in accordance with them we think truly. But this is a large question, to which we must return at a later stage.
In addition to the logical principles which enable us to prove from a given premiss that something is certainly true, there are other logical principles which enable us to prove, from a given premiss, that there is a greater or less probability that something is true. An example of such principles—perhaps the most important example is the inductive principle, which we considered in the preceding chapter.
One of the great historic controversies in philosophy is the controversy between the two schools called respectively 'empiricists' and 'rationalists'. The empiricists—who are best represented by the British philosophers, Locke, Berkeley, and Hume—maintained that all our knowledge is derived from experience; the rationalists—who are represented by the Continental philosophers of the seventeenth century, especially Descartes and Leibniz—maintained that, in addition to what we know by experience, there are certain 'innate ideas' and 'innate principles', which we know independently of experience. It has now become possible to decide with some confidence as to the truth or falsehood of these opposing schools. It must be admitted, for the reasons already stated, that logical principles are known to us, and cannot be themselves proved by experience, since all proof presupposes them. In this, therefore, which was the most important point of the controversy, the rationalists were in the right.
On the other hand, even that part of our knowledge which is logically independent of experience (in the sense that experience cannot prove it) is yet elicited and caused by experience. It is on occasion of particular experiences that we become aware of the general laws which their connexions exemplify. It would certainly be absurd to suppose that there are innate principles in the sense that babies are born with a knowledge of everything which men know and which cannot be deduced from what is experienced. For this reason, the word 'innate' would not now be employed to describe our knowledge of logical principles. The phrase 'a priori' is less objectionable, and is more usual in modern writers. Thus, while admitting that all knowledge is elicited and caused by experience, we shall nevertheless hold that some knowledge is a priori, in the sense that the experience which makes us think of it does not suffice to prove it, but merely so directs our attention that we see its truth without requiring any proof from experience.
There is another point of great importance, in which the empiricists were in the right as against the rationalists. Nothing can be known to exist except by the help of experience. That is to say, if we wish to prove that something of which we have no direct experience exists, we must have among our premisses the existence of one or more things of which we have direct experience. Our belief that the Emperor of China exists, for example, rests upon testimony, and testimony consists, in the last analysis, of sense-data seen or heard in reading or being spoken to. Rationalists believed that, from general consideration as to what must be, they could deduce the existence of this or that in the actual world. In this belief they seem to have been mistaken. All the knowledge that we can acquire a priori concerning existence seems to be hypothetical: it tells us that if one thing exists, another must exist, or, more generally, that if one proposition is true, another must be true. This is exemplified by the principles we have already dealt with, such as 'if this is true, and this implies that, then that is true', or 'if this and that have been repeatedly found connected, they will probably be connected in the next instance in which one of them is found'. Thus the scope and power of a priori principles is strictly limited. All knowledge that something exists must be in part dependent on experience. When anything is known immediately, its existence is known by experience alone; when anything is proved to exist, without being known immediately, both experience and a priori principles must be required in the proof. Knowledge is called empirical when it rests wholly or partly upon experience. Thus all knowledge which asserts existence is empirical, and the only a priori knowledge concerning existence is hypothetical, giving connexions among things that exist or may exist, but not giving actual existence.
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 propositions known a priori such as 'two and two are four', and empirical generalizations such as 'all men are mortal'. In regard to the former, deduction is the right mode of argument, whereas in regard to the latter, induction is always theoretically preferable, and warrants a greater confidence in the truth of our conclusion, because all empirical generalizations are more uncertain than the instances of them.
We have now seen that there are propositions known a priori, and that among them are the propositions of logic and pure mathematics, as well as the fundamental propositions of ethics. The question which must next occupy us is this: How is it possible that there should be such knowledge? And more particularly, how can there be knowledge of general propositions in cases where we have not examined all the instances, and indeed never can examine them all, because their number is infinite? These questions, which were first brought prominently forward by the German philosopher Kant (1724-1804), are very difficult, and historically very important.
Immanuel Kant is generally regarded as the greatest of the modern philosophers. Though he lived through the Seven Years War and the French Revolution, he never interrupted his teaching of philosophy at Königsberg in East Prussia. His most distinctive contribution was the invention of what he called the 'critical' philosophy, which, assuming as a datum that there is knowledge of various kinds, inquired how such knowledge comes to be possible, and deduced, from the answer to this inquiry, many metaphysical results as to the nature of the world. Whether these results were valid may well be doubted. But Kant undoubtedly deserves credit for two things: first, for having perceived that we have a priori knowledge which is not purely 'analytic', i.e. such that the opposite would be self-contradictory, and secondly, for having made evident the philosophical importance of the theory of knowledge.
Before the time of Kant, it was generally held that whatever knowledge was a priori must be 'analytic'. What this word means will be best illustrated by examples. If I say, 'A bald man is a man', 'A plane figure is a figure', 'A bad poet is a poet', I make a purely analytic judgement: the subject spoken about is given as having at least two properties, of which one is singled out to be asserted of it. Such propositions as the above are trivial, and would never be enunciated in real life except by an orator preparing the way for a piece of sophistry. They are called 'analytic' because the predicate is obtained by merely analysing the subject. Before the time of Kant it was thought that all judgements of which we could be certain a priori were of this kind: that in all of them there was a predicate which was only part of the subject of which it was asserted. If this were so, we should be involved in a definite contradiction if we attempted to deny anything that could be known a priori. 'A bald man is not bald' would assert and deny baldness of the same man, and would therefore contradict itself. Thus according to the philosophers before Kant, the law of contradiction, which asserts that nothing can at the same time have and not have a certain property, sufficed to establish the truth of all a priori knowledge.
Hume (1711-76), who preceded Kant, accepting the usual view as to what makes knowledge a priori, discovered that, in many cases which had previously been supposed analytic, and notably in the case of cause and effect, the connexion was really synthetic. Before Hume, rationalists at least had supposed that the effect could be logically deduced from the cause, if only we had sufficient knowledge. Hume argued—correctly, as would now be generally admitted—that this could not be done. Hence he inferred the far more doubtful proposition that nothing could be known a priori about the connexion of cause and effect. Kant, who had been educated in the rationalist tradition, was much perturbed by Hume's scepticism, and endeavoured to find an answer to it. He perceived that not only the connexion of cause and effect, but all the propositions of arithmetic and geometry, are 'synthetic', i.e. not analytic: in all these propositions, no analysis of the subject will reveal the predicate. His stock instance was the proposition 7 + 5 = 12. He pointed out, quite truly, that 7 and 5 have to be put together to give 12: the idea of 12 is not contained in them, nor even in the idea of adding them together. Thus he was led to the conclusion that all pure mathematics, though a priori, is synthetic; and this conclusion raised a new problem of which he endeavoured to find the solution.
The question which Kant put at the beginning of his philosophy, namely 'How is pure mathematics possible?' is an interesting and difficult one, to which every philosophy which is not purely sceptical must find some answer. The answer of the pure empiricists, that our mathematical knowledge is derived by induction from particular instances, we have already seen to be inadequate, for two reasons: first, that the validity of the inductive principle itself cannot be proved by induction; secondly, that the general propositions of mathematics, such as 'two and two always make four', can obviously be known with certainty by consideration of a single instance, and gain nothing by enumeration of other cases in which they have been found to be true. Thus our knowledge of the general propositions of mathematics (and the same applies to logic) must be accounted for otherwise than our (merely probable) knowledge of empirical generalizations such as 'all men are mortal'.
The problem arises through the fact that such knowledge is general, whereas all experience is particular. It seems strange that we should apparently be able to know some truths in advance about particular things of which we have as yet no experience; but it cannot easily be doubted that logic and arithmetic will apply to such things. We do not know who will be the inhabitants of London a hundred years hence; but we know that any two of them and any other two of them will make four of them. This apparent power of anticipating facts about things of which we have no experience is certainly surprising. Kant's solution of the problem, though not valid in my opinion, is interesting. It is, however, very difficult, and is differently understood by different philosophers. We can, therefore, only give the merest outline of it, and even that will be thought misleading by many exponents of Kant's system.
What Kant maintained was that in all our experience there are two elements to be distinguished, the one due to the object (i.e. to what we have called the 'physical object'), the other due to our own nature. We saw, in discussing matter and sense-data, that the physical object is different from the associated sense-data, and that the sense-data are to be regarded as resulting from an interaction between the physical object and ourselves. So far, we are in agreement with Kant. But what is distinctive of Kant is the way in which he apportions the shares of ourselves and the physical object respectively. He considers that the crude material given in sensation—the colour, hardness, etc.—is due to the object, and that what we supply is the arrangement in space and time, and all the relations between sense-data which result from comparison or from considering one as the cause of the other or in any other way. His chief reason in favour of this view is that we seem to have a priori knowledge as to space and time and causality and comparison, but not as to the actual crude material of sensation. We can be sure, he says, that anything we shall ever experience must show the characteristics affirmed of it in our a priori knowledge, because these characteristics are due to our own nature, and therefore nothing can ever come into our experience without acquiring these characteristics.
The physical object, which he calls the 'thing in itself',(1) he regards as essentially unknowable; what can be known is the object as we have it in experience, which he calls the 'phenomenon'. The phenomenon, being a joint product of us and the thing in itself, is sure to have those characteristics which are due to us, and is therefore sure to conform to our a priori knowledge. Hence this knowledge, though true of all actual and possible experience, must not be supposed to apply outside experience. Thus in spite of the existence of a priori knowledge, we cannot know anything about the thing in itself or about what is not an actual or possible object of experience. In this way he tries to reconcile and harmonize the contentions of the rationalists with the arguments of the empiricists.
(1) Kant's 'thing in itself' is identical in definition with the physical object, namely, it is the cause of sensations. In the properties deduced from the definition it is not identical, since Kant held (in spite of some inconsistency as regards cause) that we can know that none of the categories are applicable to the 'thing in itself'.
Apart from minor grounds on which Kant's philosophy may be criticized, there is one main objection which seems fatal to any attempt to deal with the problem of a priori knowledge by his method. The thing to be accounted for is our certainty that the facts must always conform to logic and arithmetic. To say that logic and arithmetic are contributed by us does not account for this. Our nature is as much a fact of the existing world as anything, and there can be no certainty that it will remain constant. It might happen, if Kant is right, that to-morrow 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 to-morrow. 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.
Now what makes it natural to call this principle a law of thought is that it is by thought rather than by outward observation that we persuade ourselves of its necessary truth. When we have seen that a tree is a beech, we do not need to look again in order to ascertain whether it is also not a beech; thought alone makes us know that this is impossible. But the conclusion that the law of contradiction is a law of thought is nevertheless erroneous. What we believe, when we believe the law of contradiction, is not that the mind is so made that it must believe the law of contradiction. This belief is a subsequent result of psychological reflection, which presupposes the belief in the law of contradiction. The belief in the law of contradiction is a belief about things, not only about thoughts. It is not, e.g., the belief that if we think a certain tree is a beech, we cannot at the same time think that it is not a beech; it is the belief that if the tree is a beech, it cannot at the same time be not a beech. Thus the law of contradiction is about things, and not merely about thoughts; and although belief in the law of contradiction is a thought, the law of contradiction itself is not a thought, but a fact concerning the things in the world. If this, which we believe when we believe the law of contradiction, were not true of the things in the world, the fact that we were compelled to think it true would not save the law of contradiction from being false; and this shows that the law is not a law of thought.
A similar argument applies to any other a priori judgement. When we judge that two and two are four, we are not making a judgement about our thoughts, but about all actual or possible couples. The fact that our minds are so constituted as to believe that two and two are four, though it is true, is emphatically not what we assert when we assert that two and two are four. And no fact about the constitution of our minds could make it true that two and two are four. Thus our a priori knowledge, if it is not erroneous, is not merely knowledge about the constitution of our minds, but is applicable to whatever the world may contain, both what is mental and what is non-mental.
The fact seems to be that all our a priori knowledge is concerned with entities which do not, properly speaking, exist, either in the mental or in the physical world. These entities are such as can be named by parts of speech which are not substantives; they are such entities as qualities and relations. Suppose, for instance, that I am in my room. I exist, and my room exists; but does 'in' exist? Yet obviously the word 'in' has a meaning; it denotes a relation which holds between me and my room. This relation is something, although we cannot say that it exists in the same sense in which I and my room exist. The relation 'in' is something which we can think about and understand, for, if we could not understand it, we could not understand the sentence 'I am in my room'. Many philosophers, following Kant, have maintained that relations are the work of the mind, that things in themselves have no relations, but that the mind brings them together in one act of thought and thus produces the relations which it judges them to have.
This view, however, seems open to objections similar to those which we urged before against Kant. It seems plain that it is not thought which produces the truth of the proposition 'I am in my room'. It may be true that an earwig is in my room, even if neither I nor the earwig nor any one else is aware of this truth; for this truth concerns only the earwig and the room, and does not depend upon anything else. Thus relations, as we shall see more fully in the next chapter, must be placed in a world which is neither mental nor physical. This world is of great importance to philosophy, and in particular to the problems of a priori knowledge. In the next chapter we shall proceed to develop its nature and its bearing upon the questions with which we have been dealing.
At the end of the preceding chapter we saw that such entities as relations appear to have a being which is in some way different from that of physical objects, and also different from that of minds and from that of sense-data. In the present chapter we have to consider what is the nature of this kind of being, and also what objects there are that have this kind of being. We will begin with the latter question.
The problem with which we are now concerned is a very old one, since it was brought into philosophy by Plato. Plato's 'theory of ideas' is an attempt to solve this very problem, and in my opinion it is one of the most successful attempts hitherto made. The theory to be advocated in what follows is largely Plato's, with merely such modifications as time has shown to be necessary.
The way the problem arose for Plato was more or less as follows. Let us consider, say, such a notion as justice. If we ask ourselves what justice is, it is natural to proceed by considering this, that, and the other just act, with a view to discovering what they have in common. They must all, in some sense, partake of a common nature, which will be found in whatever is just and in nothing else. This common nature, in virtue of which they are all just, will be justice itself, the pure essence the admixture of which with facts of ordinary life produces the multiplicity of just acts. Similarly with any other word which may be applicable to common facts, such as 'whiteness' for example. The word will be applicable to a number of particular things because they all participate in a common nature or essence. This pure essence is what Plato calls an 'idea' or 'form'. (It must not be supposed that 'ideas', in his sense, exist in minds, though they may be apprehended by minds.) The 'idea' justice is not identical with anything that is just: it is something other than particular things, which particular things partake of. Not being particular, it cannot itself exist in the world of sense. Moreover it is not fleeting or changeable like the things of sense: it is eternally itself, immutable and indestructible.
Thus Plato is led to a supra-sensible world, more real than the common world of sense, the unchangeable world of ideas, which alone gives to the world of sense whatever pale reflection of reality may belong to it. The truly real world, for Plato, is the world of ideas; for whatever we may attempt to say about things in the world of sense, we can only succeed in saying that they participate in such and such ideas, which, therefore, constitute all their character. Hence it is easy to pass on into a mysticism. We may hope, in a mystic illumination, to see the ideas as we see objects of sense; and we may imagine that the ideas exist in heaven. These mystical developments are very natural, but the basis of the theory is in logic, and it is as based in logic that we have to consider it.
The word 'idea' has acquired, in the course of time, many associations which are quite misleading when applied to Plato's 'ideas'. We shall therefore use the word 'universal' instead of the word 'idea', to describe what Plato meant. The essence of the sort of entity that Plato meant is that it is opposed to the particular things that are given in sensation. We speak of whatever is given in sensation, or is of the same nature as things given in sensation, as a particular; by opposition to this, a universal will be anything which may be shared by many particulars, and has those characteristics which, as we saw, distinguish justice and whiteness from just acts and white things.
When we examine common words, we find that, broadly speaking, proper names stand for particulars, while other substantives, adjectives, prepositions, and verbs stand for universals. Pronouns stand for particulars, but are ambiguous: it is only by the context or the circumstances that we know what particulars they stand for. The word 'now' stands for a particular, namely the present moment; but like pronouns, it stands for an ambiguous particular, because the present is always changing.
It will be seen that no sentence can be made up without at least one word which denotes a universal. The nearest approach would be some such statement as 'I like this'. But even here the word 'like' denotes a universal, for I may like other things, and other people may like things. Thus all truths involve universals, and all knowledge of truths involves acquaintance with universals.
Seeing that nearly all the words to be found in the dictionary stand for universals, it is strange that hardly anybody except students of philosophy ever realizes that there are such entities as universals. We do not naturally dwell upon those words in a sentence which do not stand for particulars; and if we are forced to dwell upon a word which stands for a universal, we naturally think of it as standing for some one of the particulars that come under the universal. When, for example, we hear the sentence, 'Charles I's head was cut off', we may naturally enough think of Charles I, of Charles I's head, and of the operation of cutting off his head, which are all particulars; but we do not naturally dwell upon what is meant by the word 'head' or the word 'cut', which is a universal: We feel such words to be incomplete and insubstantial; they seem to demand a context before anything can be done with them. Hence we succeed in avoiding all notice of universals as such, until the study of philosophy forces them upon our attention.
Even among philosophers, we may say, broadly, that only those universals which are named by adjectives or substantives have been much or often recognized, while those named by verbs and prepositions have been usually overlooked. This omission has had a very great effect upon philosophy; it is hardly too much to say that most metaphysics, since Spinoza, has been largely determined by it. The way this has occurred is, in outline, as follows: Speaking generally, adjectives and common nouns express qualities or properties of single things, whereas prepositions and verbs tend to express relations between two or more things. Thus the neglect of prepositions and verbs led to the belief that every proposition can be regarded as attributing a property to a single thing, rather than as expressing a relation between two or more things. Hence it was supposed that, ultimately, there can be no such entities as relations between things. Hence either there can be only one thing in the universe, or, if there are many things, they cannot possibly interact in any way, since any interaction would be a relation, and relations are impossible.
The first of these views, advocated by Spinoza and held in our own day by Bradley and many other philosophers, is called monism; the second, advocated by Leibniz but not very common nowadays, is called monadism, because each of the isolated things is called a monad. Both these opposing philosophies, interesting as they are, result, in my opinion, from an undue attention to one sort of universals, namely the sort represented by adjectives and substantives rather than by verbs and prepositions.
As a matter of fact, if any one were anxious to deny altogether that there are such things as universals, we should find that we cannot strictly prove that there are such entities as qualities, i.e. the universals represented by adjectives and substantives, whereas we can prove that there must be relations, i.e. the sort of universals generally represented by verbs and prepositions. Let us take in illustration the universal whiteness. If we believe that there is such a universal, we shall say that things are white because they have the quality of whiteness. This view, however, was strenuously denied by Berkeley and Hume, who have been followed in this by later empiricists. The form which their denial took was to deny that there are such things as 'abstract ideas '. When we want to think of whiteness, they said, we form an image of some particular white thing, and reason concerning this particular, taking care not to deduce anything concerning it which we cannot see to be equally true of any other white thing. As an account of our actual mental processes, this is no doubt largely true. In geometry, for example, when we wish to prove something about all triangles, we draw a particular triangle and reason about it, taking care not to use any characteristic which it does not share with other triangles. The beginner, in order to avoid error, often finds it useful to draw several triangles, as unlike each other as possible, in order to make sure that his reasoning is equally applicable to all of them. But a difficulty emerges as soon as we ask ourselves how we know that a thing is white or a triangle. If we wish to avoid the universals whiteness and triangularity, we shall choose some particular patch of white or some particular triangle, and say that anything is white or a triangle if it has the right sort of resemblance to our chosen particular. But then the resemblance required will have to be a universal. Since there are many white things, the resemblance must hold between many pairs of particular white things; and this is the characteristic of a universal. It will be useless to say that there is a different resemblance for each pair, for then we shall have to say that these resemblances resemble each other, and thus at last we shall be forced to admit resemblance as a universal. The relation of resemblance, therefore, must be a true universal. And having been forced to admit this universal, we find that it is no longer worth while to invent difficult and unplausible theories to avoid the admission of such universals as whiteness and triangularity.
Berkeley and Hume failed to perceive this refutation of their rejection of 'abstract ideas', because, like their adversaries, they only thought of qualities, and altogether ignored relations as universals. We have therefore here another respect in which the rationalists appear to have been in the right as against the empiricists, although, owing to the neglect or denial of relations, the deductions made by rationalists were, if anything, more apt to be mistaken than those made by empiricists.
Having now seen that there must be such entities as universals, the next point to be proved is that their being is not merely mental. By this is meant that whatever being belongs to them is independent of their being thought of or in any way apprehended by minds. We have already touched on this subject at the end of the preceding chapter, but we must now consider more fully what sort of being it is that belongs to universals.
Consider such a proposition as 'Edinburgh is north of London'. Here we have a relation between two places, and it seems plain that the relation subsists independently of our knowledge of it. When we come to know that Edinburgh is north of London, we come to know something which has to do only with Edinburgh and London: we do not cause the truth of the proposition by coming to know it, on the contrary we merely apprehend a fact which was there before we knew it. The part of the earth's surface where Edinburgh stands would be north of the part where London stands, even if there were no human being to know about north and south, and even if there were no minds at all in the universe. This is, of course, denied by many philosophers, either for Berkeley's reasons or for Kant's. But we have already considered these reasons, and decided that they are inadequate. We may therefore now assume it to be true that nothing mental is presupposed in the fact that Edinburgh is north of London. But this fact involves the relation 'north of', which is a universal; and it would be impossible for the whole fact to involve nothing mental if the relation 'north of', which is a constituent part of the fact, did involve anything mental. Hence we must admit that the relation, like the terms it relates, is not dependent upon thought, but belongs to the independent world which thought apprehends but does not create.
This conclusion, however, is met by the difficulty that the relation 'north of' does not seem to exist in the same sense in which Edinburgh and London exist. If we ask 'Where and when does this relation exist?' the answer must be 'Nowhere and nowhen'. There is no place or time where we can find the relation 'north of'. It does not exist in Edinburgh any more than in London, for it relates the two and is neutral as between them. Nor can we say that it exists at any particular time. Now everything that can be apprehended by the senses or by introspection exists at some particular time. Hence the relation 'north of' is radically different from such things. It is neither in space nor in time, neither material nor mental; yet it is something.
It is largely the very peculiar kind of being that belongs to universals which has led many people to suppose that they are really mental. We can think of a universal, and our thinking then exists in a perfectly ordinary sense, like any other mental act. Suppose, for example, that we are thinking of whiteness. Then in one sense it may be said that whiteness is 'in our mind'. We have here the same ambiguity as we noted in discussing Berkeley in Chapter IV. In the strict sense, it is not whiteness that is in our mind, but the act of thinking of whiteness. The connected ambiguity in the word 'idea', which we noted at the same time, also causes confusion here. In one sense of this word, namely the sense in which it denotes the object of an act of thought, whiteness is an 'idea'. Hence, if the ambiguity is not guarded against, we may come to think that whiteness is an 'idea' in the other sense, i.e. an act of thought; and thus we come to think that whiteness is mental. But in so thinking, we rob it of its essential quality of universality. One man's act of thought is necessarily a different thing from another man's; one man's act of thought at one time is necessarily a different thing from the same man's act of thought at another time. Hence, if whiteness were the thought as opposed to its object, no two different men could think of it, and no one man could think of it twice. That which many different thoughts of whiteness have in common is their object, and this object is different from all of them. Thus universals are not thoughts, though when known they are the objects of thoughts.
We shall find it convenient only to speak of things existing when they are in time, that is to say, when we can point to some time at which they exist (not excluding the possibility of their existing at all times). Thus thoughts and feelings, minds and physical objects exist. But universals do not exist in this sense; we shall say that they subsist or have being, where 'being' is opposed to 'existence' as being timeless. The world of universals, therefore, may also be described as the world of being. The world of being is unchangeable, rigid, exact, delightful to the mathematician, the logician, the builder of metaphysical systems, and all who love perfection more than life. The world of existence is fleeting, vague, without sharp boundaries, without any clear plan or arrangement, but it contains all thoughts and feelings, all the data of sense, and all physical objects, everything that can do either good or harm, everything that makes any difference to the value of life and the world. According to our temperaments, we shall prefer the contemplation of the one or of the other. The one we do not prefer will probably seem to us a pale shadow of the one we prefer, and hardly worthy to be regarded as in any sense real. But the truth is that both have the same claim on our impartial attention, both are real, and both are important to the metaphysician. Indeed no sooner have we distinguished the two worlds than it becomes necessary to consider their relations.
But first of all we must examine our knowledge of universals. This consideration will occupy us in the following chapter, where we shall find that it solves the problem of a priori knowledge, from which we were first led to consider universals.