{"id":212,"date":"2006-01-11T04:08:00","date_gmt":"2006-01-11T08:08:00","guid":{"rendered":"http:\/\/alanrhoda.net\/wordpress\/?p=212"},"modified":"2006-01-11T04:08:00","modified_gmt":"2006-01-11T08:08:00","slug":"peircean-vs-ockhamist-tense-logic","status":"publish","type":"post","link":"http:\/\/alanrhoda.net\/wordpress\/2006\/01\/peircean-vs-ockhamist-tense-logic\/","title":{"rendered":"Peircean vs. Ockhamist Tense Logic"},"content":{"rendered":"<p>So far as I am aware, all philosophers agree that if it rains on a particular Tuesday then it will be the case every day thereafter that it rained on that particular Tuesday. If we let P stand for &#8220;it was the case that &#8230;&#8221;, F stand for &#8220;it will be the case that &#8230;&#8221;, N stand for &#8220;it is now the case that &#8230;&#8221;, and p stand for the proposition &#8220;It is raining on Tuesday&#8221; then we can express this symbolically as<\/p>\n<p>(1)    N(p) &#8211;> F(P(p)).<\/p>\n<p>(1) claims that if it is <span style=\"font-style: italic;\">now <\/span>the case that it is raining on Tuesday then it <span style=\"font-style: italic;\">will <\/span>be the case hereafter that it <span style=\"font-style: italic;\">was<\/span><span style=\"font-weight: bold;\"> <\/span>the case that it is raining on Tuesday. In other words, once something has happened and is past, it cannot change.<\/p>\n<p>But not all philosophers agree that the following is true:<\/p>\n<p>(2)    N(p) &#8211;> P(F(p)).<\/p>\n<p>(2) claims that if it is <span style=\"font-style: italic;\">now<\/span><span style=\"font-weight: bold;\"> <\/span>the case that it is raining on Tuesday then it always <span style=\"font-style: italic;\">was<\/span><span style=\"font-weight: bold;\"> <\/span>the case that it <span style=\"font-style: italic;\">will<\/span><span style=\"font-weight: bold;\"> <\/span>be the case that it is raining on Tuesday. In other words, from the beginning of time it was already a settled truth that it would rain on that particular Tuesday. Indeed, (2) implies that there is already a settled truth about what will happen tomorrow and the next day and the next &#8230; and so on, until the very end of time.<span style=\"font-style: italic;\"><span style=\"font-style: italic;\"><\/span><\/span><\/p>\n<p>It is probably true that most philosophers would <span style=\"font-style: italic;\">accept<\/span><span style=\"font-weight: bold;\"> <\/span>(2). Following Arthur Prior, we&#8217;ll call them &#8216;Ockhamists&#8217; after the medieval logician William of Ockham. Again following Prior, we&#8217;ll call those who <span style=\"font-style: italic;\">reject<\/span><span style=\"font-weight: bold;\"> <\/span>(2) &#8216;Peirceans&#8217;, after the nineteenth century logician Charles Sanders Peirce.<\/p>\n<p>Those in the Ockhamist camp are apt to regard (2) as obviously correct, a truism, a platitude. Peirceans, however, regard (2) as a gross <span style=\"font-style: italic;\">non sequitur<\/span>, an invalid inference. Who is right? It all depends on the interpretation of &#8220;will&#8221; in<\/p>\n<p>(3)    &#8220;It will be the case that p&#8221; uttered at time T.<\/p>\n<p>For the Ockhamist, to say that something &#8220;will&#8221; happen implies absolutely nothing about its chances of happening, except to say that its chances are <span style=\"font-style: italic;\">not zero<\/span>. So if someone tosses a coin and, while the coin is still in the air, another person predicts &#8220;the coin will land heads&#8221;, an Ockhamist would not construe that to be implying that the coin was <span style=\"font-style: italic;\">likely <\/span>to land heads. Instead, he would construe the prediction as saying nothing more than &#8220;in fact the coin does land heads subsequent to T&#8221;. Consequently, the mere fact that the coin does land heads is sufficient to make it true beforehand that it &#8220;will&#8221; land heads. In summary, then, the Ockhamist takes (3) to mean<\/p>\n<p>(4)   It is the case that p at some time T&#8217; subsequent to T.<\/p>\n<p>If this is the right way to read statements like (3), then (2) is correct.<\/p>\n<p>The Peircean, however, construes &#8220;will&#8221; differently. For the Peircean, to predict that something &#8220;will&#8221; happen is to say that the chances of its happening are 100% (or very close). In other words, they hold that to say that something &#8220;will&#8221; happen implies that the future is fixed, <span style=\"font-weight: bold;\">not <\/span>by what does happen in the future (as the Ockhamist supposes) but by its being a <span style=\"font-style: italic;\">causally necessary consequence<\/span> of what is the case right now. If we follow the Peircean and construe &#8220;will&#8221; in this sense, then it should be pretty obvious that (2) is false. After all, says the Peircean, the mere fact that a tossed coin lands heads only proves that it was antecedently <span style=\"font-style: italic;\">possible<\/span> that it land heads, not that it was <span style=\"font-style: italic;\">causally necessary<\/span> that it land heads. In summary, then, the Peircean takes (3) to mean<\/p>\n<p>(5)   It is causally necessary that p occur at some time T&#8217; subsequent to T.<\/p>\n<p>If this is the right way to read statements like (3), then (2) is false.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>So far as I am aware, all philosophers agree that if it rains on a particular Tuesday then it will be the case every day thereafter that it rained on that particular Tuesday. If we let P stand for &#8220;it was the case that &#8230;&#8221;, F stand for &#8220;it will be the case that &#8230;&#8221;,\u2026 <span class=\"read-more\"><a href=\"http:\/\/alanrhoda.net\/wordpress\/2006\/01\/peircean-vs-ockhamist-tense-logic\/\">Read More &raquo;<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-212","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/212","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/comments?post=212"}],"version-history":[{"count":0,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/212\/revisions"}],"wp:attachment":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/media?parent=212"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/categories?post=212"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/tags?post=212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}