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

This is part II in a series of papers outlining Abstraction Theory, a theory that I propose provides a solution to the characterisation or epistemological problem of induction. Logic is built from first principles severed from language such that there is one universal logic independent of specific logical languages. A theory of (non-linguistic) meaning is developed which provides the basis for the dissolution of the `grue' problem and problems of the non-uniqueness of probabilities in inductive logics. The problem of counterfactual (...) conditionals is generalised to a problem of truth conditions of hypotheses and this general problem is then solved by the notion of abstractions. The probability calculus is developed with examples given. In future parts of the series the full decision theory is developed and its properties explored. (shrink)

The grue paradox, also called the new riddle of induction, posed a great challenge to the common understanding about induction. This paper shows that there is a close relation between the grue paradox and the problem of conditionals. This paper presents a general form of the grue predicate. Based on the general form, this paper argues that this kind of predicates can not be used for induction and prediction.

This essay demonstrates a previously unnoticed connection between formal and statistical learning theory with regard to Nelson Goodman’s new riddle of induction. Discussions of Goodman’s riddle in formal learning theory explain how conjecturing “all green” before “all grue” can enhance efficient convergence to the truth, where efficiency is understood in terms of minimizing the maximum number of retractions or “mind changes.” Vapnik-Chervonenkis (VC) dimension is a central concept in statistical learning theory and is similar to Popper’s notion of degrees of (...) testability. I show that for a class inductive problems of which Goodman’s riddle is one example, a reliable inductive method minimizes the maximum number of mind changes exactly if it always conjectures the hypothesis from the set with lowest VC dimension consistent with the data. I also discuss the relevance of these results to language invariance and curve fitting. (shrink)

The discussion of the problem of the riddle of the incommensurable root has passed through a history full of trials and tribulations among the philosophers and theologians of Isfahan. Most of the philosophers who have dealt with this issue belong to the School of Mulla Rajabali Tabrizi. By the philosophers of Isfahan we do not merely mean those who belonged to Isfahan but we have taken into consideration those who are either one of the important members of the philosophical school (...) of Isfahan or are influenced by it. The riddle of the incommensurable root in the school of Isfahan has the following features:1. The philosophers of this era are heirs of the rich culture of the previous ages.2. Attraction to the riddle of the incommensurable root of the philosophers of this era is neither similar to the theologians nor to the logicians of the seventh century.3. In the philosophical school of Isfahan other issues have also been dealt with in addition to the above riddle. In some cases new riddles and paradoxes have been designed and brought under discussion.4. The tradition of writing only about the riddle of the incommensurable root which began in the Shiraz school of philosophy also continued in the school of Isfahan.5. The philosophers of Isfahan also continued the trend of insisting on the technique of fallacy from the viewpoint of its application similar to the logicians of the seventh century. From amongst the philosophers of Isfahan who have discussed this riddlewe can make mention of Mirdamad, Morad Ibn Ali Khan Tafrishi, Aqa Hossein Khansari, Mir Fazlullah Astarabadi, Muhammad Sarab Tonkaboni, Jeylani Isfahani, Sherwani, and Mulla Abdullah Jeylani Barhowi, presented two solutions for the riddle, one of which is thinking about the definition of statement, which is itself dubious and weak. (shrink)

With his new riddle of induction, Goodman raised a problem for enumerative induction which many have taken to show that only some ‘natural’ properties can be used for making inductive inferences. Arguably, however, (i) enumerative induction is not a method that scientists use for making inductive inferences in the first place. Moreover, it seems at first sight that (ii) Goodman’s problem does not affect the method that scientists actually use for making such inferences—namely, classical statistics. Taken together, this would indicate (...) that (iii) ‘naturalness’ is not such a relevant concept for the problem of induction, after all. I have no objections against (i) and (iii). But, contrary to (ii), I argue that classical statistics does face a version of Goodman’s problem, which I call the statistical riddle of induction. Given that his problem merely is an instance of the more general problem of underdetermination, this is hardly surprising. Perhaps more importantly, I also show how my riddle can be used for exposing a common fallacy in probabilistic reasoning, without relying on Bayesian assumptions. (shrink)

The paper presents a comprehensive solution to the new riddle of induction. Gruesome induction is blocked because “grue” is not independent of our sampling and observation methods. Before presenting my theory, I critically survey previous versions of what I call the “independence strategy”, tracing the strategy to three different papers from the 1970s by (respectively) Wilkerson, Moreland, and Jackson. Next I critically examine recent approaches by Okasha, Godfrey-Smith, Schramm, and Freitag. All of these approaches have their virtues, but none of (...) them rules out every problem case. Nor do any of them alone explain exactly what goes wrong in all types of gruesome reasoning. My account aims to do both. Learning lessons from my criticisms of previous theories, I argue that there are several crucial types of independence. All of them are needed to rule out every problem case. I close by suggesting that the independence solution can also be adopted by proponents of other approaches—Bayesians, fans of natural kinds, and pragmatists. (shrink)

This paper proposes a framework for representing in Bayesian terms the idea that analogical arguments of various degrees of strength may provide inductive support to yet untested scientific hypotheses. On this account, contextual information plays a crucial role in determining whether, and to what extent, a given similarity or dissimilarity between source and target may confirm an empirical hypothesis over a rival one. In addition to showing confirmation by analogy compatible with the adoption of a Bayesian standpoint, the proposal outlined (...) in this paper reveals a close agreement between the fulfillment of Hesse’s (Models and analogies in science, University of Notre Dame Press, 1963) criteria for analogical arguments capable of inductive support and the attribution of confirmatory power by the lights of Bayesian confirmation theory. In this sense, the Bayesian representation not only enriches a framework, Hesse’s, of enduring relevance for understanding scientific activity, but may offer something akin to a proof of concept of it. (shrink)

One primary goal for metaphysical theories of natural kinds is to account for their epistemic fruitfulness. According to cluster theories of natural kinds, this epistemic fruitfulness is grounded in the regular and stable co- occurrence of a broad set of properties. In this paper, I defend the view that such a cluster theory is insufficient to adequately account for the epistemic fruitfulness of kinds. I argue that cluster theories can indeed account for the projectibility of natural kinds, but not for (...) several other epistemic operations that natural kinds support. Natural kinds also play a role in scientific explanations and categorizations. A theory of natural kinds can only account for these additional kind-based epistemic practices if it also analyzes their causal structure. (shrink)

Argues for a reading of H. P. Lovecraft’s 1927 short story, "The Colour out of Space," as an affective response to the problem of induction. Lovecraft weighs the meaning of our epistemic frailty, drawing on George Santayana’s "Scepticism and Animal Faith." His writing elicits inductive vertigo, the fear that our concepts fail to carve nature at the joints.

I evaluate Schurz's proposed meta-inductive justification of induction, a refinement of Reichenbach's pragmatic justification that rests on results from the machine learning branch of prediction with expert advice. My conclusion is that the argument, suitably explicated, comes remarkably close to its grand aim: an actual justification of induction. This finding, however, is subject to two main qualifications, and still disregards one important challenge. The first qualification concerns the empirical success of induction. Even though, I argue, Schurz's argument does not need (...) to spell out what inductive method actually consists in, it does need to postulate that there is something like the inductive or scientific prediction strategy that has so far been significantly more successful than alternative approaches. The second qualification concerns the difference between having a justification for inductive method and for sticking with induction for now. Schurz's argument can only provide the latter. Finally, the remaining challenge concerns the pool of alternative strategies, and the relevant notion of a meta-inductivist's optimality that features in the analytic step of Schurz's argument. Building on the work done here, I will argue in a follow-up paper that the argument needs a stronger dynamic notion of a meta-inductivist's optimality. (shrink)

When Goodman put forward his “New Riddle of Induction”, he distinguished if from the old problem of justifying the so-called “Principle of Uniformity of Nature”: proving that the future will resemble the past, and that still standing lawful regularities will continue to hold. He intended to break with these ancient questions, while asking about lawlike generalizations and projectible predicates instead: how are we to separate those generalizations which are rightfully confirmed by their observed instances (i.e. nomological) and those accidental ones (...) which are nonetheless empirically equivalent? One shall not seek a ground for induction anymore, but a criterion for nomological hypothesis. Therefore Goodman’s claim seems twofold: (A) one has to face a second problem of induction, which is distinct from the old one while genuinely being a problem about induction, and (B) this new problem is solvable by a criterion of empirical confirmability, which discriminates nomological from accidental generalizations. We claim that one cannot genuinely (A) face this new problem of induction while (B) looking for such a criterion. Indeed, we argue, when one compares several hypothesis or generalizations on the same observational basis, then they must appear as equally nomological. Conversely, if one is considering hypothesis or generalizations which are not equally nomological, then one is actually unable to compare them on the same observational basis, hence to formulate the “New Riddle”. Therefore the issue raised in (A) cannot be adequately solved in (B). Yet we do accept the claim (A) that a new and distinct problem of induction is to be confronted. Thus we deny that (B) offer an adequate type of solutions to this problem, which we shall finally formulate in a more suitable manner. (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)

Wolfgang Freitag claims to have developed a proposal that solves Goodman's famous New Riddle of Induction. His proposal makes use of the notion of ‘derivative defeat’; the claim is that in certain circumstances, the projection of some predicates is derivatively defeated, i.e., it is inductively invalid. Freitag develops the proposal using some compelling examples, and then shows that it likewise applies to the argument at the basis of the New Riddle. There, he alleges, the projection of ‘grue’ is derivatively defeated, (...) whereas the projection of ‘green’ is not. We thus have a justification for preferring the green induction over the grue induction. I do not think Freitag has solved the New Riddle. The problem is that his proposal tacitly assumes certain counterfactual claims that a grue-speaker would dispute. I thus argue that Freitag's claims beg the question against the grue-speaker, and I show why the grue-speaker would reject them. (shrink)

A shorthand symbolism for the relational mapping of categories is introduced and developed on the basis of Nelson Goodman's structural methodology. Through a reconstruction of extensional isomorphism that Goodman introduces as a criterion for definitional accuracy, and a brief reminder of the argument structure behind his ‘new riddle of induction’, Goodman's radical ontological relativism is turned into a protological principle of what I call ‘domain constituting philosophy’. MSS is demonstrated with reference to Goodman's symbol theory, particularly his notion of exemplification, (...) as well as in a final structured comparison of Frege's ‘sense’ with Goodman's straightforward construction of ‘secondary extension’. (shrink)

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

The paper explores the disjunctive riddle for induction: If we know the sample Ks to be P, we also know that they are P or F. Assuming that we also know that the future Ks are non-P, we can conclude that they are F, if only we can inductively infer the evidentially supported P-or-F hypothesis. Yet this is absurd. We cannot predict that future Ks are F based on the knowledge that the samples, and only they, are P. The ensuing (...) challenge is to account for the unprojectibility of the disjunctive hypothesis. I provide an explanation in terms of epistemic dependence. The P-or-F hypothesis is unprojectible because the evidence supporting it depends epistemically on the evidence for the defeated P-hypothesis. The paper also shows that the disjunctive riddle covers the essence of Goodman's infamous grue-problem, which, therefore, can be resolved by the same means: In contrast to the green-hypothesis, the grue-hypothesis is unprojectible because the grue-evidence depends on the evidence for a defeated hypothesis. (shrink)

Many believe that Goodman’s new riddle of induction proves the impossibility of a purely syntactical theory of confirmation. After discussing and rejecting Jackson’s solution to Goodman’s paradox, I formulate the “new riddle of deduction,” in analogy to the new riddle of induction. Since it is generally agreed that deductive validity can be defined syntactically, the new riddle of induction equally does not show that inductive validity cannot be defined syntactically. I further rely on the analogy between induction and deduction in (...) order to explain why some predicates, such as “grue,” are unprojectible. (shrink)

Objectivism about evidential support is the thesis that facts about the degree to which a body of evidence supports a hypothesis are objective rather than depending on subjective factors like one’s own language or epistemic values. Objectivism about evidential support is key to defending a synchronic, time-slice-centric conception of epistemic rationality, on which what you ought to believe at a time depends only on what evidence you have at that time, and not on how you were at previous times. Here, (...) I defend a version of objectivism about evidential support on which facts about evidential support are grounded in facts about explanatoriness. (shrink)

Collin Howson (2000) challenges van Cleve’s reliabilist defense of induction (1984) based on an adaptation of Goodman Paradox (or new riddle of induction). I will try to show that Howson’s argument does not succeed once it is self-defeating. Nevertheless, I point out another way which Howson could have employed the new riddle to undermine the reliabilist defense.

The paper aims to stress the structural similarities between Nelson Goodman’s ‘new riddle of induction’ and Edmund Gettier’s counterexamples to the standard analysis of knowledge.

Extant literature on Goodman’s ‘New Riddle of Induction’ deals mainly with two versions. I consider both of them, starting from the (‘epistemic’) version of Goodman’s classic of 1954. It turns out that it belongs to the realm of applications of inductive logic, and that it can be resolved by admitting only significant evidence (as I call it) for confirmations of hypotheses. Sect. 1 prepares some ground for the argument. As much of it depends on the notion of evidential significance, this (...) concept is defined and its introduction motivated. Further, I introduce and explain the distinction between support and confirmation: put in a slogan, ‘confirmation is support by significant evidence’. The second section deals with the Riddle itself. I demonstrate that, given the provisions of the first section, not ‘anything confirms anything’: significant green-evidence confirms only green-hypotheses (and no grue-hypotheses), and significant grue-evidence confirms only grue-hypotheses (and no green-hypotheses), whichever terms we use for expressing these evidences or hypotheses. The third section rounds off my treatment. First I show that Frank Jackson’s use of his counterfactual condition is unsuccessful. Further, I argue that no unwanted consequences result, if one starts from the other, ‘objective’, definition of ‘grue’, as it constitutes no more than a mere fact of logic that cannot do any harm. Finally, I present a grue-case involving both kinds of definition, where the exclusive confirmation of either the green- or the grue-hypothesis is shown. (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.

In their paper on the influence of meta-induction to the wisdom of the crowd, Paul Thorn and Gerhard Schurz argue that adding meta-inductive methods to a group influences the group positively, whereas replacing independend methods of a group with meta-inductive ones may have a negative impact. The first fact is due to an improvement of average ability of a group, the second fact is due to an impairment of average diversity within a group by meta-induction. In this paper some critical (...) remarks to meta-inductive group expansion and replacement are made. In particular it is stressed that both ability and diversity are of equal importance to a group’s performance. (shrink)

Israel 2004 claims that numerous philosophers have misinterpreted Goodman’s original ‘New Riddle of Induction’, and weakened it in the process, because they do not define ‘grue’ as referring to past observations. Both claims are false: Goodman clearly took the riddle to concern the maximally general problem of “projecting” any type of characteristic from a given realm of objects into another, and since this problem subsumes Israel’s, Goodman formulated a stronger philosophical challenge than the latter surmises.

In this paper, I consider Goodman’s new riddle of induction and how we should best respond to it. Noticing that all the emeralds so far observed are green, we infer that all emeralds are green. However, all emeralds so far observed are also grue, so we could also infer that they are grue. Only one of these inductive inferences or projections could, however, be valid. For the hypothesis that all emeralds are green predicts that the next observed emerald will be (...) green; whereas the hypothesis that they are grue predicts that it will blue. Goodman’s new riddle is the problem of saying why the inductive inference involving “green” is the valid one. Goodman’s own solution appeals to the idea of entrenchment. His idea is that “green” is a more entrenched predicate than “grue” in the sense that it has figured many more times in our past projections than has “grue”. In his view, this explains why “green” is projectible whereas “grue” isn’t. I argue that this response doesn’t go far enough and that we additionally need an explanation of why “green” is more entrenched than “grue”—that we are otherwise left with the unsatisfactory view that its superior entrenchment is a mere linguistic accident. I try to supplement Goodman’s solution with an explanation of this kind. I argue that “grue” is not entrenched be- cause past successful inductions involving “green” show that past projections that could have been made using what I call “grue-like” predicates—predicates which are like “grue” except that the times featuring in their definitions are past—would have been unsuccessful. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

I propose a novel solution to Goodman's new riddle of induction, one on which aspects of scientific methodology preclude significant confirmation of the Grue Hypothesis. The solution appeals to intuitive constraints on the confirmation of explanatory hypotheses, and can be construed as a fragment of a theory of Inference to the Best Explanation. I give it an objective Bayesian formalisation, and contrast it with Goodman's and Sober's solutions, which make appeal to both methodological and non-methodological considerations, and those of Jackson, (...) Godfrey-Smith, and White, on which explanatory considerations play a very different role. (shrink)

The paper deals with the New Riddle of Induction set forth by N. Goodman in his Fact, Fiction, and Forecast. The problem is introduced through the definition of grue-predicate. The relation between the grue-hypothesis and empirical evidence is examined. Goodman’s underlying thesis about the neutrality of empirical evidence is undermined. The intelligibility of the idea that disjunctive properties such as Grue can be observed and seen is questioned. A solution of Goodman’s riddle is outlined by means of the definition of (...) the identity of empirical properties and further deve- loped through postulating of the necessary condition of induction executability which prohibits the inference from “Some a, b, c, d emeralds are green” to the hypothesis “All emeralds are grue”. (shrink)

Goodman’s paradox gives rise to a cluster of problems, problems that are in need of different answers. I will discuss some variants of the grue hypothesis applied to the technological context. One conclusion in this paper is that there is room for rational decisions, and that solutions to the paradoxes in technology can be found in the practical choice situation. *Received April 2008. †To contact the author, please write to: Department of Medical and Health Sciences, Linköping University, SE‐581 83 Linköping, (...) Sweden; e‐mail: [email protected] (shrink)

The aim of the present paper is to provide a model-theoretic explication of Goodman's concept of extensional isomorphism. After some conceptual clarifications Goodman's concept of isomorphy turns out to be closely related to some variant of set-theoretic definability and some variants of syntactical interpretability.

Nelson Goodman’s new riddle of induction forcefully illustrates a challenge that must be confronted by any adequate theory of inductive inference: provide some basis for choosing among alternative hypotheses that fit past data but make divergent predictions. One response to this challenge is to distinguish among alternatives by means of some epistemically significant characteristic beyond fit with the data. Statistical learning theory takes this approach by showing how a concept similar to Popper’s notion of degrees of testability is linked to (...) minimizing expected predictive error. In contrast, formal learning theory appeals to Ockham’s razor, which it justifies by reference to the goal of enhancing efficient convergence to the truth. In this essay, I show that, despite their differences, statistical and formal learning theory yield precisely the same result for a class of inductive problems that I call strongly VC ordered , of which Goodman’s riddle is just one example. (shrink)

Nelson Goodman's new riddle of induction forcefully illustrates a challenge that must be confronted by any adequate theory of inductive inference: provide some basis for choosing among alternative hypotheses that fit past data but make divergent predictions. One response to this challenge is to distinguish among alternatives by means of some epistemically significant characteristic beyond fit with the data. Statistical learning theory takes this approach by showing how a concept similar to Popper's notion of degrees of testability is linked to (...) minimizing expected predictive error. In contrast, formal learning theory appeals to Ockham's razor, which it justifies by reference to the goal of enhancing efficient convergence to the truth. In this essay, I show that, despite their differences, statistical and formal learning theory yield precisely the same result for a class of inductive problems that I call strongly VC ordered, of which Goodman's riddle is just one example. (shrink)

First, a brief historical trace of the developments in confirmation theory leading up to Goodman's infamous "grue" paradox is presented. Then, Goodman's argument is analyzed from both Hempelian and Bayesian perspectives. A guiding analogy is drawn between certain arguments against classical deductive logic, and Goodman's "grue" argument against classical inductive logic. The upshot of this analogy is that the "New Riddle" is not as vexing as many commentators have claimed. Specifically, the analogy reveals an intimate connection between Goodman's problem, and (...) the "problem of old evidence". Several other novel aspects of Goodman's argument are also discussed. (shrink)