Justification of Induction

This paper reports (in section 1 “Introduction”) some quotes from Nelson Goodman which clarify that, contrary to a common misunderstanding, Goodman always denied that “grue” requires temporal information and “green” does not require temporal information; and, more in general, that Goodman always denied that grue-like predicates require additional information compared to what green-like predicates require. One of the quotations is the following, taken from the first page of the Foreword to chapter 8 “Induction” of the Goodman’s book “Problems and Projects”: (...) “Nevertheless, we may by now confidently conclude that no general distinction between projectible and non- projectible predicates can be drawn on syntactic or even on semantic grounds. Attempts to distinguish projectible predicates as purely qualitative, or non-projectible ones as time-dependent, for example, have plainly failed”. Barker and Achinstein in their famous paper of 1960 tried to demonstrate that the grue-speaker (named Mr. Grue in their paper) needs temporal information to be able to determine whether an object is grue, but Goodman replied (in “Positionality and Pictures”, contained in his book “Problems and Projects”, chapter 8, section 6b) that they failed to prove that Mr. Grue needs temporal information to determine whether an object is grue. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But this paper points out that an example of interdefinability is also that one about the predicate “gruet”, which is a predicate that applies to an object if the object either is green and examined before time t, or is non-green and not examined before time t. The three predicates “green”, “gruet”, “examined before time t” are interdefinable: and even though the predicates “green” and “examined before time t” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time t (the interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives). Thus, it is wrong the Goodman’s thesis according to which if it is possible to determine without having temporal information whether the predicate “green” has to be applied to an object, then it is also possible to determine without having temporal information whether a predicate interdefinable with “green” has to be applied to an object. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. Furthermore, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. -/- . (shrink)

Neste texto inrodutório, apresento brevemente o que normalmente se entende pelo velho problema da indução e, em seguida, apresento um pouco mais detidamente, acentuando as diferenças e semelhanças, o novo enigma da indução.

For years, the European world saw millions of swans, and all of them without exception were white. If inductive reasoning is valid, one may conclude that all swans are white. However, this would be incorrect: in 1667 Dutch explorer Willem de Vlamingh observed black swans in Australia, falsifying the hypothesis that all swans are white. While often used as a cautionary tale for the use of induction, such as with Popper’s falsification principle, I want to explore a slightly different idea: (...) does the existence of fabricated or otherwise failed accounts of Black swans give me a reason to ignore future arguments or doubt their existence? I argue that while faulty or fabricated reports do not give us a logical reason to reject a claim, they can give us a practical one for refusing to consider future arguments. This practical vs logical distinction gives an inductive reason for believing that future arguments will be invalid, but keeps one from being able to necessarily deny the claim in question without further argumentation. (shrink)

This paper explores the relationships between some the problems of the Fermi Paradox (FP), with its variety of possible answers; and the Problem of Induction, and thus the possibility of a Theory of Everything. We seek to improve the hierarchy of plausibility within answers to FP, given by what we call “preference criteria”, among which we particularly highlight culture-independence. We argue that, if the question of whether a Theory of Everything is possible is answered negatively, then FP becomes much more (...) serious than otherwise, and this makes many of FP’s solutions less preferable. This constitutes a further preference criterion. Armed with this tool, we try to outline a network of relative truths between FP and the Problem of Induction, in the form of a cross-answer table. Only two or three combinations of answers survive as preferable: 1) degenerate, pure solipsistic metaphysics; 2) accept Induction and the Anthropic Principle at the same time, thus saying that the human condition is a very rare one in the universe; or 3) that the Theory of Everything exists and its discovery is the Great Filter. This latter possibility is discussed with its implications for the current scientific and economic progress of our civilization. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

At its strongest, Hume's problem of induction denies the existence of any well justified assumptionless inductive inference rule. At the weakest, it challenges our ability to articulate and apply good inductive inference rules. This paper examines an analysis that is closer to the latter camp. It reviews one answer to this problem drawn from the VC theorem in statistical learning theory and argues for its inadequacy. In particular, I show that it cannot be computed, in general, whether we are in (...) a situation where the VC theorem can be applied for the purpose we want it to. (shrink)

