The Drosophila compound eye is an excellent experimental system for analysing fate induction of identifiable single cells. Each ommatidium, a unit eye, contains eight photoreceptors (R1‐R8), and the differentiation of these photoreceptors occurs in the larval eye imaginal disc in discrete steps: first R8 is determined, then R2/R5, R3/R4, R1/R6 and finally R7. Induction of R7, in particular, has been extensively studied at the molecular level. The R8 photoreceptor presents on its surface a ligand, Bride of Sevenless, that (...) binds and activates Sevenless receptor tyrosine kinase in the R7 precursor. Autophosphorylated Sevenless initiates a Ras1‐mediated cascade, which eventually activates transcription factors in the nucleus via Raf1 and MAP kinases, resulting in R7 development. However, recent studies indicate that Sevenless (Sev) functions just to neuralize the cell and has no role in R7 fate determination per se. It appears that the R7 fate may represent the lowest rung of a ‘neuronal ground state’, which is attained without any specific inductive cue. It is plausible that the R7 precursor is actively prevented from taking on the neuronal fate and this inhibition is removed by activation of Sev. (shrink)

Historical records show that there was no real concept of probability in Europe before the mid-seventeenth century, although the use of dice and other randomizing objects was commonplace. Ian Hacking presents a philosophical critique of early ideas about probability, induction, and statistical inference and the growth of this new family of ideas in the fifteenth, sixteenth, and seventeenth centuries. Hacking invokes a wide intellectual framework involving the growth of science, economics, and the theology of the period. He argues that (...) the transformations that made it possible for probability concepts to emerge have constrained all subsequent development of probability theory and determine the space within which philosophical debate on the subject is still conducted. First published in 1975, this edition includes an introduction that contextualizes his book in light of developing philosophical trends. Ian Hacking is the winner of the Holberg International Memorial Prize 2009. (shrink)

Some 20 years ago Todd and colleagues proposed that rhythm perception is mediated by the conjunction of a sensory representation of the auditory input and a motor representation of the body (Todd, 1994a, 1995 ), and that a sense of motion from sound is mediated by the vestibular system (Todd, 1992a, 1993b ). These ideas were developed into a sensory-motor theory of rhythm and beat induction (Todd et al., 1999 ). A neurological substrate was proposed which might form the (...) biological basis of the theory (Todd et al., 2002 ). The theory was implemented as a computational model and a number of experiments conducted to test it. In the following time there have been several key developments. One is the demonstration that the vestibular system is primal to rhythm perception, and in related work several experiments have provided further evidence that rhythm perception is body dependent. Another is independent advances in imaging, which have revealed the brain areas associated with both vestibular processing and rhythm perception. A third is the finding that vestibular receptors contribute to auditory evoked potentials (Todd et al., 2014a, b ). These behavioral and neurobiological developments demand a theoretical overview which could provide a new synthesis over the domain of rhythm perception. In this paper we suggest four propositions as the basis for such a synthesis. (1) Rhythm perception is a form of vestibular perception; (2) Rhythm perception evokes both external and internal guidance of somatotopic representations; (3) A link from the limbic system to the internal guidance pathway mediates the “dance habit”; (4) The vestibular reward mechanism is innate. The new synthesis provides an explanation for a number of phenomena not often considered by rhythm researchers. We discuss these along with possible computational implementations and alternative models and propose a number of new directions for future research. (shrink)

Putnam and Laudan separately argue that the falsity of past scientific theories gives us reason to doubt the truth of current theories. Their arguments have been highly influential, and have generated a significant literature over the past couple of decades. Most of this literature attempts to defend scientific realism by attacking the historical evidence on which the premises of the relevant argument are based. However, I argue that both Putnam's and Laudan's arguments are fallacious, and hence attacking their premises is (...) unnecessary. The paper concludes with a discussion of the further historical evidence that would be required if the pessimistic induction is to present a serious threat to scientific realism. (shrink)

The Pessimistic Induction from falsity of past theories forms a perennial argument against scientific realism. This paper considers and rebuts two recent arguments—due to Lewis (2001) and Lange (2002)—to the conclusion that the Pessimistic Induction (in its best known form) is fallacious. It re-establishes the dignity of the Pessimistic Induction by calling to mind the basic objective of the argument, and hence restores the propriety of the realist program of responding to PMI by undermining one or another (...) of its premises. (shrink)

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis (...) provides an alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sharply about the explanatory value of proofs by mathematical induction. I offer an argument that aims to resolve this conflict of intuitions without making any controversial presuppositions about what mathematical explanations would be.

