The Problems of Philosophy

"The principle we are examining may be called the principle of induction, and its two parts may be stated as follows: (a) When a thing of a certain sort A has been found to be associated with a thing of a certain other sort B, and has never been found dissociated from a thing of the sort B, the greater the number of cases in which A and B have been associated, the greater is the probability that they will be associated in a fresh case in which one of them is known to be present; (b) Under the same circumstances, a sufficient number of cases of association will make the probability of a fresh association nearly a certainty, and will make it approach certainty without limit."

"The probability of the general law is increased by repetitions, just as the probability of the particular case is. We may therefore repeat the two parts of our principle as regards the general law, thus: (a) The greater the number of cases in which a thing of the sort A has been found associated with a thing of the sort B, the more probable it is (if no cases of failure of association are known) that A is always associated with B; (b) Under the same circumstances, a sufficient number of cases of the association of A with B will make it nearly certain that A is always associated with B, and will make this general law approach certainty without limit."

"Experience might conceivably confirm the inductive principle as regards the cases that have been already examined; but as regards unexamined cases, it is the inductive principle alone that can justify any inference from what has been examined to what has not been examined. All arguments which, on the basis of experience, argue as to the future or the unexperienced parts of the past or present, assume the inductive principle; hence we can never use experience to prove the inductive principle without begging the question. Thus we must either accept the inductive principle on the ground of its intrinsic evidence, or forgo all justification of our expectations about the future. If the principle is unsound, we have no reason to expect the sun to rise to-morrow, to expect bread to be more nourishing than a stone, or to expect that if we throw ourselves off the roof we shall fall. When we see what looks like our best friend approaching us, we shall have no reason to suppose that his body is not inhabited by the mind of our worst enemy or of some total stranger."

"All our conduct is based upon associations which have worked in the past, and which we therefore regard as likely to work in the future; and this likelihood is dependent for its validity upon the inductive principle."

"The general principles of science, such as the belief in the reign of law, and the belief that every event must have a cause, are as completely dependent upon the inductive principle as are the beliefs of daily life. All such general principles are believed because mankind have found innumerable instances of their truth and no instances of their falsehood. But this affords no evidence for their truth in the future, unless the inductive principle is assumed."

"Thus all knowledge which, on a basis of experience tells us something about what is not experienced, is based upon a belief which experience can neither confirm nor confute, yet which, at least in its more concrete applications, appears to be as firmly rooted in us as many of the facts of experience. The existence and justification of such beliefs--for the inductive principle, as we shall see, is not the only example--raises some of the most difficult and most debated problems of philosophy."

"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. ...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 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 learned 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 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 deny that the conclusion must also be true. But it depends for its truth upon an instance of a general logical principle."

"Our principle states that if this implies that, and this is true, then that is true. In other words, 'anything implied by a 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."

"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 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 connections 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."

"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."

"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."

"The scope and power of a priori principles is strictly limited. ...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 connections among things that exist or may exist, but not giving actual existence."

"A priori knowledge is not all of the logical kind we have hitherto been considering. Perhaps the most important example of non-logical a priori knowledge is knowledge as to ethical value. ...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... 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. ...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. ...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. ...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."

"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."

"...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."

"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."

"As regards knowledge of truths, there is a dualism. We may believe what is false as well as what is true. ...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?"

"...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 fulfill. (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... (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 of 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. ...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."

"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 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 endeavor to find facts which will rule out all the hypotheses except one, there is no reason why they should always succeed. ...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."

"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."

"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... This relation, therefore, is a relation of four terms, since Othello also is one of the terms of the relation. ...believing, plainly, is not a relation which Othello has to each of the three terms concerned, but to all of them together... 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."

"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. ...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. ...Othello's judgement that Cassio loves Desdemona differs from his judgement that Desdemona loves Cassio... 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. ...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."

"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.... This hope, I believe, is vain."

"The great representative, in modern times, of the kind of view which we wish to examine, was Hegel (1770-1831). ...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. ...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."