To point (4)—induction is a myth—I wish to add only that nothing depends upon words. If anybody should write, as did Peirce, “The operation of testing a hypothesis by experiment … I call induction”, I should not object, as long as he is not misled by the word. But Peirce was misled, as were many others. This is why I prefer to use the word “induction” to stand for the myth that the repetition of something—“observations” or “instances”, perhaps—provides some rational basis for the acceptance of hypotheses. Peirce, in spite of the flawless explanation he sometimes gave of the method of hypotheses and tests, at other times defended precisely this myth; for example, when he compared natural laws with habits (acquired by repetition) and when he tried to give a probabilistic theory of induction. It is induction by repetition (and therefore probabilistic induction) which I combat as the centre of the myth; and in view of the past history of induction from Aristotle and Bacon to Peirce and Carnap, it seems to me appropriate to use the term “induction” as standing, briefly, for “induction by repetition”. [1032]
Tag: induction
Inducing absolute truth
Universal generalisations are certainly testable, even if not provable, in the sense that it is always possible that the experiments we perform or the observations we make should turn out to falsify them. So the substitution of testability for provability allows universal generalisations to be included in science all right. Indeed Karl Popper has built a whole philosophy of science on the principle that what distinguishes science from non-science is its ‘falsifiability’.
This weakening of the empiricist requirements on science does not really solve the problem of induction. Even if the requirement of testability succeeds in picking out what people standardly and intuitively count as proper science, it leaves us with a problem of explaining why such proper science is a good thing. We have still been given no account of why success in past tests should be a good basis for accepting generalisations which predict the future. [21]
Vague induction
It is clear that, if one uses the word “induction” widely and vaguely enough, any tentative acceptance of the result of any investigation can be called “induction”. In that sense, but (I must emphasize) in no other, Professor Putnam is quite right to detect an “inductivist quaver” in one of the passages he quotes (section 3). But in general he has not read, or if read not understood, what I have written … . [994]
Infinite learning
Thus every statement (or ‘basic statement’) remains essentially conjectural; but it is a conjecture which can be easily tested. These tests, in their turn, involve new conjectural and testable statements, and so on, ad infinitum; and should we try to establish anything with our tests, we should be involved in an infinite regress. But as I explained in my Logic of Scientific Discovery (especially section 29), we do not establish anything by this procedure: we do not wish to ‘justify’ the ‘acceptance’ of anything, we only test our theories critically, in order to see whether or not we can bring a case against them. [521]
Severely risky
A serious empirical test always consists in the attempt to find a refutation, a counterexample. In the search for a counterexample, we have to use our background knowledge; for we always try to refute first the most risky predictions, the ‘most unlikely … consequences’ (as Peirce already saw); which means that we always look in the most probable kinds of places for the most probable kinds of counterexamples—most probable in the sense that we should expect to find them in the light of our background knowledge. Now if a theory stands up to many such tests, then, owing to the incorporation of the results of our tests into our background knowledge, there may be, after a time, no places left where (in the light of our new background knowledge) counter examples can with a high probability be expected to occur. But this means that the degree of severity of our test declines. This is also the reason why an often repeated test will no longer be considered as significant or as severe: there is something like a law of diminishing returns from repeated tests (as opposed to tests which, in the light of our background knowledge, are of a new kind, and which therefore may still be felt to be significant). These are facts which are inherent in the knowledge-situation; and they have often been described—especially by John Maynard Keynes and by Ernest Nagel—as difficult to explain by an inductivist theory of science. But for us it is all very easy. And we can even explain, by a similar analysis of the knowledge-situation, why the empirical character of a very successful theory always grows stale, after a time. We may then feel (as Poincaré did with respect to Newton’s theory) that the theory is nothing but a set of implicit definitions or conventions—until we progress again and, by refuting it, incidentally re-establish its lost empirical character. (De mortuis nil nisi bene: once a theory is refuted, its empirical character is secure and shines without blemish.) [325-6]
What argument can do
No argument can force us to accept the truth of any belief. But a valid deductive argument can force us to choose between the truth of its conclusion on the one hand and the falsity of its premises on the other. [10]
The lapse from enlightenment to positivism
Our prognosis regarding the associated lapse from enlightenment into positivism, into the myth of that which is the case, and finally of the identity of intelligence and hostility to mind, has been overwhelmingly confirmed. Our concept of history does not believe itself elevated above history, but it does not merely chase after information in the positivist manner. [xii]
Decisions cannot be derived from facts
It is important for the understanding of this attitude to realize that these decisions can never be derived from facts (or from statements of facts), although they pertain to facts. The decision, for instance, to oppose slavery does not depend upon the fact that all men are born free and equal, and that no man is born in chains. For even if all were born free, some men might perhaps try to put others in chains, and they may even believe that they ought to put them in chains. And conversely, even if men were born in chains, many of us might demand the removal of these chains. Or to put this matter more precisely, if we consider a fact as alterable—such as the fact that many people are suffering from diseases—then we can always adopt a number of different attitudes towards this fact: more especially, we can decide to make an attempt to alter it; or we can decide to resist any such attempt; or we can decide not to take action at all.
All moral decisions pertain in this way to some fact or other, especially to some fact of social life, and all (alterable) facts of social life can give rise to many different decisions. Which shows that the decisions can never be derivable from these facts, or from a description of these facts. [ch. 5, 67]
Fisher on Bayesianism
[A]dvocates of inverse probability seem forced to regard mathematical probability, not as an objective quantity measured by observable frequencies, but as measuring merely psychological tendencies, theorems respecting which are useless for scientific purposes. [6-7]
Weak statistical tests
The distinction between the strong and the weak use of significance tests is logical or epistemological; it is not a statistical issue. The weak use of significance tests asks merely whether the observations are attributable to “chance” (i.e., no relation exists) when a weak theory can only predict some sort of relation, but not what or how much. The strong use of significance tests asks whether observations differ significantly from the numerical values that a strong theory predicts, and it leads to the fourth figure of the syllogism—p ⊃ q, ~q , infer ~p—which is formally valid, the logician’s modus tollens (“destroying mode”). Psychologists should work hard to formulate theories that, even if somewhat weak, permit derivation of numerical point values or narrow ranges, yielding the possibility of modus tollens refutations. [422]
Recent Comments