In the book “Freedom of the Will”, Jonathan Edwards put forward a strong ar-gument for theological fatalism. This argument, I suppose, can be considered as the universal basis for discussion between Fatalists and Anti-Fatalists in the 20th century, especially in the context of the most powerful argument for fatalism, introduced by Nelson Pike. The argument of Edwards rests upon the following principles: if something has been the case in the past, it has been the case necessarily ; if God knows (...) something, it is not the case that ~A is possible. Hence, Edwards infers that if God had foreknowledge that A, then A is necessary, and it is not the case that someone could voluntarily choose ~A. The article argues that the Edwards` inference Kgp → □p rests upon the modal fallacy; the inference „God had a knowledge that p will happen, therefore „God had a knowledge that p will happen” is the proposition about the past, and hence, the necessarily true proposition“ is ambiguous; thus, it is not the case that this proposition necessarily entails the impossibility of ~p; it is not the case that p, being known by God, turns out to be necessary. Thus, we can avoid the inference of Edwards that if Kgp is a fact of the past, then we cannot freely choose ~p. It has also been shown that the main provisions of the argument of Edwards remain significant in the context of contemporary debates about free will and foreknowledge. Additionally, I introduce a new challenge for fatalism – argument from Brouwerian axiom. (shrink)

If God knew I were going to write this paper, was I able to refrain from writing it this morning? One possible response to this question is that God's knowledge does not take place in time and therefore He does not properly fore-know. According to this response, God knows absolutely everything, it's just that He knows everything outside of time. The so-called timeless solution was one of the influential responses to the foreknowledge problem in classical Christian Theology. This solution, however, (...) seemed to lose support in the recent debate. For example, Pike claims that "the doctrine of God's timelessness entered Christian Theology because Platonic thought was stylish at the time" and Hasker catalogues this as one of the minor solutions to the problem. One possible source for this general attitude towards timelessness is the thought that the very idea of timelessness is incoherent. In this paper I argue that that the timeless solution to the foreknowledge problem is congenial with the supervaluationist theory of branching time and that this formal framework provides, in fact, a precise characterization of the timeless solution to the foreknowledge problem. The views presented in this paper are in line with those of Kretzmann and Stump, Leftow and De Florio and Frigerio. (shrink)

In addressing the problem of the (in)compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ( $$\mathsf {TRL}$$ ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance (...) between Molinism and $$\mathsf {TRL}$$ models, Restall (Molinism and the thin red line. In: Perszyk K (ed) Molinism: the contemporary debate, pp 227–239, 2011) has advanced some criticisms of Molinism that have also been leveled against $$\mathsf {TRL}$$ models. In particular, Restall believes that the implication $$p \rightarrow \mathbf {HF}p$$ is not true in $$\mathsf {TRL}$$ models. Because Molinists must also accept that this implication is not true, this is a problem for them. We will show that Restall’s criticism is wide of the mark. Firstly, it will be demonstrated that in many open future models (not just $$\mathsf {TRL}$$ ) the implication $$p \rightarrow \mathbf {HF}p$$ is invalid. Secondly, while it is possible to account for this implication, some modifications are required in respect of the branching time semantics. In proposing one such modification, we show that this new semantics can be adopted by advocates of the $$\mathsf {TRL}$$ and, as a consequence, by Molinists as well. We conclude that the principle stated by Restall is either a problem for many open future models (not just for Molinists) or can be accounted for by these models and so is not a problem for Molinists either. (shrink)

The hold of the fatalistic reasoning that Aristotle criticizes is dependent, first, on the idea, articulated by Frege, that the real candidates for truth and falsity are something other than particular contingent happenings such as affirmations or thinkings, and, second, on the idea that the demand for speculative reflection overrides any demand for practical deliberation. Standard challenges to the reasoning embody the same presuppositions and so simply perpetuate the core confusions. They do so most fundamentally in the assumption that we (...) need a ‘metaphysical’ grounding for our idea of ourselves as agents who have influence on the course of events. (shrink)