Confronted with the problem of induction, Hans Reichenbach accepts that we cannot justify that induction is reliable. He tries to solve the problem by proving a weaker proposition: that induction is an optimal method of prediction, because it is guaranteed not to be worse and may be better than any alternative. Regarding the most serious objection to his approach, Reichenbach himself hints at an answer without spelling it out. In this paper, I will argue that there are two workable strategies (...) to rehabilitate Reichenbach’s account. The first leads to the widely discussed method of meta-induction, as proposed by Gerhard Schurz. The second strategy has not been suggested thus far. I will develop the second strategy and argue for it being, in some respects, superior to the first and closer to Reichenbach’s own position. (shrink)

I reconstruct J. H. Lambert’s views on how practical grounds relate to epistemic features, such as certainty. I argue, first, that Lambert’s account of moral certainty does not involve any distinctively practical influence on theoretical belief. However, it does present an interesting form of fallibilism about justification as well as a denial of a tight link between knowledge and action. Second, I argue that for Lambert, the persistence principle that underwrites induction is supported by practical reasons to believe; this indicates (...) that Lambert is a moderate pragmatist about reasons for theoretical belief. (shrink)

A standard way to challenge convergence-based accounts of inductive success is to claim that they are too weak to constrain inductive inferences in the short run. We respond to such a challenge by answering some questions raised by Juhl (1994). When it comes to predicting limiting relative frequencies in the framework of Reichenbach, we show that speed-optimal convergence—a long-run success condition—induces dynamic coherence in the short run.

Exposed in 1948, within his masterpiece on the scope and limits of human knowledge, the epistemological tenets that Bertrand Russell regarded as fundamental elements in the construction of scientific knowledge, are still worthy of a detailed discussion today. Given the excellence of the author, it will not be surprising to see that Russell's gnoseologic postulates, even for the present scientific view, address some of the most controversial questions still to be solved in the theory of knowledge.

According to Karl Popper, science cannot verify its theories empirically, but it can falsify them, and that suffices to account for scientific progress. For Popper, a law or theory remains a pure conjecture, probability equal to zero, however massively corroborated empirically it may be. But it does just seem to be the case that science does verify empirically laws and theories. We trust our lives to such verifications when we fly in aeroplanes, cross bridges and take modern medicines. We can (...) do some justice to this apparent capacity of science to verify if we make a number of improvements to Popper’s philosophy of science. The key step is to recognize that physics, in accepting unified theories only, thereby makes a big metaphysical assumption about the nature of the universe. The outcome is a conception of scientific method which facilitates the criticism and improvement of metaphysical assumptions of physics. This view provides, not verification, but a perfect simulacrum of verification indistinguishable from the real thing. (shrink)

In The Problems of Philosophy, Bertrand Russell presents a justification of induction based on a principle he refers to as “the principle of induction”. Owing to the ambiguity of the notion of probability, the principle of induction may be interpreted in two different ways. If interpreted in terms of the subjective interpretation of probability, the principle of induction may be known a priori to be true. But it is unclear how this should give us any confidence in our use of (...) induction, since induction is applied to the external world outside our minds. If the principle is interpreted in light of the objective interpretation of induction, it cannot be known to be true a priori, since it applies to frequencies that occur in the world outside the mind, and these cannot be known without recourse to experience. Russell’s principle of induction therefore fails to provide a satisfactory justification of induction. (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)

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods standardly used in science presuppose that every proposition about the outcome of a chancy process has a certain chance between 0 and 1. I also argue in favour of the standard view that chances are countably additive. Since it is possible to randomly pick (...) out a point on a continuum, for instance using a roulette wheel or by flipping a countable infinity of fair coins, it follows, given the axioms of ZFC, that there are many different cardinalities between countable infinity and the cardinality of the continuum. (shrink)

John Norton says that philosophers have been led astray for thousands of years by their attempt to treat induction formally. He is correct that such an attempt has caused no end of trouble, but he is wrong about the history. There is a rich tradition of non-formal induction. In fact, material theories of induction prevailed all through antiquity and from the Renaissance to the mid-1800s. Recovering these past systems would not only fill lacunae in Norton’s own theory but would highlight (...) areas where Norton has not freed himself from the straightjacket of formal induction as much as he might think. This essay begins that recovery. (shrink)

