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.

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.

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.

Originally published in 1969. This book explains what is wrong with the traditional methodology of "inductive" reasoning and shows that the alternative scheme of reasoning associated with Whewell, Pierce and Popper can give the scientist a useful insight into the way he thinks.

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.

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.

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)

Under what conditions does machine learning (ML) model opacity inhibit the possibility of explaining and understanding phenomena? In this paper, I argue that non-epistemic values give shape to the ML opacity problem even if we keep researcher interests fixed. Treating ML models as an instance of doing model-based science to explain and understand phenomena reveals that there is (i) an external opacity problem, where the presence of inductive risk imposes higher standards on externally validating models, and (ii) an internal opacity (...) problem, where greater inductive risk demands a higher level of transparency regarding the inferences the model makes. (shrink)

In this paper I put forward what I think is a new approach to the problem of induction. I sketched the approach in brief sections of a book published in 1983. The same idea had occurred to the English philosopher John Foster and he presented it in a paper at about the same time.

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)

This fascinating study in the sociology of science explores the way scientists conduct, and draw conclusions from, their experiments. The book is organized around three case studies: replication of the TEA-laser, detecting gravitational rotation, and some experiments in the paranormal. "In his superb book, Collins shows why the quest for certainty is disappointed. He shows that standards of replication are, of course, social, and that there is consequently no outside standard, no Archimedean point beyond society from which we can lever (...) the intellects of our fellows. "- -Donald M. McCloskey, Journal of Economic Psychology "Collins is one of the genuine innovators of the sociology of scientific knowledge.... Changing Order is a rich and entertaining book. "- - Isis "The book gives a vivid sense of the contingent nature of research and is generally a good read. "- -Augustine Brannigan, Nature "This provocative book is a review of [Collins's] work, and an attempt to explain how scientists fit experimental results into pictures of the world.... A promising start for new explorations of our image of science, too often presented as infallibly authoritative. "- -Jon Turney, New Scientist. (shrink)

Induction, conceived as the class of rational non-truth preserving inferences, has been a perennial problem in philosophy. Aside from the problem of justification of induction, a less debated issue is the problem of properly describing inductive inferences. The purpose of this book is to conceptually investigate this descriptive problem of induction from the standpoint of the nonmonotonic logical tradition raised inside the field of Artificial Intelligence in the last thirty years. As we try to show, an essential (...) part of this enterprise involves the analysis of a pragmatically oriented notion of probability, called by us inductive plausibility. This in turn is made from the viewpoint of paraconsistency ? which according to some is the unavoidable companion of nonmonotonicity ? and modal logic. We therefore put forward a nonmonotonic, paraconsistent and modal approach to induction and plausibility. The book shall be useful to philosophers, logicians and computer scientists interested in the problem of induction in general and in the logical analysis of induction and plausibility in particular. (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)

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)

Inductive logic is a theory of how one should reason in the face of uncertainty. It has applications to decision making and artificial intelligence, as well as to scientific problems.

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)

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)

Without inductive reasoning, we couldn't generalize from one instance to another, derive scientific hypotheses, or predict that the sun will rise again tomorrow morning. Despite the widespread nature of inductive reasoning, books on this topic are rare. Indeed, this is the first book on the psychology of inductive reasoning in twenty years. The chapters survey recent advances in the study of inductive reasoning and address questions about how it develops, the role of knowledge in induction, how best to model (...) people's reasoning, and how induction relates to other forms of thinking. Written by experts in philosophy, developmental science, cognitive psychology, and computational modeling, the contributions here will be of interest to a general cognitive science audience as well as to those with a more specialized interest in the study of thinking. (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)

