{"id":416,"date":"2008-08-06T16:57:00","date_gmt":"2008-08-06T14:57:00","guid":{"rendered":"http:\/\/deleet.dk\/?p=416"},"modified":"2008-08-06T16:57:00","modified_gmt":"2008-08-06T14:57:00","slug":"a-possible-problem-with-possible-worlds-semantics","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/da\/?p=416","title":{"rendered":"A Possible problem with Possible Worlds Semantics"},"content":{"rendered":"<p>Jeg diskuterede med en person p\u00e5 et tidspunkt som mente, at alle sandheder var tidsl\u00f8se. Jeg gav ham s\u00e5 et eksempel p\u00e5 det modsatte. Hans svar var fejlagtigt, men stadig interessant.<\/p>\n<p>Mit eksempel var sandheden &#8220;Jorden er ca. rund&#8221;. Det er sandt nu fordi at Jorden faktisk er rund, men det har ikke altid v\u00e6ret sandt, thi Jorden har ikke altid v\u00e6ret rund, in fact, Jorden har ikke altid v\u00e6ret. Samme g\u00e6lder for fremtiden, Jorden vil ikke best\u00e5 for altid. Om nogle milliarder \u00e5r vil Jorden blive opslugt af en &#8220;d\u00f8ende&#8221; stjerne&#8211;Solen.<\/p>\n<p>Hans svar til dette <em>reductio<\/em> argument var, at den rigtige proposition var:<\/p>\n<p>P: &#8220;Ved tid t, er Jorden ca. rund&#8221;<\/p>\n<p>I en forsimplet tidsmodel, som anser tiden for en lige linje uden hensyn til relativitet, s\u00e5 vil P altid v\u00e6re sandt&#8211;s\u00e5ledes er P en tidsl\u00f8s sandhed.<\/p>\n<p>Der er flere grunde til at man ikke b\u00f8r acceptere hans svar. En er at det ikke var P jeg sagde, men en anden proposition.<\/p>\n<p>Men det interessante ved P er ikke, at den er et fejlagtigt svar, men n\u00e6rmere at den har et underfundigt samspil med Possible Worlds Semantics (PWS).<\/p>\n<p>Er P en n\u00f8dvendig sandhed?&#8211;er den sand i alle logisk mulige verdener? Nej. Der findes tomme verdener hvor der er slet ingen Jord i, bare for at n\u00e6vne nogle verdener hvor P er falsk. Men lad os konstruere en ny proposition i stil med det forhold som P har til mit oprindelige eksempel:<\/p>\n<p>Q: &#8220;I verden V ved tid t er Jorden ca. rund&#8221;<\/p>\n<p>Er dette sandt i alle verdener? Javist, uanset hvilken verden man ser det fra, s\u00e5 er det stadig sandt at i <em>denne<\/em> verden V, ved tid t at Jorden er rund. Q er alts\u00e5 en n\u00f8dvendig sandhed. Men, hvis det er en n\u00f8dvendig sandhed, s\u00e5 skal det v\u00e6re selvmodsigende at modsige den i.e. ved at h\u00e6vde \u00acQ. Men der ser ikke ud til at v\u00e6re nogen selvmodsigelse ved at h\u00e6vde \u00acQ. Vi er havnet i en selvmodsigelse.<\/p>\n<p>M\u00e5ske kan man ben\u00e6gte at Q er en proposition, men jeg kan ikke finde p\u00e5 nogen god grund til hvorfor. For at undg\u00e5 s\u00e5danne problemer ville det v\u00e6re smart at ben\u00e6gte alle propositioner med &#8220;I verden V&#8221;, men s\u00e5 ville PWS falde fra hinanden, da man ofte bruger propostioner med den indikator.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Jeg diskuterede med en person p\u00e5 et tidspunkt som mente, at alle sandheder var tidsl\u00f8se. Jeg gav ham s\u00e5 et eksempel p\u00e5 det modsatte. Hans svar var fejlagtigt, men stadig interessant. Mit eksempel var sandheden &#8220;Jorden er ca. rund&#8221;. Det er sandt nu fordi at Jorden faktisk er rund, men det har ikke altid v\u00e6ret [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[991,1026],"class_list":["post-416","post","type-post","status-publish","format-standard","hentry","category-filosofi","tag-possible-worlds-semantics","tag-pws"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/416","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=416"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/416\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=416"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=416"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=416"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}