It is generally assumed that relations of necessity cannot be known by induction on experience. In this paper, I propose a notion of situated possibilities, weaker than nomic possibilities, that is compatible with an inductivist epistemology for modalities. I show that assuming this notion, not only can relations of necessity be known by induction on our experience, but such relations cannot be any more underdetermined by experience than universal regularities. This means that any one believing in a universal regularity is (...) as well warranted to believe in the corresponding relation of necessity. (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)

Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...) attempt to solve Hume’s problem is also both obscure and controversial. Russell accepted that Hume’s reasoning about induction was basically correct, but he argued that given the centrality of induction in our cognitive endeavors something must be wrong with Hume’s basic assumptions. What Russell effectively identified as Hume’s (and Reichenbach’s) failure was the commitment to a purely extensional empiricism. So, Russell’s solution to the problem of induction was to concede extensional empiricism and to accept that induction is grounded by accepting both a robust essentialism and a form of rationalism that allowed for a priori knowledge of universals. So, neither of those doctrines is without its critics. On the one hand, Reichenbach’s solution faces the charges of obscurity and of offering no response to the inductive skeptic. On the other hand, Russell’s solution looks to be objectionably ad hoc absent some non-controversial and independent argument that the universals that are necessary to ground the uniformity of nature actually exist and are knowable. This particular charge is especially likely to arise from those inclined towards purely extensional forms of empiricism. In this paper the significance of Reichenbach’s solution to the problem of induction will be made clearer via the comparison of these two historically important views about the problem of induction. The modest but important contention that will be made here is that the comparison of Reichenbach’s and Russell’s solutions calls attention to the opposition between extensional and intensional metaphysical presuppositions in the context of attempts to solve the problem of induction. It will be show that, in effect, what Reichenbach does is to establish an important epistemic limitation of extensional empiricism. So, it will be argued here that there is nothing really obscure about Reichenbach’s thoughts on induction at all. He was simply working out the limits of extensional empiricism with respect to inductive inference in opposition to the sort of metaphysics favored by Russell and like-minded thinkers. (shrink)

In Fact, Fiction and Forecast, Nelson Goodman claims that the problem of justifying induction is not something over and above the problem of describing valid induction. Such claim, besides suggesting his commitment to the collapse of the distinction between the context of description and the context of justification, seems to open the possibility that the new riddle of induction could be addressed empirically. Discoveries about psychological preferences for projecting certain classes of objects could function as a criterion for determining which (...) predicates are after all projectible. In this paper, I argue that Goodman's claim must be construed within his project for constructional definitions, which is methodologically oriented by reflective equilibrium. The description of inductive practice is committed to the articulation of the extension of the class selected by the predicate ‘valid induction’. The mutual adjustment between theoretical considerations and inductive practice involved in the proposal of a definition of ‘valid induction’ must preserve that practice as much as possible, there is no way to get rid of entrenchment. Empirical discoveries about the psychological mechanism that underlies projections may help that adjustment but they cannot substitute the role played by the entrenchment of predicates. (shrink)

The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. Haack compares (...) deduction to induction, and I will critically discuss her argument for the thesis that we cannot justify the principles of deduction next. In concluding I will defend the thesis that we can justify induction deductively relative to one end, and deduction inductively relative to a different end, and that we can do so in a non-circular way. Along the way I will show how we can understand deductive and inductive logic as normative theories, and I will briefly sketch an argument to the effect that there are only hypothetical, but no categorical imperatives. (shrink)

