{"id":677,"date":"2021-08-31T17:05:44","date_gmt":"2021-08-31T22:05:44","guid":{"rendered":"http:\/\/alanrhoda.net\/wordpress\/?p=677"},"modified":"2025-06-23T14:50:57","modified_gmt":"2025-06-23T19:50:57","slug":"a-refutation-of-simple-foreknowledge-revisited","status":"publish","type":"post","link":"http:\/\/alanrhoda.net\/wordpress\/2021\/08\/a-refutation-of-simple-foreknowledge-revisited\/","title":{"rendered":"A Refutation of Simple Foreknowledge Revisited"},"content":{"rendered":"

In my previous post<\/a>, I develop what I take to be a refutation of the simple foreknowledge (SF) view. In this post I want to look at little more carefully at that refutation, consider how a proponent of SF might try to get around it, and show that this response does nothing to resolve the contradiction.<\/p>\n

SF refutation recap<\/strong><\/em><\/p>\n

The gist of my refutation is that SF requires that contradictory information<\/em> be available prior to the resolution of some future contingency. On the one hand, SF requires that there be determinate\u00a0<\/em>information to the effect that some future contingent event\u00a0will<\/em> happen or\u00a0will not\u00a0<\/em>happen prior (in the temporal sequence) to the actual occurrence of that event. In other words, it is a settled fact <\/em>that the future contingency is resolved in the precise way that it eventually is. On the other hand, because SF is committed to a preventable future response to fatalism, according to which God’s foreknowledge is explanatorily <\/em>and, indeed, ontologically<\/em> dependent on the actual occurrences of future contingent events, determinate information about a future contingent can’t<\/em> exist in the past until<\/em> the event actually occurs. In other words, because of the ontological dependency relation, the intrinsic indeterminacy of future contingents is automatically propagated to whatever ontologically depends on their resolution. Thus, there is now and at all prior moments an an objective indeterminacy as to how any given future contingent is resolved. Whether the contingency is resolved this way or that way remains an open question<\/em>. But now we have a problem. Given SF it follows that at all past moments, the state of information regarding future contingents is both determinate (a settled fact) and indeterminate (an open question). This is a contradictory state of affairs because the same information (that a future contingent is resolved in some particular way) can’t both exist and not exist at the same time. Hence, SF is necessarily false.<\/p>\n

A SF rejoinder\u2014counterfactual dependency and ersatz eternalism<\/strong><\/em><\/p>\n

How do SF proponents get around this problem? Well, they don’t, or at least I’ve never seen an SF response to an objection of this sort. The reality of the situation, I think, is that SF proponents haven’t ever really considered an objection of this sort because they uncritically employ two assumptions that, in effect, blind them to the reality of the problem.<\/p>\n

The first assumption is that the kind of dependency of the past on the future that preventable futurism requires can be adequately understood as mere counterfactual dependence<\/em>. To revisit my example from the previous post, if I am about to make a libertarian free choice between chocolate and vanilla ice cream, then I now have it in my power (before the choice) to do either. Suppose I go on to choose chocolate. In that case the SF proponent will say that God has always infallibly believed that I will choose chocolate. And if (counterfactually) I had chosen vanilla, then God would have always infallibly believed that I will choose vanilla. So whichever choice I make, the SF proponent will say that God’s foreknowledge is counterfactually dependent on my actual choice.<\/p>\n

How does this assumption help the SF proponent? Well, counterfactual dependence is a much weaker relation than explanatory, causal, or ontological dependence. The latter are asymmetric (or at least anti-symmetric), whereas counterfactual dependence is not. Counterfactual dependence entails only a kind of necessary correlation<\/em> between two things. It doesn’t imply that one of those things is dependent in some more robust asymmetrical sense on the other, and so it won’t propagate indeterminacy from future contingents into the past. Without that, my refutation doesn’t work.<\/p>\n

The second assumption that SF proponents typically make is\u00a0the omnitemporality of tenseless truth <\/em>(OTT). Given a dynamic ontology of time, which SF proponents endorse, there are no\u00a0tensed<\/em> truths that are true at all times. What will happen<\/em> (future tense) at some point will be happening<\/em> (present tense) and later will have happened<\/em> (past tense). So tensed propositions obviously have to be able to change their truth value. But it has often been supposed (usually with little or no argument) that tenseless\u00a0<\/em>truths are different and that they\u00a0can’t<\/em> change their truth values. The supposition here is that a kind of ersatz eternalism\u00a0<\/em>holds at the tenseless level of description. Ersatz eternalism and OTT go hand-in-hand with the common idea (among analytic metaphysicians) that there is such a thing as a unique “actual world” that contains a complete past, present, and future.<\/p>\n

How does OTT help the SF proponent? It helps by giving them a way to transfer information<\/em> from future times to past times. Once a future contingency is resolved (i.e., it actually occurs this way and not that way), the SF proponent will say that that event grounds a corresponding tenseless truth. And if tenseless truths are omnitemporally true, then we can shift that tenseless truth to the past and then reinstantiate it, so to speak, as a tensed truth about the future. For example, suppose it is now T0<\/sub> and that at future time T1<\/sub> I freely choose chocolate ice cream over vanilla. At that time, my actual choice will ground the tenseless truth\u00a0Alan chooses chocolate at T1<\/sub><\/em>. Given OTT, if a tenseless truth is ever true, then it is always true. Since it is true at T1<\/sub>, it is therefore true at T\u20131000<\/sub> (a past time) as well. And since it’s true\u00a0at<\/em> that past time, we can reintroduce tense and say that it’s true at T\u20131000<\/sub> that Alan will choose chocolate at T1<\/sub><\/em>. God, being omniscient, would of course have to know that future tense truth at T\u20131000<\/sub>, and this supposedly explains how God could have foreknowledge of that future contingent event.<\/p>\n

Rebutting the rejoinder<\/strong><\/em><\/p>\n

Unfortunately for the SF proponent, these two assumptions don’t rescue SF from my refutation.<\/p>\n

In the first place, it is easy to demonstrate that mere counterfactual dependency is\u00a0not<\/em> sufficient for preventable futurism to work. A more robust notion of dependency is required if fatalism is to be avoided. The easiest way to show this is by considering the openly fatalist (at the creaturely level) position of theistic determinism. According to the theistic determinist, God is the ultimate sufficient cause of “whatsoever comes to pass,” to quote the Westminster Confession<\/em>. There is thus a necessary correlation between what comes to pass and what God causes to happen. If I choose chocolate, then God will have always known that I was going to choose chocolate, and He will have known that because that’s what He caused to occur<\/em>. And if I choose vanilla, then God will have always known that I was going to choose vanilla, and He will have known that because that’s what He caused to occur<\/em>. Hence, on theistic determinism, God’s causing me to choose one way or the other is counterfactually dependent<\/em> on what I do; nevertheless, the arrow of explanatory<\/em> dependence goes only one way, from God to creatures. To block fatalism, therefore, mere counterfactual dependence is not enough. The preventable futurist needs the explanatory arrow to run unambiguously from<\/em> the actual occurrences of future contingent events\u00a0to<\/em> God’s foreknowledge and not vice-versa. This dependence has to be asymmetric, and that allows my refutation to get up and running, because it means that determinate information about how future contingencies are resolved can’t be in place until those contingencies are in fact resolved.<\/p>\n

In the second place, once the refutation is up and running, the notions of OTT and of ersatz eternalism do nothing to assuage it precisely because the contradiction is between two\u00a0tensed<\/em> truths. OTT may give the SF proponent a halfway plausible story to tell as to how it can be determinate at T\u20131000<\/sub> that Alan will choose chocolate at T1<\/sub><\/em>, but given the asymmetrical dependence of past truths on future contingent events that comes with preventable futurism, it must also be indeterminate<\/em> at T\u20131000<\/sub> whether Alan chooses chocolate at T1<\/sub>. Because that future contingency has not yet been resolved as of T\u20131000<\/sub>, neither of the determinate\u00a0tensed\u00a0<\/em>propositions <Alan will\u00a0<\/em>choose chocolate at T1<\/sub>> nor <Alan will not<\/em> choose chocolate at T1<\/sub>> can be true at T\u20131000<\/sub>. (Indeed, if either of those were true then<\/em>, then at T1<\/sub> I could falsify<\/em> God’s foreknowledge simply by choosing otherwise.) And if the SF proponent appeals to OTT to establish that one of those tensed propositions is true at T\u20131000<\/sub>, then we again arrive at the contradiction that is the heart of my refutation of SF. For we will have to say that one and the same tensed proposition is both true<\/em> and not-true<\/em> at the same time\u2014true<\/em> because derived from ersatz eternalism via OTT, and\u00a0not-true<\/em> because falsely representing an objectively indeterminate future as though it were already determinate.<\/p>\n

In sum, then, appeals to mere counterfactual dependence and the supposed existence of a true, tenseless description of past, present, and future reality\u2014what I’ve called ‘ersatz eternalism’\u2014cannot save SF from my refutation based on incompatible past information about future contingents.<\/p>\n

Postscript: arguing against OTT<\/strong><\/em><\/p>\n

While it’s not necessary for my argument, I believe we can argue cogently that OTT is false<\/em>. It is not the case that tenseless truth is omnitemporal. The reason for this is that tenseless truth, like all truth, or at least all logically contingent truth, supervenes on being. That is to say, truth has to be grounded<\/em> in reality. For ersatz eternalism to be correct, for there to be this unique, complete, true, tenseless description of a logically contingent reality there has to be<\/em> a reality that backs up that description. But what sort of reality could do this? If all of history were somehow metaphysically or causally necessary, \u00e0 la theistic determinism, then we could ground the truth of that description in those necessitating conditions. But SF affirms future contingency and so must reject that sort of grounding for tenseless truths about future contingents. Alternatively, if metaphysical eternalism were true, that is, if all past, present, and future events eternally and tenselessly exist<\/em>, then we could ground the truth of that description in the events themselves. But SF proponents reject eternalism in favor of a dynamic theory of time. That’s why God on SF is temporally situated. It’s also why God is thought to need temporally prior fore<\/em>-knowledge as opposed to timelessly knowing the “future” from the viewpoint of a timeless eternity. Now the only quasi-dynamic version of eternalism is the “moving spotlight” theory, which combines metaphysical eternalism with an additional tensed fact (the “moving spotlight”) specifying what time it is “now”. The problem here is that the asymmetric dependency relation required for preventable futurism is incompatible with any sort of metaphysical eternalism. (I won’t develop the argument for this here, but the gist of it that the resolution of future contingents requires real becoming<\/em> and a much more dynamic theory of time than the moving spotlight will allow.) In sum, there seems to be no “reality” that could ground ersatz eternalism in a way that is consistent with SF. And so we have a grounding argument against OTT. If reality is robustly dynamic and causally open, then what tenseless truths there are can change over time. That\u00a0Alan (tenselessly) chooses chocolate at T1<\/sub><\/em> is not true prior to my choice, but can become<\/em> true at T1 (if I make that choice) and would then remain true thereafter.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

In my previous post, I develop what I take to be a refutation of the simple foreknowledge (SF) view. In this post I want to look at little more carefully at that refutation, consider how a proponent of SF might try to get around it, and show that this response does nothing to resolve the\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":[22,101,103],"tags":[104,100,99],"class_list":["post-677","post","type-post","status-publish","format-standard","hentry","category-metaphysics-of-time","category-preventable-futurism","category-simple-foreknowledge","tag-ersatz-eternalism","tag-preventable-futurism","tag-simple-foreknowledge"],"_links":{"self":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/677","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=677"}],"version-history":[{"count":10,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/677\/revisions"}],"predecessor-version":[{"id":1449,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/posts\/677\/revisions\/1449"}],"wp:attachment":[{"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/media?parent=677"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/categories?post=677"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/alanrhoda.net\/wordpress\/wp-json\/wp\/v2\/tags?post=677"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}