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 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)

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)

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 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.

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)

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.

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.

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.

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)

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.

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.

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.

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

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.

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)

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)

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)

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)

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)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls (...) short, and so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

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)

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)

Applying good inductive rules inside the scope of suppositions leads to implausible results. I argue it is a mistake to think that inductive rules of inference behave anything like 'inference rules' in natural deduction systems. And this implies that it isn't always true that good arguments can be run 'off-line' to gain a priori knowledge of conditional conclusions.

An influential argument for anti-reductionism about testimony, due to CAJ Coady, fails, because it assumes that an inductive global defense of testimony would proceed along effectively behaviorist lines. If we take seriously our wealth of non-testimonially justified folk psychological beliefs, the prospects for inductivism and reductionism look much better.

Hempel's paradox of the ravens arises from the inconsistency of three prima facie plausible principles of confirmation. This paper uses Carnapian inductive logic to (a) identify which of the principles is false, (b) give insight into why this principle is false, and (c) identify a true principle that is sufficiently similar to the false one that failure to distinguish the two might explain why the false principle is prima facie plausible. This solution to the paradox is compared with a variety (...) of other responses and is shown to differ from all of them. (shrink)

This introduction consists of two parts. In the first part, the special issue editors introduce inductive metaphysics from a historical as well as from a systematic point of view and discuss what distinguishes it from other modern approaches to metaphysics. In the second part, they give a brief summary of the individual articles in this special issue.

Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning (...) more facts, we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (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)

It is argued in this paper that the valid argument forms coming under the general heading of Demonstrative Induction have played a highly significant role in the history of theoretical physics. This situation was thoroughly appreciated by several earlier philosophers of science and deserves to be more widely known and understood.

In a recent work, Popper claims to have solved the problem of induction. In this paper I argue that Popper fails both to solve the problem, and to formulate the problem properly. I argue, however, that there are aspects of Popper's approach which, when strengthened and developed, do provide a solution to at least an important part of the problem of induction, along somewhat Popperian lines. This proposed solution requires, and leads to, a new theory of the role (...) of simplicity in science, which may have helpful implications for science itself, thus actually stimulating scientific progress. (shrink)

In this paper, I consider the pessimistic induction construed as a deductive argument (specifically, reductio ad absurdum) and as an inductive argument (specifically, inductive generalization). I argue that both formulations of the pessimistic induction are fallacious. I also consider another possible interpretation of the pessimistic induction, namely, as pointing to counterexamples to the scientific realist’s thesis that success is a reliable mark of (approximate) truth. I argue that this interpretation of the pessimistic induction fails, too. If (...) this is correct, then the pessimistic induction is an utter failure that should be abandoned by scientific anti-realists. (shrink)

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)

The tapestry of Wilfrid Sellars’s writings is dauntingly rich in stimulus and suggestion. I shall take up here an intriguing strand of thought that was woven into one of his early papers ‘Language, Rules and Behavior’, and I shall discuss some of the issues to which it gives rise. Sellars was concerned in that paper with the procedures by which people evaluate actions as right or wrong, arguments as valid or invalid, and cognitive claims as well or ill grounded. He (...) sought to map out a true vïa media, in his treatment of such procedures, between rationalistic apriorism and what, for want of a better term then, he called ‘descriptivism’, by which he understood the claim that all meaningful concepts and problems belong to the empirical or descriptive sciences, including the sciences of human behaviour. Sellars was thus led to ask not only ‘What sort of a thing is justification?’ but also ‘How do we come to accept the rules or laws that license justifications?’ And he saw these questions as arising in relation to any dialogue in which one party seeks to justify something to another. With regard to the justification of actions he held that the intuitionism of Ross, Prichard and Ewing was reasonably faithful to the phenomenology of moral thought and experience, though he did not agree with their belief in a nonnatural quality or relation that may belong to actions over and above their empirical characteristics. With regard to the justification of predictions he held that the relevant covering laws are ultimately rendered acceptable by an appeal to instances of their application. But he was reluctant to conceive this kind of appeal as an inductive procedure. Instead he called it an application of Socratic method, since the purpose of this method is to make explicit the rules that we have implicitly adopted for thought and action, and Sellars interpreted our judgments to the effect that A causally necessitates B as the expression of a rule governing our use of the terms ‘A’ and ‘B’: science consists in the attempt, by remodeling human language, to develop a system of rule-governed behaviour which will adjust the human organism to the environment. (shrink)

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)

In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from (...) one false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)

