{"id":265,"date":"2013-09-24T19:27:48","date_gmt":"2013-09-24T23:27:48","guid":{"rendered":"http:\/\/alanrhoda.net\/wordpress\/?p=265"},"modified":"2014-05-19T12:51:08","modified_gmt":"2014-05-19T16:51:08","slug":"alethic-openness-and-bivalence","status":"publish","type":"post","link":"http:\/\/alanrhoda.net\/wordpress\/2013\/09\/alethic-openness-and-bivalence\/","title":{"rendered":"Alethic Openness and Bivalence (Part 1 of 2)"},"content":{"rendered":"<p>By the <strong>alethic openness<\/strong> of the future I mean that there is <em>no complete, true, linear story of the future<\/em>.<\/p>\n<p>The main motivation for believing that the future is alethically open comes from future contingency. If the future is\u00a0not alethically open but alethically <em>settled<\/em>, then there is\u00a0a complete, true, linear story of the future. But, arguably\u2014and the argument goes back as least as far as Aristotle (<em>De Interpretatione<\/em> 9)\u2014if there <em>is<\/em> such a story, then the course of future events cannot deviate from it, otherwise\u00a0the story would be false, contrary to hypothesis. If the course of future events and the complete, true, linear story of the future cannot deviate, then this must be either (1) because the truth of the story is settled <em>by<\/em> the course of future events, (2) because the course of future events is settled <em>by<\/em> the story, or (3) because <em>both<\/em> the story and the course of events are settled by something else (e.g., causal determinism). (2) can be ruled out because it gets the order of dependency between truth and reality backwards. Reality, which includes the actual occurrences of events, determines what&#8217;s true, not vice-versa. That leaves (1) and (3).<\/p>\n<p>If (3), then\u00a0there are no <strong>future contingents<\/strong>, no events that both might and might not happen such that their chance of occurrence is greater than zero and less than one. Hence, whatever the story says will happen must happen, and the future is fated.<\/p>\n<p>If (1) then in a sense there is <i>no real future<\/i>. Because the story\u00a0<em>is<\/em>\u00a0true and because its truth is settled by events, those events must in some sense <em>have already occurred<\/em> and so they aren&#8217;t really <em>future<\/em> events. In other words, if (1) is right, then the course of &#8220;future&#8221; events is at most\u00a0the course of <em>relatively\u00a0<\/em><i>future<\/i> events&#8211;they may be future in relation to a given temporal standpoint, but they are not future absolutely speaking. Hence, absolutely speaking, it follows that there are no future events and thus no <em>future contingent<\/em> events.<\/p>\n<p>If the preceding\u00a0argument or something akin to it is sound, then an alethically settled future is one lacking future contingents. If we suppose that there are future contingents\u2014real, absolute future contingents\u2014then the future must be alethically open.<\/p>\n<p>Let us suppose, then, that there are future contingents. To be more concrete, let&#8217;s suppose that it is now a future contingent whether Admiral Smith will initiate a sea battle tomorrow against the dread pirate Jones. The question I want to pose is whether propositions like &lt;Smith attacks Jones tomorrow&gt; and &lt;Smith will attack Jones tomorrow&gt; are (a) <strong>false<\/strong>, or (b) <strong>neither true nor false<\/strong>.<\/p>\n<p>The argument for (b) rests on the idea that &lt;Smith attacks Jones tomorrow&gt; and &lt;Smith does not attack Jones tomorrow&gt; are <strong>contradictories<\/strong>, meaning that they are mutually exclusive and jointly exhaustive of the possibilities. If so, then if one is true, the other is false, and if one is false, the other is true. Given <strong>bivalence<\/strong>, the principle that every proposition is either true or, if not true, then false, it follows that there is now a truth concerning how the future will unfold with respect to this sea battle. And since the reasoning here generalizes to all does\/does not propositions about future contingents, it follows that there is a prior truth concerning how the future will unfold with respect to <em>all<\/em> future contingents, which brings us back to an alethically settled future and the fatalistic worry based on it. The only way to avoid this result given that the two propositions are contradictories is to deny bivalence and to say that <em>neither<\/em> &lt;Smith attacks Jones tomorrow&gt; <em>nor<\/em> &lt;Smith does not attack Jones tomorrow&gt; is true, and that\u00a0<em>neither<\/em> is false. Such propositions, one must say, are <em>neither true nor false<\/em>.<\/p>\n<p>The argument for (a) rests on the idea that &lt;Smith attacks Jones tomorrow&gt; and &lt;Smith does not attack Jones tomorrow&gt; are <em>not <\/em>contradictories, but merely <strong>contraries<\/strong>, meaning that they are mutually exclusive but not jointly exhaustive of the possibilities. If this is right, then even though the propositions cannot both be true, they can both be <em>false<\/em>. In answer to the question of how\u00a0&lt;Smith attacks Jones tomorrow&gt; and &lt;Smith does not attack Jones tomorrow&gt; could both be false, the proponent of (a)\u00a0answers that this is the case when a\u00a0<em>third type of proposition<\/em>, one that is the contrary of both &lt;Smith attacks Jones tomorrow&gt; and &lt;Smith does not attack Jones tomorrow&gt;, is true instead. Thus, in addition to (i) it&#8217;s being <em>now true<\/em> that Smith attacks Jones tomorrow, (ii) it&#8217;s being <em>now true<\/em> that Smith does not attack Jones tomorrow, (iii) it could be <em>now true<\/em> that Smith might and might not attack Jones tomorrow. If any one of (i)\u2013(iii) is true, then the other two are false. Hence, bivalence holds for propositions about future contingents. (Though it might still fail for <em>other<\/em> reasons, such as vagueness, on which see <a title=\"Vagueness and Degrees of Truth\" href=\"http:\/\/www.amazon.com\/Vagueness-Degrees-Truth-Nicholas-Smith\/dp\/0199233004\" target=\"_blank\">this book<\/a>.)<\/p>\n<p>In <a title=\"Open Theism, Omniscience, and the Nature of the Future\" href=\"http:\/\/alanrhoda.net\/papers\/opentheism.pdf\" target=\"_blank\">my published work<\/a> I have defended (a), arguing that once one sees that in the case of future contingents there are in fact three possibilities\u2014a future that is determinate with respect to one option, a future that is determinate with respect to the other option, and a future that is indeterminate with respect to both options\u2014there is no longer any motivation for denying bivalence to avoid the fatalistic argument from alethic settledness.<\/p>\n<p>But suppose we shift attention from thinking of tomorrow <em>as future<\/em> to imagining it <em>as present<\/em>. The past and present, unlike the future, are fully determinate. Hence, <em>when tomorrow comes<\/em>, it will be the case at any given moment either that Smith <em>is attacking<\/em> Jones or that Smith <em>is not attacking<\/em> Jones. (I&#8217;m setting the issue of vagueness aside.) In the <strong>present-tense<\/strong> case, the third, indeterminate option doesn&#8217;t seem to be available. So it seems like &lt;Smith is attacking Jones&gt; and &lt;Smith is not attacking Jones&gt; <em>are<\/em> contradictories. But if that&#8217;s right, then the corresponding <strong>tense-neutral<\/strong> propositions (I use uninflected verbs for these so as to distinguish\u00a0them from present-tense propositions) &lt;Smith attack Jones&gt; and &lt;Smith not attack Jones&gt; also appear to be contradictories. And if we add <em>temporal indices<\/em>, e.g., &lt;Smith attack Jones at T1&gt; and &lt;Smith not attack Jones at T1&gt;, and range over\u00a0all conceivable events and temporal indices, then it looks like we again arrive at a complete, true, linear, <em>tense-neutral<\/em> story of the future\u2014unless we deny bivalence.<\/p>\n<p>Does the proponent of (a) have an answer to this?<\/p>\n<p>UPDATE (2014\/05\/19\/): Edited for clarity and fixed some typos.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>By the alethic openness of the future I mean that there is no complete, true, linear story of the future. The main motivation for believing that the future is alethically open comes from future contingency. If the future is\u00a0not alethically open but alethically settled, then there is\u00a0a complete, true, linear story of the future. But,\u2026 <span class=\"read-more\"><a href=\"http:\/\/alanrhoda.net\/wordpress\/2013\/09\/alethic-openness-and-bivalence\/\">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":[14,11,13,12],"class_list":["post-265","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-alethic-openness","tag-bivalence","tag-fatalism","tag-future-contingents"],"_links":{"self":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/265","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=265"}],"version-history":[{"count":8,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/265\/revisions"}],"predecessor-version":[{"id":281,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/265\/revisions\/281"}],"wp:attachment":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/media?parent=265"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/categories?post=265"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/tags?post=265"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}