Wikipedia

New riddle of induction: Difference between revisions

Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
→See also: rm unrelated links: blue/green are just example properties used by Goodman, any other combination of disjoint properties would do as well
m Reverted edits by 109.10.218.216 (talk) (HG) (3.4.12)
 
(31 intermediate revisions by 20 users not shown)
Line 1:
{{Short description|Philosophical paradox introduced by Nelson Goodman}}
{{redirect|Grue and bleen|the linguistic term "grue", used for translation from natural languages|DistinctionBlue–green of blue and greendistinction in various languageslanguage}}
'''Grue''' and '''bleen''' are examples of logical [[Predicate (mathematical logic)|predicates]] coined by [[Nelson Goodman]] in ''[[Fact, Fiction, and Forecast]]'' to illustrate the "'''new riddle of induction'''" – a successor to [[problem of induction|Hume's original problem]]. These predicates are unusual because their application is time-dependent; many have tried to solve the new riddle on those terms, but [[Hilary Putnam]] and others have argued such time-dependency depends on the language adopted, and in some languages it is equally true for natural-sounding predicates such as "green." For Goodman they illustrate the problem of projectible predicates and ultimately, which empirical generalizations are [[Scientific law|law-like]] and which are not.<ref name="Goodman.1946">{{cite journal| author=Nelson Goodman| title=A Query on Confirmation| journal=The Journal of Philosophy|date=Jul 1946| volume=43| number=14| pages=383–385| url=http://wordsmatter.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Nelson%20Goodman%20-%20A%20Query%20on%20Confirmation.pdf| doi=10.2307/2020332| jstor=2020332}}</ref><ref name="Goodman.1983">{{cite book|author=Nelson Goodman|title=Fact, fiction, and forecast|url=https://books.google.com/books?id=i97_LdPXwrAC|accessdate=8 March 2012|year=1983|publisher=Harvard University Press|isbn=978-0-674-29071-6|page=74}}</ref> Goodman's construction and use of ''grue'' and ''bleen'' illustrates how philosophers use simple examples in [[analytic philosophy|conceptual analysis]].▼
 
▲The '''Grue'''new andriddle '''bleenof induction''' are examples of logical [[Predicate (mathematical logic)|predicates]]was coinedpresented by [[Nelson Goodman]] in ''[[Fact, Fiction, and Forecast]]'' to illustrate the "'''new riddle of induction'''" –as a successor to [[problem of induction|Hume's original problem]]. TheseIt presents the logical [[Predicate (mathematical logic)|predicates]] '''grue''' and '''bleen''' which are unusual becausedue to their application is time-dependent;dependence. manyMany have tried to solve the new riddle on those terms, but [[Hilary Putnam]] and others have argued such time-dependency depends on the language adopted, and in some languages it is equally true for natural-sounding predicates such as "green.". For Goodman they illustrate the problem of projectible predicates and ultimately, which empirical generalizations are [[Scientific law|law-like]] and which are not.<ref name="Goodman.1946">{{cite journal| |author=Nelson Goodman| |title=A Query on Confirmation| |journal=The Journal of Philosophy |date=Jul 1946| |volume=43| |number=14| |pages=383–385| |url=http://wordsmatter.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Nelson%20Goodman%20-%20A%20Query%20on%20Confirmation.pdf | doi=10.2307/2020332 | jstor=2020332}}</ref><ref name="Goodman.1983">{{cite book|authoraccess-date=Nelson2014-01-27 Goodman|titlearchive-date=Fact, fiction, and2016-05-28 forecast|archive-url=https://booksweb.googlearchive.comorg/books?id=i97_LdPXwrAC|accessdate=8 Marchweb/20160528160630/http://wordsmatter.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Nelson%20Goodman%20-%20A%20Query%20on%20Confirmation.pdf 2012|year=1983|publisher=Harvard University Press|isbn=978url-0-674-29071-6|pagestatus=74dead }}</ref>{{sfn|Goodman|1983|p=74}} Goodman's construction and use of ''grue'' and ''bleen'' illustrates how philosophers use simple examples in [[analytic philosophy|conceptual analysis]].
 
==Grue and bleen==
[[File:Grue and Bleen (EN).png|thumb|Definitions of ''grue'' and ''bleen'', as well as how the original colors ''blue'' and ''green'' can be redefined based on the two predicates]]
Goodman defined "grue" relative to an arbitrary but fixed time ''t'':<ref group="note">{{efn|Historically, Goodman used ''"[[V-E day]]"'' and ''"a certain time t"'' in ''A Query on Confirmation'' (p. &nbsp;383) and ''Fact, fiction, and forecast'' (3rd ed. 1973, p. &nbsp;73), respectively.</ref>}} 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.<ref>{{cite SEP|title=Nelson Goodman|url-id=relativismgoodman|date=AprMar 2625, 20172019}}</ref>
 
For some arbitrary future time ''t'', say January 1, {{#expr:{{#time:Y}} + 10}}, <!-- The expression gives the current year plus ten, for a date guaranteed to be in the future no matter when this page is retrieved. --> for all green things observed prior to ''t'', such as [[emerald]]s and well-watered [[grass]], both the predicates ''green'' and ''grue'' apply. Likewise for all blue things observed prior to ''t'', such as [[bluebird]]s or [[blue flower]]s, both the predicates ''blue'' and ''bleen'' apply. On January &nbsp;2, {{#expr:{{#time:Y}} + 10}}, however, emeralds and well-watered grass are ''bleen'', and bluebirds or blue flowers are ''grue''. The predicates ''grue'' and ''bleen'' are not the kinds of predicates used in everyday life or in science, but they apply in just the same way as the predicates ''green'' and ''blue'' up until some future time ''t''. From the perspective of observers before time ''t'' it is indeterminate which predicates are future projectible (''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 [[Philosophy|philosophical importance]].<ref name="{{sfn|Goodman.|1983"/>|p=74}}<ref name="Godfrey-Smith">{{cite book|author=Peter Godfrey-Smith|title=Theory and Reality|url=http://www.press.uchicago.edu|accessdateaccess-date=23 October 2012|year=2003|publisher=University of Chicago Press|isbn=978-0-226-30063-4|page=53}}</ref>
 
===The old problem of induction and its dissolution===
Line 28 ⟶ 31:
One response is to appeal to the artificially [[Logical disjunction|disjunctive]] definition of grue. The notion of predicate ''entrenchment'' is not required. Goodman said that this does not succeed. 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 [[Begging the question|beg the question]].
 
Another proposed resolution 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. Goodman also addresses and rejects this proposed solution as [[Begging the question|question begging]] because ''blue'' can be defined in terms of ''grue'' and ''bleen'', which explicitly refer to time.<ref>{{sfn|Goodman, |1983|p. =79.</ref>}}
 
===Swinburne===
Line 34 ⟶ 37:
 
===Carnap===
[[Rudolf Carnap]] responded<ref>{{cite journalsfn| author=Rudolf Carnap| title=On the Application of Inductive Logic| journal=Philosophy and Phenomenological Research| year=1947| volumep=8| issue=1| pages=133–148| url=http://www.hss.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Rudolf%20Carnap%20-%20On%20the%20Application%20of%20Inductive%20Logic.pdf| doi=10.2307/2102920| jstor=2102920| access-date=2014-01-27| archive-url=https://web.archive.org/web/20060920034402/http://www.hss.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Rudolf%20Carnap%20-%20On%20the%20Application%20of%20Inductive%20Logic.pdf| archive-date=2006-09-20| url-status=dead139}} Here: p. 139.</ref> 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''.<ref group=note>p. 138; later on p. 143f, {{efn|he uses another variant, ''c''<sup>*</sup>(''h'',''e''), for which he gives a formula to compute actual values;{{sfn|Carnap|1947|p=138, 143f}} 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''<sup>*</sup>.</ref>}} 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 its own constant symbol; such individuals are meant to be regarded as positions ("like space-time points in our actual world") rather than extended physical bodies.<ref>{{sfn|Carnap (|1947), |p. =134.</ref>}} 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.<ref>This might be seen as corresponding to [[Wittgenstein]]'s [[Tractatus Logico-Philosophicus#Proposition 1|Tractatus]], Nr.1.11.</ref> Carnap requires the following semantic properties:
* Atomic sentences must be logically independent of each other.<ref>cf. Tractatus Nr.1.21</ref> In particular, different constant symbols must designate different and entirely separate individuals.<ref group=note>{{efn|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.</ref>}} Moreover, different predicates must be logically independent.<ref group=note>{{efn|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 than" cannot both be predicates, since "''a'' is warm and ''b'' is warmer than ''a'' and ''b'' is not warm" is an impossible combination.</ref><ref group=note>}}{{efn|Carnap argues ({{sfn|Carnap|1947|p. =135)}} that logical independence is required for deductive logic as well, in order for the set of [[analytic-synthetic distinction#Frege and Carnap revise the Kantian definition|analytical sentences]] to be decidable.</ref>}}
* The qualities and relations designated by the predicates must be simple, i.e. they must not be analyzable into simpler components.<ref>{{sfn|Carnap (|1947), |p. =136.</ref> }} Apparently, Carnap had in mind an [[irreflexive]], [[partial order|partial]], and [[well-founded]]<ref group{{sfn|Carnap|1947|loc=note>p. 137: "... carry the analysis [of complex predicates into simpler components] to the end", p. 137.</ref>}} [[order theory|order]]<ref group=note>{{efn|Carnap doesn't consider predicates that are mutually definable by each other, leading to a [[preorder]].</ref>}} ''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''.<ref>{{sfn|Carnap (|1947), |p. =138.</ref>}}
Carnap distinguishes three kinds of properties:
# Purely qualitative properties; that is, properties expressible without using individual constants, but not without primitive predicates,
Line 48 ⟶ 51:
To illuminate this taxonomy, let ''x'' be a variable and ''a'' a constant symbol; then an example of 1. could be "''x'' is blue or ''x'' is non-warm", an example of 2. "''x'' = ''a''", and an example of 3. "''x'' is red and not ''x'' = ''a''".
 
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 properties are non-projectible, and mixed properties require further investigation.<ref>{{sfn|Carnap (|1947), |p. =146.</ref>}}
 
===Quine===
[[Willard Van Orman Quine]] discusses an approach to consider only "[[natural kind]]s" as projectible predicates.{{sfn|Quine|1970}}
[[Willard Van Orman Quine]] discusses an approach to consider only "[[natural kind]]s" as projectible predicates.<ref>{{cite book|title=Essays in Honor of Carl G. Hempel|author=Willard Van Orman Quine|publisher=D. Reidel|year=1970|editor=Nicholas Rescher|location=Dordrecht|pages=41–56|contribution=Natural Kinds|display-editors=etal|contribution-url=http://fitelson.org/confirmation/quine_nk.pdf}} Reprinted in: {{cite book|title=Ontological Relativity and other Essays|last=Quine|first=W. V.|publisher=Columbia University Press|year=1969|location=New York|page=114|contribution=Natural Kinds}}<!---chapter=5---><!---According to Quine's foreword to the latter book (p. 6 in the German translation), the reprint was issued earlier than the original.---></ref>▼
He first relates Goodman's grue paradox to [[Carl Gustav Hempel|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''".<ref>{{sfn|Quine (|1970), |p. =41</ref>}} Then Hempel's paradox just shows that the complements of projectible predicates (such as "is a raven", and "is black") need not be projectible,<ref group=note>{{efn|Observing a black raven is considered to confirm the claim "all ravens are black", while the [[contraposition|logically equivalent]] claim "all non-black things are non-ravens" is not considered to be confirmed by observing e.g. a green leaf.</ref>}} 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".<ref name="{{sfn|Quine (|1970), |p. =42">Quine (1970), p. 42.</ref>}} Both are basic to thought and language, like the logical notions of e.g. [[identity (philosophy)|identity]], [[negation]], [[disjunction]]. However, it remains unclear how to relate the logical notions to ''similarity'' or ''kind'';<ref group=note>{{efn|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 set]]s, take things in every possible combination. {{sfn|Quine (|1970), |p. =43.}} Assuming a finite universe of ''n'' things, any two of them belong to exactly 2<sup>''n''-2</sup> sets, and share exactly that number of [[extensional]] properties. [[Satosi Watanabe|Watanabe]] called this the "[[Ugly duckling theorem]]".)</ref>}} Quine therefore tries to relate at least the latter two notions to each other.
 
{| style="float:right"
Line 65 ⟶ 68:
'''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<ref group=note>{{efn|Rather than arbitrary sets</ref>}} than ''A'' and ''C'' do.<ref name="{{sfn|Quine (|1970), |p. =44">Quine (1970), p. 44</ref><ref group=note>}}{{efn|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.</ref>}}
 
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.<ref name="{{sfn|Quine (|1970), |p. =44"/>}} (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 (mathematics)|set]] whose members are more similar to each other than each non-member is to at least one member.<ref>{{sfn|Quine (|1970), |p. 44–45.</ref><ref group=note>44-45}}{{efn|Formally: A set ''K'' is a kind if ∀''Y'' ∉ ''K''. ∃ ''X''<sub>1</sub> ∈ ''K''. ∀ ''X''<sub>2</sub> ∈ ''K''. (''X''<sub>1</sub> is more similar to ''X''<sub>2</sub> than to ''Y'').</ref>}}
However, Goodman<ref>{{cite booksfn| author=Nelson Goodman| title=The Structure of Appearance1951| yearp=1951163f}} Here: p. 163f.</ref> 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,<ref group=note>{{efn|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.</ref>}} while "surely it is not what anyone means by a kind".<ref group=note>{{efn|The set contains e.g. yellow [[croquet]] balls and red rubber balls, but not yellow rubber balls.</ref><ref name="}}{{sfn|Quine (|1970), |p. =45">Quine (1970), p. 45.</ref>}}
 
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.<ref name="{{sfn|Quine (|1970), |p. =45"/>}}
 