Conceptual change and its connection to the development of new seien tific theories has reeently beeome an intensively discussed topic in philo sophieal literature. Even if the inductive aspects related to conceptual change have already been discussed to some extent, there has so far existed no systematic treatment of inductive change due to conceptual enrichment. This is what we attempt to accomplish in this work, al though most of our technical results are restricted to the framework of monadic languages. We (...) extend Hintikka's system of inductive logic to apply to situations in which new concepts are introduced to the original language. By interpreting them as theoretica1 concepts, it is possible to discuss a number of currently debated philosophical and methodological problems which have previously escaped systematic and exact treatment. For instance, the role which seientific theories employing theoretical con cepts may play within inductive inference can be studied within this framework. From the viewpoint of seientific realism, sueh a study gives outlines for a theory of what we call hypothetico-induetive inference. Some parts of this work which are based on Hintikka's system of in ductive logic are fairly technical. However, no previous knowledge of this system is required, but, in general, acquaintance with the basic ideas of elementary logic and probability theory is suffieient. This work is part of a project, originated by Professors Jaakko Hintikka and Raimo Tuomela, concerning the role of theoretical concepts in 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)

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)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such (...) a metaphysics can help us make progress on the problem of induction. (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

According to David Hume, the concept of causation and probability are to be understood in terms of the concepts of similarity and repetition. In this book, it is shown that they are to be understood in terms of the concept of continuity. One corollary is that there is no legitimate basis for skepticism concerning the legitimacy of inductive inference. Another is that anti-realism about theoretical entities is misconceived.

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.

Doubting that any version of induction could be satisfactory as the basic principle of nondemonstrative inference the author analyzes elaborately and rejects eliminative and enumerative induction in the search for a satisfactory criterion of confirmation. The basic difficulty is that induction fails to provide a means of confirming hypotheses about unobserved things. He inclines toward a method of hypothesis but rejects previous formulations in favor of one that involves systems of confirmable hypotheses that are competetively chosen as (...) the simplest available. (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)

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)

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.

Inductive Logic is a ‘thematic compilation’ by Avi Sion. It collects in one volume many (though not all) of the essays, that he has written on this subject over a period of some 23 years, which all demonstrate the possibility and conditions of validity of human knowledge, the utility and reliability of human cognitive means when properly used, contrary to the skeptical assumptions that are nowadays fashionable.

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.

I examine the views of Thomas Reid with respect to a certain version of the problem of induction: Why are inductions using natural kinds successful, and what justifies them? I argue that while both Reid holds a kind of conventionalist view about natural kinds, this conventionalism has a realistic component which allows him to answer both questions.

Originally published in 1969. This book explains what is wrong with the traditional methodology of "inductive" reasoning and shows that the alternative scheme of reasoning associated with Whewell, Pierce and Popper can give the scientist a useful insight into the way he thinks.

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.

Philosophers interested in the role of values in science have focused much attention on the argument from inductive risk. In the 1950s and 1960s, a number of authors argued that value judgments play an ineliminable role in the acceptance or rejection of hypotheses. No hypothesis is ever verified with certainty, and so a decision to accept or reject a hypothesis depends upon whether the evidence is sufficiently strong. But whether the evidence is sufficiently strong depends upon the consequences of making (...) a mistake in accepting or rejecting the hypothesis. Recent philosophers of science have not only revived this argument; they have also extended it... (shrink)

In this paper, I outline a reductio against Stanford’s “New Induction” on the History of Science, which is an inductive argument against scientific realism that is based on what Stanford (2006) calls “the Problem of Unconceived Alternatives” (PUA). From the supposition that Stanford’s New Induction on the History of Science is cogent, and the parallel New Induction on the History of Philosophy (Mizrahi 2014), it follows that scientific antirealism is not worthy of belief. I also show that (...) denying a key premise in the reductio only forces antirealists who endorse Stanford’s New Induction on the History of Science into a dilemma: either antirealism falls under the axe of Stanford’s New Induction on the History of Science or it falls under the axe of the New Induction on the History of Philosophy. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all (...) inductive rules are formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

The paper sketches an ontological solution to an epistemological problem in the philosophy of science. Taking the work of Hilary Kornblith and Brian Ellis as a point of departure, it presents a realist solution to the Humean problem of induction, which is based on a scientific essentialist interpretation of the principle of the uniformity of nature. More specifically, it is argued that use of inductive inference in science is rationally justified because of the existence of real, natural kinds of (...) things, which are characterized as such by the essential properties which all members of a kind necessarily possess in common. The proposed response to inductive scepticism combines the insights of epistemic naturalism with a metaphysical outlook that is due to s cientific realism. (shrink)