"Understanding Scientific Progress constitutes a potentially enormous and revolutionary advancement in philosophy of science. It deserves to be read and studied by everyone with any interest in or connection with physics or the theory of science. Maxwell cites the work of Hume, Kant, J.S. Mill, Ludwig Bolzmann, Pierre Duhem, Einstein, Henri Poincaré, C.S. Peirce, Whitehead, Russell, Carnap, A.J. Ayer, Karl Popper, Thomas Kuhn, Imre Lakatos, Paul Feyerabend, Nelson Goodman, Bas van Fraassen, and numerous others. He lauds Popper for advancing beyond (...) verificationism and Hume’s problem of induction, but faults both Kuhn and Popper for being unable to show that and how their work could lead nearer to the truth." —Dr. LLOYD EBY teaches philosophy at The George Washington University and The Catholic University of America, in Washington, DC "Maxwell's aim-oriented empiricism is in my opinion a very significant contribution to the philosophy of science. I hope that it will be widely discussed and debated." – ALAN SOKAL, Professor of Physics, New York University "Maxwell takes up the philosophical challenge of how natural science makes progress and provides a superb treatment of the problem in terms of the contrast between traditional conceptions and his own scientifically-informed theory—aim-oriented empiricism. This clear and rigorously-argued work deserves the attention of scientists and philosophers alike, especially those who believe that it is the accumulation of knowledge and technology that answers the question."—LEEMON McHENRY, California State University, Northridge "Maxwell has distilled the finest essence of the scientific enterprise. Science is about making the world a better place. Sometimes science loses its way. The future depends on scientists doing the right things for the right reasons. Maxwell's Aim-Oriented Empiricism is a map to put science back on the right track."—TIMOTHY McGETTIGAN, Professor of Sociology, Colorado State University - Pueblo "Maxwell has a great deal to offer with these important ideas, and deserves to be much more widely recognised than he is. Readers with a background in philosophy of science will appreciate the rigour and thoroughness of his argument, while more general readers will find his aim-oriented rationality a promising way forward in terms of a future sustainable and wise social order."—David Lorimer, Paradigm Explorer, 2017/2 "This is a book about the very core problems of the philosophy of science. The idea of replacing Standard Empiricism with Aim-Oriented Empiricism is understood by Maxwell as the key to the solution of these central problems. Maxwell handles his main tool masterfully, producing a fascinating and important reading to his colleagues in the field. However, Nicholas Maxwell is much more than just a philosopher of science. In the closing part of the book he lets the reader know about his deep concern and possible solutions of the biggest problems humanity is facing."—Professor PEETER MŰŰREPP, Tallinn University of Technology, Estonia “For many years, Maxwell has been arguing that fundamental philosophical problems about scientific progress, especially the problem of induction, cannot be solved granted standard empiricism (SE), a doctrine which, he thinks, most scientists and philosophers of science take for granted. A key tenet of SE is that no permanent thesis about the world can be accepted as a part of scientific knowledge independent of evidence. For a number of reasons, Maxwell argues, we need to adopt a rather different conception of science which he calls aim-oriented empiricism (AOE). This holds that we need to construe physics as accepting, as a part of theoretical scientific knowledge, a hierarchy of metaphysical theses about the comprehensibility and knowability of the universe, which become increasingly insubstantial as we go up the hierarchy. In his book “Understanding Scientific Progress: Aim-Oriented Empiricism”, Maxwell gives a concise and excellent illustration of this view and the arguments supporting it… Maxwell’s book is a potentially important contribution to our understanding of scientific progress and philosophy of science more generally. Maybe it is the time for scientists and philosophers to acknowledge that science has to make metaphysical assumptions concerning the knowability and comprehensibility of the universe. Fundamental philosophical problems about scientific progress, which cannot be solved granted SE, may be solved granted AOE.” Professor SHAN GAO, Shanxi University, China . (shrink)

This paper argues that a view of science, expounded and defended elsewhere, solves the problem of induction. The view holds that we need to see science as accepting a hierarchy of metaphysical theses concerning the comprehensibility and knowability of the universe, these theses asserting less and less as we go up the hierarchy. It may seem that this view must suffer from vicious circularity, in so far as accepting physical theories is justified by an appeal to metaphysical theses in turn (...) justified by the success of science. But this is rebutted. A thesis high up in the hierarchy asserts that the universe is such that the element of circularity, just indicated, is legitimate and justified, and not vicious. Acceptance of the thesis is in turn justified without appeal to the success of science. It may seem that the practical problem of induction can only be solved along these lines if there is a justification of the truth of the metaphysical theses in question. It is argued that this demand must be rejected as it stems from an irrational conception of science. (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...) dominance principle. (shrink)

Many theorists have proposed that we can use the principle of indifference to defeat the inductive sceptic. But any such theorist must confront the objection that different ways of applying the principle of indifference lead to incompatible probability assignments. Huemer offers the explanatory priority proviso as a strategy for overcoming this objection. With this proposal, Huemer claims that we can defend induction in a way that is not question-begging against the sceptic. But in this article, I argue that the opposite (...) is true: if anything, Huemer’s use of the principle of indifference supports the rationality of inductive scepticism. (shrink)

