Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth (...) century. Recent scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most of the (...) properties of this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (shrink)

In the mid-eighteenth century David Hume argued that successful prediction tells us nothing about the truth of the predicting theory. But physical theory routinely predicts the values of observable magnitudes within very small ranges of error. The chance of this sort of predictive success without a true theory suggests that Hume's argument is flawed. However, Colin Howson argues that there is no flaw and examines the implications of this disturbing conclusion; he also offers a solution to one of the central (...) problems of Western philosophy, the problem of induction. (shrink)

Itself a pleasure to read, this book is full of inventive arguments and conveys Millgram's bold thesis with elegance and force.

The central argument that Leslie Smith makes in this study is that reasoning by mathematical induction develops during childhood. The basis for this claim is a study conducted with children aged five to seven years in school years one and two.

I present a new thermodynamic argument for the existence of God. Naturalistic physics provides evidence for the failure of induction, because it provides evidence that the past is not at all what you think it is, and your existence is just a momentary fluctuation. The fact that you are not a momentary fluctuation thus provides evidence for the existence of God – God would ensure that the past is roughly what we think it is, and you have been in (...) existence for roughly the amount of time you think you have. I don’t have a definitive way for the atheist to refute this argument, but I give one suggestion that relies on physics-based simplicity considerations. I close with an epistemological discussion of self-undermining arguments. (shrink)

Most social policies cannot be defended without making inductive inferences. For example, consider certain arguments for racial profiling and affirmative action, respectively. They begin with statistics about crime or socioeconomic indicators. Next, there is an inductive step in which the statistic is projected from the past to the future. Finally, there is a normative step in which a policy is proposed as a response in the service of some goal—for example, to reduce crime or to correct socioeconomic imbalances. In comparison (...) to the normative step, the inductive step of a policy defense may seem trivial. We argue that this is not so. Satisfying the demands of the inductive step is difficult, and doing so has important but underappreciated implications for the normative step. In this paper, we provide an account of induction in social contexts and explore its implications for policy. Our account helps to explain which normative principles we ought to accept, and as a result it can explain why it is acceptable to make inferences involving race in some contexts (e.g., in defense of affirmative action) but not in others (e.g., in defense of racial profiling). (shrink)

Although epistemic values have become widely accepted as part of scientific reasoning, non-epistemic values have been largely relegated to the "external" parts of science (the selection of hypotheses, restrictions on methodologies, and the use of scientific technologies). I argue that because of inductive risk, or the risk of error, non-epistemic values are required in science wherever non-epistemic consequences of error should be considered. I use examples from dioxin studies to illustrate how non-epistemic consequences of error can and should be considered (...) in the internal stages of science: choice of methodology, characterization of data, and interpretation of results. (shrink)

The hard problem of induction is to argue without begging the question that inductive inference, applied properly in the proper circumstances, is conducive to truth. A recent theorem seems to show that the hard problem has a deductive solution. The theorem, provable in ZFC, states that a predictive function M exists with the following property: whatever world we live in, M ncorrectly predicts the world’s present state given its previous states at all times apart from a well-ordered subset. On (...) the usual model of time a well-ordered subset is small relative to the set of all times. M’s existence therefore seems to provide a solution to the hard problem. My paper argues for two conclusions. First, the theorem does not solve the hard problem of induction. More positively though, it solves a version of the problem in which the structure of time is given modulo our choice of set theory. (shrink)

How induction was understood took a substantial turn during the Renaissance. At the beginning, induction was understood as it had been throughout the medieval period, as a kind of propositional inference that is stronger the more it approximates deduction. During the Renaissance, an older understanding, one prevalent in antiquity, was rediscovered and adopted. By this understanding, induction identifies defining characteristics using a process of comparing and contrasting. Important participants in the change were Jean Buridan, humanists such as (...) Lorenzo Valla and Rudolph Agricola, Paduan Aristotelians such as Agostino Nifo, Jacopo Zabarella, and members of the medical faculty, writers on philosophy of mind such as the Englishman John Case, writers of reasoning handbooks, and Francis Bacon. (shrink)

