{"id":3223,"date":"2012-08-31T12:58:34","date_gmt":"2012-08-31T11:58:34","guid":{"rendered":"http:\/\/emilkirkegaard.dk\/en\/?p=3223"},"modified":"2012-08-31T12:58:34","modified_gmt":"2012-08-31T11:58:34","slug":"a-small-thing-about-enumerative-induction-2","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/en\/2012\/08\/a-small-thing-about-enumerative-induction-2\/","title":{"rendered":"A small thing about enumerative induction #2"},"content":{"rendered":"<p lang=\"en-US\">A followup to yesterday (?)&#8217;s <a href=\"http:\/\/emilkirkegaard.dk\/en\/?p=3219\">post<\/a>.<\/p>\n<p lang=\"en-US\">I had an idea about how to be able to recognize the normal inference, but avoiding recognizing the other one if one so wants to. I don&#8217;t particularly feel like this is the right way to go, but supposing someone wants to do it.<\/p>\n<p lang=\"en-US\">The idea is based on similarity. The inference is about two sets of stuff, <em>F<\/em> and <em>G<\/em>. The idea is that some sets are somehow more &#8216;natural&#8217; or important than others, and that this is based on similarity between its members. Clearly, the members of the set of \u201cswans\u201d have more in common than does the members of the set \u201cwhite things\u201d. Thus, one can infer that all swans are white, but not that all white things are swans.<\/p>\n<p lang=\"en-US\">Problems with this approach? Most likely. For instance, try to pick some sets of stuff that thare both &#8216;natural&#8217; or neither. Say, in the first case, the set of women and the set of people with red hair. Does the members of the set \u201cwomen\u201d have more in common with each other than the set of \u201cpeople with red hair\u201d? Seems difficult to answer.<\/p>\n<p lang=\"en-US\">So, perhaps it isnt a good idea to make a requirement that the set be the most &#8216;natural&#8217;. But there are some other possibilities. For instance, one cud go with the interesting idea that the more the members of a set have in common, the stronger is the inference with that set as the <em>F<\/em>. The idea of varying strengths of inference fits very well with it being an inductive inference to begin with. In the swans and white things scenario, the inference to \u201call swans are white\u201d is much stronger than the inference to \u201call white things are swans\u201d. But perhaps in women and red haired people scenario, the inferences are about of equal strength.<\/p>\n<p lang=\"en-US\">There is also a nice theoretical niceness to this solution. The fact that the members of a particular set have more in common does imply that if one picks an attribute of those things at random, and generalizes from the members, then it is more likely that the generalization holds true. It even seems trivial.<\/p>\n<p lang=\"en-US\">Also, a friend of mine mentioned that this problem is quite similar to the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Raven_paradox\">Raven Paradox<\/a>, and i agree.<\/p>\n<h2 lang=\"en-US\"><a name=\"The_paradox\"><\/a><span style=\"color: #800000;\">The paradox<\/span><\/h2>\n<p lang=\"en-US\"><a name=\"cite_ref-JSTOR_1-0\"><\/a><a name=\"cite_ref-2\"><\/a> <span style=\"color: #800000;\">Hempel describes the paradox in terms of the <a href=\"http:\/\/en.wikipedia.org\/wiki\/Hypothesis\">hypothesis<\/a>:<a href=\"http:\/\/en.wikipedia.org\/wiki\/Raven_paradox#cite_note-JSTOR-1\">[2]<\/a><a href=\"http:\/\/en.wikipedia.org\/wiki\/Raven_paradox#cite_note-2\">[3]<\/a><\/span><\/p>\n<dl>\n<dd lang=\"en-US\"><span style=\"color: #800000;\">(1) <\/span><span style=\"color: #800000;\"><em>All <a href=\"http:\/\/en.wikipedia.org\/wiki\/Raven\">ravens<\/a> are <a href=\"http:\/\/en.wikipedia.org\/wiki\/Black\">black<\/a><\/em><\/span><span style=\"color: #800000;\">. <\/span><\/dd>\n<\/dl>\n<p lang=\"en-US\"><span style=\"color: #800000;\">In strict <a href=\"http:\/\/en.wikipedia.org\/wiki\/Logic\">logical<\/a> terms, via <a href=\"http:\/\/en.wikipedia.org\/wiki\/Contraposition\">contraposition<\/a>, this statement is equivalent to:<\/span><\/p>\n<dl>\n<dd lang=\"en-US\"><span style=\"color: #800000;\">(2) <em>Everything that is not black is not a raven.<\/em> <\/span><\/dd>\n<\/dl>\n<p lang=\"en-US\"><span style=\"color: #800000;\">It should be clear that in all circumstances where (2) is true, (1) is also true; and likewise, in all circumstances where (2) is false (i.e. if a world is imagined in which something that was not black, yet was a raven, existed), (1) is also false. This establishes <a href=\"http:\/\/en.wikipedia.org\/wiki\/Logical_equivalence\">logical equivalence<\/a>.<\/span><\/p>\n<p lang=\"en-US\"><span style=\"color: #800000;\">Given a general statement such as <em>all ravens are black<\/em>, a form of the same statement that refers to a specific observable instance of the general class would typically be considered to constitute evidence for that general statement. For example,<\/span><\/p>\n<dl>\n<dd lang=\"en-US\"><span style=\"color: #800000;\">(3) <em>Nevermore, my pet raven, is black.<\/em> <\/span><\/dd>\n<\/dl>\n<p lang=\"en-US\"><span style=\"color: #800000;\">is evidence supporting the hypothesis that <em>all ravens are black<\/em>.<\/span><\/p>\n<p lang=\"en-US\"><span style=\"color: #800000;\">The paradox arises when this same process is applied to statement (2). On sighting a green apple, one can observe:<\/span><\/p>\n<dl>\n<dd lang=\"en-US\"><span style=\"color: #800000;\">(4) <em>This green (and thus not black) thing is an apple (and thus not a raven).<\/em> <\/span><\/dd>\n<\/dl>\n<p lang=\"en-US\"><span style=\"color: #800000;\">By the same reasoning, this statement is evidence that (2) <em>everything that is not black is not a raven.<\/em> But since (as above) this statement is logically equivalent to (1) <em>all ravens are black<\/em>, it follows that the sight of a green apple is evidence supporting the notion that all ravens are black. This conclusion seems paradoxical, because it implies that information has been gained about ravens by looking at an apple.<\/span><\/p>\n<p lang=\"en-US\">Both of them are odd things about inductive inferences. I rather dislike using the word <em>paradox<\/em> in this loose sense meaning something like <em>a puzzle<\/em>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A followup to yesterday (?)&#8217;s post. I had an idea about how to be able to recognize the normal inference, but avoiding recognizing the other one if one so wants to. I don&#8217;t particularly feel like this is the right way to go, but supposing someone wants to do it. The idea is based on [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[],"class_list":["post-3223","post","type-post","status-publish","format-standard","hentry","category-logic-philosophy","entry"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/3223","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/comments?post=3223"}],"version-history":[{"count":2,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/3223\/revisions"}],"predecessor-version":[{"id":3225,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/3223\/revisions\/3225"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/media?parent=3223"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/categories?post=3223"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/tags?post=3223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}