{"id":820,"date":"2022-04-12T16:04:22","date_gmt":"2022-04-12T21:04:22","guid":{"rendered":"http:\/\/alanrhoda.net\/wordpress\/?p=820"},"modified":"2022-04-12T16:22:49","modified_gmt":"2022-04-12T21:22:49","slug":"open-futurism-supervaluationism-and-indeterminacy-a-critique-of-barnes-and-cameron","status":"publish","type":"post","link":"http:\/\/alanrhoda.net\/wordpress\/2022\/04\/open-futurism-supervaluationism-and-indeterminacy-a-critique-of-barnes-and-cameron\/","title":{"rendered":"Open Futurism, Supervaluationism, and Indeterminacy \u2013 A Critique of Barnes and Cameron"},"content":{"rendered":"<p>In my <a href=\"http:\/\/alanrhoda.net\/wordpress\/2022\/03\/todd-ch-2-models-of-the-undetermined-future\/\">previous post<\/a> on Ch. 2 of Patrick Todd&#8217;s book\u00a0<a href=\"https:\/\/www.amazon.com\/Open-Future-Why-Contingents-False\/dp\/0192897918\"><em>The Open Future<\/em><\/a> (Oxford 2021), I criticized Todd for confusing\u00a0<strong>supervaluationism<\/strong> with the view defended by Elizabeth Barnes and Ross Cameron in two influential papers. In this post I want to look more closely at the view of Barnes and Cameron (hereafter B&amp;C). For ease of reference, I&#8217;ll refer to B&amp;C&#8217;s first paper, <a href=\"https:\/\/www.jstor.org\/stable\/pdf\/27734518.pdf\">&#8220;The Open Future: Bivalence, Determinism, and Ontology,&#8221;<\/a> as TOF and their second paper, <a href=\"https:\/\/www.jstor.org\/stable\/pdf\/41329461.pdf\">&#8220;Back to the Open Future,&#8221;<\/a> as BTOF. I&#8217;m going to explain<\/p>\n<ul>\n<li>what B&amp;C&#8217;s view of the open future is<\/li>\n<li>why B&amp;C&#8217;s view is\u00a0<em>not<\/em> &#8220;supervaluationist&#8221; in any legitimate sense of that word<\/li>\n<li>why B&amp;C&#8217;s view of the open future is inadequate<\/li>\n<\/ul>\n<p><strong>B&amp;C&#8217;s view: Open futurism as metaphysical indeterminacy<\/strong><\/p>\n<p>In TOF, B&amp;C characterize &#8220;the open future thesis&#8221; as the view that &#8220;contingent facts about how things will be are presently unsettled&#8221; (p. 291). In BTOF, they add that &#8220;the open future is a matter of it being\u00a0<em>metaphysically indeterminate<\/em> what will happen, i.e., that at least some future contingents are metaphysically indeterminate in truth-value&#8221; (p. 2). Initially one might be tempted to think that they mean to deny <strong>bivalence <\/strong>(the principle that each proposition is either true, or if not true, then false). After all, if some truth-values are &#8220;metaphysically indeterminate&#8221; then how can they be either true or false? Aren&#8217;t truth-values by definition\u00a0<em>determinate<\/em>, such that if a proposition is true then it is determinately true? According to B&amp;C, the answer to that is emphatically &#8220;no&#8221;. In their view, a proposition can be true but not determinately true, in that it can still be indeterminate whether the proposition is true: &#8220;every proposition is either true or false, but &#8230; for some propositions it is unsettled <em>which<\/em> truth-value they have&#8221; (TOF, p. 294).<\/p>\n<p>In BTOF, after various clarificatory remarks, B&amp;C settle on this as their &#8220;final&#8221; statement of their view (p. 5):<\/p>\n<blockquote><p><span style=\"text-decoration: underline;\">Openness as Indeterminacy:<\/span> The future is open with respect to some future contingent p at t if and only if (1) p is, at t, metaphysically indeterminate in truth-value and (2) either it will be the case that, determinately, p was true, or it will be the case that, determinately, p was false. The future is open simpliciter iff there is some future contingent p such that the future is open with respect to p.<\/p><\/blockquote>\n<p>That&#8217;s a tangled and confusing web of text. Let&#8217;s try to unpack it by looking at B&amp;C&#8217;s &#8220;picture&#8221; of the open future:<\/p>\n<blockquote><p>If the future is open in a world w at time t, then there is a set of complete histories for w representing how w could be atemporally, given what has happened up to t. These atemporal histories all agree on what happens up to t. They disagree on what happens after t. It&#8217;s indeterminate which of these histories is the complete atemporal description of w&#8217;s history, because it&#8217;s indeterminate what will happen in w. But determinately, one and only one of them is the complete atemporal description of w. At the last moment of w&#8217;s existence, there will be a single history that &#8216;gets it right&#8217;. But at time t, it&#8217;s indeterminate which of the many atemporal world histories compatible with what has happened so far is the right one. (BTOF, pp. 2\u20133; see also TOF, p. 295)<\/p><\/blockquote>\n<p>This is a bit easier to follow. What B&amp;C are saying is that we should consider all of the\u00a0<em>complete histories<\/em> that are compatible with how world w is up to time t. The openness of the future, in their minds, just is the thesis that <em>multiple<\/em> complete histories are compatible with w as of t. So it&#8217;s &#8220;metaphysically indeterminate&#8221; <em>at t<\/em> which of those histories is w&#8217;s actual history. That&#8217;s what clause (1) of B&amp;C&#8217;s &#8220;final&#8221; statement is driving at. Now, as time moves forward, fewer and fewer complete histories remain compatible with w&#8217;s history up to that point until, &#8220;at the last moment of w&#8217;s existence&#8221;, only one complete history remains. <em>That<\/em> history is then <em>determinately <\/em>the history of w. So eventually, looking back, it will be settled which complete history is <em>the<\/em> actual history of w. That&#8217;s what clause (2) of B&amp;C&#8217;s &#8220;final&#8221; statement is saying. Now, say B&amp;C, if we consider the matter <em>atemporally<\/em>, and not in relation to this or that moment of time, then it is always determinate which history is w&#8217;s actual history. But if we consider the matter <em>temporally<\/em>, in relation to any moment of time but w&#8217;s last moment, then is it indeterminate which history is w&#8217;s actual history. So it is both determinately either <em>true<\/em> or <em>false <\/em>(atemporally considered) whether H is w&#8217;s actual history and yet it is presently neither <em>determinately true<\/em> nor <em>determinately false <\/em>(temporally considered) whether H is w&#8217;s actual history.<\/p>\n<p>I&#8217;ll consider the adequacy of B&amp;C&#8217;s view below, but first I want to address the relation of their view to supervaluationism properly so-called.<\/p>\n<p><strong>Why this isn&#8217;t supervaluationism<\/strong><\/p>\n<p>B&amp;C compare their view to supervaluationism noting that theirs is a &#8220;non-standard&#8221; &#8220;departure&#8221; from &#8220;traditional&#8221; supervaluationism (TOF, pp. 295\u2013296). While they are right that their view does share some common ground with supervaluationism\u2014in both cases a property is assessed by considering all possible &#8220;precisifications&#8221; of some general description\u2014their view is not a variant of supervaluationism.<\/p>\n<p>In the case of supervaluationism proper, it is <em>truth-values<\/em> that are assessed. This is what puts the &#8220;value&#8221; in super-value-ationism. Standard truth-functional logic is, we might say, &#8220;subvaluational&#8221; in that the truth-value of a complex proposition is always a function the truth-values of its component propositions. Supervaluationism, in contrast, says that the truth-values of some complex propositions are not a function of the truth-values of their components, but rather of the various ways in which what they assert can be <em>precisified<\/em> or &#8220;fleshed out&#8221;. This approach is taken in order to reconcile logically necessary truths like excluded middle with a <em>denial of bivalence<\/em>. For example, supervaluationists like <a href=\"https:\/\/web.eecs.umich.edu\/~rthomaso\/documents\/old_papers\/indeterminist-time.pdf\">Richmond Thomason<\/a> and <a href=\"https:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1111\/1467-9213.00315\">John MacFarlane<\/a> say that propositions about future contingents like &lt;There will be a sea battle tomorrow&gt; and &lt;There will not be a sea battle tomorrow&gt; are <em>neither true nor false<\/em> when evaluated prior to the event in question. They say this because there are precisifications or continuations of actual history up to the present in which a sea battle occurs tomorrow as well as continuations in which no sea battle occurs tomorrow. But Thomason and MacFarlane don&#8217;t want to say that the disjunction &lt;Either there will be a sea battle tomorrow or there will not be a sea battle tomorrow&gt; is neither true nor false. Instead, they see it as a necessarily true instance of the law of excluded middle on the grounds that\u00a0<em>no matter which precisification of history eventuates<\/em>, it will either include a sea battle tomorrow or it won&#8217;t. So the disjunction is not evaluated truth-functionally (i.e., subvaluationally) but rather supervaluationally, that is, in terms of the truth-values the whole disjunction <em>would have<\/em> given any possible precisification of history as of the present.<\/p>\n<p>B&amp;C&#8217;s view isn&#8217;t supervaluationist because it is concerned with the assessment of <em>determinacy<\/em>, not truth. It is, if you will, not super-value-ationist but super-determinacy-ist. Unlike supervaluationists, B&amp;C insist on the principle of bivalence. They don&#8217;t evaluate truth by considering precisifications. For them, either &lt;There will be a sea battle tomorrow&gt; or &lt;There will not be a sea battle tomorrow&gt; is true now, and the other is <em>false<\/em>. But neither proposition is\u00a0<em>determinately<\/em> true now or <em>determinately\u00a0<\/em>false now because there are continuations of actual history up to the present in which a sea battle occurs tomorrow as well as continuations in which no sea battle occurs tomorrow. Their disjunction, however, is determinately true now because <em>no matter which precisification of history eventuates<\/em>, it will either include a sea battle tomorrow or it won&#8217;t.<\/p>\n<p>In short, while B&amp;C&#8217;s view is structurally analogous to supervaluationism, it is not supervaluationist because the latter is <em>definitionally\u00a0<\/em>concerned with truth-values, whereas B&amp;C&#8217;s view is only concerned with determinacy.<\/p>\n<p><strong>A critique of B&amp;C&#8217;s view of open futurism as metaphysical indeterminacy<\/strong><\/p>\n<p>I have several criticisms of B&amp;C&#8217;s version of open futurism.<\/p>\n<p>First, they view <strong>future contingency<\/strong> as a matter of <em>metaphysical<\/em> indeterminacy instead of as a matter of <em>causal <\/em>indeterminacy, as the notion has traditionally been understood.\u00a0By a &#8220;future contingent&#8221;, B&amp;C mean a claim &#8220;concerning how things will be such that neither it nor its negation is metaphysically necessary&#8221; (TOF, p. 291). This is a <em>much<\/em> broader notion of future contingency than almost anyone in the long tradition of theological debate over the compatibility of future contingency and creaturely freedom with divine foreknowledge and providence has had in mind. As B&amp;C take pains to point out, not even <em>causal determinism<\/em> is incompatible with open futurism as they understand it (TOF, pp. 299\u2013305): &#8220;The idea of a metaphysically open future is fully compatible with the truth of determinism&#8221; (TOF, p. 305).<\/p>\n<p>Second, because they insist that there is a uniquely <em>true<\/em> history, albeit not one that is <em>determinately true<\/em>, <strong>their view isn&#8217;t really a version of open futurism at all<\/strong>, but rather a kind of <em>preventable futurism<\/em>. In <a href=\"http:\/\/alanrhoda.net\/docs\/research\/Foreknowledge_and_Fatalism.pdf\">one of my papers<\/a>, I show that there are two ways of resisting fatalism, the view that the future is exhaustively &#8220;fixed&#8221; or &#8220;now-unpreventable&#8221;. The <em>open futurist<\/em> response denies that there is any uniquely specified future, no unique and complete extension of the actual past and present that is (or that is going to be) <em>the<\/em> actual future. The <em>preventable futurist<\/em> response, in contrast, concedes that there is a uniquely specified future but insists that the specified future is nevertheless preventable. It is preventable because the existence of the future specifier is explanatorily dependent on the actual occurrences of the future events it specifies. This is basically the line that B&amp;C take. They are preventable futurists, not open futurists. <strong>What puts the &#8220;openness&#8221; in open futurism is not the indeterminacy of an otherwise uniquely specified future, but the <em>absence<\/em> of any such specification.<\/strong> For the open futurist, the future is indeterminate (i.e., not unpreventably fixed) <em>because<\/em> it is <em>not <\/em><em>completely specified<\/em>. For the preventable futurist, the future is indeterminate (i.e., not unpreventably fixed) <em>despite<\/em> being completely specified. B&amp;C fail to appreciate this distinction.<\/p>\n<p>Third, <strong>the distinction between\u00a0<em>truth<\/em> and\u00a0<em>determinate<\/em><em> truth<\/em> is problematic<\/strong>. If it is indeterminate whether future F is the unique actual future, then how can it be true that F is the unique actual future? B&amp;C appeal to an <em>atemporal<\/em> perspective to maintain that there is a unique actual future. But how can there be such an atemporal fact if it is <em>now<\/em> indeterminate how the future shall unfold? Given such indeterminacy, it remains an &#8220;open question&#8221; which future shall come to be the actual future. In other words, the\u00a0<em>information<\/em> necessary to specify any one future as &#8220;the&#8221; actual future doesn&#8217;t yet exist and can&#8217;t exist until all indeterminacy is exhausted. Since we haven&#8217;t yet reached the end of history, the supposedly atemporally specified unique actual future simply doesn&#8217;t exist. Thus, B&amp;C&#8217;s appeal to an atemporal perspective here is an illegitimate cheat given the indeterminacy that they advocate for.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In my previous post on Ch. 2 of Patrick Todd&#8217;s book\u00a0The Open Future (Oxford 2021), I criticized Todd for confusing\u00a0supervaluationism with the view defended by Elizabeth Barnes and Ross Cameron in two influential papers. In this post I want to look more closely at the view of Barnes and Cameron (hereafter B&amp;C). For ease of\u2026 <span class=\"read-more\"><a href=\"http:\/\/alanrhoda.net\/wordpress\/2022\/04\/open-futurism-supervaluationism-and-indeterminacy-a-critique-of-barnes-and-cameron\/\">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":[73,102,101,32],"tags":[137,152,154,138,153],"class_list":["post-820","post","type-post","status-publish","format-standard","hentry","category-future-contingents","category-open-futurism","category-preventable-futurism","category-truth","tag-elizabeth-barnes","tag-metaphysical-indeterminacy","tag-open-futurism","tag-ross-cameron","tag-truth-vs-determinate-truth"],"_links":{"self":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/820","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=820"}],"version-history":[{"count":10,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/820\/revisions"}],"predecessor-version":[{"id":830,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/820\/revisions\/830"}],"wp:attachment":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/media?parent=820"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/categories?post=820"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/tags?post=820"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}