I critically examine an evolutionary debunking argument against moral realism. The key premise of the argument is that there is no adequate explanation of our moral reliability. I search for the strongest version of the argument; this involves exploring how ‘adequate explanation’ could be understood such that the key premise comes out true. Finally, I give a reductio: in the sense in which there is no adequate explanation of our moral reliability, there is equally no adequate explanation of our inductive (...) reliability. Thus, the argument that would debunk our moral views would also, absurdly, debunk all inductive reasoning. (shrink)

Many philosophers have wrongly assumed that there is an asymmetry between the problem of induction and the logocentric predicament (the justification of deductive inferences). This paper will show that the demand for justification, for the very inferences that are required for justification, is deeply problematic. Using a Wittgensteinian approach, I will argue that justification has an internal relation with deductive and inductive inferences. For Wittgenstein, two concepts are internally related if my understanding of one is predicated on my understanding of (...) the other. Separating the two concepts so that one can be applied to the other is then a misunderstanding of role that these concepts play. (shrink)

Formal and empirical work on the Wisdom of Crowds has extolled the virtue of diverse and independent judgment as essential to the maintenance of ‘wise crowds’. In other words, com-munication and imitation among members of a group may have the negative effect of decreasing the aggregate wisdom of the group. In contrast, it is demonstrable that certain meta-inductive methods provide optimal means for predicting unknown events. Such meta-inductive methods are essentially imitative, where the predictions of other agents are imitated to (...) the extent that those agents have proven successful in the past. Despite the (self-serving) optimality of meta-inductive methods, their imitative nature may undermine the ‘wisdom of the crowd’, since these methods recommend that agents imitate the predictions of other agents. In this paper, I present a replication of selected results of Thorn and Schurz, illustrating the effect on a group’s performance that may result from having members of a group adopt meta-inductive methods. I then expand on the work of Thorn and Schurz by considering three simple measures by which meta-inductive prediction methods may improve their own performance, while simultaneously mitigating their negative impact on group performance. The effects of adopting these maneuvers are investigated using computer simulations. (shrink)

The applicability of Bayesian conditionalization in setting one’s posterior probability for a proposition, α, is limited to cases where the value of a corresponding prior probability, PPRI(α|∧E), is available, where ∧E represents one’s complete body of evidence. In order to extend probability updating to cases where the prior probabilities needed for Bayesian conditionalization are unavailable, I introduce an inference schema, defeasible conditionalization, which allows one to update one’s personal probability in a proposition by conditioning on a proposition that represents a (...) proper subset of one’s complete body of evidence. While defeasible conditionalization has wider applicability than standard Bayesian conditionalization (since it may be used when the value of a relevant prior probability, PPRI(α|∧E), is unavailable), there are circumstances under which some instances of defeasible conditionalization are unreasonable. To address this difficulty, I outline the conditions under which instances of defeasible conditionalization are defeated. To conclude the article, I suggest that the prescriptions of direct inference and statistical induction can be encoded within the proposed system of probability updating, by the selection of intuitively reasonable prior probabilities. (shrink)

Goodman sustentou que o ajuste mútuo entre inferências indutivas particulares e princípios indutivos constitui a única justificação necessária para ambos. Porém, a sua caracterização desse ajuste, posteriormente denominado de “equilíbrio reflexivo”, foi superficial. Isso levantou dúvida sobre a sua adequação. Neste artigo, argumento que o equilíbrio reflexivo, corretamente caracterizado, fornece a única justificação necessária e a melhor que podemos dar para a prática indutiva.