Through a study of argument, science, art, and human intelligence, Louis Groarke explores and builds on a line of Aristotelian thought that traces the origins of logic and knowledge to a mental creativity that is able to leap to insightful and truthful conclusions on the basis of restricted evidence. In an Aristotelian Account of Induction Groarke discusses the intellectual process through which we access the "first principles" of human thought - the most basic concepts, The laws of logic, The (...) universal claims of science and metaphysics, And The deepest moral truths. Following Aristotle and others, Groarke situates the first stirrings of human understanding in a creative capacity for discernment that precedes knowledge, even logic. Relying on a new historical study of philosophical theories of inductive reasoning from Aristotle To The twenty-first century, Groarke explains how Aristotle offers a viable solution To The so-called problem of induction, while offering new contributions to contemporary accounts of reasoning and argument and challenging the conventional wisdom about induction. In recovering and developing philosophical ideas that have been largely overlooked or misrepresented by more recent sources, An Aristotelian Account of Induction makes a major contribution To The historical study of philosophy and to critical debate. (shrink)

The necessitarian solution to the problem of induction involves two claims: first, that necessary connections are justified by an inference to the best explanation; second, that the best theory of necessary connections entails the timeless uniformity of nature. In this paper, I defend the second claim. My arguments are based on considerations from the metaphysics of laws, properties, and fundamentality.

This article poses a challenge to Schurz’s proposed metainductive justification of induction. It is argued that Schurz’s argument requires a notion of optimality that can deal with an expanding pool of prediction strategies.

In this paper Beebee argues that the problem of induction, which she describes as a genuine sceptical problem, is the same for Humeans than for Necessitarians. Neither scientific essentialists nor Armstrong can solve the problem of induction by appealing to IBE, for both arguments take an illicit inductive step.

The structure of Reichenbach's pragmatic vindication of induction is analysed in detail. The argument is seen to proceed in two stages, the first being a pragmatic justification of the frequency interpretation of probability which is taken as a license for considering the aim of induction to be the discovery of limiting relative frequencies, and the second being the pragmatic justification of induction itself. Both justifications are found to contain flaws, and the arguments used to support Reichenbach's definition (...) of the aim of induction presuppose the availability of a type of predicate which generates paradoxes closely related to Goodman's "grue-bleen" paradox. Next, Salmon's "Criterion of Linguistic Invariance" is evaluated as a canon of inductive logic, which singles out the "straight rule" from an infinite class of convergent inductive rules. Upon close examination, its credentials are seen to be unimpressive. In connection with Salmon's work on linguistic invariance, we take a closer look at the impact of the Goodman paradox on probability estimator rules like Reichenbach's "straight rule." We find that its undesirable consequences for such systems of inductive logic cannot be escaped by Salmon's solution, or indeed by any solution whose motivating idea is to rule "queer" predicates out of court. Finally, the discussion of the Goodman paradox leads us to a modest methodological proposal for systems of inductive logic which incorperate probability estimator rules of the type at issue. (shrink)

The articles in this volume deal with the main inferential methods that can be applied to different kinds of experimental evidence.

In this paper, I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because (...) it is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction. Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of (...) class='Hi'>induction, or, more precisely, of meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem. Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress. (shrink)

We present an explanatory objection to Norton's material theory of induction, as applied to predictive inferences. According to the objection we present, there is an explanatory disconnect between our beliefs about the future and the relevant future facts. We argue that if we recognize such a disconnect, we are no longer rationally entitled to our future beliefs.

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. (...) The first is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

We formalise a notion of dynamic rationality in terms of a logic of conditional beliefs on (doxastic) plausibility models. Similarly to other epistemic statements (e.g. negations of Moore sentences and of Muddy Children announcements), dynamic rationality changes its meaning after every act of learning, and it may become true after players learn it is false. Applying this to extensive games, we “simulate” the play of a game as a succession of dynamic updates of the original plausibility model: the epistemic situation (...) when a given node is reached can be thought of as the result of a joint act of learning (via public announcements) that the node is reached. We then use the notion of “stable belief”, i.e. belief that is preserved during the play of the game, in order to give an epistemic condition for backward induction: rationality and common knowledge of stable belief in rationality. This condition is weaker than Aumann’s and compatible with the implicit assumptions (the “epistemic openness of the future”) underlying Stalnaker’s criticism of Aumann’s proof. The “dynamic” nature of our concept of rationality explains why our condition avoids the apparent circularity of the “backward induction paradox”: it is consistent to (continue to) believe in a player’s rationality after updating with his irrationality. (shrink)

