{"id":1164,"date":"2009-03-14T23:01:28","date_gmt":"2009-03-14T21:01:28","guid":{"rendered":"http:\/\/deleet.dk\/?p=1164"},"modified":"2009-03-14T23:01:28","modified_gmt":"2009-03-14T21:01:28","slug":"reductio-pa-sandhedsrelativisme","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/da\/?p=1164","title":{"rendered":"Reductio p\u00e5 sandhedsrelativisme?"},"content":{"rendered":"<p>D,x \u2261 ting<\/p>\n<p>D,y \u2261 ting<\/p>\n<p>p \u2261 For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ.<\/p>\n<p>Dx \u2261 x er en dom.<\/p>\n<p>Fx \u2261 x&#8217;s sandhedsv\u00e6rdi relativ<\/p>\n<p>Gxy \u2261 x er sand for y.<\/p>\n<p>1.<\/p>\n<p>For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ. (Hypotese)<\/p>\n<p>(\u2200x)(Dx\u2192Fx)<\/p>\n<p>2.<\/p>\n<p>&#8220;For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ.&#8221; er en dom. (Pr\u00e6mis)<\/p>\n<p>Dp<\/p>\n<p>3.<\/p>\n<p>Ergo, &#8220;For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ.&#8221;&#8216;s sandhedsv\u00e6rdi er relativ. (1, 2)<\/p>\n<p>\u22a2 Fp<\/p>\n<p>4.<\/p>\n<p>Hvis (For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ), s\u00e5 for alle y &#8220;for alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ&#8221; er sand for y. (Pr\u00e6mis)<\/p>\n<p>(\u2200x)(Dx\u2192Fx)\u2192(\u2200y)(Gpy)<\/p>\n<p>5.<\/p>\n<p>Ergo, for alle y &#8220;for alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ&#8221; er sand for y. (1, 4)<\/p>\n<p>\u22a2 (\u2200y)(Gpy)<\/p>\n<p>6.<\/p>\n<p>Hvis (for alle y &#8220;for alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ&#8221; er sand for y.), s\u00e5 &#8220;For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ.&#8221;&#8216;s sandhedsv\u00e6rdi er ikke relativ. (Pr\u00e6mis)<\/p>\n<p>(\u2200y)(Gpy)\u2192\u00acFp<\/p>\n<p>7.<\/p>\n<p>Ergo, &#8220;For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ.&#8221;&#8216;s sandhedsv\u00e6rdi er ikke relativ. (5, 6)<\/p>\n<p>\u22a2 \u00acFp<\/p>\n<p><strong>Bem\u00e6rkning om formaliseringen<\/strong><\/p>\n<p>L\u00e6g n\u00f8je m\u00e6rke til forskellen p\u00e5 at skrive:<\/p>\n<p>(For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ), og<\/p>\n<p>&#8220;For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ.&#8221;<\/p>\n<p>Den f\u00f8rste er en del af formularen (\u2200x)(Dx\u2192Fx), mens den anden er en partikul\u00e6r som indg\u00e5r i en relation (Gxy). Men egentlig er de \u00e6klivalente som det ses i definitionen i toppen; p \u2261 For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ. Problemet ser kun ud til at v\u00e6re skrivem\u00e5de.<\/p>\n<p><strong>Holdbarhed?<\/strong><\/p>\n<p>Er argumentet holdbart? B\u00e5de og. Det ser ud til at v\u00e6re holdbart mod en salgs sandhedsrelativisme, men ikke en anden. Det f\u00f8rste pr\u00e6mis (2) ser ud til at v\u00e6re det mest sikre. For det f\u00f8lger faktisk af (1) hvis vi ogs\u00e5 antager: Hvis noget er sandt, s\u00e5 er det en dom. Dette er analytisk sandt.<\/p>\n<p>Jeg er ikke sikker p\u00e5 det andet pr\u00e6mis. Ideen, er at hvis sandhedsrelativisme er sandt for blot en (person, perspektiv etc.), s\u00e5 er sandhedsrelativisme sandt for alle (personer, perspektiver etc.). Jeg forestiller mig, at man kan lave et RAA argument for dette pr\u00e6mis ved at antage, at det er falsk for en (person, perspektiv).<\/p>\n<p>Det tredje pr\u00e6mis relevant for det jeg tidligere n\u00e6vnte med forskellige former for sandhedsrelativisme. Den form dette argumentet virker mod er den form der udtaler sig om hvordan tingene er og ikke hvordan de kan v\u00e6re. Den anden form for sandhedsrelativisme siger blot, at en doms sandhedsv\u00e6rdi kan v\u00e6re forskellig fra en (person etc.) til en anden (person etc.).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>D,x \u2261 ting D,y \u2261 ting p \u2261 For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ. Dx \u2261 x er en dom. Fx \u2261 x&#8217;s sandhedsv\u00e6rdi relativ Gxy \u2261 x er sand for y. 1. For alle x, hvis x er en dom, s\u00e5 er x&#8217;s sandhedsv\u00e6rdi relativ. (Hypotese) (\u2200x)(Dx\u2192Fx) [&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,11],"tags":[1058,1098,1099],"class_list":["post-1164","post","type-post","status-publish","format-standard","hentry","category-filosofi","category-logik-filosofi","tag-relativisme","tag-sandhedsabsolutisme","tag-sandhedsrelativisme"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/1164","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=1164"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/1164\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1164"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1164"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1164"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}