{"id":277,"date":"2014-05-20T19:21:37","date_gmt":"2014-05-20T23:21:37","guid":{"rendered":"http:\/\/alanrhoda.net\/wordpress\/?p=277"},"modified":"2014-05-22T18:02:20","modified_gmt":"2014-05-22T22:02:20","slug":"alethic-openness-and-bivalence-part-2-of-2","status":"publish","type":"post","link":"http:\/\/alanrhoda.net\/wordpress\/2014\/05\/alethic-openness-and-bivalence-part-2-of-2\/","title":{"rendered":"Alethic Openness and Bivalence (Part 2 of 2)"},"content":{"rendered":"

In my previous post<\/a>\u00a0I briefly presented a reason, one having to do with the need to avoid fatalism and accommodate future contingency, for thinking that the future is alethically open<\/strong>, or such that there is\u00a0no<\/em>\u00a0complete, true, linear story of the future<\/em>. \u00a0I then noted that we can make sense of alethic openness by supposing that the members of the relevant class of propositions about future contingents are either (a)\u00a0all false<\/strong>, or (b)\u00a0neither true nor false<\/strong>. I left off in the middle of considering reasons for preferring (a) over (b)\u00a0and\u00a0vice-versa. I now resume that discussion.<\/p>\n

Please note that I am not here defending the thesis\u00a0that<\/em> the future is alethically open. Rather, I am merely trying to adjudicate between<\/p>\n

    \n
  1. IF<\/em> the future is alethically open\u00a0THEN<\/em> (a).
    \nand<\/li>\n
  2. IF<\/em> the future is alethically open\u00a0THEN<\/em> (b).<\/li>\n<\/ol>\n

    The first thing we should do is specify more precisely the “relevant” class of propositions. There are two important distinctions to be made. One concern the form<\/em> of the propositions. The other concerns what the propositions are\u00a0about<\/em>.<\/p>\n

    Concerning form, some propositions about the future represent it\u00a0as determinate<\/em> with respect to whether a given event occurs. Let’s call these determinate future propositions (DFPs)<\/strong>.\u00a0For example, both <A sea battle (will\/will not) occur tomorrow> and <A sea battle (does occur\/does not occur) tomorrow> represent tomorrow as determinate with respect to whether a sea battle then occurs. In contrast, other propositions represent the future as indeterminate<\/em> with respect to whether a given event occurs. Let’s call these\u00a0indeterminate future propositions (IFPs)<\/strong>.\u00a0For example, both <A sea battle may occur tomorrow> and <A sea battle will probably occur tomorrow> leave open the possibility that a sea battle does\u00a0not<\/em> occur tomorrow. (a) and (b) are to be understood as theses about DFPs, not IFPs<\/em>.But they do not concern all<\/em> DFPs. This is where the second distinction comes in.<\/p>\n

    Concerning aboutness, the relevant class of DFPs are those that are\u00a0about future contingent events<\/em>. By an\u00a0event<\/strong>\u00a0I mean a concrete temporal<\/em> occurrence<\/em>. Events can stand in temporal relations (before, during, after), have durations (one day, one week, one year, etc.), and have both relative (yesterday, today, tomorrow) and absolute (Monday, May 19, 2014) temporal locations. A\u00a0future contingent<\/strong>\u00a0event is one\u00a0that\u00a0is undetermined\u00a0in relation to its\u00a0explanatory\u00a0antecedents<\/em>. If the explanatory antecedents of an event do not determine the event, then they are compatible both with the events’ occurrence\u00a0and its non-occurrence<\/em>. Finally,\u00a0a propositions is\u00a0about<\/strong> a future contingent event.<\/p>\n

    Let’s call DFPs that are about future contingent events\u00a0determinate future\u00a0contingent<\/em> propositions (DFCPs).<\/strong>\u00a0(a) and (b) are to be understood as theses about DFCPs, not DFPs in general.<\/em><\/p>\n

    With the relevant propositions now demarcated, I now resume the discussion of (a) versus (b).<\/p>\n

    The main argument for (a) over (b) is that (b) requires denying two highly intuitive (but not incontestable) principles, namely, bivalence<\/strong>\u2014the thesis that each proposition is either true or, if not true, then false\u2014and the\u00a0law of excluded middle<\/strong>, the thesis that, for all propositions p, either p is true or not-p is true.<\/p>\n

    The main argument for (b) over (a) is that some pairs of DFCPs seem<\/em> to be\u00a0contradictory. Since, by definition, two contradictory propositions cannot both be true and cannot both be false, if some pairs of DFCPs are contradictory, then it cannot be the case, as (a) alleges, that all<\/em> such propositions are false.<\/p>\n

    It is the second type of argument I want to focus on here. In my previous post I sketched a version of such an argument. It was perhaps, needlessly complex, as it invoked a very subtle distinction between tensed<\/strong> and\u00a0tense-neutral<\/strong> propositions. I’m not sure that the distinction matters in this context, though it is important for the metaphysics of time. Readers not interested in the distinction are invited to\u00a0skip the next paragraph.<\/p>\n

    Excursus on \u00a0tensed vs. tense-neutral propositions.<\/strong> Tense-neutral propositions represent matters from an absolute<\/em>\u00a0or, if you will, “God’s eye” perspective as opposed to the\u00a0temporally situated<\/em> perspective characteristic of tensed propositions. For example, if we read <Alan is\u00a0sitting at his computer> as a present-tense proposition, then it has the sense of “Alan is now<\/em> sitting at his computer” and is true just in case Alan is now<\/em> sitting at his computer.\u00a0But if we\u00a0read this\u00a0tense-neutrally then it merely has the sense of “Alan sits at his computer” and is true just is case reality includes Alan sitting at his computer, regardless of whether this is the case now,<\/em>\u00a0at some other time, or even in some timeless manner.<\/p><\/blockquote>\n

    So, why think that some pairs of DFCPs are contradictory? Consider first will\/will not pairs of propositions like <Smith will attack Jones> and <Smith will not attack Jones>. These\u00a0may initially seem contradictory, but they aren’t. To show this it suffices to point out that the logical negation of <Smith will attack Jones> is <It is not the case that Smith will attack Jones> and that the latter is\u00a0not<\/strong> equivalent to <Smith will not attack Jones>. Why not? Because <Smith will not attack Jones> presupposes that Smith and Jones will both exist in the future, but\u00a0<It is not the case that Smith will attack Jones> could be true even if Smith and Jones will never exist and even if there is no future at all. Since they have different truth conditions, <It is not the case that Smith will attack Jones>\u00a0\u2260\u00a0<Smith will not attack Jones>, and so the latter is not the contradictory of\u00a0<Smith will attack Jones>.<\/p>\n

    What about is\/is not or does\/does not pair of DFCPs? It may seem that <Smith is attacking\u00a0Jones> and <Smith is not attacking Jones> or <Smith does attack Jones> and <Smith does not attack Jones> are contradictory. After all, one might reasonably ask, if it isn’t the case that Smith is attacking Jones, then isn’t it the case that Smith is not attacking Jones. And if it isn’t the case that Smith is not attacking Jones, then isn’t it the case that Smith is attacking Jones?<\/p>\n

    But the same kind of reasoning as in the will\/will not case shows that here too we don’t have contradictory pairs. To show this I’ll invoke a famous example of Bertrand Russell’s: <The present king of France is bald> and <The present king of France is not bald> are not contradictory. Both imply that there exists<\/em> a present king of France, and so\u00a0both are false<\/em>, as there is no such person. The logical contradictory of\u00a0<The present king of France is bald>, however, is\u00a0<It is not the case that the present king of France is bald>. This does\u00a0not<\/em> assert that there is a present king of France and, in fact, it happens to be true. A similar analysis holds for all is\/is not and does\/does not pairs of propositions. Hence, no such pairs are contradictories. So the argument against (a) does not succeed.<\/p>\n","protected":false},"excerpt":{"rendered":"

    In my previous post\u00a0I briefly presented a reason, one having to do with the need to avoid fatalism and accommodate future contingency, for thinking that the future is alethically open, or such that there is\u00a0no\u00a0complete, true, linear story of the future. \u00a0I then noted that we can make sense of alethic openness by supposing that\u2026 Read More »<\/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":[70,15],"tags":[14,11,12],"class_list":["post-277","post","type-post","status-publish","format-standard","hentry","category-alethic-openness","category-openness-of-the-future","tag-alethic-openness","tag-bivalence","tag-future-contingents"],"_links":{"self":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/277","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=277"}],"version-history":[{"count":3,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/277\/revisions"}],"predecessor-version":[{"id":284,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/277\/revisions\/284"}],"wp:attachment":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/media?parent=277"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/categories?post=277"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/tags?post=277"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}