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.

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)

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)

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.

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.

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.

En este ensayo intento mostrar el estrecho vínculo entre el asunto de la fijación de la extensión de los términos de clase natural y el problema de la proyectabilidad puesto de relieve por Goodman con su nuevo enigma de la inducción. Por un lado argumento que el nuevo enigma de la inducción pone de manifiesto la presencia de un elemento fregeano en la teoría de la referencia directa de Putnam y, por el otro, señalo la necesidad de que una respuesta (...) realista a dicho enigma se articule con una tesis epistemológica de cómo conocemos las presuntas propiedades intrínsecas de los objetos. (shrink)

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the whole discussion of (...) these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox. As a consequence, the behavior of things seems to be completely at the mercy of the temporal change of unique absolute (...) temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, - that is my claim - the ontological consequence of a nature results, for which the potentiality of lawfulness is coupled to essentially functionally defined time sequences. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox – with the consequence, that the behavior of things seems to be completely at the mercy of change of unique unrepeatable (...) temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, – that is my claim – the ontological consequence of a nature results, for which lawfulness is coupled to essentially functionally defined time sequences, thereby implying a potentiality dimension of nature, too. (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)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

This essay (a revised version of my undergraduate honors thesis at Stanford) constructs a theory of analogy as it applies to argumentation and reasoning, especially as used in fields such as philosophy and law. The word analogy has been used in different senses, which the essay defines. The theory developed herein applies to analogia rationis, or analogical reasoning. Building on the framework of situation theory, a type of logical relation called determination is defined. This determination relation solves a puzzle about (...) analogy in the context of logical argument, namely, whether an analogous situation contributes anything logically over and above what could be inferred from the application of prior knowledge to a present situation. Scholars of reasoning have often claimed that analogical arguments are never logically valid, and that they therefore lack cogency. However, when the right type of determination structure exists, it is possible to prove that projecting a conclusion inferred by analogy onto the situation about which one is reasoning is both valid and non-redundant. Various other properties and consequences of the determination relation are also proven. Some analogical arguments are based on principles such as similarity, which are not logically valid. The theory therefore provides us with a way to distinguish between legitimate and illegitimate arguments. It also provides an alternative to procedures based on the assessment of similarity for constructing analogies in artificial intelligence systems. (shrink)

On page 14 of "Reconceptions in Philosophy and Other Arts and Sciences" (section 4 of chapter 1) by Nelson Goodman and Catherine Z. Elgin is written: “Since ‘blue’ and ‘green’ are interdefinable with ‘grue’ and ‘bleen’, the question of which pair is basic and which pair derived is entirely a question of which pair we start with”. This paper points out that an example of interdefinability is also that one about the predicate “grueb”, which is a predicate that applies to (...) an object if the object either is green and examined before time b, or is non-green and not examined before time b. The three predicates “green”, “grueb”, “examined before time b” are interdefinable. 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 , even though the predicates “green” and “examined before time b” 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 b. The interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives. 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. According to Goodman, if it is possible to determine if an object is green without needing temporal information, then it is also possible to determine if an object is grue without needing temporal information. But, 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)