Most scientists would hold that science has not established that the cosmos is physically comprehensible – i.e. such that there is some as-yet undiscovered true physical theory of everything that is unified. This is an empirically untestable, or metaphysical thesis. It thus lies beyond the scope of science. Only when physics has formulated a testable unified theory of everything which has been amply corroborated empirically will science be in a position to declare that it has established that the cosmos is (...) physically comprehensible. But this argument presupposes a widely accepted but untenable conception of science which I shall call standard empiricism. According to standard empiricism, in science theories are accepted solely on the basis of evidence. Choice of theory may be influenced for a time by considerations of simplicity, unity, or explanatory capacity, but not in such a way that the universe itself is permanently assumed to be simple, unified or physically comprehensible. In science, no thesis about the universe can be accepted permanently as a part of scientific knowledge independently of evidence. Granted this view, it is clear that science cannot have established that the universe is physically comprehensible. Standard empiricism is, however, as I have indicated, untenable. Any fundamental physical theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy two criteria. It must be sufficiently empirically successful, and sufficiently unified. Given any accepted theory of physics, endlessly many empirically more successful disunified rivals can always be concocted – disunified because they assert that different dynamical laws govern the diverse phenomena to which the theory applies. These disunified rivals are not considered for a moment in physics, despite their greater empirical success. This persistent rejection of empirically more successful but disunified rival theories means, I argue, that a big, highly problematic, implicit assumption is made by science about the cosmos, to the effect, at least, that the cosmos is such that all seriously disunified theories are false. Once this point is recognized, it becomes clear, I argue, that we need a new conception of science which makes explicit, and so criticizable and improvable the big, influential, and problematic assumption that is at present implicit in physics in the persistent preference for unified theories. This conception of science, which I call aim-oriented empiricism, represents the assumption of physics in the form of a hierarchy of assumptions. As one goes up the hierarchy, the assumptions become less and less substantial, and more and more nearly such that their truth is required for science, or the pursuit of knowledge, to be possible at all. At each level, that assumption is accepted which best accords with the next one up, and has, associated with it the most empirically progressive research programme in physics, or holds out the greatest hope of leading to such an empirically progressive research programme. In this way a framework of relatively insubstantial, unproblematic, fixed assumptions and associated methods is created, high up in the hierarchy, within which much more substantial and problematic assumptions and associated methods, low down in the hierarchy, can be changed, and indeed improved, as scientific knowledge improves. One assumption in this hierarchy of assumptions, I argue, is that the cosmos is physically comprehensible – that is, such that some yet-to-be-discovered unified theory of everything is true. Hence the conclusion: improve our ideas about the nature of science and it becomes apparent that science has already established that the cosmos is physically comprehensible – in so far as science can ever establish anything theoretical. (shrink)

Discussion on whether Hume's treatment of induction is descriptive or normative has usually centred on Hume's negative argument, somewhat neglecting the positive argument. In this paper, I will buck this trend, focusing on the positive argument. First, I argue that Hume's positive and negative arguments should be read as addressing the same issues . I then argue that Hume's positive argument in the Enquiry is normative in nature; drawing on his discussion of scepticism in Section 12 of the Enquiry, I (...) explain a framework by which he provides what I call consequent justification for our inductive practices in his positive argument. Based on this, I argue that his negative argument in the Enquiry should similarly be read as normative in nature. (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.

Meta-induction, in its various forms, is an imitative prediction method, where the prediction methods and the predictions of other agents are imitated to the extent that those methods or agents have proven successful in the past. In past work, Schurz demonstrated the optimality of meta-induction as a method for predicting unknown events and quantities. However, much recent discussion, along with formal and empirical work, on the Wisdom of Crowds has extolled the virtue of diverse and independent judgment as essential to (...) maintenance of 'wise crowds'. This suggests that meta-inductive prediction methods could undermine the wisdom of the crowd inasmuch these methods recommend that agents imitate the predictions of other agents. In this article, we evaluate meta-inductive methods with a focus on the impact on a group's performance that may result from including meta-inductivists among its members. In addition to considering cases of global accessibility (i.e., cases where the judgments of all members of the group are available to all of the group's members), we consider cases where agents only have access to the judgments of other agents within their own local neighborhoods. (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)

Where does the necessity that seems to accompany causal inferences come from? “Why [do] we conclude that … particular causes must necessarily have such particular effects?” In 1.3.6 of the Treatise, Hume entertains the possibility that this necessity is a function of reason. However, he eventually dismisses this possibility, where this dismissal consists of Hume’s “negative” argument concerning induction. This argument has received, and continues to receive, a tremendous amount of attention. How could causal inferences be justified if they are (...) not justified by reason? If we believe that p causes q, isn’t it reason that allows us to conclude q when we see p with some assurance, i.e. with some necessity? (shrink)