'''Basic importance of similarity and kind'''
 
In language, every general term owes its generality to some resemblance of the things [[Reference#Semantics|referred]] to. [[Language acquisition|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.<ref>{{sfn|Quine (|1970), |p. =42, 45–48.</ref>45-48}}
 
Every reasonable expectation depends on resemblance of circumstances, together with our tendency to expect similar causes to have similar effects.<ref name="{{sfn|Quine (|1970), |p. =42"/>}} 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.
 
{| align="right" class="collapsible collapsed" style="flush:right"
Line 88 ⟶ 91:
| [[File:Falcon scheme of chickens and ducks.gif|thumb|150px]] || [[File:Goose scheme of chickens and ducks.gif|thumb|150px]]
|-
| colspan=2 width=300px | Tinbergen and Lorentz demonstrated a coarse similarity relation of inexperienced turkey chicks.<ref>{{citesfn|Hoffman|1998|loc=Chapter book1}}{{sfn|Tinbergen|1951|loc=Chapter IV}}{{sfn|titleTinbergen|1948|loc=Visualp. Intelligence34, Fig. How21C}} we'''Upper createrow:''' whatreal wehawk see(left) |author=Donaldand Dgoose (right) in flight. Hoffman'''Lower |location=Newrow:''' Yorkcardboard |publisher=Nortondummies |year=1998}}releasing here:similar Chapterreactions 1as their originals.</ref><ref>
{{cite book| author=Tinbergen, N.| title=The study of instinct| year=1951| publisher=Clarendon}} here: Chapter IV</ref><ref>{{cite journal| author=Tinbergen, N.| title=Social Releasers and the Experimental Method Required for their Study| journal=Wilson Bull.| date=Mar 1948| volume=60| issue=1 |pages=6–52| url=https://sora.unm.edu/sites/default/files/journals/wilson/v060n01/p0006-p0051.pdf}} p. 34, Fig. 21C.</ref> '''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 [[Behaviorism|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 alienness to mathematics and logic,<ref>{{sfn|Quine (|1970), |p. =46.</ref>}} cf. bird example.
 
==== Habit formation ====
Induction itself is essentially [[Classical conditioning|animal expectation]] or habit formation. [[Ostensive definition|Ostensive learning]]<ref>Investigated in more detail in {{cite booksfn|author=Willard Van Orman Quine |title=The Roots of Reference 1974|urlloc=https://archiveSect.org/details/rootsofreference00wvqu |url-access=registration | location=La Salle, Illinois | publisher=Open Court Publishing Co. |year=197411}} Sect. 11.</ref> 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.<ref>{{sfn|Quine (|1970), |p. =47.</ref>}} 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.<ref group="note">{{efn|Quine seems to allude to Vico's [[Giambattista Vico#The verum factum principle|verum factum principle]] here.</ref>}} Why inductively obtained theories about it should be trusted is the perennial philosophical [[problem of induction]]. Quine, following [[Satosi Watanabe|Watanabe]],<ref>{{cite booksfn| editor1=Stanislas I. Dockx Watanabe|editor2=Paul Bernays |editor2-link=Paul Bernays |title=Information and Prediction in Science |chapter-url=https://www.ncbi.nlm.nih.gov/nlmcatalog/41130 |location=New York |year=1965 |publisherp=Academic Press | oclc=522269 | lccn=64-24655 | author=Satosi Watanabe |authorlink=Satosi Watanabe |chapter=Une Explication Mathématique du Classement d'Objets | pages=39–7641}} Here: p. 41.</ref> suggests [[Charles Darwin|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]].<ref>{{sfn|Quine (|1970), |p. =48.</ref>}} 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.<ref group="note">{{efn|Demonstrated by psychological experiments e.g. about classification of previously unseen artificial objects, like "[[Greeble (psychology)|artificial objectsGreebles]]</ref>".}}
 
==Similar predicates used in philosophical analysis==
 
===Quus===
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<ref>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}}.</ref>) 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.:
 
::<math>x\text{ quus }y= \begin{cases} x+y & \text{for }x,y <57 \\[12pt] 5 & \text{for } x\ge 57 \text{ or } y\ge57 \end{cases} </math>
Line 114 ⟶ 116:
 
==Notes==
{{notelist|30em}}
{{reflist|group="note"}}▼
 
==References==
=== Citations ===
<references/>
▲{{reflist|group="note"30em}}
 
=== Bibliography ===
{{Refbegin|30em}}
* {{cite book |first=Nelson |last=Goodman |title=Fact, fiction, and forecast |url=https://books.google.com/books?id=i97_LdPXwrAC |access-date=8 March 2012 |year=1983 |publisher=Harvard University Press |isbn=978-0-674-29071-6}}
* {{cite journal| first=Rudolf| last=Carnap| title=On the Application of Inductive Logic| journal=Philosophy and Phenomenological Research| year=1947| volume=8| issue=1| pages=133–148| url=http://www.hss.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Rudolf%20Carnap%20-%20On%20the%20Application%20of%20Inductive%20Logic.pdf| doi=10.2307/2102920| jstor=2102920| access-date=2014-01-27| archive-url=https://web.archive.org/web/20060920034402/http://www.hss.caltech.edu/~franz/Confirmation%20and%20Induction/PDFs/Rudolf%20Carnap%20-%20On%20the%20Application%20of%20Inductive%20Logic.pdf| archive-date=2006-09-20| url-status=dead}}
▲[[Willard* Van Orman Quine]] discusses an approach to consider only "[[natural kind]]s" as projectible predicates.<ref>{{cite book|title=Essays in Honor of Carl G. Hempel|authorfirst=Willard Van Orman |last=Quine|publisher=D. Reidel|year=1970|editor=Nicholas Rescher|location=Dordrecht|pages=41–56|contribution=Natural Kinds|display-editors=etal|contribution-url=http://fitelson.org/confirmation/quine_nk.pdf}} Reprinted in: {{cite book|title=Ontological Relativity and other Essays|last=Quine|first=W. V.|publisher=Columbia University Press|year=1969|location=New York|page=114|contribution=Natural Kinds}}<!---chapter=5---><!---According to Quine's foreword to the latter book (p. 6 in the German translation), the reprint was issued earlier than the original.---></ref>
* {{cite book| first=Nelson| last=Goodman| title=The Structure of Appearance| year=1951}}
* {{cite book| editor1=Stanislas I. Dockx |editor2=Paul Bernays |editor2-link=Paul Bernays |title=Information and Prediction in Science |chapter-url=https://www.ncbi.nlm.nih.gov/nlmcatalog/41130 |location=New York |year=1965 |publisher=Academic Press | oclc=522269 | lccn=64-24655 | first=Satosi | last=Watanabe |author-link=Satosi Watanabe |chapter=Une Explication Mathématique du Classement d'Objets | pages=39–76}}
▲* {{cite bookjournal| authorlast=Tinbergen, N.| titlefirst=The study of instinct| year=1951| publisher=Clarendon}} here: Chapter IV</ref><ref>{{cite journal| author=Tinbergen, N. | title=Social Releasers and the Experimental Method Required for their Study| journal=Wilson Bull.| date=Mar 1948| volume=60| issue=1 |pages=6–52| url=https://sora.unm.edu/sites/default/files/journals/wilson/v060n01/p0006-p0051.pdf}} p. 34, Fig. 21C.</ref> '''Upper row:''' real hawk (left) and goose (right) in flight. '''Lower row:''' cardboard dummies releasing similar reactions as their originals.
* {{cite book |title=Visual Intelligence. How we create what we see |first=Donald D. |last=Hoffman |location=New York |publisher=Norton |year=1998}}
* {{cite book| last=Tinbergen | first=N. | title=The study of instinct| year=1951| publisher=Clarendon}}
* {{cite book|first=Willard Van Orman |last=Quine |title=The Roots of Reference |url=https://archive.org/details/rootsofreference00wvqu |url-access=registration | location=La Salle, Illinois | publisher=Open Court Publishing Co. |year=1974|isbn=9780812691016 }}
{{Refend}}
 
==Further reading==
Line 124 ⟶ 140:
| last = Kripke
| first = Saul
| authorlinkauthor-link = Saul Kripke
| title = Wittgenstein on Rules and Private Language
| publisher = Basil Blackwell Publishing
| year = 1982
| location =
| url =
| doi =
| isbn = 0-631-13521-9 }}
*{{Cite journal
Line 139 ⟶ 152:
| year = 1996
| pages = 1341–1390
| url =
| doi =10.1162/neco.1996.8.7.1341
| volume=8
| issue = 7
| s2cid = 207609360
}}
*{{Cite book
Line 159 ⟶ 172:
{{DEFAULTSORT:New riddle of induction}}
[[Category:Philosophical paradoxes]]
[[Category:Willard Van Orman Quine]]
[[Category:Ludwig Wittgenstein]]
[[Category:Inductive reasoning]]
[[Category:Concepts in the philosophy of language]]
Retrieved from "https://en.wikipedia.org/wiki/New_riddle_of_induction"