and no hard facts are allowed to break in upon the dream of omnipotence. No philosophy is tolerated which sets bounds to man's capacity of gratifying his wishes; and thus the very despair of theory is invoked to silence every whisper of doubt as regards the possibilities of practical achievement.
In the welcoming of new fact, and in the suspicion of dogmatism as regards the universe at large, the modern spirit should, I think, be accepted as wholly an advance. But both in its practical pretensions and in its theoretical despair it seems to me to go too far. Most of what is greatest in man is called forth in response to the thwarting of his hopes by immutable natural obstacles; by the pretence of omnipotence, he becomes trivial and a little absurd. And on the theoretical side, ultimate metaphysical truth, though less all-embracing and harder of attainment than it appeared to some philosophers in the past, can, I believe, be discovered by those who are willing to combine the hopefulness, patience, and open-mindedness of science with something of the Greek feeling for beauty in the abstract world of logic and for the ultimate intrinsic value in the contemplation of truth.
The philosophy, therefore, which is to be genuinely inspired by the scientific spirit, must deal with somewhat dry and abstract matters, and must not hope to find an answer to the practical problems of life. To those who wish to understand much of what has in the past been most difficult and obscure in the constitution of the universe, it has great rewards to offer—triumphs as noteworthy as those of Newton and Darwin, and as important in the long run, for the moulding of our mental habits. And it brings with it—as a new and powerful method of investigation always does—a sense of power and a hope of progress more reliable and better grounded than any that rests on hasty and fallacious generalisation as to the nature of the universe at large. Many hopes which inspired philosophers in the past it cannot claim to fulfil; but other hopes, more purely intellectual, it can satisfy more fully than former ages could have deemed possible for human minds.
LECTURE II
LOGIC AS THE ESSENCE OF PHILOSOPHY
LECTURE II
LOGIC AS THE ESSENCE OF PHILOSOPHY
The topics we discussed in our first lecture, and the topics we shall discuss later, all reduce themselves, in so far as they are genuinely philosophical, to problems of logic. This is not due to any accident, but to the fact that every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical. But as the word “logic” is never used in the same sense by two different philosophers, some explanation of what I mean by the word is indispensable at the outset.
Logic, in the Middle Ages, and down to the present day in teaching, meant no more than a scholastic collection of technical terms and rules of syllogistic inference. Aristotle had spoken, and it was the part of humbler men merely to repeat the lesson after him. The trivial nonsense embodied in this tradition is still set in examinations, and defended by eminent authorities as an excellent “propædeutic,” i.e. a training in those habits of solemn humbug which are so great a help in later life. But it is not this that I mean to praise in saying that all philosophy is logic. Ever since the beginning of the seventeenth century, all vigorous minds that have concerned themselves with inference have abandoned the mediæval tradition, and in one way or other have widened the scope of logic.
The first extension was the introduction of the inductive method by Bacon and Galileo—by the former in a theoretical and largely mistaken form, by the latter in actual use in establishing the foundations of modern physics and astronomy. This is probably the only extension of the old logic which has become familiar to the general educated public. But induction, important as it is when regarded as a method of investigation, does not seem to remain when its work is done: in the final form of a perfected science, it would seem that everything ought to be deductive. If induction remains at all, which is a difficult question, it will remain merely as one of the principles according to which deductions are effected. Thus the ultimate result of the introduction of the inductive method seems not the creation of a new kind of non-deductive reasoning, but rather the widening of the scope of deduction by pointing out a way of deducing which is certainly not syllogistic, and does not fit into the mediæval scheme.
The question of the scope and validity of induction is of great difficulty, and of great importance to our knowledge. Take such a question as, “Will the sun rise to-morrow?” Our first instinctive feeling is that we have abundant reason for saying that it will, because it has risen on so many previous mornings. Now, I do not myself know whether this does afford a ground or not, but I am willing to suppose that it does. The question which then arises is: What is the principle of inference by which we pass from past sunrises to future ones? The answer given by Mill is that the inference depends upon the law of causation. Let us suppose this to be true; then what is the reason for believing in the law of causation? There are broadly three possible answers: (1) that it is itself known a priori; (2) that it is a postulate; (3) that it is an empirical generalisation from past instances in which it has been found to hold. The theory that causation is known a priori cannot be definitely refuted, but it can be rendered very unplausible by the mere process of formulating the law exactly, and thereby showing that it is immensely more complicated and less obvious than is generally supposed. The theory that causation is a postulate, i.e. that it is something which we choose to assert although we know that it is very likely false, is also incapable of refutation; but it is plainly also incapable of justifying any use of the law in inference. We are thus brought to the theory that the law is an empirical generalisation, which is the view held by Mill.
But if so, how are empirical generalisations to be justified? The evidence in their favour cannot be empirical, since we wish to argue from what has been observed to what has not been observed, which can only be done by means of some known relation of the observed and the unobserved; but the unobserved, by definition, is not known empirically, and therefore its relation to the observed, if known at all, must be known independently of empirical evidence. Let us see what Mill says on this subject.
According to Mill, the law of causation is proved by an admittedly fallible process called “induction by simple enumeration.” This process, he says, “consists in ascribing the nature of general truths to all propositions which are true in every instance that we happen to know of.”[8] As regards its fallibility, he asserts that “the precariousness of the method of simple enumeration is in an inverse ratio to the largeness of the generalisation. The process is delusive and insufficient, exactly in proportion as the subject-matter of the observation is special and limited in extent. As the sphere widens, this unscientific method becomes less and less liable to mislead; and the most universal class of truths, the law of causation for instance, and the principles of number and of geometry, are duly and satisfactorily proved by that method alone, nor are they susceptible of any other proof.”[9]
In the above statement, there are two obvious lacunæ: (1) How is the method of simple enumeration itself justified? (2) What logical principle, if any, covers the same ground as this method, without being liable to its failures? Let us take the second question first.
A method of proof which, when used as directed, gives sometimes truth and sometimes falsehood—as the method of simple enumeration does—is obviously not a valid method, for validity demands invariable truth. Thus, if simple enumeration is to be rendered valid, it must not be stated as Mill states it. We shall have to say, at most, that the data render the result probable. Causation holds, we shall say, in every instance we have been able to test; therefore it probably holds in untested instances. There are terrible difficulties in the notion of probability, but we may ignore them at present. We thus have what at least may be