In a recent Philosophy of Science article Gerhard Schurz proposes meta-inductivistic prediction strategies as a new approach to Hume's. This comment examines the limitations of Schurz's approach. It can be proven that the meta-inductivist approach does not work any more if the meta-inductivists have to face an infinite number of alternative predictors. With his limitation it remains doubtful whether the meta-inductivist can provide a full solution to the problem of induction.

This article offers a simple technical resolution to the problem of induction, which is to say that general facts are not always inferred from observations of particular facts, but are themselves sometimes defeasibly observed. The article suggests a holistic account of observation that allows for general statements in empirical theories to be interpreted as observation reports, in place of the common but arguably obsolete idea that observations are exclusively particular. Predictions and other particular statements about unobservable facts can then appear (...) as deductive consequences of such general observation statements, rather than inductive consequences of other particular statements. This semantic shift resolves the problem by eliminating induction as a basic form of inference, and folding the justification of general beliefs into the more basic problem of perception. (shrink)

Il problema apparentemente insolubile di una giustificazione non circolare dell’induzione diverrebbe più abbordabile se invece di chiederci solo cosa ci assicura che un fenomeno osservato si riprodurrà in modo uguale in un numero potenzialmente infinito di casi futuri, ci chiedessimo anche come si spiega che esso si sia manifestato fin qui in modo identico e senza eccezioni in un numero di casi finito ma assai alto. E’ questa l’idea della giustificazione abduttiva dell’induzione, avanzata in forme diverse da Armstrong, Foster e (...) BonJour: serie talmente regolari di fenomeni sono da un punto di vista logico talmente improbabili che se il mondo fosse puramente casuale (se cioè gli eventi si presentassero con frequenza proporzionale alla loro probabilità logica) esse non potrebbero verificarsi se non per una coincidenza miracolosa. Pertanto, tali regolarità si spiegano solo assumendo che siano prodotte da meccanismi o necessità nomiche; ma se questo è il caso, è corretto concludere che tali regolarità persisteranno anche in futuro senza eccezioni, e dunque le inferenze induttive su di esse sono giustificate. Anche Kornblith argomenta dall’effettivo successo delle inferenze induttive all’esistenza di regolarità oggettive in natura; mentre Sankey parte dall’ uniformità della natura per giustificare l’induzione. Congiungendo le due argomentazioni, dunque, si ottiene di nuovo una giustificazione dell’induzione in base all’argomento del “se non è un miracolo …”. Un ostacolo su questa via è specificare in che senso la natura sia uniforme (dato che ovviamente non lo è in ogni suo aspetto) e di quali regolarità possiamo aspettarci che persistano senza eccezione anche in futuro (dato che evidentemente non tutte lo fanno: l’acqua non bolle sempre a 100°, la pressione non è sempre funzione della temperatura, e così via). Entrano qui in gioco le conoscenze di sfondo e la ripetizione delle osservazioni in condizioni diverse, che ci mostrano quali circostanze siano rilevanti al verificarsi del fenomeno dato. In tal modo, le nostre descrizioni delle regolarità naturali convergono su descrizioni che specificano sia le condizioni individualmente necessarie e congiuntamente sufficienti, sia tutti gli argomenti delle funzioni che costituiscono tali regolarità. Ciò consente di formulare i principi di Uniformità della Natura e di Induzione in modo non generico (e dunque, a seconda della formulazione, vuoto o eccessivo), ma circostanziato: così essi asseriscono, rispettivamente, che la natura è uniforme negli aspetti evidenziati dalle descrizioni su cui convergiamo grazie alle osservazioni ripetute, e che solo queste descrizioni possono essere induttivamente generalizzate. Ciò consente anche di risolvere enigmi alla Goodman, quali: poiché le osservazioni ci hanno mostrato (solo) il verificarsi di una data regolarità fino al momento presente t, come possiamo presumere che essa si verificherà anche dopo t? La risposta è che osservazioni e conoscenza di sfondo non ci dicono che vi sia alcun limite temporale tra le condizioni necessarie della regolarità data. (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.].

