{"id":804,"date":"2008-11-19T21:51:50","date_gmt":"2008-11-19T19:51:50","guid":{"rendered":"http:\/\/deleet.dk\/?p=804"},"modified":"2008-11-19T21:51:50","modified_gmt":"2008-11-19T19:51:50","slug":"formaliseringen-af-argumentet-om-dyr-og-viden","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/da\/?p=804","title":{"rendered":"Formaliseringen af argumentet om dyr og viden"},"content":{"rendered":"<p><!-- \t --><strong>Semi-formelt<\/strong><\/p>\n<p>1. Alle som har har mindst en dom i sindet, har sprog. (pr\u00e6mis)<\/p>\n<p>2. Ingen dyr har sprog. (pr\u00e6mis)<\/p>\n<p>3. \u22a2 Ingen dyr har mindst en dom i sindet. (1, 2)<\/p>\n<p>4. Mindst et dyr har viden. (pr\u00e6mis)<\/p>\n<p>5. Hvis ingen dyr har mindst en dom i sindet, s\u00e5 har ingen dyr viden om mindst en dom. (pr\u00e6mis)<\/p>\n<p>6. \u22a2 Ingen dyr viden om mindst en dom. (3, 5)<\/p>\n<p>7. Hvis (ingen dyr viden om mindst en dom og mindst et dyr har viden), s\u00e5 har mindst et dyr viden om mindst en ikke-dom.<\/p>\n<p>8. \u22a2 Mindst et dyr har viden om en ikke-dom. (4, 6, 7).<\/p>\n<p>9. \u22a2 Mindst en viden er om en ikke-dom. (8).<\/p>\n<p><strong>Formelt<\/strong><\/p>\n<p>x: dyr<\/p>\n<p>y: viden<\/p>\n<p>Fx \u2261 x har mindst en dom i sindet<\/p>\n<p>Gx \u2261 x har sprog<\/p>\n<p>Hx \u2261 x ved mindst en ting<\/p>\n<p>Jx \u2261 x ved mindst en dom<\/p>\n<p>Kx \u2261 x har viden om mindst en ikke-dom<\/p>\n<p>Lx \u2261 x er viden om en ikke-dom<\/p>\n<p>1&#8242;. (\u2200x)(Fx\u2192Gx)<\/p>\n<p>2&#8242;. (\u2200x)(\u00acGx)<\/p>\n<p>3&#8242;. \u22a2 (\u2200x)(\u00ac Fx) [1, 2]<\/p>\n<p>4&#8242;. (\u2203x)(Hx)<\/p>\n<p>5&#8242;. (\u2200x)(\u00acFx\u2192\u00acJx)<\/p>\n<p>6&#8242;. \u22a2 (\u2200x)(\u00acJx) [3, 5]<\/p>\n<p>7&#8242;. ((\u2200x)(\u00acJx)\u1d27(\u2203x)(Hx))\u2192(\u2203x)(Kx)<\/p>\n<p>8&#8242;. \u22a2 (\u2203x)(Kx) [4, 6, 7]<\/p>\n<p>9&#8242;. (\u2203x)(Kx)\u2192(\u2203y)(Ly)<\/p>\n<p>10&#8242;. \u22a2 (\u2203y)(Ly) [8, 9]<\/p>\n<p>Bem\u00e6rk at det ikke lykkedes mig <em>helt<\/em> at demonstrere gyldigheden af argumentet. Jeg kunne ikke finde en passende m\u00e5de, at slutte fra (8) til (9) p\u00e5.<\/p>\n<p>Bem\u00e6rk at viden om noget ogs\u00e5 kunne udtrykkes som en relation Rxy \u2261 x ved y. Dog var det ikke n\u00f8dvendigt og ville komplicere argumentet yderligere.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Semi-formelt 1. Alle som har har mindst en dom i sindet, har sprog. (pr\u00e6mis) 2. Ingen dyr har sprog. (pr\u00e6mis) 3. \u22a2 Ingen dyr har mindst en dom i sindet. (1, 2) 4. Mindst et dyr har viden. (pr\u00e6mis) 5. Hvis ingen dyr har mindst en dom i sindet, s\u00e5 har ingen dyr viden om [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[310,1021,1371],"class_list":["post-804","post","type-post","status-publish","format-standard","hentry","category-logik-filosofi","tag-dyr","tag-prdikatslogik","tag-viden"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/804","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=804"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/804\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=804"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=804"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=804"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}