In lucid dreams the dreamer is aware of dreaming and often able to influence the ongoing dream content. Lucid dreaming is a learnable skill and a variety of techniques is suggested for lucid dreaming induction. This systematic review evaluated the evidence for the effectiveness of induction techniques. A comprehensive literature search was carried out in biomedical databases and specific resources. Thirty-five studies were included in the analysis , of which 26 employed cognitive techniques, 11 external stimulation and one (...) drug application. The methodological quality of the included studies was relatively low. None of the induction techniques were verified to induce lucid dreams reliably and consistently, although some of them look promising. On the basis of the reviewed studies, a taxonomy of lucid dream induction methods is presented. Several methodological issues are discussed and further directions for future studies are proposed. (shrink)

Marc Lange argues that proofs by mathematical induction are generally not explanatory because inductive explanation is irreparably circular. He supports this circularity claim by presenting two putative inductive explanantia that are one another’s explananda. On pain of circularity, at most one of this pair may be a true explanation. But because there are no relevant differences between the two explanantia on offer, neither has the explanatory high ground. Thus, neither is an explanation. I argue that there is no important (...) asymmetry between the two cases because they are two presentations of the same explanation. The circularity argument requires a problematic notion of identity of proofs. I argue for a criterion of proof individuation that identifies the two proofs Lange offers. This criterion can be expressed in two equivalent ways: one uses the language of homotopy type theory, and the second assigns algebraic representatives to proofs. Though I will concentrate on one example, a criterion of proof identity has much broader consequences: any investigation into mathematical practice must make use of some proof-individuation principle. (shrink)

The current state of inductive logic is puzzling. Survey presentations are recurrently offered and a very rich and extensive handbook was entirely dedicated to the topic just a few years ago [23]. Among the contributions to this very volume, however, one finds forceful arguments to the effect that inductive logic is not needed and that the belief in its existence is itself a misguided illusion , while other distinguished observers have eventually come to see at least the label as “slightly (...) antiquated” .What seems not to have lost any of its currency is the problem which inductive logic is meant to address. Inference from limited ascertained information to uncertain hypotheses is ubiquitous in learning, prediction and discovery. The logical insight that such kind of inference is fallible m .. (shrink)

My aim is to evaluate a new realist strategy for addressing the pessimistic induction, Ludwig Fahrbach’s (Synthese 180:139–155, 2011) appeal to the exponential growth of science. Fahrbach aims to show that, given the exponential growth of science, the history of science supports realism. I argue that Fahrbach is mistaken. I aim to show that earlier generations of scientists could construct a similar argument, but one that aims to show that the theories that they accepted are likely true. The problem (...) with this is that from our perspective on the history of science we know their argument is flawed. Consequently, we should not be impressed or persuaded by Fahrbach’s argument. Fahrbach has failed to identify a difference that matters between today’s theories and past theories. But realists need to find such a difference if they are to undermine the pessimistic induction. (shrink)

Eliminative induction is a method for finding the truth by using evidence to eliminate false competitors. It is often characterized as "induction by means of deduction"; the accumulating evidence eliminates false hypotheses by logically contradicting them, while the true hypothesis logically entails the evidence, or at least remains logically consistent with it. If enough evidence is available to eliminate all but the most implausible competitors of a hypothesis, then (and only then) will the hypothesis become highly confirmed. I (...) will argue that, with regard to the evaluation of hypotheses, Bayesian inductive inference is essentially a probabilistic form of induction by elimination. Bayesian induction is an extension of eliminativism to cases where, rather than contradict the evidence, false hypotheses imply that the evidence is very unlikely, much less likely than the evidence would be if some competing hypothesis were true. This is not, I think, how Bayesian induction is usually understood. The recent book by Howson and Urbach, for example, provides an excellent, comprehensive explanation and defense of the Bayesian approach; but this book scarcely remarks on Bayesian induction's eliminative nature. Nevertheless, the very essence of Bayesian induction is the refutation of false competitors of a true hypothesis, or so I will argue. (shrink)

Sosa, Pritchard, and Vogel have all argued that there are cases in which one knows something inductively but does not believe it sensitively, and that sensitivity therefore cannot be necessary for knowledge. I defend sensitivity by showing that inductive knowledge is sensitive.

According to the Bayesian view, scientific hypotheses must be appraised in terms of their posterior probabilities relative to the available experimental data. Such posterior probabilities are derived from the prior probabilities of the hypotheses by applying Bayes'theorem. One of the most important problems arising within the Bayesian approach to scientific methodology is the choice of prior probabilities. Here this problem is considered in detail w.r.t. two applications of the Bayesian approach: (1) the theory of inductive probabilities (TIP) developed by Rudolf (...) Carnap and other epistomologists and (2) the analysis of the multinational inferences provided by Bayesian statstics (BS). ... Zie: Summary. (shrink)