{"id":1279,"date":"2009-04-17T03:27:43","date_gmt":"2009-04-17T01:27:43","guid":{"rendered":"http:\/\/deleet.dk\/?p=1279"},"modified":"2009-04-17T03:27:43","modified_gmt":"2009-04-17T01:27:43","slug":"a-journey-into-possibility-land","status":"publish","type":"post","link":"https:\/\/emilkirkegaard.dk\/en\/2009\/04\/a-journey-into-possibility-land\/","title":{"rendered":"A journey into possibility land"},"content":{"rendered":"<p><!-- \t \t --><\/p>\n<h3>Intro and types<\/h3>\n<p>I&#8217;ve been paying very close attention as of late to a special type of discourse: Namely, about what is possible and what is impossible. This study has led me to be very careful about my language use when speaking of such things because there are multiple <em>types<\/em> of possibilities: Logical, epistemic, physical, metaphysical, practical, technological etc. I have even created a modified version of modal logic that can handle multiple <em>types<\/em> of possibilities.<a name=\"sdendnote1anc\" href=\"#sdendnote1sym\"><sup>i<\/sup><\/a> Logical possibility we ought to call L-possible, epistemic possibility we ought to call E-possible etc.<\/p>\n<h3>Modal fallacy<\/h3>\n<p>And before that I discovered <em>the<\/em> modal fallacy, which occurs when people confuse the scope of the possibility used. It may be about a single proposition or an entire implication.<a name=\"sdendnote2anc\" href=\"#sdendnote2sym\"><sup>ii<\/sup><\/a><\/p>\n<h3>Versions: Hypothetical and absolute<\/h3>\n<p>And then I discovered that even a single <em>type<\/em> (and pay close attention to the words used) of possibility is used in multiple ways. Let&#8217;s call these <em>versions<\/em>. There is the <em>absolute<\/em> version and then there is the <em>hypothetical<\/em> version. I did not invest these terms; Liebniz did.<a name=\"sdendnote3anc\" href=\"#sdendnote3sym\"><sup>iii<\/sup><\/a><\/p>\n<p>Since I have already written of the aforementioned let me skip them and proceed on defining <em>absolute<\/em> and <em>hypothetical<\/em> modaly. Absolute modality is the one I&#8217;ve always been talking about and hypothetical is the one that others often talk about, which confuses matters a lot, and ultimately ends up wasting a lot of time.<a name=\"sdendnote4anc\" href=\"#sdendnote4sym\"><sup>iv<\/sup><\/a><\/p>\n<h3>Definitions<\/h3>\n<p>But that is not clear enough, so let me define the first. A proposition is <em>absolutely<\/em> necessary iff the negation is a contradiction (which has the form [p\u2227\u00acp]). A <em>hypothetical<\/em> impossibility is a proposition which if added to a set of propositions would result in a contradiction. This is the kind of impossibility that we&#8217;re talking about when making <em>reductio<\/em> arguments: &#8220;If something, then some contradiction, but that it impossible, so something <em>can&#8217;t<\/em> be true.&#8221; Yes, it <em>can<\/em> in the absolute sense. We ought not to confuse them.<\/p>\n<p>In a later article I attacked a hypothetical impossibility for being an absolute impossibility.<a name=\"sdendnote5anc\" href=\"#sdendnote5sym\"><sup>v<\/sup><\/a><\/p>\n<h3>The value of the hypothetical impossibility term?<\/h3>\n<p>I ask now what value we have of this term. What need do we get covered by accepting this term into our collection of words? None but confusions as far as I can tell. We might as well stop called the hypothetical impossibility for an impossibility at all, and then while we&#8217;re at it, we should be very careful in our usage of the necessarily-operator when writing conditionals, so we don&#8217;t commit the modal fallacy. It doesn&#8217;t matter if we call it &#8216;must&#8217;, &#8216;cannot&#8217; &#8216;has to be&#8217; or something else. We must be very clear in our language about this matter, for if anything is certain (meant non-literally), it is that the plain English language is not at all good enough for handling modalities. Clarity is the way forward.<\/p>\n<p><a name=\"sdendnote1sym\" href=\"#sdendnote1anc\">i<\/a><a href=\"..\/..\/..\/..\/..\/2009\/02\/09\/flere-slags-muligheder-i-en-s%C3%A6tning\/\">http:\/\/deleet.dk\/2009\/02\/09\/flere-slags-muligheder-i-en-s%C3%A6tning\/<\/a><\/p>\n<p><a name=\"sdendnote2sym\" href=\"#sdendnote2anc\">ii<\/a><a href=\"..\/..\/..\/..\/..\/2009\/01\/07\/the-modal-fallacy\/\">http:\/\/deleet.dk\/2009\/01\/07\/the-modal-fallacy\/<\/a><\/p>\n<p><a name=\"sdendnote3sym\" href=\"#sdendnote3anc\">iii<\/a>It \tis discussed here: \t<a href=\"http:\/\/maverickphilosopher.powerblogs.com\/posts\/1159490720.shtml\">http:\/\/maverickphilosopher.powerblogs.com\/posts\/1159490720.shtml<\/a> but originally from here: \t<a href=\"http:\/\/www.class.uidaho.edu\/mickelsen\/texts\/Leibniz%20-%20Correspondence.htm\">http:\/\/www.class.uidaho.edu\/mickelsen\/texts\/Leibniz%20-%20Correspondence.htm<\/a><\/p>\n<p><a name=\"sdendnote4sym\" href=\"#sdendnote4anc\">iv<\/a><a href=\"http:\/\/www.freeratio.org\/showthread.php?t=264125\">http:\/\/www.freeratio.org\/showthread.php?t=264125<\/a><\/p>\n<p><a name=\"sdendnote5sym\" href=\"#sdendnote5anc\">v<\/a><a href=\"..\/..\/..\/..\/..\/2009\/04\/07\/does-a-sound-lpoe-establish-that-god-is-impossible\/\">http:\/\/deleet.dk\/2009\/04\/07\/does-a-sound-lpoe-establish-that-god-is-impossible\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Intro and types I&#8217;ve been paying very close attention as of late to a special type of discourse: Namely, about what is possible and what is impossible. This study has led me to be very careful about my language use when speaking of such things because there are multiple types of possibilities: Logical, epistemic, physical, [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[55,532,553,14,795,835,988],"class_list":["post-1279","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-absolute","tag-hypothetical","tag-impossible","tag-modal","tag-modality","tag-necessary","tag-possible","entry"],"_links":{"self":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/1279","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=1279"}],"version-history":[{"count":0,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/posts\/1279\/revisions"}],"wp:attachment":[{"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/media?parent=1279"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/categories?post=1279"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/emilkirkegaard.dk\/en\/wp-json\/wp\/v2\/tags?post=1279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}