Scientific realism is the position that the aim of science is to advance on truth and increase knowledge about observable and unobservable aspects of the mind-independent world which we inhabit. This book articulates and defends that position. In presenting a clear formulation and addressing the major arguments for scientific realism Sankey appeals to philosophers beyond the community of, typically Anglo-American, analytic philosophers of science to appreciate and understand the doctrine. The book emphasizes the epistemological aspects of scientific realism and contains (...) an original solution to the problem of induction that rests on an appeal to the principle of uniformity of nature. (shrink)

This chapter indicates a number of improvements and developments that have been made to aim-oriented empiricism since the publication of the first edition of "From Knowledge to Wisdom" in 1984. It also argues that aim-oriented empiricism enables us to solve three fundamental problems in the philosophy of science: the problems of induction, verisimilitude, and the problem of what it means to say of a physical theory that it is unified - a problem that baffled even Einstein. This chapter improves earlier (...) attempts at solving these problems, given aim-oriented empiricism. (shrink)

Even though evidence underdetermines theory, often in science one theory only is regarded as acceptable in the light of the evidence. This suggests there are additional unacknowledged assumptions which constrain what theories are to be accepted. In the case of physics, these additional assumptions are metaphysical theses concerning the comprehensibility and knowability of the universe. Rigour demands that these implicit assumptions be made explicit within science, so that they can be critically assessed and, we may hope improved. This leads to (...) a new conception of science, one which we need to adopt in order to solve the problem of induction. (shrink)

For three decades I have expounded and defended aim-oriented empiricism, a view of science which, l claim, solves a number of problems in the philosophy of science and has important implications for science itself and, when generalized, for the whole of academic inquiry, and for our capacity to solve our current global problems. Despite these claims, the view has received scant attention from philosophers of science. Recently, however, David Miller has criticized the view. Miller’s criticisms are, however, not valid.

Laurence BonJour has recently proposed a novel and interesting approach to the problem of induction. He grants that it is contingent, and so not a priori, that our patterns of inductive inference are reliable. Nevertheless, he claims, it is necessary and a priori that those patterns are highly likely to be reliable, and that is enough to ground an a priori justification induction. This paper examines an important defect in BonJour's proposal. Once we make sense of the claim that inductive (...) inference is "necessarily highly likely" to be reliable, we find that it is not knowable a priori after all. (shrink)

In 1947 Donald Cary Williams claimed in The Ground of Induction to have solved the Humean problem of induction, by means of an adaptation of reasoning first advanced by Bernoulli in 1713. Later on David Stove defended and improved upon Williams’ argument in The Rational- ity of Induction (1986). We call this proposed solution of induction the ‘Williams-Stove sampling thesis’. There has been no lack of objections raised to the sampling thesis, and it has not been widely accepted. In our (...) opinion, though, none of these objections has the slightest force, and, moreover, the sampling thesis is undoubtedly true. What we will argue in this paper is that one particular objection that has been raised on numerous occasions is misguided. This concerns the randomness of the sample on which the inductive extrapolation is based. (shrink)

I would like to assume that Reichenbach's distinction of Justification and Discovery lives on, and to seek arguments in his texts that would justify their relevance in this field. The persuasive force of these arguments transcends the contingent circumstances apart from which their genesis and local transmission cannot be made understandable. I shall begin by characterizing the context distinction as employed by Reichenbach in "Experience and Prediction" to differentiate between epistemology and science (1). Following Thomas Nickles and Kevin T. Kelly, (...) one can distinguish two meanings of the context distinction in Reichenbach's work. One meaning, which is primarily to be found in the earlier writings, conceives of scientific discoveries as potential objects of epistemological justification. The other meaning, typical for the later writings, removes scientific discoveries from the possible domain of epistemology. The genesis of both meanings, which demonstrates the complexity of the relationships obtaining between epistemology and science, can be made understandable by appealing to the historical context (2). Both meanings present Reichenbach with the task of establishing the autonomy of epistemology through the justification of induction. Finally, I shall expound this justification and address some of its elements of rationality characterizing philosophy of science(3). (shrink)

On the basis of the distinction between logical and factual probability, epistemic justification is distinguished from logical justification of induction. It is argued that, contrary to the accepted interpretation of Hume, Hume believes that inductive inferences are epistemically legitimate and justifiable. Hence the beliefs arrived at via (correct) inductive inferences are rational beliefs. According to this interpretation, Hume is not a radical skeptic about induction.

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)

This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both logically and (...) probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related. (shrink)