There is a growing library of philosophical articles and books on this page, which can be downloaded. All of these articles relate to the study of Logical Thinking. ************************************************************ The Problems of Philosophy Bertrand Russell PREFACE In the following pages I have confined myself in the main to those problems of philosophy in regard to which I thought it possible to say something positive and constructive, since merely negative criticism seemed out of place. For this reason, theory of knowledge occupies a larger space than metaphysics in the present volume, and some topics much discussed by philosophers are treated very briefly, if at all. I have derived valuable assistance from unpublished writings of G. E. Moore and J. M. Keynes: from the former, as regards the relations of sense-data to physical objects, and from the latter as regards probability and induction. I have also profited greatly by the criticisms and suggestions of Professor Gilbert Murray. 1912 CHAPTER I APPEARANCE AND REALITY Is there any knowledge in the world which is so certain that no reasonable man could doubt it? This question, which at first sight might not seem difficult, is really one of the most difficult that can be asked. When we have realized the obstacles in the way of a straightforward and confident answer, we shall be well launched on the study of philosophy--for philosophy is merely the attempt to answer such ultimate questions, not carelessly and dogmatically, as we do in ordinary life and even in the sciences, but critically, after exploring all that makes such questions puzzling, and after realizing all the vagueness and confusion that underlie our ordinary ideas. In daily life, we assume as certain many things which, on a closer scrutiny, are found to be so full of apparent contradictions that only a great amount of thought enables us to know what it is that we really may believe. In the search for certainty, it is natural to begin with our present experiences, and in some sense, no doubt, knowledge is to be derived from them. But any statement as to what it is that our immediate experiences make us know is very likely to be wrong. It seems to me that I am now sitting in a chair, at a table of a certain shape, on which I see sheets of paper with writing or print. By turning my head I see out of the window buildings and clouds and the sun. I believe that the sun is about ninety-three million miles from the earth; that it is a hot globe many times bigger than the earth; that, owing to the earth's rotation, it rises every morning, and will continue to do so for an indefinite time in the future. I believe that, if any other normal person comes into my room, he will see the same chairs and tables and books and papers as I see, and that the table which I see is the same as the table which I feel pressing against my arm. All this seems to be so evident as to be hardly worth stating, except in answer to a man who doubts whether I know anything. Yet all this may be reasonably doubted, and all of it requires much careful discussion before we can be sure that we have stated it in a form that is wholly true. To make our difficulties plain, let us concentrate attention on the table. To the eye it is oblong, brown and shiny, to the touch it is smooth and cool and hard; when I tap it, it gives out a wooden sound. Any one else who sees and feels and hears the table will agree with this description, so that it might seem as if no difficulty would arise; but as soon as we try to be more precise our troubles begin. Although I believe that the table is 'really' of the same colour all over, the parts that reflect the light look much brighter than the other parts, and some parts look white because of reflected light. I know that, if I move, the parts that reflect the light will be different, so that the apparent distribution of colours on the table will change. It follows that if several people are looking at the table at the same moment, no two of them will see exactly the same distribution of colours, because no two can see it from exactly the same point of view, and any change in the point of view makes some change in the way the light is reflected. For most practical purposes these differences are unimportant, but to the painter they are all-important: the painter has to unlearn the habit of thinking that things seem to have the colour which common sense says they 'really' have, and to learn the habit of seeing things as they appear. Here we have already the beginning of one of the distinctions that cause most trouble in philosophy--the distinction between 'appearance' and 'reality', between what things seem to be and what they are. The painter wants to know what things seem to be, the practical man and the philosopher want to know what they are; but the philosopher's wish to know this is stronger than the practical man's, and is more troubled by knowledge as to the difficulties of answering the question. To return to the table. It is evident from what we have found, that there is no colour which pre-eminently appears to be _the_ colour of the table, or even of any one particular part of the table--it appears to be of different colours from different points of view, and there is no reason for regarding some of these as more really its colour than others. And we know that even from a given point of view the colour will seem different by artificial light, or to a colour-blind man, or to a man wearing blue spectacles, while in the dark there will be no colour at all, though to touch and hearing the table will be unchanged. This colour is not something which is inherent in the table, but something depending upon the table and the spectator and the way the light falls on the table. When, in ordinary life, we speak of _the_ colour of the table, we only mean the sort of colour which it will seem to have to a normal spectator from an ordinary point of view under usual conditions of light. But the other colours which appear under other conditions have just as good a right to be considered real; and therefore, to avoid favouritism, we are compelled to deny that, in itself, the table has any one particular colour. The same thing applies to the texture. With the naked eye one can see the grain, but otherwise the table looks smooth and even. If we looked at it through a microscope, we should see roughnesses and hills and valleys, and all sorts of differences that are imperceptible to the naked eye. Which of these is the 'real' table? We are naturally tempted to say that what we see through the microscope is more real, but that in turn would be changed by a still more powerful microscope. If, then, we cannot trust what we see with the naked eye, why should we trust what we see through a microscope? Thus, again, the confidence in our senses with which we began deserts us. The shape of the table is no better. We are all in the habit of judging as to the 'real' shapes of things, and we do this so unreflectingly that we come to think we actually see the real shapes. But, in fact, as we all have to learn if we try to draw, a given thing looks different in shape from every different point of view. If our table is 'really' rectangular, it will look, from almost all points of view, as if it had two acute angles and two obtuse angles. If opposite sides are parallel, they will look as if they converged to a point away from the spectator; if they are of equal length, they will look as if the nearer side were longer. All these things are not commonly noticed in looking at a table, because experience has taught us to construct the 'real' shape from the apparent shape, and the 'real' shape is what interests us as practical men. But the 'real' shape is not what we see; it is something inferred from what we see. And what we see is constantly changing in shape as we move about the room; so that here again the senses seem not to give us the truth about the table itself, but only about the appearance of the table. Similar difficulties arise when we consider the sense of touch. It is true that the table always gives us a sensation of hardness, and we feel that it resists pressure. But the sensation we obtain depends upon how hard we press the table and also upon what part of the body we press with; thus the various sensations due to various pressures or various parts of the body cannot be supposed to reveal _directly_ any definite property of the table, but at most to be _signs_ of some property which perhaps _causes_ all the sensations, but is not actually apparent in any of them. And the same applies still more obviously to the sounds which can be elicited by rapping the table. Thus it becomes evident that the real table, if there is one, is not the same as what we immediately experience by sight or touch or hearing. The real table, if there is one, is not _immediately_ known to us at all, but must be an inference from what is immediately known. Hence, two very difficult questions at once arise; namely, (1) Is there a real table at all? (2) If so, what sort of object can it be? It will help us in considering these questions to have a few simple terms of which the meaning is definite and clear. Let us give the name of 'sense-data' to the things that are immediately known in sensation: such things as colours, sounds, smells, hardnesses, roughnesses, and so on. We shall give the name 'sensation' to the experience of being immediately aware of these things. Thus, whenever we see a colour, we have a sensation _of_ the colour, but the colour itself is a sense-datum, not a sensation. The colour is that _of_ which we are immediately aware, and the awareness itself is the sensation. It is plain that if we are to know anything about the table, it must be by means of the sense-data--brown colour, oblong shape, smoothness, etc.--which we associate with the table; but, for the reasons which have been given, we cannot say that the table is the sense-data, or even that the sense-data are directly properties of the table. Thus a problem arises as to the relation of the sense-data to the real table, supposing there is such a thing. The real table, if it exists, we will call a 'physical object'. Thus we have to consider the relation of sense-data to physical objects. The collection of all physical objects is called 'matter'. Thus our two questions may be re-stated as follows: (1) Is there any such thing as matter? (2) If so, what is its nature? The philosopher who first brought prominently forward the reasons for regarding the immediate objects of our senses as not existing independently of us was Bishop Berkeley (1685-1753). His _Three Dialogues between Hylas and Philonous, in Opposition to Sceptics and Atheists_, undertake to prove that there is no such thing as matter at all, and that the world consists of nothing but minds and their ideas. Hylas has hitherto believed in matter, but he is no match for Philonous, who mercilessly drives him into contradictions and paradoxes, and makes his own denial of matter seem, in the end, as if it were almost common sense. The arguments employed are of very different value: some are important and sound, others are confused or quibbling. But Berkeley retains the merit of having shown that the existence of matter is capable of being denied without absurdity, and that if there are any things that exist independently of us they cannot be the immediate objects of our sensations. There are two different questions involved when we ask whether matter exists, and it is important to keep them clear. We commonly mean by 'matter' something which is opposed to 'mind', something which we think of as occupying space and as radically incapable of any sort of thought or consciousness. It is chiefly in this sense that Berkeley denies matter; that is to say, he does not deny that the sense-data which we commonly take as signs of the existence of the table are really signs of the existence of _something_ independent of us, but he does deny that this something is non-mental, that it is neither mind nor ideas entertained by some mind. He admits that there must be something which continues to exist when we go out of the room or shut our eyes, and that what we call seeing the table does really give us reason for believing in something which persists even when we are not seeing it. But he thinks that this something cannot be radically different in nature from what we see, and cannot be independent of seeing altogether, though it must be independent of _our_ seeing. He is thus led to regard the 'real' table as an idea in the mind of God. Such an idea has the required permanence and independence of ourselves, without being--as matter would otherwise be--something quite unknowable, in the sense that we can only infer it, and can never be directly and immediately aware of it. Other philosophers since Berkeley have also held that, although the table does not depend for its existence upon being seen by me, it does depend upon being seen (or otherwise apprehended in sensation) by _some_ mind--not necessarily the mind of God, but more often the whole collective mind of the universe. This they hold, as Berkeley does, chiefly because they think there can be nothing real--or at any rate nothing known to be real except minds and their thoughts and feelings. We might state the argument by which they support their view in some such way as this: 'Whatever can be thought of is an idea in the mind of the person thinking of it; therefore nothing can be thought of except ideas in minds; therefore anything else is inconceivable, and what is inconceivable cannot exist.' Such an argument, in my opinion, is fallacious; and of course those who advance it do not put it so shortly or so crudely. But whether valid or not, the argument has been very widely advanced in one form or another; and very many philosophers, perhaps a majority, have held that there is nothing real except minds and their ideas. Such philosophers are called 'idealists'. When they come to explaining matter, they either say, like Berkeley, that matter is really nothing but a collection of ideas, or they say, like Leibniz (1646-1716), that what appears as matter is really a collection of more or less rudimentary minds. But these philosophers, though they deny matter as opposed to mind, nevertheless, in another sense, admit matter. It will be remembered that we asked two questions; namely, (1) Is there a real table at all? (2) If so, what sort of object can it be? Now both Berkeley and Leibniz admit that there is a real table, but Berkeley says it is certain ideas in the mind of God, and Leibniz says it is a colony of souls. Thus both of them answer our first question in the affirmative, and only diverge from the views of ordinary mortals in their answer to our second question. In fact, almost all philosophers seem to be agreed that there is a real table: they almost all agree that, however much our sense-data--colour, shape, smoothness, etc.--may depend upon us, yet their occurrence is a sign of something existing independently of us, something differing, perhaps, completely from our sense-data, and yet to be regarded as causing those sense-data whenever we are in a suitable relation to the real table. Now obviously this point in which the philosophers are agreed--the view that there _is_ a real table, whatever its nature may be--is vitally important, and it will be worth while to consider what reasons there are for accepting this view before we go on to the further question as to the nature of the real table. Our next chapter, therefore, will be concerned with the reasons for supposing that there is a real table at all. Before we go farther it will be well to consider for a moment what it is that we have discovered so far. It has appeared that, if we take any common object of the sort that is supposed to be known by the senses, what the senses _immediately_ tell us is not the truth about the object as it is apart from us, but only the truth about certain sense-data which, so far as we can see, depend upon the relations between us and the object. Thus what we directly see and feel is merely 'appearance', which we believe to be a sign of some 'reality' behind. But if the reality is not what appears, have we any means of knowing whether there is any reality at all? And if so, have we any means of finding out what it is like? Such questions are bewildering, and it is difficult to know that even the strangest hypotheses may not be true. Thus our familiar table, which has roused but the slightest thoughts in us hitherto, has become a problem full of surprising possibilities. The one thing we know about it is that it is not what it seems. Beyond this modest result, so far, we have the most complete liberty of conjecture. Leibniz tells us it is a community of souls: Berkeley tells us it is an idea in the mind of God; sober science, scarcely less wonderful, tells us it is a vast collection of electric charges in violent motion. Among these surprising possibilities, doubt suggests that perhaps there is no table at all. Philosophy, if it cannot _answer_ so many questions as we could wish, has at least the power of _asking_ questions which increase the interest of the world, and show the strangeness and wonder lying just below the surface even in the commonest things of daily life. **************************************** CHAPTER XII TRUTH AND FALSEHOOD Our knowledge of truths, unlike our knowledge of things, has an opposite, namely _error_. So far as things are concerned, we may know them or not know them, but there is no positive state of mind which can be described as erroneous knowledge of things, so long, at any rate, as we confine ourselves to knowledge by acquaintance. Whatever we are acquainted with must be something; we may draw wrong inferences from our acquaintance, but the acquaintance itself cannot be deceptive. Thus there is no dualism as regards acquaintance. But as regards knowledge of truths, there is a dualism. We may believe what is false as well as what is true. We know that on very many subjects different people hold different and incompatible opinions: hence some beliefs must be erroneous. Since erroneous beliefs are often held just as strongly as true beliefs, it becomes a difficult question how they are to be distinguished from true beliefs. How are we to know, in a given case, that our belief is not erroneous? This is a question of the very greatest difficulty, to which no completely satisfactory answer is possible. There is, however, a preliminary question which is rather less difficult, and that is: What do we _mean_ by truth and falsehood? It is this preliminary question which is to be considered in this chapter. In this chapter we are not asking how we can know whether a belief is true or false: we are asking what is meant by the question whether a belief is true or false. It is to be hoped that a clear answer to this question may help us to obtain an answer to the question what beliefs are true, but for the present we ask only 'What is truth?' and 'What is falsehood?' not 'What beliefs are true?' and 'What beliefs are false?' It is very important to keep these different questions entirely separate, since any confusion between them is sure to produce an answer which is not really applicable to either. There are three points to observe in the attempt to discover the nature of truth, three requisites which any theory must fulfil. (1) Our theory of truth must be such as to admit of its opposite, falsehood. A good many philosophers have failed adequately to satisfy this condition: they have constructed theories according to which all our thinking ought to have been true, and have then had the greatest difficulty in finding a place for falsehood. In this respect our theory of belief must differ from our theory of acquaintance, since in the case of acquaintance it was not necessary to take account of any opposite. (2) It seems fairly evident that if there were no beliefs there could be no falsehood, and no truth either, in the sense in which truth is correlative to falsehood. If we imagine a world of mere matter, there would be no room for falsehood in such a world, and although it would contain what may be called 'facts', it would not contain any truths, in the sense in which truths are things of the same kind as falsehoods. In fact, truth and falsehood are properties of beliefs and statements: hence a world of mere matter, since it would contain no beliefs or statements, would also contain no truth or falsehood. (3) But, as against what we have just said, it is to be observed that the truth or falsehood of a belief always depends upon something which lies outside the belief itself. If I believe that Charles I died on the scaffold, I believe truly, not because of any intrinsic quality of my belief, which could be discovered by merely examining the belief, but because of an historical event which happened two and a half centuries ago. If I believe that Charles I died in his bed, I believe falsely: no degree of vividness in my belief, or of care in arriving at it, prevents it from being false, again because of what happened long ago, and not because of any intrinsic property of my belief. Hence, although truth and falsehood are properties of beliefs, they are properties dependent upon the relations of the beliefs to other things, not upon any internal quality of the beliefs. The third of the above requisites leads us to adopt the view--which has on the whole been commonest among philosophers--that truth consists in some form of correspondence between belief and fact. It is, however, by no means an easy matter to discover a form of correspondence to which there are no irrefutable objections. By this partly--and partly by the feeling that, if truth consists in a correspondence of thought with something outside thought, thought can never know when truth has been attained--many philosophers have been led to try to find some definition of truth which shall not consist in relation to something wholly outside belief. The most important attempt at a definition of this sort is the theory that truth consists in _coherence_. It is said that the mark of falsehood is failure to cohere in the body of our beliefs, and that it is the essence of a truth to form part of the completely rounded system which is The Truth. There is, however, a great difficulty in this view, or rather two great difficulties. The first is that there is no reason to suppose that only _one_ coherent body of beliefs is possible. It may be that, with sufficient imagination, a novelist might invent a past for the world that would perfectly fit on to what we know, and yet be quite different from the real past. In more scientific matters, it is certain that there are often two or more hypotheses which account for all the known facts on some subject, and although, in such cases, men of science endeavour to find facts which will rule out all the hypotheses except one, there is no reason why they should always succeed. In philosophy, again, it seems not uncommon for two rival hypotheses to be both able to account for all the facts. Thus, for example, it is possible that life is one long dream, and that the outer world has only that degree of reality that the objects of dreams have; but although such a view does not seem inconsistent with known facts, there is no reason to prefer it to the common-sense view, according to which other people and things do really exist. Thus coherence as the definition of truth fails because there is no proof that there can be only one coherent system. The other objection to this definition of truth is that it assumes the meaning of 'coherence' known, whereas, in fact, 'coherence' presupposes the truth of the laws of logic. Two propositions are coherent when both may be true, and are incoherent when one at least must be false. Now in order to know whether two propositions can both be true, we must know such truths as the law of contradiction. For example, the two propositions, 'this tree is a beech' and 'this tree is not a beech', are not coherent, because of the law of contradiction. But if the law of contradiction itself were subjected to the test of coherence, we should find that, if we choose to suppose it false, nothing will any longer be incoherent with anything else. Thus the laws of logic supply the skeleton or framework within which the test of coherence applies, and they themselves cannot be established by this test. For the above two reasons, coherence cannot be accepted as giving the _meaning_ of truth, though it is often a most important _test_ of truth after a certain amount of truth has become known. Hence we are driven back to _correspondence with fact_ as constituting the nature of truth. It remains to define precisely what we mean by 'fact', and what is the nature of the correspondence which must subsist between belief and fact, in order that belief may be true. In accordance with our three requisites, we have to seek a theory of truth which (1) allows truth to have an opposite, namely falsehood, (2) makes truth a property of beliefs, but (3) makes it a property wholly dependent upon the relation of the beliefs to outside things. The necessity of allowing for falsehood makes it impossible to regard belief as a relation of the mind to a single object, which could be said to be what is believed. If belief were so regarded, we should find that, like acquaintance, it would not admit of the opposition of truth and falsehood, but would have to be always true. This may be made clear by examples. Othello believes falsely that Desdemona loves Cassio. We cannot say that this belief consists in a relation to a single object, 'Desdemona's love for Cassio', for if there were such an object, the belief would be true. There is in fact no such object, and therefore Othello cannot have any relation to such an object. Hence his belief cannot possibly consist in a relation to this object. It might be said that his belief is a relation to a different object, namely 'that Desdemona loves Cassio'; but it is almost as difficult to suppose that there is such an object as this, when Desdemona does not love Cassio, as it was to suppose that there is 'Desdemona's love for Cassio'. Hence it will be better to seek for a theory of belief which does not make it consist in a relation of the mind to a single object. It is common to think of relations as though they always held between two terms, but in fact this is not always the case. Some relations demand three terms, some four, and so on. Take, for instance, the relation 'between'. So long as only two terms come in, the relation 'between' is impossible: three terms are the smallest number that render it possible. York is between London and Edinburgh; but if London and Edinburgh were the only places in the world, there could be nothing which was between one place and another. Similarly _jealousy_ requires three people: there can be no such relation that does not involve three at least. Such a proposition as 'A wishes B to promote C's marriage with D' involves a relation of four terms; that is to say, A and B and C and D all come in, and the relation involved cannot be expressed otherwise than in a form involving all four. Instances might be multiplied indefinitely, but enough has been said to show that there are relations which require more than two terms before they can occur. The relation involved in _judging_ or _believing_ must, if falsehood is to be duly allowed for, be taken to be a relation between several terms, not between two. When Othello believes that Desdemona loves Cassio, he must not have before his mind a single object, 'Desdemona's love for Cassio', or 'that Desdemona loves Cassio ', for that would require that there should be objective falsehoods, which subsist independently of any minds; and this, though not logically refutable, is a theory to be avoided if possible. Thus it is easier to account for falsehood if we take judgement to be a relation in which the mind and the various objects concerned all occur severally; that is to say, Desdemona and loving and Cassio must all be terms in the relation which subsists when Othello believes that Desdemona loves Cassio. This relation, therefore, is a relation of four terms, since Othello also is one of the terms of the relation. When we say that it is a relation of four terms, we do not mean that Othello has a certain relation to Desdemona, and has the same relation to loving and also to Cassio. This may be true of some other relation than believing; but believing, plainly, is not a relation which Othello has to _each_ of the three terms concerned, but to _all_ of them together: there is only one example of the relation of believing involved, but this one example knits together four terms. Thus the actual occurrence, at the moment when Othello is entertaining his belief, is that the relation called 'believing' is knitting together into one complex whole the four terms Othello, Desdemona, loving, and Cassio. What is called belief or judgement is nothing but this relation of believing or judging, which relates a mind to several things other than itself. An _act_ of belief or of judgement is the occurrence between certain terms at some particular time, of the relation of believing or judging. We are now in a position to understand what it is that distinguishes a true judgement from a false one. For this purpose we will adopt certain definitions. In every act of judgement there is a mind which judges, and there are terms concerning which it judges. We will call the mind the _subject_ in the judgement, and the remaining terms the _objects_. Thus, when Othello judges that Desdemona loves Cassio, Othello is the subject, while the objects are Desdemona and loving and Cassio. The subject and the objects together are called the _constituents_ of the judgement. It will be observed that the relation of judging has what is called a 'sense' or 'direction'. We may say, metaphorically, that it puts its objects in a certain _order_, which we may indicate by means of the order of the words in the sentence. (In an inflected language, the same thing will be indicated by inflections, e.g. by the difference between nominative and accusative.) Othello's judgement that Cassio loves Desdemona differs from his judgement that Desdemona loves Cassio, in spite of the fact that it consists of the same constituents, because the relation of judging places the constituents in a different order in the two cases. Similarly, if Cassio judges that Desdemona loves Othello, the constituents of the judgement are still the same, but their order is different. This property of having a 'sense' or 'direction' is one which the relation of judging shares with all other relations. The 'sense' of relations is the ultimate source of order and series and a host of mathematical concepts; but we need not concern ourselves further with this aspect. We spoke of the relation called 'judging' or 'believing' as knitting together into one complex whole the subject and the objects. In this respect, judging is exactly like every other relation. Whenever a relation holds between two or more terms, it unites the terms into a complex whole. If Othello loves Desdemona, there is such a complex whole as 'Othello's love for Desdemona'. The terms united by the relation may be themselves complex, or may be simple, but the whole which results from their being united must be complex. Wherever there is a relation which relates certain terms, there is a complex object formed of the union of those terms; and conversely, wherever there is a complex object, there is a relation which relates its constituents. When an act of believing occurs, there is a complex, in which 'believing' is the uniting relation, and subject and objects are arranged in a certain order by the 'sense' of the relation of believing. Among the objects, as we saw in considering 'Othello believes that Desdemona loves Cassio', one must be a relation--in this instance, the relation 'loving'. But this relation, as it occurs in the act of believing, is not the relation which creates the unity of the complex whole consisting of the subject and the objects. The relation 'loving', as it occurs in the act of believing, is one of the objects--it is a brick in the structure, not the cement. The cement is the relation 'believing'. When the belief is _true_, there is another complex unity, in which the relation which was one of the objects of the belief relates the other objects. Thus, e.g., if Othello believes _truly_ that Desdemona loves Cassio, then there is a complex unity, 'Desdemona's love for Cassio', which is composed exclusively of the _objects_ of the belief, in the same order as they had in the belief, with the relation which was one of the objects occurring now as the cement that binds together the other objects of the belief. On the other hand, when a belief is _false_, there is no such complex unity composed only of the objects of the belief. If Othello believes _falsely_ that Desdemona loves Cassio, then there is no such complex unity as 'Desdemona's love for Cassio'. Thus a belief is _true_ when it _corresponds_ to a certain associated complex, and _false_ when it does not. Assuming, for the sake of definiteness, that the objects of the belief are two terms and a relation, the terms being put in a certain order by the 'sense' of the believing, then if the two terms in that order are united by the relation into a complex, the belief is true; if not, it is false. This constitutes the definition of truth and falsehood that we were in search of. Judging or believing is a certain complex unity of which a mind is a constituent; if the remaining constituents, taken in the order which they have in the belief, form a complex unity, then the belief is true; if not, it is false. Thus although truth and falsehood are properties of beliefs, yet they are in a sense extrinsic properties, for the condition of the truth of a belief is something not involving beliefs, or (in general) any mind at all, but only the _objects_ of the belief. A mind, which believes, believes truly when there is a _corresponding_ complex not involving the mind, but only its objects. This correspondence ensures truth, and its absence entails falsehood. Hence we account simultaneously for the two facts that beliefs (a) depend on minds for their _existence_, (b) do not depend on minds for their _truth_. We may restate our theory as follows: If we take such a belief as 'Othello believes that Desdemona loves Cassio', we will call Desdemona and Cassio the _object-terms_, and loving the _object-relation_. If there is a complex unity 'Desdemona's love for Cassio', consisting of the object-terms related by the object-relation in the same order as they have in the belief, then this complex unity is called the _fact corresponding to the belief_. Thus a belief is true when there is a corresponding fact, and is false when there is no corresponding fact. It will be seen that minds do not _create_ truth or falsehood. They create beliefs, but when once the beliefs are created, the mind cannot make them true or false, except in the special case where they concern future things which are within the power of the person believing, such as catching trains. What makes a belief true is a _fact_, and this fact does not (except in exceptional cases) in any way involve the mind of the person who has the belief. Having now decided what we _mean_ by truth and falsehood, we have next to consider what ways there are of knowing whether this or that belief is true or false. This consideration will occupy the next chapter. CHAPTER XIII KNOWLEDGE, ERROR, AND PROBABLE OPINION The question as to what we mean by truth and falsehood, which we considered in the preceding chapter, is of much less interest than the question as to how we can know what is true and what is false. This question will occupy us in the present chapter. There can be no doubt that _some_ of our beliefs are erroneous; thus we are led to inquire what certainty we can ever have that such and such a belief is not erroneous. In other words, can we ever _know_ anything at all, or do we merely sometimes by good luck believe what is true? Before we can attack this question, we must, however, first decide what we mean by 'knowing', and this question is not so easy as might be supposed. At first sight we might imagine that knowledge could be defined as 'true belief'. When what we believe is true, it might be supposed that we had achieved a knowledge of what we believe. But this would not accord with the way in which the word is commonly used. To take a very trivial instance: If a man believes that the late Prime Minister's last name began with a B, he believes what is true, since the late Prime Minister was Sir Henry Campbell Bannerman. But if he believes that Mr. Balfour was the late Prime Minister, he will still believe that the late Prime Minister's last name began with a B, yet this belief, though true, would not be thought to constitute knowledge. If a newspaper, by an intelligent anticipation, announces the result of a battle before any telegram giving the result has been received, it may by good fortune announce what afterwards turns out to be the right result, and it may produce belief in some of its less experienced readers. But in spite of the truth of their belief, they cannot be said to have knowledge. Thus it is clear that a true belief is not knowledge when it is deduced from a false belief. In like manner, a true belief cannot be called knowledge when it is deduced by a fallacious process of reasoning, even if the premisses from which it is deduced are true. If I know that all Greeks are men and that Socrates was a man, and I infer that Socrates was a Greek, I cannot be said to _know_ that Socrates was a Greek, because, although my premisses and my conclusion are true, the conclusion does not follow from the premisses. But are we to say that nothing is knowledge except what is validly deduced from true premisses? Obviously we cannot say this. Such a definition is at once too wide and too narrow. In the first place, it is too wide, because it is not enough that our premisses should be _true_, they must also be _known_. The man who believes that Mr. Balfour was the late Prime Minister may proceed to draw valid deductions from the true premiss that the late Prime Minister's name began with a B, but he cannot be said to _know_ the conclusions reached by these deductions. Thus we shall have to amend our definition by saying that knowledge is what is validly deduced from _known_ premisses. This, however, is a circular definition: it assumes that we already know what is meant by 'known premisses'. It can, therefore, at best define one sort of knowledge, the sort we call derivative, as opposed to intuitive knowledge. We may say: '_Derivative_ knowledge is what is validly deduced from premisses known intuitively'. In this statement there is no formal defect, but it leaves the definition of _intuitive_ knowledge still to seek. Leaving on one side, for the moment, the question of intuitive knowledge, let us consider the above suggested definition of derivative knowledge. The chief objection to it is that it unduly limits knowledge. It constantly happens that people entertain a true belief, which has grown up in them because of some piece of intuitive knowledge from which it is capable of being validly inferred, but from which it has not, as a matter of fact, been inferred by any logical process. Take, for example, the beliefs produced by reading. If the newspapers announce the death of the King, we are fairly well justified in believing that the King is dead, since this is the sort of announcement which would not be made if it were false. And we are quite amply justified in believing that the newspaper asserts that the King is dead. But here the intuitive knowledge upon which our belief is based is knowledge of the existence of sense-data derived from looking at the print which gives the news. This knowledge scarcely rises into consciousness, except in a person who cannot read easily. A child may be aware of the shapes of the letters, and pass gradually and painfully to a realization of their meaning. But anybody accustomed to reading passes at once to what the letters mean, and is not aware, except on reflection, that he has derived this knowledge from the sense-data called seeing the printed letters. Thus although a valid inference from the-letters to their meaning is possible, and _could_ be performed by the reader, it is not in fact performed, since he does not in fact perform any operation which can be called logical inference. Yet it would be absurd to say that the reader does not _know_ that the newspaper announces the King's death. We must, therefore, admit as derivative knowledge whatever is the result of intuitive knowledge even if by mere association, provided there _is_ a valid logical connexion, and the person in question could become aware of this connexion by reflection. There are in fact many ways, besides logical inference, by which we pass from one belief to another: the passage from the print to its meaning illustrates these ways. These ways may be called 'psychological inference'. We shall, then, admit such psychological inference as a means of obtaining derivative knowledge, provided there is a discoverable logical inference which runs parallel to the psychological inference. This renders our definition of derivative knowledge less precise than we could wish, since the word 'discoverable' is vague: it does not tell us how much reflection may be needed in order to make the discovery. But in fact 'knowledge' is not a precise conception: it merges into 'probable opinion', as we shall see more fully in the course of the present chapter. A very precise definition, therefore, should not be sought, since any such definition must be more or less misleading. The chief difficulty in regard to knowledge, however, does not arise over derivative knowledge, but over intuitive knowledge. So long as we are dealing with derivative knowledge, we have the test of intuitive knowledge to fall back upon. But in regard to intuitive beliefs, it is by no means easy to discover any criterion by which to distinguish some as true and others as erroneous. In this question it is scarcely possible to reach any very precise result: all our knowledge of truths is infected with some degree of doubt, and a theory which ignored this fact would be plainly wrong. Something may be done, however, to mitigate the difficulties of the question. Our theory of truth, to begin with, supplies the possibility of distinguishing certain truths as _self-evident_ in a sense which ensures infallibility. When a belief is true, we said, there is a corresponding fact, in which the several objects of the belief form a single complex. The belief is said to constitute _knowledge_ of this fact, provided it fulfils those further somewhat vague conditions which we have been considering in the present chapter. But in regard to any fact, besides the knowledge constituted by belief, we may also have the kind of knowledge constituted by _perception_ (taking this word in its widest possible sense). For example, if you know the hour of the sunset, you can at that hour know the fact that the sun is setting: this is knowledge of the fact by way of knowledge of _truths_; but you can also, if the weather is fine, look to the west and actually see the setting sun: you then know the same fact by the way of knowledge of _things_. Thus in regard to any complex fact, there are, theoretically, two ways in which it may be known: (1) by means of a judgement, in which its several parts are judged to be related as they are in fact related; (2) by means of _acquaintance_ with the complex fact itself, which may (in a large sense) be called perception, though it is by no means confined to objects of the senses. Now it will be observed that the second way of knowing a complex fact, the way of acquaintance, is only possible when there really is such a fact, while the first way, like all judgement, is liable to error. The second way gives us the complex whole, and is therefore only possible when its parts do actually have that relation which makes them combine to form such a complex. The first way, on the contrary, gives us the parts and the relation severally, and demands only the reality of the parts and the relation: the relation may not relate those parts in that way, and yet the judgement may occur. It will be remembered that at the end of Chapter XI we suggested that there might be two kinds of self-evidence, one giving an absolute guarantee of truth, the other only a partial guarantee. These two kinds can now be distinguished. We may say that a truth is self-evident, in the first and most absolute sense, when we have acquaintance with the fact which corresponds to the truth. When Othello believes that Desdemona loves Cassio, the corresponding fact, if his belief were true, would be 'Desdemona's love for Cassio'. This would be a fact with which no one could have acquaintance except Desdemona; hence in the sense of self-evidence that we are considering, the truth that Desdemona loves Cassio (if it were a truth) could only be self-evident to Desdemona. All mental facts, and all facts concerning sense-data, have this same privacy: there is only one person to whom they can be self-evident in our present sense, since there is only one person who can be acquainted with the mental things or the sense-data concerned. Thus no fact about any particular existing thing can be self-evident to more than one person. On the other hand, facts about universals do not have this privacy. Many minds may be acquainted with the same universals; hence a relation between universals may be known by acquaintance to many different people. In all cases where we know by acquaintance a complex fact consisting of certain terms in a certain relation, we say that the truth that these terms are so related has the first or absolute kind of self-evidence, and in these cases the judgement that the terms are so related _must_ be true. Thus this sort of self-evidence is an absolute guarantee of truth. But although this sort of self-evidence is an absolute guarantee of truth, it does not enable us to be _absolutely_ certain, in the case of any given judgement, that the judgement in question is true. Suppose we first perceive the sun shining, which is a complex fact, and thence proceed to make the judgement 'the sun is shining'. In passing from the perception to the judgement, it is necessary to analyse the given complex fact: we have to separate out 'the sun' and 'shining' as constituents of the fact. In this process it is possible to commit an error; hence even where a _fact_ has the first or absolute kind of self-evidence, a judgement believed to correspond to the fact is not absolutely infallible, because it may not really correspond to the fact. But if it does correspond (in the sense explained in the preceding chapter), then it _must_ be true. The second sort of self-evidence will be that which belongs to judgements in the first instance, and is not derived from direct perception of a fact as a single complex whole. This second kind of self-evidence will have degrees, from the very highest degree down to a bare inclination in favour of the belief. Take, for example, the case of a horse trotting away from us along a hard road. At first our certainty that we hear the hoofs is complete; gradually, if we listen intently, there comes a moment when we think perhaps it was imagination or the blind upstairs or our own heartbeats; at last we become doubtful whether there was any noise at all; then we _think_ we no longer hear anything, and at last we _know_ we no longer hear anything. In this process, there is a continual gradation of self-evidence, from the highest degree to the least, not in the sense-data themselves, but in the judgements based on them. Or again: Suppose we are comparing two shades of colour, one blue and one green. We can be quite sure they are different shades of colour; but if the green colour is gradually altered to be more and more like the blue, becoming first a blue-green, then a greeny-blue, then blue, there will come a moment when we are doubtful whether we can see any difference, and then a moment when we know that we cannot see any difference. The same thing happens in tuning a musical instrument, or in any other case where there is a continuous gradation. Thus self-evidence of this sort is a matter of degree; and it seems plain that the higher degrees are more to be trusted than the lower degrees. In derivative knowledge our ultimate premisses must have some degree of self-evidence, and so must their connexion with the conclusions deduced from them. Take for example a piece of reasoning in geometry. It is not enough that the axioms from which we start should be self-evident: it is necessary also that, at each step in the reasoning, the connexion of premiss and conclusion should be self-evident. In difficult reasoning, this connexion has often only a very small degree of self-evidence; hence errors of reasoning are not improbable where the difficulty is great. From what has been said it is evident that, both as regards intuitive knowledge and as regards derivative knowledge, if we assume that intuitive knowledge is trustworthy in proportion to the degree of its self-evidence, there will be a gradation in trustworthiness, from the existence of noteworthy sense-data and the simpler truths of logic and arithmetic, which may be taken as quite certain, down to judgements which seem only just more probable than their opposites. What we firmly believe, if it is true, is called _knowledge_, provided it is either intuitive or inferred (logically or psychologically) from intuitive knowledge from which it follows logically. What we firmly believe, if it is not true, is called _error_. What we firmly believe, if it is neither knowledge nor error, and also what we believe hesitatingly, because it is, or is derived from, something which has not the highest degree of self-evidence, may be called _probable opinion_. Thus the greater part of what would commonly pass as knowledge is more or less probable opinion. In regard to probable opinion, we can derive great assistance from _coherence_, which we rejected as the _definition_ of truth, but may often use as a _criterion_. A body of individually probable opinions, if they are mutually coherent, become more probable than any one of them would be individually. It is in this way that many scientific hypotheses acquire their probability. They fit into a coherent system of probable opinions, and thus become more probable than they would be in isolation. The same thing applies to general philosophical hypotheses. Often in a single case such hypotheses may seem highly doubtful, while yet, when we consider the order and coherence which they introduce into a mass of probable opinion, they become pretty nearly certain. This applies, in particular, to such matters as the distinction between dreams and waking life. If our dreams, night after night, were as coherent one with another as our days, we should hardly know whether to believe the dreams or the waking life. As it is, the test of coherence condemns the dreams and confirms the waking life. But this test, though it increases probability where it is successful, never gives absolute certainty, unless there is certainty already at some point in the coherent system. Thus the mere organization of probable opinion will never, by itself, transform it into indubitable knowledge. CHAPTER XIV THE LIMITS OF PHILOSOPHICAL KNOWLEDGE In all that we have said hitherto concerning philosophy, we have scarcely touched on many matters that occupy a great space in the writings of most philosophers. Most philosophers--or, at any rate, very many--profess to be able to prove, by _a priori_ metaphysical reasoning, such things as the fundamental dogmas of religion, the essential rationality of the universe, the illusoriness of matter, the unreality of all evil, and so on. There can be no doubt that the hope of finding reason to believe such theses as these has been the chief inspiration of many life-long students of philosophy. This hope, I believe, is vain. It would seem that knowledge concerning the universe as a whole is not to be obtained by metaphysics, and that the proposed proofs that, in virtue of the laws of logic such and such things _must_ exist and such and such others cannot, are not capable of surviving a critical scrutiny. In this chapter we shall briefly consider the kind of way in which such reasoning is attempted, with a view to discovering whether we can hope that it may be valid. The great representative, in modern times, of the kind of view which we wish to examine, was Hegel (1770-1831). Hegel's philosophy is very difficult, and commentators differ as to the true interpretation of it. According to the interpretation I shall adopt, which is that of many, if not most, of the commentators and has the merit of giving an interesting and important type of philosophy, his main thesis is that everything short of the Whole is obviously fragmentary, and obviously incapable of existing without the complement supplied by the rest of the world. Just as a comparative anatomist, from a single bone, sees what kind of animal the whole must have been, so the metaphysician, according to Hegel, sees, from any one piece of reality, what the whole of reality must be--at least in its large outlines. Every apparently separate piece of reality has, as it were, hooks which grapple it to the next piece; the next piece, in turn, has fresh hooks, and so on, until the whole universe is reconstructed. This essential incompleteness appears, according to Hegel, equally in the world of thought and in the world of things. In the world of thought, if we take any idea which is abstract or incomplete, we find, on examination, that if we forget its incompleteness, we become involved in contradictions; these contradictions turn the idea in question into its opposite, or antithesis; and in order to escape, we have to find a new, less incomplete idea, which is the synthesis of our original idea and its antithesis. This new idea, though less incomplete than the idea we started with, will be found, nevertheless, to be still not wholly complete, but to pass into its antithesis, with which it must be combined in a new synthesis. In this way Hegel advances until he reaches the 'Absolute Idea', which, according to him, has no incompleteness, no opposite, and no need of further development. The Absolute Idea, therefore, is adequate to describe Absolute Reality; but all lower ideas only describe reality as it appears to a partial view, not as it is to one who simultaneously surveys the Whole. Thus Hegel reaches the conclusion that Absolute Reality forms one single harmonious system, not in space or time, not in any degree evil, wholly rational, and wholly spiritual. Any appearance to the contrary, in the world we know, can be proved logically--so he believes--to be entirely due to our fragmentary piecemeal view of the universe. If we saw the universe whole, as we may suppose God sees it, space and time and matter and evil and all striving and struggling would disappear, and we should see instead an eternal perfect unchanging spiritual unity. In this conception, there is undeniably something sublime, something to which we could wish to yield assent. Nevertheless, when the arguments in support of it are carefully examined, they appear to involve much confusion and many unwarrantable assumptions. The fundamental tenet upon which the system is built up is that what is incomplete must be not self-subsistent, but must need the support of other things before it can exist. It is held that whatever has relations to things outside itself must contain some reference to those outside things in its own nature, and could not, therefore, be what it is if those outside things did not exist. A man's nature, for example, is constituted by his memories and the rest of his knowledge, by his loves and hatreds, and so on; thus, but for the objects which he knows or loves or hates, he could not be what he is. He is essentially and obviously a fragment: taken as the sum-total of reality he would be self-contradictory. This whole point of view, however, turns upon the notion of the 'nature' of a thing, which seems to mean 'all the truths about the thing'. It is of course the case that a truth which connects one thing with another thing could not subsist if the other thing did not subsist. But a truth about a thing is not part of the thing itself, although it must, according to the above usage, be part of the 'nature' of the thing. If we mean by a thing's 'nature' all the truths about the thing, then plainly we cannot know a thing's 'nature' unless we know all the thing's relations to all the other things in the universe. But if the word 'nature' is used in this sense, we shall have to hold that the thing may be known when its 'nature' is not known, or at any rate is not known completely. There is a confusion, when this use of the word 'nature' is employed, between knowledge of things and knowledge of truths. We may have knowledge of a thing by acquaintance even if we know very few propositions about it--theoretically we need not know any propositions about it. Thus, acquaintance with a thing does not involve knowledge of its 'nature' in the above sense. And although acquaintance with a thing is involved in our knowing any one proposition about a thing, knowledge of its 'nature', in the above sense, is not involved. Hence, (1) acquaintance with a thing does not logically involve a knowledge of its relations, and (2) a knowledge of some of its relations does not involve a knowledge of all of its relations nor a knowledge of its 'nature' in the above sense. I may be acquainted, for example, with my toothache, and this knowledge may be as complete as knowledge by acquaintance ever can be, without knowing all that the dentist (who is not acquainted with it) can tell me about its cause, and without therefore knowing its 'nature' in the above sense. Thus the fact that a thing has relations does not prove that its relations are logically necessary. That is to say, from the mere fact that it is the thing it is we cannot deduce that it must have the various relations which in fact it has. This only _seems_ to follow because we know it already. It follows that we cannot prove that the universe as a whole forms a single harmonious system such as Hegel believes that it forms. And if we cannot prove this, we also cannot prove the unreality of space and time and matter and evil, for this is deduced by Hegel from the fragmentary and relational character of these things. Thus we are left to the piecemeal investigation of the world, and are unable to know the characters of those parts of the universe that are remote from our experience. This result, disappointing as it is to those whose hopes have been raised by the systems of philosophers, is in harmony with the inductive and scientific temper of our age, and is borne out by the whole examination of human knowledge which has occupied our previous chapters. Most of the great ambitious attempts of metaphysicians have proceeded by the attempt to prove that such and such apparent features of the actual world were self-contradictory, and therefore could not be real. The whole tendency of modern thought, however, is more and more in the direction of showing that the supposed contradictions were illusory, and that very little can be proved _a priori_ from considerations of what _must_ be. A good illustration of this is afforded by space and time. Space and time appear to be infinite in extent, and infinitely divisible. If we travel along a straight line in either direction, it is difficult to believe that we shall finally reach a last point, beyond which there is nothing, not even empty space. Similarly, if in imagination we travel backwards or forwards in time, it is difficult to believe that we shall reach a first or last time, with not even empty time beyond it. Thus space and time appear to be infinite in extent. Again, if we take any two points on a line, it seems evident that there must be other points between them however small the distance between them may be: every distance can be halved, and the halves can be halved again, and so on _ad infinitum_. In time, similarly, however little time may elapse between two moments, it seems evident that there will be other moments between them. Thus space and time appear to be infinitely divisible. But as against these apparent facts--infinite extent and infinite divisibility--philosophers have advanced arguments tending to show that there could be no infinite collections of things, and that therefore the number of points in space, or of instants in time, must be finite. Thus a contradiction emerged between the apparent nature of space and time and the supposed impossibility of infinite collections. Kant, who first emphasized this contradiction, deduced the impossibility of space and time, which he declared to be merely subjective; and since his time very many philosophers have believed that space and time are mere appearance, not characteristic of the world as it really is. Now, however, owing to the labours of the mathematicians, notably Georg Cantor, it has appeared that the impossibility of infinite collections was a mistake. They are not in fact self-contradictory, but only contradictory of certain rather obstinate mental prejudices. Hence the reasons for regarding space and time as unreal have become inoperative, and one of the great sources of metaphysical constructions is dried up. The mathematicians, however, have not been content with showing that space as it is commonly supposed to be is possible; they have shown also that many other forms of space are equally possible, so far as logic can show. Some of Euclid's axioms, which appear to common sense to be necessary, and were formerly supposed to be necessary by philosophers, are now known to derive their appearance of necessity from our mere familiarity with actual space, and not from any _a priori_ logical foundation. By imagining worlds in which these axioms are false, the mathematicians have used logic to loosen the prejudices of common sense, and to show the possibility of spaces differing--some more, some less--from that in which we live. And some of these spaces differ so little from Euclidean space, where distances such as we can measure are concerned, that it is impossible to discover by observation whether our actual space is strictly Euclidean or of one of these other kinds. Thus the position is completely reversed. Formerly it appeared that experience left only one kind of space to logic, and logic showed this one kind to be impossible. Now, logic presents many kinds of space as possible apart from experience, and experience only partially decides between them. Thus, while our knowledge of what is has become less than it was formerly supposed to be, our knowledge of what may be is enormously increased. Instead of being shut in within narrow walls, of which every nook and cranny could be explored, we find ourselves in an open world of free possibilities, where much remains unknown because there is so much to know. What has happened in the case of space and time has happened, to some extent, in other directions as well. The attempt to prescribe to the universe by means of _a priori_ principles has broken down; logic, instead of being, as formerly, the bar to possibilities, has become the great liberator of the imagination, presenting innumerable alternatives which are closed to unreflective common sense, and leaving to experience the task of deciding, where decision is possible, between the many worlds which logic offers for our choice. Thus knowledge as to what exists becomes limited to what we can learn from experience--not to what we can actually experience, for, as we have seen, there is much knowledge by description concerning things of which we have no direct experience. But in all cases of knowledge by description, we need some connexion of universals, enabling us, from such and such a datum, to infer an object of a certain sort as implied by our datum. Thus in regard to physical objects, for example, the principle that sense-data are signs of physical objects is itself a connexion of universals; and it is only in virtue of this principle that experience enables us to acquire knowledge concerning physical objects. The same applies to the law of causality, or, to descend to what is less general, to such principles as the law of gravitation. Principles such as the law of gravitation are proved, or rather are rendered highly probable, by a combination of experience with some wholly _a priori_ principle, such as the principle of induction. Thus our intuitive knowledge, which is the source of all our other knowledge of truths, is of two sorts: pure empirical knowledge, which tells us of the existence and some of the properties of particular things with which we are acquainted, and pure _a priori_ knowledge, which gives us connexions between universals, and enables us to draw inferences from the particular facts given in empirical knowledge. Our derivative knowledge always depends upon some pure _a priori_ knowledge and usually also depends upon some pure empirical knowledge. Philosophical knowledge, if what has been said above is true, does not differ essentially from scientific knowledge; there is no special source of wisdom which is open to philosophy but not to science, and the results obtained by philosophy are not radically different from those obtained from science. The essential characteristic of philosophy, which makes it a study distinct from science, is criticism. It examines critically the principles employed in science and in daily life; it searches out any inconsistencies there may be in these principles, and it only accepts them when, as the result of a critical inquiry, no reason for rejecting them has appeared. If, as many philosophers have believed, the principles underlying the sciences were capable, when disengaged from irrelevant detail, of giving us knowledge concerning the universe as a whole, such knowledge would have the same claim on our belief as scientific knowledge has; but our inquiry has not revealed any such knowledge, and therefore, as regards the special doctrines of the bolder metaphysicians, has had a mainly negative result. But as regards what would be commonly accepted as knowledge, our result is in the main positive: we have seldom found reason to reject such knowledge as the result of our criticism, and we have seen no reason to suppose man incapable of the kind of knowledge which he is generally believed to possess. When, however, we speak of philosophy as a _criticism_ of knowledge, it is necessary to impose a certain limitation. If we adopt the attitude of the complete sceptic, placing ourselves wholly outside all knowledge, and asking, from this outside position, to be compelled to return within the circle of knowledge, we are demanding what is impossible, and our scepticism can never be refuted. For all refutation must begin with some piece of knowledge which the disputants share; from blank doubt, no argument can begin. Hence the criticism of knowledge which philosophy employs must not be of this destructive kind, if any result is to be achieved. Against this absolute scepticism, no _logical_ argument can be advanced. But it is not difficult to see that scepticism of this kind is unreasonable. Descartes' 'methodical doubt', with which modern philosophy began, is not of this kind, but is rather the kind of criticism which we are asserting to be the essence of philosophy. His 'methodical doubt' consisted in doubting whatever seemed doubtful; in pausing, with each apparent piece of knowledge, to ask himself whether, on reflection, he could feel certain that he really knew it. This is the kind of criticism which constitutes philosophy. Some knowledge, such as knowledge of the existence of our sense-data, appears quite indubitable, however calmly and thoroughly we reflect upon it. In regard to such knowledge, philosophical criticism does not require that we should abstain from belief. But there are beliefs--such, for example, as the belief that physical objects exactly resemble our sense-data--which are entertained until we begin to reflect, but are found to melt away when subjected to a close inquiry. Such beliefs philosophy will bid us reject, unless some new line of argument is found to support them. But to reject the beliefs which do not appear open to any objections, however closely we examine them, is not reasonable, and is not what philosophy advocates. The criticism aimed at, in a word, is not that which, without reason, determines to reject, but that which considers each piece of apparent knowledge on its merits, and retains whatever still appears to be knowledge when this consideration is completed. That some risk of error remains must be admitted, since human beings are fallible. Philosophy may claim justly that it diminishes the risk of error, and that in some cases it renders the risk so small as to be practically negligible. To do more than this is not possible in a world where mistakes must occur; and more than this no prudent advocate of philosophy would claim to have performed. CHAPTER XV THE VALUE OF PHILOSOPHY Having now come to the end of our brief and very incomplete review of the problems of philosophy, it will be well to consider, in conclusion, what is the value of philosophy and why it ought to be studied. It is the more necessary to consider this question, in view of the fact that many men, under the influence of science or of practical affairs, are inclined to doubt whether philosophy is anything better than innocent but useless trifling, hair-splitting distinctions, and controversies on matters concerning which knowledge is impossible. This view of philosophy appears to result, partly from a wrong conception of the ends of life, partly from a wrong conception of the kind of goods which philosophy strives to achieve. Physical science, through the medium of inventions, is useful to innumerable people who are wholly ignorant of it; thus the study of physical science is to be recommended, not only, or primarily, because of the effect on the student, but rather because of the effect on mankind in general. Thus utility does not belong to philosophy. If the study of philosophy has any value at all for others than students of philosophy, it must be only indirectly, through its effects upon the lives of those who study it. It is in these effects, therefore, if anywhere, that the value of philosophy must be primarily sought. But further, if we are not to fail in our endeavour to determine the value of philosophy, we must first free our minds from the prejudices of what are wrongly called 'practical' men. The 'practical' man, as this word is often used, is one who recognizes only material needs, who realizes that men must have food for the body, but is oblivious of the necessity of providing food for the mind. If all men were well off, if poverty and disease had been reduced to their lowest possible point, there would still remain much to be done to produce a valuable society; and even in the existing world the goods of the mind are at least as important as the goods of the body. It is exclusively among the goods of the mind that the value of philosophy is to be found; and only those who are not indifferent to these goods can be persuaded that the study of philosophy is not a waste of time. Philosophy, like all other studies, aims primarily at knowledge. The knowledge it aims at is the kind of knowledge which gives unity and system to the body of the sciences, and the kind which results from a critical examination of the grounds of our convictions, prejudices, and beliefs. But it cannot be maintained that philosophy has had any very great measure of success in its attempts to provide definite answers to its questions. If you ask a mathematician, a mineralogist, a historian, or any other man of learning, what definite body of truths has been ascertained by his science, his answer will last as long as you are willing to listen. But if you put the same question to a philosopher, he will, if he is candid, have to confess that his study has not achieved positive results such as have been achieved by other sciences. It is true that this is partly accounted for by the fact that, as soon as definite knowledge concerning any subject becomes possible, this subject ceases to be called philosophy, and becomes a separate science. The whole study of the heavens, which now belongs to astronomy, was once included in philosophy; Newton's great work was called 'the mathematical principles of natural philosophy'. Similarly, the study of the human mind, which was a part of philosophy, has now been separated from philosophy and has become the science of psychology. Thus, to a great extent, the uncertainty of philosophy is more apparent than real: those questions which are already capable of definite answers are placed in the sciences, while those only to which, at present, no definite answer can be given, remain to form the residue which is called philosophy. This is, however, only a part of the truth concerning the uncertainty of philosophy. There are many questions--and among them those that are of the profoundest interest to our spiritual life--which, so far as we can see, must remain insoluble to the human intellect unless its powers become of quite a different order from what they are now. Has the universe any unity of plan or purpose, or is it a fortuitous concourse of atoms? Is consciousness a permanent part of the universe, giving hope of indefinite growth in wisdom, or is it a transitory accident on a small planet on which life must ultimately become impossible? Are good and evil of importance to the universe or only to man? Such questions are asked by philosophy, and variously answered by various philosophers. But it would seem that, whether answers be otherwise discoverable or not, the answers suggested by philosophy are none of them demonstrably true. Yet, however slight may be the hope of discovering an answer, it is part of the business of philosophy to continue the consideration of such questions, to make us aware of their importance, to examine all the approaches to them, and to keep alive that speculative interest in the universe which is apt to be killed by confining ourselves to definitely ascertainable knowledge. Many philosophers, it is true, have held that philosophy could establish the truth of certain answers to such fundamental questions. They have supposed that what is of most importance in religious beliefs could be proved by strict demonstration to be true. In order to judge of such attempts, it is necessary to take a survey of human knowledge, and to form an opinion as to its methods and its limitations. On such a subject it would be unwise to pronounce dogmatically; but if the investigations of our previous chapters have not led us astray, we shall be compelled to renounce the hope of finding philosophical proofs of religious beliefs. We cannot, therefore, include as part of the value of philosophy any definite set of answers to such questions. Hence, once more, the value of philosophy must not depend upon any supposed body of definitely ascertainable knowledge to be acquired by those who study it. The value of philosophy is, in fact, to be sought largely in its very uncertainty. The man who has no tincture of philosophy goes through life imprisoned in the prejudices derived from common sense, from the habitual beliefs of his age or his nation, and from convictions which have grown up in his mind without the co-operation or consent of his deliberate reason. To such a man the world tends to become definite, finite, obvious; common objects rouse no questions, and unfamiliar possibilities are contemptuously rejected. As soon as we begin to philosophize, on the contrary, we find, as we saw in our opening chapters, that even the most everyday things lead to problems to which only very incomplete answers can be given. Philosophy, though unable to tell us with certainty what is the true answer to the doubts which it raises, is able to suggest many possibilities which enlarge our thoughts and free them from the tyranny of custom. Thus, while diminishing our feeling of certainty as to what things are, it greatly increases our knowledge as to what they may be; it removes the somewhat arrogant dogmatism of those who have never travelled into the region of liberating doubt, and it keeps alive our sense of wonder by showing familiar things in an unfamiliar aspect. Apart from its utility in showing unsuspected possibilities, philosophy has a value--perhaps its chief value--through the greatness of the objects which it contemplates, and the freedom from narrow and personal aims resulting from this contemplation. The life of the instinctive man is shut up within the circle of his private interests: family and friends may be included, but the outer world is not regarded except as it may help or hinder what comes within the circle of instinctive wishes. In such a life there is something feverish and confined, in comparison with which the philosophic life is calm and free. The private world of instinctive interests is a small one, set in the midst of a great and powerful world which must, sooner or later, lay our private world in ruins. Unless we can so enlarge our interests as to include the whole outer world, we remain like a garrison in a beleagured fortress, knowing that the enemy prevents escape and that ultimate surrender is inevitable. In such a life there is no peace, but a constant strife between the insistence of desire and the powerlessness of will. In one way or another, if our life is to be great and free, we must escape this prison and this strife. One way of escape is by philosophic contemplation. Philosophic contemplation does not, in its widest survey, divide the universe into two hostile camps--friends and foes, helpful and hostile, good and bad--it views the whole impartially. Philosophic contemplation, when it is unalloyed, does not aim at proving that the rest of the universe is akin to man. All acquisition of knowledge is an enlargement of the Self, but this enlargement is best attained when it is not directly sought. It is obtained when the desire for knowledge is alone operative, by a study which does not wish in advance that its objects should have this or that character, but adapts the Self to the characters which it finds in its objects. This enlargement of Self is not obtained when, taking the Self as it is, we try to show that the world is so similar to this Self that knowledge of it is possible without any admission of what seems alien. The desire to prove this is a form of self-assertion and, like all self-assertion, it is an obstacle to the growth of Self which it desires, and of which the Self knows that it is capable. Self-assertion, in philosophic speculation as elsewhere, views the world as a means to its own ends; thus it makes the world of less account than Self, and the Self sets bounds to the greatness of its goods. In contemplation, on the contrary, we start from the not-Self, and through its greatness the boundaries of Self are enlarged; through the infinity of the universe the mind which contemplates it achieves some share in infinity. For this reason greatness of soul is not fostered by those philosophies which assimilate the universe to Man. Knowledge is a form of union of Self and not-Self; like all union, it is impaired by dominion, and therefore by any attempt to force the universe into conformity with what we find in ourselves. There is a widespread philosophical tendency towards the view which tells us that Man is the measure of all things, that truth is man-made, that space and time and the world of universals are properties of the mind, and that, if there be anything not created by the mind, it is unknowable and of no account for us. This view, if our previous discussions were correct, is untrue; but in addition to being untrue, it has the effect of robbing philosophic contemplation of all that gives it value, since it fetters contemplation to Self. What it calls knowledge is not a union with the not-Self, but a set of prejudices, habits, and desires, making an impenetrable veil between us and the world beyond. The man who finds pleasure in such a theory of knowledge is like the man who never leaves the domestic circle for fear his word might not be law. The true philosophic contemplation, on the contrary, finds its satisfaction in every enlargement of the not-Self, in everything that magnifies the objects contemplated, and thereby the subject contemplating. Everything, in contemplation, that is personal or private, everything that depends upon habit, self-interest, or desire, distorts the object, and hence impairs the union which the intellect seeks. By thus making a barrier between subject and object, such personal and private things become a prison to the intellect. The free intellect will see as God might see, without a _here_ and _now_, without hopes and fears, without the trammels of customary beliefs and traditional prejudices, calmly, dispassionately, in the sole and exclusive desire of knowledge--knowledge as impersonal, as purely contemplative, as it is possible for man to attain. Hence also the free intellect will value more the abstract and universal knowledge into which the accidents of private history do not enter, than the knowledge brought by the senses, and dependent, as such knowledge must be, upon an exclusive and personal point of view and a body whose sense-organs distort as much as they reveal. The mind which has become accustomed to the freedom and impartiality of philosophic contemplation will preserve something of the same freedom and impartiality in the world of action and emotion. It will view its purposes and desires as parts of the whole, with the absence of insistence that results from seeing them as infinitesimal fragments in a world of which all the rest is unaffected by any one man's deeds. The impartiality which, in contemplation, is the unalloyed desire for truth, is the very same quality of mind which, in action, is justice, and in emotion is that universal love which can be given to all, and not only to those who are judged useful or admirable. Thus contemplation enlarges not only the objects of our thoughts, but also the objects of our actions and our affections: it makes us citizens of the universe, not only of one walled city at war with all the rest. In this citizenship of the universe consists man's true freedom, and his liberation from the thraldom of narrow hopes and fears. Thus, to sum up our discussion of the value of philosophy; Philosophy is to be studied, not for the sake of any definite answers to its questions, since no definite answers can, as a rule, be known to be true, but rather for the sake of the questions themselves; because these questions enlarge our conception of what is possible, enrich our intellectual imagination and diminish the dogmatic assurance which closes the mind against speculation; but above all because, through the greatness of the universe which philosophy contemplates, the mind also is rendered great, and becomes capable of that union with the universe which constitutes its highest good. BIBLIOGRAPHICAL NOTE The student who wishes to acquire an elementary knowledge of philosophy will find it both easier and more profitable to read some of the works of the great philosophers than to attempt to derive an all-round view from handbooks. The following are specially recommended: Plato: _Republic_, especially Books VI and VII. Descartes: _Meditations_. Spinoza: _Ethics_. Leibniz: _The Monadology_. Berkeley: _Three Dialogues between Hylas and Philonous_. Hume: _Enquiry concerning Human Understanding_. Kant: _Prolegomena to any Future Metaphysic_. ******************************************* LOGIC Some Definitions:- An Argument is a group of two or more statements one of which is affirmed on the basis of the other. An argument must have at least two premises. The statement which is affirmed is called the conclusion and the statements which supply the reasons for affirming the conclusion are called the premises. An Argument is logically correct or valid when the premises constitute good grounds for affirming the conclusion. The correctness of an argument is independent of the truth of the premises. (supposing the premises are true … do they provide good grounds for affirming the conclusion ?) A fallacious argument is an incorrect argument. A Deductive Argument is one in which the premises imply the conclusion. To assert the premises and deny the conclusion is to utter a contradiction. This is the test of the validity of a deductive argument. A logical truth can be determined without other evidence. Eg. If he is a batchelor, then he is not married. A contingent truth requires further information ( is contingent upon .. ). Eg. He has six apples. If a valid deductive argument is written as a statement, that statement will be a logical truth:- A logical truth is a necessary truth. A factual truth is a contingent truth. There is no direct relationship between the truth and the validity of conclusions. When a conclusion is validly subsumed the premises can be either True of False. If P É O If P É Q And P and ~ Q \ O (modus ponens) \ ~ P (modus tolens) These are the only forms of valid implication. The other two possibilities are invalid, and they are traditionally called “the Fallacy of asserting the consequent”, and “the fallacy of denying the antecedent”. The contrapositive of a conditional statement is formed by negating both the antecendent and the consequent, and then reversing their position. The contrapositive is materially equivalent to the original conditional Exclusive Alternation A or B, but not both (symbolized by Ñ ) is true when only one of is disjuncts is true. It is false whne both are either True, or both are False. Inclusive Alternation A or B and perhaps both ( symbolized by v ) is true when atleast one of its disjuncts is T or when both disjuncts are True A v B is the same as ~A É B To change inclusive alternation into an implication, negate one of the disjuncts then change v to É.