1. I shall attempt in this paper to give a rounded, if schematic, account of the concept of probability. My central concern will be to clarify the sense in which law-like statements (including 'statistical' law-like statements) are made probable by observational data which, in a sense equally demanding analysis, 'accord' with them.

The question whether attempts to vindicate induction should be abandoned in favor of (other) problems of rationality is pressing and difficult. How may we decide rationally when standards for rationality are at issue? It may be useful to first know how we have decided in the past. Whewell's philosophy of science and the reaction to it are discussed. Whewell's contemporaries mistakenly thought that only an inductivist research program could produce an adequate theory of rationality. But this very move violated (...) their own standards of rationality. We should now avoid making the same mistake again. We should return to Whewell's rejected proposal to make the philosophy of science historical and seek thereby to improve rational practice. (shrink)

My purpose in this chapter is to survey some of the principal approaches to inductive inference in the philosophy of science literature. My first concern will be the general principles that underlie the many accounts of induction in this literature. When these accounts are considered in isolation, as is more commonly the case, it is easy to overlook that virtually all accounts depend on one of very few basic principles and that the proliferation of accounts can be understood as (...) efforts to ameliorate the weaknesses of those few principles. In the earlier sections, I will lay out three inductive principles and the families of accounts of induction they engender. In later sections I will review standard problems in the philosophical literature that have supported some pessimism about induction and suggest that their import has been greatly overrated. In the final sections I will return to the proliferation of accounts of induction that frustrates efforts at a final codification. I will suggest that this proliferation appears troublesome only as long as we expect inductive inference to be subsumed under a single formal theory. If we adopt a material theory of induction in which individual inductions are licensed by particular facts that prevail only in local domains, then the proliferation is expected and not problematic. (shrink)

In a recent paper in this journal, Schramm presents what he takes to be an answer to Goodman’s New Riddle of Induction. His solution relies on the technical notion of evidential significance, which is meant to distinguish two ways that evidence may bear on a hypothesis: either via support or confirmation. As he puts his view in slogan form: “confirmation is support by significant evidence”. Once we make this distinction, Schramm claims, we see that Goodman’s famous riddle is dissolved, (...) and we are no longer forced into the “intolerable result” that anything confirms anything. Schramm makes a number of incisive observations in his paper, but I do not think he has solved the New Riddle. There are two reasons for this. First, Schramm has an overly narrow conception of what the Riddle amounts to; I would venture to guess that it is narrower than that of most contemporary philosophers. Thus his proposal does not address the primary concern. Second, Schramm’s notion of significant evidence relies on a counterfactual condition that bears more than a passing resemblance to that made famous by Jackson in his paper on the topic. However, Jackson’s proposal faces several well-known counterexamples, some of which can be adapted into Schramm’s framework. Schramm’s solution thus inherits a number of outstanding problems from Jackson’s proposal, which he has not shown us how to handle. (shrink)

Scientific anti-realists who appeal to the pessimistic induction (PI) claim that the theoretical terms of past scientific theories often fail to refer to anything. But on standard views in philosophy of language, such reference failures prima facie lead to certain sentences being neither true nor false. Thus, if these standard views are correct, then the conclusion of the PI should be that significant chunks of current theories are truth-valueless. But that is semantic anti-realism about scientific discourse—a position most philosophers (...) of science, anti-realists included, consider anathema today. Therefore, proponents of the PI confront a dilemma: either accept semantic anti-realism or reject common semantic views. I examine strategies (with particular emphasis on supervaluations) for the PI proponent to either lessen the sting of this argument, or learn to live with it. 1 Introduction2 Designation Failure 2.1 Designation failure leads to truth-valueless sentences2.1.1 Direct reference theory2.1.2 Fregeanism2.1.3 Accounts of reference-fixing: why ‘phlogiston’ fails to designate 2.2 Objection: sentences exhibiting designation failure are false not truth-valueless 2.3 Avoiding truth-valuelessness via controversial semantic positions3 What to do? Closing the Gaps4 Conclusion. (shrink)

