New riddle of induction
Grue and bleen are predicates coined by Nelson Goodman in Fact, Fiction, and Forecast to illustrate the "new riddle of induction". These predicates are unusual because their application to things is time dependent. For Goodman they illustrate the problem of projectable predicates and ultimately, which empirical generalizations are law-like and which are not. Goodman's construction and use of grue and bleen illustrates how philosophers use simple examples in conceptual analysis.
Grue and bleen defined
Goodman defined grue relative to an arbitrary but fixed time t as follows:[note 1] An object is grue if and only if it is observed before t and is green, or else is not so observed and is blue. An object is bleen if and only if it is observed before t and is blue, or else is not so observed and is green.
To understand the problem Goodman posed, it is helpful to imagine some arbitrary future time t, say January 1, 2027. For all green things we observe up to time t, such as emeralds and well-watered grass, both the predicates green and grue apply. Likewise for all blue things we observe up to time t, such as bluebirds or blue flowers, both the predicates blue and bleen apply. On January 2, 2027, however, emeralds and well-watered grass are now bleen and bluebirds or blue flowers are now grue. Clearly, the predicates grue and bleen are not the kinds of predicates we use in everyday life or in science, but the problem is that they apply in just the same way as the predicates green and blue up until some future time t. From our current perspective (i.e., before time t), how can we say which predicates are more projectable into the future: green and blue or grue and bleen?
The new riddle of induction
In this section, Goodman's new riddle of induction is outlined in order to set the context for his introduction of the predicates grue and bleen and thereby illustrate their philosophical importance.
The old problem of induction and its dissolution
Goodman poses Hume's problem of induction as a problem of the validity of the predictions we make. Since predictions are about what has yet to be observed and because there is no necessary connection between what has been observed and what will be observed, what is the justification for the predictions we make? We cannot use deductive logic to infer predictions about future observations based on past observations because there are no valid rules of deductive logic for such inferences. Hume's answer was that our observations of one kind of event following another kind of event result in our minds forming habits of regularity (i.e., associating one kind of event with another kind). The predictions we make are then based on these regularities or habits of mind we have formed.
Goodman takes Hume's answer to be a serious one. He rejects other philosophers' objection that Hume is merely explaining the origin of our predictions and not their justification. His view is that Hume is on to something deeper. To illustrate this, Goodman turns to the problem of justifying a system of rules of deduction. For Goodman, the validity of a deductive system is justified by its conformity to good deductive practice. The justification of rules of a deductive system depends on our judgements about whether to reject or accept specific deductive inferences. Thus, for Goodman, the problem of induction dissolves into the same problem as justifying a deductive system and while, according to Goodman, Hume was on the right track with habits of mind, the problem is more complex than Hume realized.
In the context of justifying rules of induction, this becomes the problem of confirmation of generalizations for Goodman. However, the confirmation is not a problem of justification but instead it is a problem of precisely defining how evidence confirms generalizations. It is with this turn that grue and bleen have their philosophical role in Goodman's view of induction.
The new riddle of induction, for Goodman, rests on our ability to distinguish lawlike from non-lawlike generalizations. Lawlike generalizations are capable of confirmation while non-lawlike generalizations are not. Lawlike generalizations are required for making predictions. Using examples from Goodman, the generalization that all copper conducts electricity is capable of confirmation by a particular piece of copper whereas the generalization that all men in a given room are third sons is not lawlike but accidental. The generalization that all copper conducts electricity is a basis for predicting that this piece of copper will conduct electricity. The generalization that all men in a given room are third sons, however, is not a basis for predicting that a given man in that room is a third son.
What then makes some generalization lawlike and other accidental? This, for Goodman, becomes a problem of determining which predicates are projectable (i.e., can be used in lawlike generalizations that serve as predictions) and which are not. Goodman argues that this is where the fundamental problem lies. This problem, known as Goodman's paradox, is as follows. Consider the evidence that all emeralds examined thus far have been green. This leads us to conclude (by induction) that all future emeralds will be green. However, whether this prediction is lawlike or not depends on the predicates used in this prediction. Goodman observed that (assuming t has yet to pass) it is equally true that every emerald that has been observed is grue. Thus, by the same evidence we can conclude that all future emeralds will be grue. The new problem of induction becomes one of distinguishing projectable predicates such as green and blue from non-projectable predicates such as grue and bleen.
Hume, Goodman argues, missed this problem. We do not, by habit, form generalizations from all associations of events we have observed but only some of them. Lawlike predictions (or projections) ultimately are distinguishable by the predicates we use. Goodman's solution is to argue that lawlike predictions are based on projectable predicates such as green and blue and not on non-projectable predicates such as grue and bleen and what makes predicates projectable is their entrenchment, which depend on their past use in successful projections. Thus, grue and bleen function in Goodman's arguments to both illustrate the new riddle of induction and to illustrate the distinction between projectable and non-projectable predicates via their relative entrenchment.
The most obvious response is to point to the artificially disjunctive definition of grue. The notion of predicate entrenchment is not required. Goodman, however, noted that this move will not work. If we take grue and bleen as primitive predicates, we can define green as "grue if first observed before t and bleen otherwise", and likewise for blue. To deny the acceptability of this disjunctive definition of green would be to beg the question.
Another proposed resolution of the paradox (which Goodman addresses and rejects) that does not require predicate entrenchment is that "x is grue" is not solely a predicate of x, but of x and a time t—we can know that an object is green without knowing the time t, but we cannot know that it is grue. If this is the case, we should not expect "x is grue" to remain true when the time changes. However, one might ask why "x is green" is not considered a predicate of a particular time t—the more common definition of green does not require any mention of a time t, but the definition grue does. As we have just seen, this response also begs the question because definition blue can be defined in terms of grue and bleen, which explicitly refer to time.
Richard Swinburne gets past the objection that green be redefined in terms of grue and bleen by making a distinction based on how we test for the applicability of a predicate in a particular case. He distinguishes between qualitative and locational predicates. Qualitative predicates, like green, can be assessed without knowing the spatial or temporal relation of x to a particular time, place or event. Locational predicates, like grue, cannot be assessed without knowing the spatial or temporal relation of x to a particular time, place or event, in this case whether x is being observed before or after time t. Although green can be given a definition in terms of the locational predicates grue and bleen, this is irrelevant to the fact that green meets the criterion for being a qualitative predicate whereas grue is merely locational. He concludes that if some x's under examination—like emeralds—satisfy both a qualitative and a locational predicate, but projecting these two predicates yields conflicting predictions, namely, whether emeralds examined after time t shall appear blue or green, we should project the qualitative predicate, in this case green.
Rudolf Carnap responded to Goodman's 1946 article. Carnap's approach to inductive logic is based on the notion of degree of confirmation c(h,e) of a given hypothesis h by a given evidence e.[note 2] Both h and e are logical formulas expressed in a simple language L which allows for
- multiple quantification ("for every x there is a y such that ..."),
- unary and binary predicate symbols (properties and relations), and
- an equality relation "=".
The universe of discourse consists of denumerably many individuals, each of which is designated by an own constant symbol; they should be best regarded as positions (e.g. space-time points) rather than extended physical bodies. A state description is a (usually infinite) conjunction containing every possible ground atomic sentence, either negated or unnegated; such a conjunction describes a possible state of the whole universe. Carnap requires the following semantic properties:
- Atomic sentences must be logically independent of each other. In particular, different constant symbols must designate different and entirely separate individuals.[note 3] Moreover, different predicates must be logically independent.[note 4][note 5]
- The qualities and relations designated by the predicates must be simple, i.e. they must not be analyzable into simpler components. Apparently, Carnap had in mind an irreflexive, partial, and well-founded[note 6] order[note 7] "is simpler than".
- The set of primitive predicates in L must be complete, i.e. every respect in which two positions in the universe may be found to differ by direct observation, must be expressible in L.
Carnap distinguishes three kinds of properties:
- Purely qualitative properties; that is, properties expressable without using individual constants, but not without primitive predicates,
- Purely positional properties; that is, properties expressable without primitive predicates, and
- Mixed properties; that is, all remaining expressable properties.
An example for 1., 2., and 3. is "x is blue or x is non-warm", "x = a23", and "x is red and not x = a23", respectively, where x denotes a variable, and a23 denotes a constant.
Based on his theory of inductive logic sketched above, Carnap formalizes Goodman's notion of projectibility of a property W as follows: the higher the relative frequency of W in an observed sample, the higher is the probability that a non-observed individual has the property W. Carnap suggests "as a tentative answer" to Goodman, that all purely qualitative properties are projectible, all purely positional property are non-projectible, and mixed properties require further investigation.
Willard Van Orman Quine discusses an approach to consider only "natural kinds" as projectable predicates. He first relates Goodman's grue paradox to Hempel's raven paradox by defining two predicates F and G to be (simultaneously) projectible if all their shared instances count toward confirmation of the claim "each F is a G". Then Hempel's paradox just shows that the complements of projectible predicates (such as "is a raven", and "is black") need not be projectible,[note 8] while Goodman's paradox shows that "is green" is projectible, but "is grue" is not.
Next, Quine reduces projectibility to the subjective notion of similarity. Two green emeralds are usually considered more similar than two grue ones if only one of them is green. Observing a green emerald makes us expect a similar observation (i.e., a green emerald) next time. Green emeralds are a natural kind, but grue emeralds are not. Quine investigates "the dubious scientific standing of a general notion of similarity, or of kind". Both are basic to thought and language, like the logical notions of e.g. identity, negation, disjunction. However, it remains unclear how to relate the logical notions to similarity or kind;[note 9] Quine therefore tries to relate at least the latter two notions to each other.
Relation between similarity and kind
Assuming finitely many kinds only, the notion of similarity can be defined by that of kind: an object A is more similar to B than to C if A and B belong jointly to more kinds[note 10] than A and C do.[note 11]
Vice versa, it remains again unclear how to define kind by similarity. Defining e.g. the kind of red things as the set of all things that are more similar to a fixed "paradigmatical" red object than this is to another fixed "foil" non-red object (cf. left picture) isn't satisfactory, since the degree of overall similarity, including e.g. shape, weight, will afford little evidence of degree of redness. (In the picture, the yellow paprika might be considered more similar to the red one than the orange.)
An alternative approach inspired by Carnap defines a natural kind to be a set whose members are more similar to each other than each non-member is to at least one member. [note 12] However, Goodman argued, that this definition would make the set of all red round things, red wooden things, and round wooden things (cf. right picture) meet the proposed definition of a natural kind,[note 13] while "surely it is not what anyone means by a kind".[note 14]
While neither of the notions of similarity and kind can be defined by the other, they at least vary together: if A is reassessed to be more similar to C than to B rather than the other way around, the assignment of A, B, C to kinds will be permuted correspondingly; and conversely.
Basic importance of similarity and kind
In language, every general term owes its generality to some resemblance of the things referred to. Learning to use a word depends on a double resemblance, viz. between the present and past circumstances in which the word was used, and between the present and past phonetic utterances of the word.
Every reasonable expectation depends on resemblance of circumstances, together with our tendency to expect similar causes to have similar effects. This includes any scientific experiment, since it can be reproduced only under similar, but not under completely identical, circumstances. Already Heraclitus' famous saying "No man ever steps in the same river twice" highlighted the distinction between similar and identical circumstances.
|Birds' similarity relations|
|Tinbergen and Lorentz demonstrated a coarse similarity relation of unexperienced turkey chicks. Upper row: real hawk (left) and goose (right) in flight. Lower row: cardboard dummies releasing similar reactions as their originals.|
Genesis of similarity and kind
In a behavioral sense, humans and other animals have an innate standard of similarity. It is part of our animal birthright, and characteristically animal in its lack of intellectual status, e.g. its alieness to mathematics and logic, cf. bird example.
Induction itself is essentially animal expectation or habit formation. Ostensive learning is a case of induction, and a curiously comfortable one, since each man's spacing of qualities and kind is enough like his neighbor's. In contrast, the "brute irrationality of our sense of similarity" offers little reason to expect it being somehow in tune with the unanimated nature, which we never made.[note 15] Why inductively obtained theories about it should be trusted is the perennial philosophical problem of induction. Quine, following Watanabe, suggests Darwin's theory as an explanation: if people's innate spacing of qualities is a gene-linked trait, then the spacing that has made for the most successful inductions will have tended to predominate through natural selection. However, this cannot account for the human ability to dynamically refine one's spacing of qualities in the course of getting acquainted with a new area.[note 16]
Similar predicates used in philosophical analysis
In his book Wittgenstein on Rules and Private Language, Saul Kripke proposed a related argument that leads to skepticism about meaning rather than skepticism about induction, as part of his personal interpretation (nicknamed "Kripkenstein" by some) of the private language argument. He proposed a new form of addition, which he called quus, which is identical with "+" in all cases except those in which either of the numbers added are equal to or greater than 57; in which case the answer would be 5, i.e.:
He then asks how, given certain obvious circumstances, anyone could know that previously when I thought I had meant "+", I had not actually meant quus. Kripke then argues for an interpretation of Wittgenstein as holding that the meanings of words are not individually contained mental entities.
- Problem of induction
- For an information theory viewpoint, see: Solomonoff's theory of inductive inference
- Historically, Goodman used "V-E day" and "a certain time t" in A Query on Confirmation (p. 383) and Fact, fiction, and forecast (3rd ed. 1973, p. 73), respectively.
- p. 138; later on p. 143f, he uses another variant, c*(h,e), for which he gives a formula to compute actual values; different from Laplace's Rule of Succession. See Carnap's book Studies in inductive logic and probability, Vol.1. University of California Press, 1971, for more details, in particular sect.IV.16 for c, and app.A.1 for c*.
- For example, if a and b had a part in common, then "a is warm and b is not warm" would be an impossible combination.
- For example, "is a raven" and "is a bird" cannot both be admitted predicates, since the former would exclude the negation of the latter. As another example, "is warm" and "is warmer as" cannot both be predicates, since "a is warm and b is warmer than a and b is not warm" is an impossible combination.
- Carnap argues (p. 135) that logical independence is required for deductive logic as well, in order for the set of analytical sentences to be decidible.
- "... carry the analysis [of complex predicates into simpler components] to the end", p.137
- Carnap doesn't consider predicates that are mutually definable by each other, leading to a preorder.
- Observing a black raven is considered to confirm the claim "all ravens are black", while the logically equivalent claim "all non-black things are non-ravens" is not considered to be confirmed by observing e.g. a green leaf.
- Defining two things to be similar if they have all, or most, or many, properties in common doesn't make sense if properties, like mathematical sets, take things in every possible combination. (Quine, 1970, p. 43. Assuming a finite universe of n things, any two of them belong to exactly 2n-2 sets, and share exactly that number of extensional properties.)
- Rather than arbitrary sets
- Quines uses this ternary relation in order to admit different levels of similarity, such that e.g. red things can be more similar to each other than just colored things.
- Formally: A set K is a kind if ∀Y ∉ K. ∃ X1 ∈ K. ∀ X2 ∈ K. (X1 is more similar to X2 than to Y).
- Each member of the set resembles each other member in being red, or in being round, or in being wooden, or even in several of these properties.
- The set contains e.g. yellow croquet balls and red rubber balls, but not yellow rubber balls.
- Quine seems to allude to Vico's verum factum principle here.
- Demonstrated by psychological experiments e.g. about classification of previously unseen artificial objects
- Nelson Goodman (Jul 1946). "A Query on Confirmation" (PDF). The Journal of Philosophy. 43 (14): 383–385. doi:10.2307/2020332.
- Nelson Goodman (1983). Fact, fiction, and forecast. Harvard University Press. p. 74. ISBN 978-0-674-29071-6. Retrieved 8 March 2012.
- "Relativism". Stanford Encyclopedia of Philosophy. Sep 11, 2015.
- Peter Godfrey-Smith (2003). Theory and Reality. University of Chicago Press. p. 53. ISBN 978-0-226-30063-4. Retrieved 23 October 2012.
- Goodman 79
- R. G. Swinburne, 'Grue', Analysis, Vol. 28, No. 4 (Mar., 1968), pp. 123-128
- Rudolf Carnap (1947). "On the Application of Inductive Logic" (PDF). Philosophy and Phenomenological Research. 8: 133–148. doi:10.2307/2102920. Here: p. 139
- Carnap (1947), p. 134
- This might be seen as corresponding to Wittgenstein's Tractatus, Nr.1.11.
- cf. Tractatus Nr.1.21
- Carnap (1947), p.136
- Carnap (1947), p.138
- Carnap (1947), p.146
- Willard Van Orman Quine (1970). "Natural Kinds" (PDF). In Nicholas Rescher; et al. Essays in Honor of Carl G. Hempel. Dordrecht: D. Reidel. pp. 41–56. Reprinted in: Quine, W. V. (1969). "Natural Kinds". Ontological Relativity and other Essays. New York: Columbia University Press. p. 114.
- Quine, 1970, p. 41
- Quine, 1970, p. 42
- Quine, 1970, p. 44
- Quine, 1970, p. 44–45
- Nelson Goodman (1951). The Structure of Appearance. Here: p.163f.
- Quine, 1970, p. 45
- Quine, 1970, p. 42, 45–48
- Donald D. Hoffman (1998). Visual Intelligence. How we create what we see. New York: Norton. here: Chapter 1
- Tinbergen, N. (1951). The study of instinct. Clarendon. here: Chapter IV
- Tinbergen, N. (Mar 1948). "Social Releasers and the Experimental Method Required for their Study" (PDF). Wilson Bull. 60 (1): 6–52. p. 34, Fig.21C
- Quine, 1970, p. 46
- Investigated in more detail in Willard Van Orman Quine (1974). The Roots of Reference. La Salle, Illinois: Open Court Publishing Co. Sect.11
- Quine, 1970, p. 47
- S. Watanabe (1965). "Une Explication Mathématique du Classement d'Objets". In S. Dockx and P. Bernays. Information and Prediction in Science. New York.; here: 2nd page
- Quine, 1970, p. 48
- John P. Burgess, Gideon Rosen (1999). A subject with no object: strategies for nominalistic interpretation of mathematics, p. 53. ISBN 978-0-19-825012-8.
- Goodman, Nelson (1955). Fact, Fiction, and Forecast. Cambridge, Massachusetts: Harvard UP, 1955. 2nd edition, Indianapolis: Bobbs-Merrill, 1965. 3rd. edition Indianapolis: Bobbs-Merrill, 1973. 4th edition, Cambridge, Massachusetts: Harvard UP, 1983.
- Kripke, Saul (1982). Wittgenstein on Rules and Private Language. Basil Blackwell Publishing. ISBN 0-631-13521-9.
- Wolpert, David (1996). "The Lack of A Priori Distinctions between Learning Algorithms". Neural Computation. 8: 1341–1390. doi:10.1162/neco.19184.108.40.2061.
- Stalker, Douglas (1994). Grue! The New Riddle of Induction. Open Court Publishing. ISBN 0-8126-9218-7.
- Franceschi, Paul, Une solution pour le paradoxe de Goodman, Dialogue, vol.40, 2001, pp. 99–123, English translation.
- Elgin, Catherine, ed. (1997). The Philosophy of Nelson Goodman: Selected Essays. Vol. 2, Nelson Goodman's New Riddle of Induction. New York: Garland. ISBN 0-8153-2610-6.
- Goodman's original definition of grue