{"id":334,"date":"2008-06-11T03:00:55","date_gmt":"2008-06-11T02:00:55","guid":{"rendered":"http:\/\/deleet.dk\/?p=334"},"modified":"2008-06-11T03:00:55","modified_gmt":"2008-06-11T02:00:55","slug":"principle-of-explosion","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/da\/?p=334","title":{"rendered":"Principle of explosion"},"content":{"rendered":"

Dette er ganske interessant. Hvis jeg fortalte dig, at fra en selvmodsigelse f\u00f8lger alting, ville du s\u00e5 v\u00e6re umiddelbart enig? Nej vel. Det var jeg heller ikke, men s\u00e5 m\u00f8dte jeg dette bevis.<\/p>\n

    \n
  1. \"\" assumption<\/li>\n
  2. \"\" from (1) by conjunction elimination<\/a><\/li>\n
  3. \"\" from (1) by conjunction elimination<\/a><\/li>\n
  4. \"\" from (2) by disjunction introduction<\/a><\/li>\n
  5. \"\" from (3) and (4) by disjunctive syllogism<\/a><\/li>\n
  6. \"\" from (5) by conditional proof<\/a> (discharging assumption 1)<\/li>\n<\/ol>\n

    Dante <\/a>forklarer det:<\/p>\n

    1. (p <\/em>& ~p<\/em>) [Assumption]
    \n2. p<\/em> [1, conjunctive elimination]
    \n3. ~p<\/em> [1, conjunctive elimination]
    \n4. p<\/em> v q<\/em> [2, disjunctive introduction]
    \n5. q<\/em> [3, 4, disjunctive syllogism]
    \n6. (p<\/em> & ~p<\/em>) -> q<\/em> [5, conditional proof]<\/p>\n

    (1): you assume a contradiction.<\/p>\n

    (2) & (3): Now, the thing about any conjunction whatsoever is you can separate the conjuncts as true propositions. If (p<\/em> & q<\/em>) is true, then that means that both p<\/em> is true and q<\/em> is true, and you can separately assert truly that p<\/em> and q<\/em>. This follows obviously because a conjunction is true only if and only if both conjuncts is true.<\/p>\n

    (4): For any true proposition p<\/em>, it is also true that p<\/em> v q<\/em>. The thing about a disjunction is that at least<\/em> one disjunct is true. So, if you have a true proposition, then plainly enough, any disjunction involving it is true. Hence, you can introduce any true disjunction from a true proposition.<\/p>\n

    (5): q<\/em> follows from disjunctive syllogism. A disjunctive syllogism is of the form “Either p<\/em> or q<\/em>, not p<\/em>, therefore q<\/em>.” An example: “Either the cat is on the mat or on the floor, it is not on the mat, therefore, it is on the floor.” Now, the disjunction in question is true and per (3), p<\/em> is false. Hence, by disjunctive syllogism, it follows that q<\/em> is true.<\/p>\n

    (6): This argument applies for any proposition p<\/em> and q<\/em>; hence, it shows a proof<\/em> that a contradiction entails<\/em> any proposition whatsoever.<\/p><\/blockquote>\n

    Sejt ikke?<\/p>\n","protected":false},"excerpt":{"rendered":"

    Dette er ganske interessant. Hvis jeg fortalte dig, at fra en selvmodsigelse f\u00f8lger alting, ville du s\u00e5 v\u00e6re umiddelbart enig? Nej vel. Det var jeg heller ikke, men s\u00e5 m\u00f8dte jeg dette bevis. assumption from (1) by conjunction elimination from (1) by conjunction elimination from (2) by disjunction introduction from (3) and (4) by disjunctive […]<\/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":[371,1759,1118],"class_list":["post-334","post","type-post","status-publish","format-standard","hentry","category-filosofi","tag-explosion","tag-logik-filosofi","tag-selvmodsigelse"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/334","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=334"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=\/wp\/v2\/posts\/334\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=334"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=334"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/da\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=334"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}