In this paper, (1) I argue that Sherlock Holmes was a good logician according to the standard of his day, and (2) I try to show what his method of reasoning was. Now, (2) is a harder task than (1), because we have to identify the essential features of his method of reasoning. In order to show this, I have not only to examine what Holmes says he is doing, but also to look at the methods of scientific reasoning recommended (...) by several distinguished philosophers of science in the 19th century. I want to examine Holmes's method of reasoning in a historical setting; and this has something to do with the philosophy of science in the 19th century, and hopefully with the philosophy of science today. I will examine whether such methods are similar or dissimilar to Holmes's method. Logicians and philosophers I wish to examine are, John Herschel, John Stuart Mill, William Whewell, Augustus de Morgan, and William Stanley Jevons; however, since the space is limited, I cannot do justice to all of them. My conclusion is this: Sherlock Holmes was distinctly different from Herschel or Mill or Whewell who may be called a classical methodologist; but he was very close to de Morgan or Jevons who were an advocate of the new symbolic logic and the probabilistic theory of induction. But what is the point of showing all this? The rise and development of statistical method in the19th century had a great impact on the theories of scientific reasoning, and de Morgan's or Jevons's theory is a newer theory of induction in this century. And such a change of methodology is clearly reflected in the popular stories of Sherlock Holmes, which were written in the late 19th century and early 20th century. (shrink)

The pessimistic induction holds that successful past scientific theories are completely false, so successful current ones are completely false too. I object that past science did not perform as poorly as the pessimistic induction depicts. A close study of the history of science entitles us to construct an optimistic induction that would neutralize the pessimistic induction. Also, even if past theories were completely false, it does not even inductively follow that the current theories will also turn (...) out to be completely false because the current theories are more successful and have better birth qualities than the past theories. Finally, the extra success and better birth qualities justify an anti-induction in favor of the present theories. (shrink)

John Foster presents a clear and powerful discussion of a range of topics relating to our understanding of the universe: induction, laws of nature, and the existence of God. He begins by developing a solution to the problem of induction - a solution whose key idea is that the regularities in the workings of nature that have held in our experience hitherto are to be explained by appeal to the controlling influence of laws, as forms of natural necessity. (...) His second line of argument focuses on the issue of what we should take such necessitational laws to be, and whether we can even make sense of them at all. Having considered and rejected various alternatives, Foster puts forward his own proposal: the obtaining of a law consists in the causal imposing of a regularity on the universe as a regularity. With this causal account of laws in place, he is now equipped to offer an argument for theism. His claim is that natural regularities call for explanation, and that, whatever explanatory role we may initially assign to laws, the only plausible ultimate explanation is in terms of the agency of God. Finally, he argues that, once we accept the existence of God, we need to think of him as creating the universe by a method which imposes regularities on it in the relevant law-yielding way. In this new perspective, the original nomological-explanatory solution to the problem of induction becomes a theological-explanatory solution. The Divine Lawmaker is bold and original in its approach, and rich in argument. The issues on which it focuses are among the most important in the whole epistemological and metaphysical spectrum. (shrink)

This article examines Newton’s method of induction and its connection to methodological atomism. The article argues that Newton’s Rule III for the Study of Natural Philosophy is a criterion for isolating the primary qualities of the atomic parts; in other words, it interprets Rule III as a transductive inference. It is shown that both the standard inductive and invariance interpretations of Rule III can be subsumed under the transductive view, although the invariance criterion is reinterpreted; by qualities “that cannot (...) be intended or remitted,” Newton means qualities that are invariant under changes in the configuration of the atomic parts. (shrink)

Evaluative studies of inductive inferences have been pursued extensively with mathematical rigor in many disciplines, such as statistics, econometrics, computer science, and formal epistemology. Attempts have been made in those disciplines to justify many different kinds of inductive inferences, to varying extents. But somehow those disciplines have said almost nothing to justify a most familiar kind of induction, an example of which is this: “We’ve seen this many ravens and they all are black, so all ravens are black.” This (...) is enumerative induction in itsfullstrength. For it does not settle with a weaker conclusion (such as “the ravens observed in the future will all be black”); nor does it proceed with any additional premise (such as the statistical IID assumption). The goal of this paper is to take some initial steps toward a justification for the full version of enumerative induction, against counterinduction, and against the skeptical policy. The idea is to explore various epistemic ideals, mathematically defined as different modes of convergence to the truth, and look for one that is weak enough to be achievable and strong enough to justify a norm that governs both the long run and the short run. So the proposal is learning-theoretic in essence, but a Bayesian version is developed as well. (shrink)

This paper explains what’s wrong with a Hume-inspired argument for skepticism about induction. Hume’s argument takes as a premise that inductive reasoning presupposes that the future will resemble the past. I explain why that claim is not plausible. The most plausible premise in the vicinity is that inductive reasoning from E to H presupposes that if E then H. I formulate and then refute a skeptical argument based on that premise. Central to my response is a psychological explanation for (...) how people judge that if E then H without realizing that they thereby settled the matter rationally. (shrink)