In this paper I demonstrate that, contrary to the standard interpretations, William Whewell's view of scientific method is neither that of the hypothetico-deductivist nor that of the retroductivist. Rather, he offers a unique inductive methodology, which he calls "discoverers' induction." After explicating this methodology, I show that Kepler's discovery of his first law of planetary motion conforms to it, as Whewell claims it does. In explaining Whewell's famous phrase about "happy guesses" in science, I suggest that Whewell intended a distinction (...) between "inductions," which can be empirically verified, and "mere hypotheses"--or guesses--which cannot. Finally, I argue that Whewell's discoverers' induction is a view worthy of our attention today, because it avoids a number of problems faced by prominent alternative methodologies. (shrink)

Scientific practice involves two kinds of induction. In one, generalizations are drawn about the states of a particular system of variables. In the other, generalizations are drawn across systems in a class. We can discern two questions of correctness about both kinds of induction: what distinguishes those systems and classes of system that are ‘projectible’ in Goodman’s sense from those that are not, and what are the methods by which we are able to identify kinds that are likely to be (...) projectible? In answer to the first question, numerous theories of ‘natural kinds’ have been advanced, but none has satisfactorily addressed both questions simultaneously. I propose a shift in perspective. Both essentialist and cluster property theories have traditionally characterized kinds directly in terms of the causally salient properties their members possess. Instead, we should focus on ‘dynamical symmetries’, transformations of a system to which the causal structure of that system is indifferent. I suggest that to be a member of natural kind it is necessary and sufficient to possess a particular collection of dynamical symmetries. I show that membership in such a kind is in turn necessary and sufficient for the presence of the sort of causal structure that accounts for success in both kinds of induction, thus demonstrating that has been answered satisfactorily. More dramatically, I demonstrate that this new theory of ‘dynamical kinds’ provides an answer to with methodological implications concerning the discovery of projectible kinds. (shrink)

1. Introduction. Attempts to utilize the probability calculus to prove or disprove various inductive or inductive skeptical theses are, I believe, highly problematic. Inductivism and inductive skepticism are substantive philosophical positions that do not allow of merely formal proofs or disproofs. Often the problems with particular alleged formal proofs of inductive or inductive sceptical theses turn on subtle technical considerations. In the following I highlight such considerations in pointing out the flaws of two proofs, one an alleged proof of an (...) inductive sceptical conclusion due to Karl Popper, the other an alleged proof of an inductivist thesis originally due to Harold Jeffreys and later advocated by John Earman. Surprisingly, in examining Popper's argument it is shown that certain apparently weak premises, often embraced by both inductivists and deductivists, lend themselves to inductive conclusions. However it is argued that those premises are still philosophically substantive and not amenable to a purely formal demonstration. The lesson to be learnt here is twofold. First, we need to be very careful in determining which formal theses entail, and which are entailed by, inductive skepticism and inductivism. Second, we need to take great care in laying out and examining the assumptions presumed in formal arguments directed for and against such formal theses. In a follow up article I will consider various attempts by David Stove and Karl Popper and David Miller to identify the exact content of inductive skepticism and propose a new identification based on the theory of content developed in Gemes 1994. Finally I will compare this new version with that proposed recently in Alberto Mura 1990. (shrink)