Views which deny that there are necessary connections between distinct existences have often been criticized for leading to inductive skepticism. If there is no glue holding the world together then there seems to be no basis on which to infer from past to future. However, deniers of necessary connections have typically been unconcerned. After all, they say, everyone has a problem with induction. But, if we look at the connection between induction and explanation, we can develop the problem (...) of induction in a way that hits deniers of necessary connections, but not their opponents. The denier of necessary connections faces an `internal' problem with induction -- skepticism about important inductive inferences naturally flows from their position in a way that it doesn't for those who accept necessary connections. This is a major problem, perhaps a fatal one, for the denial of necessary connections. (shrink)

If the total state of the universe is encodable by a real number, Hardin and Taylor have proved that there is a solution to one version of the problem of induction, or at least a solution to a closely related epistemological problem. Is this philosophical application of the Hardin-Taylor result modest enough? The paper advances grounds for doubt. [A longer and more detailed sequel to this paper, 'Proving Induction', was published in the Australasian Journal of Logic in 2011.].

'The most thorough and scrupulous of contemporary students of induction' (the execrable Quinton 1993, p. 172).

The standard backward-induction reasoning in a game like the centipede assumes that the players maintain a common belief in rationality throughout the game. But that is a dubious assumption. Suppose the first player X didn't terminate the game in the first round; what would the second player Y think then? Since the backwards-induction argument says X should terminate the game, and it is supposed to be a sound argument, Y might be entitled to doubt X's rationality. Alternatively, Y (...) might doubt that X believes Y is rational, or that X believes Y believes X is rational, or Y might have some higher-order doubt. X’s deviant first move might cause a breakdown in common belief in rationality, therefore. Once that goes, the entire argument fails. The argument also assumes that the players act rationally at each stage of the game, even if this stage could not be reached by rational play. But it is also dubious to assume that past irrationality never exerts a corrupting influence on present play. However, the backwards-induction argument can be reconstructed for the centipede game on a more secure basis.1 It may be implausible to assume a common belief in rationality throughout the game, however the game might go, but the argument requires less than this. The standard idealisations in game theory certainly allow us to assume a common belief in rationality at the beginning of the game. They also allow us to assume this common belief persists so long as no one makes an irrational move. That is enough for the argument to go through. (shrink)

Inductive methods can be used to estimate the accuracies of inductive methods. Call a method immodest if it estimates that it is at least as accurate as any of its rivals. It would be unreasonable to adopt any but an immodest method. Under certain assumptions, exactly one of Carnap's lambda-methods is immodest. This may seem to solve the problem of choosing among the lambda-methods; but sometimes the immodest lambda-method is λ =0, which it would not be reasonable to adopt. We (...) should therefore reconsider the assumptions that led to this conclusion: for instance, the measure of accuracy. (shrink)

As our epistemic ambitions grow, the common and scientific endeavours are becoming increasingly dependent on Machine Learning (ML). The field rests on a single experimental paradigm, which consists of splitting the available data into a training and testing set and using the latter to measure how well the trained ML model generalises to unseen samples. If the model reaches acceptable accuracy, an a posteriori contract comes into effect between humans and the model, supposedly allowing its deployment to target environments. Yet (...) the latter part of the contract depends on human inductive predictions or generalisations, which infer a uniformity between the trained ML model and the targets. The paper asks how we justify the contract between human and machine learning. It is argued that the justification becomes a pressing issue when we use ML to reach ‘elsewheres’ in space and time or deploy ML models in non-benign environments. The paper argues that the only viable version of the contract can be based on optimality (instead of on reliability which cannot be justified without circularity) and aligns this position with Schurz’s optimality justification. It is shown that when dealing with inaccessible/unstable ground-truths (‘elsewheres’ and non-benign targets), the optimality justification undergoes a slight change, which should reflect critically on our epistemic ambitions. Therefore, the study of ML robustness should involve not only heuristics that lead to acceptable accuracies on testing sets. The justification of human inductive predictions or generalisations about the uniformity between ML models and targets should be included as well. Without it, the assumptions about inductive risk minimisation in ML are not addressed in full. (shrink)

I review prominent historical arguments against scientific realism to indicate how they display a systematic overshooting in the conclusions drawn from the historical evidence. The root of the overshooting can be located in some critical, undue presuppositions regarding realism. I will highlight these presuppositions in connection with both Laudan’s ‘Old induction’ and Stanford’s New induction, and then delineate a minimal realist view that does without the problematic presuppositions.

An account of inductive inference is presented which addresses both its epistemological and metaphysical dimensions. It is argued that inductive knowledge is possible by virtue of the fit between our innate psychological capacities and the causal structure of the world.

Backward induction has been the standard method of solving finite extensive-form games with perfect information, notwithstanding the fact that this procedure leads to counter-intuitive results in various games. However, beginning in the late eighties, the method of backward induction became an object of criticism. It is claimed that the assumptions needed for its defence are quite implausible, if not incoherent. It is therefore natural to ask for the justification of backward induction: Can one show that rational players (...) who know the structure of the game, have trust in each other's practical rationality and reason correctly, will act in accordance in backward induction? Several researchers have tried a justification of this kind, but the argument presented in Robert Aumann's paper from 1995 is perhaps the most well-known and influential attempt to provide such a justification. Clausing provides a sustained discussion of the justification problem for backward induction. It is an excellent work and the criticism I will present below does not detract from this evaluation: the issues discussed by the author are complex and it is difficult to get everything right. Furthermore, I hope that the criticism to be presented may be instructive; Even though it has not been Clausing's intention, his logical reconstruction of Aumann's defence of backward induction allows us to see very clearly what is wrong with that argument. It also provides us with * This paper was presented at workshops in Lund and in Uppsala, in the Fall of 1999. I am indebted to the participants for their useful comments. The work on the paper was supported by a generous research grant from The Bank of Sweden Tercentenary Foundation. (shrink)

In recent years, the argument from inductive risk against value free science has enjoyed a revival. This paper investigates and clarifies this argument through means of a case-study: neonicitinoid research. Sect. 1 argues that the argument from inductive risk is best conceptualised as a claim about scientists’ communicative obligations. Sect. 2 then shows why this argument is inapplicable to “public communication”. Sect. 3 outlines non-epistemic reasons why non-epistemic values should not play a role in public communicative contexts. Sect. 4 analyses (...) the implications of these arguments both for the specific case of neonicitinoid research and for understanding the limits of the argument from inductive risk. Sect. 5 sketches the broader implications of my claims for understanding the “Value Free Ideal” for science. (shrink)

This article considers two arguments that purport to show that inductive reasoning is unjustified: the argument adduced by Sextus Empiricus and the (better known and more formidable) argument given by Hume in the Treatise. While Sextus’ argument can quite easily be rebutted, a close examination of the premises of Hume’s argument shows that they are seemingly cogent. Because the sceptical claim is very unintuitive, the sceptical argument constitutes a paradox. And since attributions of justification are theoretical, and the claim that (...) they are never (or seldom) true isn’t preposterous, the correct response to the paradox may well be to admit that the sceptic has exposed our error in making them. (shrink)

. Recent philosophers of science have not only revived the classical argument from inductive risk but extended it. I argue that some of the purported extensions do not fit cleanly within the schema of the original argument, and I discuss the problem of overdiagnosis of disease due to expanded disease definitions in order to show that there are some risks in the research process that are important and that very clearly fall outside of the domain of inductive risk. Finally, I (...) introduce the notion of epistemic risk in order to characterize such risks. (shrink)

Safety accounts of knowledge claim, roughly, that knowledge that p requires that one's belief that p could not have easily been false. Such accounts have been very popular in recent epistemology. However, one serious problem safety accounts have to confront is to explain why certain lottery‐related beliefs are not knowledge, without excluding obvious instances of inductive knowledge. We argue that the significance of this objection has hitherto been underappreciated by proponents of safety. We discuss Duncan Pritchard's recent solution to the (...) problem and argue that it fails. More importantly, the problem reaches deeper and poses a threat to any current safety accounts that require a belief's modal stability in close possibilities (as well as safety accounts that appeal to ‘normality’). We end by arguing that ways out of the problem require substantial reconstruction for a safety‐based account of knowledge. (shrink)

The argument from inductive risk is considered to be one of the strongest challenges for value-free science. A great part of its appeal lies in the idea that even an ideal epistemic agent—the “perfect scientist” or “scientist qua scientist”—cannot escape inductive risk. In this paper, I scrutinize this ambition by stipulating an idealized Bayesian decision setting. I argue that inductive risk does not show that the “perfect scientist” must, descriptively speaking, make non-epistemic value-judgements, at least not in a way that (...) undermines the value-free ideal. However, the argument is more successful in showing that there are cases where the “perfect scientist” should, normatively speaking, use non-epistemic values. I also show that this is possible without creating problems of illegitimate prescription and wishful thinking. Thus, while inductive risk does not refute value-freedom completely, it still represents a powerful critique of value-free science. (shrink)

In ‘Induction and Natural Kinds’, I proposed a solution to the problem of induction according to which our use of inductive inference is reliable because it is grounded in the natural kind structure of the world. When we infer that unobserved members of a kind will have the same properties as observed members of the kind, we are right because all members of the kind possess the same essential properties. The claim that the existence of natural kinds is (...) what grounds reliable use of induction is based on an inference to the best explanation of the success of our inductive practices. As such, the argument for the existence of natural kinds employs a form of ampliative inference. But induction is likewise a form of ampliative inference. Given both of these facts, my account of the reliability of induction is subject to the objection that it provides a circular justification of induction, since it employs an ampliative inference to justify an ampliative inference. In this paper, I respond to the objection of circularity by arguing that what justifies induction is not the inference to the best explanation of its reliability. The ground of induction is the natural kinds themselves. (shrink)

How confident does the history of science allow us to be about our current well-tested scientific theories, and why? The scientific realist thinks we are well within our rights to believe our best-tested theories, or some aspects of them, are approximately true.2 Ambitious arguments have been made to this effect, such as that over historical time our scientific theories are converging to the truth, that the retention of concepts and claims is evidence for this, and that there can be no (...) other serious explanation of the success of science than that its theories are approximately true. There is appeal in each of these ideas, but making such strong claims has tended to be hazardous, leaving us open to charges that many typical episodes in the history of science just do not fit the model. (See, e.g., Laudan 1981.) Arguing for a realist attitude via general claims – properties ascribed to sets of theories, trends we see in progressions of theories, and claimed links between general properties like success and truth that apply or fail to apply to any theory regardless of its content – is like arguing for or via a theory of science, which brings with it the obligation to defend that theory. I think a realist attitude toward particular scientific theories for which we have evidence can be maintained rationally without such a theory, even in the face of the pessimistic induction over the history of science. The starting point at which questions arise as to what we have a right to believe about our theories is one where we have theories and evidence for them, and we are involved in the activity of apportioning our belief in each particular theory or hypothesis in accord with the strength of the particular evidence.3 The devil’s advocate sees our innocence and tries his best to sow seeds of doubt. If our starting point is as I say, though, the innocent believer in particular theories does not have to play offense and propose sweeping views about science in general, but only to respond to the skeptic’s challenges; the burden of initial argument is on the skeptic.. (shrink)

In this article, I argue that arguments from the history of science against scientific realism, like the arguments advanced by P. Kyle Stanford and Peter Vickers, are fallacious. The so-called Old Induction, like Vickers's, and New Induction, like Stanford's, are both guilty of confirmation bias—specifically, of cherry-picking evidence that allegedly challenges scientific realism while ignoring evidence to the contrary. I also show that the historical episodes that Stanford adduces in support of his New Induction are indeterminate between (...) a pessimistic and an optimistic interpretation. For these reasons, these arguments are fallacious, and thus do not pose a serious challenge to scientific realism. (shrink)

The argument from inductive risk has been embraced by many as a successful account of the role of values in science that challenges the value-free ideal. We argue that it is not obvious that the argument from inductive risk actually undermines the value-free ideal. This is because the inductive risk argument endorses an assumption held by proponents of the value-free ideal: that contextual values never play an appropriate role in determining evidence. We show that challenging the value-free ideal ultimately requires (...) rejecting this assumption. (shrink)

John Stuart Mill’s System of Logic (1843) is often considered to be a work that defends an inductivist epistemology. In this article, I propose to question this status by examining the definition of induction set out in Mill’s book, and the consequences that can be deduced from it. I show that Mill’s inductivism implies a methodology of scientific research in which deductive reasoning is just as important, if not more important, than inductive methods, so that the classical opposition between (...) induction and deduction is transformed into a complementarity. I then show how the concepts of natural law and causality emerge from these discussions, and examine how well the methods proposed by Mill are able to account for subsequent scientific discoveries. (shrink)

The pessimistic induction plays an important role in the contemporary realism/anti-realism debate in philosophy of science. But there is some disagreement about the structure and aim of the argument. And a number of scholars have noted that there is more than one type of PI in the philosophical literature. I review four different versions of the PI. I aim to show that PIs have been appealed to by philosophers of science for a variety of reasons. Even some realists have (...) appealed to a PI. My goal is to advance our understanding of what the various PIs can teach us about science and the threat posed by PIs to scientific realism. (shrink)

Pure Inductive Logic is the study of rational probability treated as a branch of mathematical logic. This monograph, the first devoted to this approach, brings together the key results from the past seventy years, plus the main contributions of the authors and their collaborators over the last decade, to present a comprehensive account of the discipline within a single unified context.

I want to examine a possible solution to the problem of induction-one which, as far as I know, has not been discussed elsewhere. The solution makes crucial use of the notion of objective natural necessity. For the purposes of this discussion, I shall assume that this notion is coherent. I am aware that this assumption is controversial, but I do not have space to examine the issue here.

John Foster; VI*—Induction, Explanation and Natural Necessity, Proceedings of the Aristotelian Society, Volume 83, Issue 1, 1 June 1983, Pages 87–102, https://d.

This book brings together eleven case studies of inductive risk-the chance that scientific inference is incorrect-that range over a wide variety of scientific contexts and fields. The chapters are designed to illustrate the pervasiveness of inductive risk, assist scientists and policymakers in responding to it, and productively move theoretical discussions of the topic forward.

The present study examined the effects of semantic structure on simple inductive judgments about category members. For a particular category, subjects were told that one of the species had a given property and were asked to estimate the proportion of instances in the other species that possessed the property. The results indicated that category structure—in particular, the typicality of the species—influenced subjects' judgments. These results were interpreted by models based on the following assumption: When little is known about the underlying (...) distribution of a property, subjects assume that the distribution mirrors that of better-known properties. For this reason, if subjects learn that an unknown property is possessed by a typical species, they are more likely to generalize than if the same fact had been learned about an atypical species. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The (...) argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Certain natural assumptions, such as the idea that the observations are just as informative as each other, the idea that they are independent, and (...) that they increase your knowledge monotonically (among others) are given precise formulations. Some surprising consequences of these assumptions are drawn, and their ramifications for the two theories examined. Finally, a simple model of inductive knowledge is offered, and independently derived from other principles concerning the interaction of knowledge and counterfactuals. (shrink)

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.

The Problem of Induction This article discusses the problem of induction, including its conceptual and historical perspectives from Hume to Reichenbach. Given the prominence of induction in everyday life as well as in science, we should be able to tell whether inductive inference amounts to sound reasoning or not, or at least we should be … Continue reading Induction, The Problem of →.

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in (...) a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined. (shrink)

In this paper I adduce a new argument in support of the claim that IBE is an autonomous form of inference, based on a familiar, yet surprisingly, under-discussed, problem for Hume’s theory of induction. I then use some insights thereby gleaned to argue for the claim that induction is really IBE, and draw some normative conclusions.