{"id":1425,"date":"2009-06-22T02:47:26","date_gmt":"2009-06-22T00:47:26","guid":{"rendered":"http:\/\/deleet.dk\/?p=1425"},"modified":"2009-06-22T02:47:26","modified_gmt":"2009-06-22T00:47:26","slug":"worldviews-and-mistaken-beliefs-a-paradox","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/en\/2009\/06\/worldviews-and-mistaken-beliefs-a-paradox\/","title":{"rendered":"Worldviews and mistaken beliefs, a paradox"},"content":{"rendered":"<p><!--[if gte mso 9]><xml> Normal   0         21         false   false   false      DA   X-NONE   X-NONE                                                     MicrosoftInternetExplorer4 <\/xml><![endif]--><!--[if gte mso 9]><xml> <\/xml><![endif]--><!--  --><!--[if gte mso 10]> <mce:style><!   \/* Style Definitions *\/  table.MsoNormalTable \t{mso-style-name:\"Tabel - Normal\"; \tmso-tstyle-rowband-size:0; \tmso-tstyle-colband-size:0; \tmso-style-noshow:yes; \tmso-style-priority:99; \tmso-style-qformat:yes; \tmso-style-parent:\"\"; \tmso-padding-alt:0cm 5.4pt 0cm 5.4pt; \tmso-para-margin-top:0cm; \tmso-para-margin-right:0cm; \tmso-para-margin-bottom:10.0pt; \tmso-para-margin-left:0cm; \tline-height:115%; \tmso-pagination:widow-orphan; \tfont-size:11.0pt; \tfont-family:\"Calibri\",\"sans-serif\"; \tmso-ascii-font-family:Calibri; \tmso-ascii-theme-font:minor-latin; \tmso-hansi-font-family:Calibri; \tmso-hansi-theme-font:minor-latin; \tmso-fareast-language:EN-US;} --> <!--[endif]--><\/p>\n<p>Here&#8217;s a little paradox that I&#8217;ve come across while thinking. It&#8217;s about worldviews and knowing that at least one thing I currently believe to be true is actually false.<\/p>\n<p><strong>The argument<\/strong><\/p>\n<p>1.\u00a0\u00a0\u00a0\u00a0\u00a0 For all x, if x is a belief in my worldview, then I hold that belief. [Premise]<\/p>\n<p>2.\u00a0\u00a0\u00a0\u00a0\u00a0 If for all x, if x is a belief in my worldview, then I hold that belief, then I don&#8217;t believe that my worldview contains a mistaken belief. [Premise]<\/p>\n<p>3.\u00a0\u00a0\u00a0\u00a0\u00a0 Thus, I don&#8217;t believe that my worldview contains a mistaken belief. [from 1, 2, MP]<\/p>\n<p>4.\u00a0\u00a0\u00a0\u00a0\u00a0 There is at least one proposition such that I believe it and it is false. [Premise]<\/p>\n<p>5.\u00a0\u00a0\u00a0\u00a0\u00a0 If there is at least one proposition such that I believe it and it is false, then my worldview contains a mistaken belief. [Premise]<\/p>\n<p>6.\u00a0\u00a0\u00a0\u00a0\u00a0 Thus, my worldview contains a false belief. [From 4, 5, MP]<\/p>\n<p>7.\u00a0\u00a0\u00a0\u00a0\u00a0 Thus, my worldview contains a mistaken belief and I don&#8217;t believe that my worldview contains a mistaken belief. [3, 6, Conj.]<a name=\"_ftnref1\" href=\"#_ftn1\">[1]<\/a><\/p>\n<p>This conclusion seems paradoxical to me. It&#8217;s not a contradiction at it stands, it&#8217;s just fishy. If I form the belief as a result of this argument, that my worldview contains a mistaken belief, then I hold two contradictory beliefs. It seems that I have to reject a premise, but I don&#8217;t find any of them weak. In fact, three of them are logical tautologies, and the last is proven by induction. I&#8217;ll discuss the premises below.<\/p>\n<p><strong>Premise one<\/strong><\/p>\n<p>This one may seem a little unnecessary. I had no luck formulating the argument without this premise. I think it is a logical tautology, that is, true per definition. Let me first define worldview as I use it here.<\/p>\n<p>Worldview =<sub>df<\/sub> The (complete) set of beliefs a person has.<\/p>\n<p>Then, given the above definition, it is clear that if a belief is part of a person&#8217;s worldview, then that person holds that belief.<\/p>\n<p>When I wrote this article and when I was thinking of the paradox, I noticed that it is easy to make a category error and call a worldview false. But that doesn&#8217;t make sense. \u2018True&#8217; and \u2018false&#8217; are meaningful in relation to propositions and not to beliefs. We may instead say that a worldview is mistaken which just means that the worldview contains at least one mistaken belief. A mistaken belief is a belief in a false proposition.<\/p>\n<p>Common language may be broader in the use of \u2018true&#8217; and \u2018false&#8217; but here I will restrict myself for the sake of clarity of thought.<\/p>\n<p><strong>Premise two<\/strong><\/p>\n<p>This one is similar to the first, as it seems unnecessary and is a logical tautology.<\/p>\n<p>One could argue it with a <em>reductio<\/em>. Assume that I believe that my worldview contains a mistaken belief. If I believe that, then I don&#8217;t hold the belief that is mistaken. (Since if I did, I would have two contrary beliefs.) If I don&#8217;t hold that belief, then it isn&#8217;t part of my worldview. But from the assumed we can deduce that it is part of my worldview. Thus, contradiction, and the assumption is, thus, false.<\/p>\n<p><strong>Premise three<\/strong><\/p>\n<p>This one is not a tautology for a change, but I think it is uncontroversial. I have a large number of beliefs, all grown-ups do, and in the past it has always been the case that a belief I had turned out to be false. Similar behavior has been observed in other humans. By induction we have good reason to believe that some of my current beliefs are false. The trouble is that I don&#8217;t know which of them it is!<\/p>\n<p><strong>Premise four<\/strong><\/p>\n<p>This is another tautology. By definition my worldview is the set of beliefs that I have, and if I hold a mistaken belief then it follows that my worldview contains at least one mistaken belief.<\/p>\n<p><strong>Solution?<\/strong><\/p>\n<p>I don&#8217;t know. I haven&#8217;t found one, if there is one.<\/p>\n<hr size=\"1\" \/><a name=\"_ftn1\" href=\"#_ftnref1\">[1]<\/a> The argument is valid in propositional logic but some of the propositions are formulated in predicate logic for extra clarity.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Here&#8217;s a little paradox that I&#8217;ve come across while thinking. It&#8217;s about worldviews and knowing that at least one thing I currently believe to be true is actually false. The argument 1.\u00a0\u00a0\u00a0\u00a0\u00a0 For all x, if x is a belief in my worldview, then I hold that belief. [Premise] 2.\u00a0\u00a0\u00a0\u00a0\u00a0 If for all x, if [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[144,934,1411],"class_list":["post-1425","post","type-post","status-publish","format-standard","hentry","category-philosophy","tag-beliefs","tag-paradox","tag-worldview","entry"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/1425","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=1425"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/1425\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/media?parent=1425"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/categories?post=1425"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/tags?post=1425"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}