This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...) on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic, a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap. (shrink)

Richard Swinburne recently released a paper titled, “Causation, Time and God’s Omniscience.” In this paper, Swinburne argued that God’s omniscience must be understood in a way that excludes divine foreknowledge. Swinburne deems this a necessary step in order to protect our freedom of the will. The purpose of my paper will be to refute Swinburne’s central argument. The goal of refuting Swinburne’s argument is to maintain the possibility of the compatibility of both divine foreknowledge and free human agency.

In a pair of recent essays, William Lane Craig has argued that certain open theist understandings of the nature of the future are both semantically and modally confused. I argue that this is not the case and show that, if consistently observed, the customary semantics for counterfactuals Craig relies on not only undermine the validity of his complaint against the open theist, they actually support an argument for the openness position.

In this paper we will give a critical account of Plantinga’s well-known argument to the effect that the existence of an omnipotent and morally perfect God is consistent with the actual presence of evil. After presenting Plantinga’s view, we critically discuss both the idea of divine knowledge of conditionals of freedom and the concept of transworld depravity. Then, we will sketch our own version of the Free-Will Defence, which maintains that moral evil depends on the misuse of human freedom. However, (...) our argument does not hinge on problematic metaphysical assumptions, but depends only on a certain definition of a free act and a particular interpretation of divine omniscience. (shrink)

Contrary to the commonly held position of Luis de Molina, Thomas Flint and others, I argue that counterfactuals of divine freedom are pre-volitional for God within the Molinist framework. That is, CDFs are not true even partly in virtue of some act of God’s will. As a result, I argue that the Molinist God fails to satisfy an epistemic openness requirement for rational deliberation, and thus she cannot rationally deliberate about which world to actualize.

Every account of moral responsibility has conditions that distinguish between the consequences, actions, or traits that warrant praise or blame and those that do not. One intuitive condition is that praiseworthiness and blameworthiness cannot be affected by luck, that is, by factors beyond the agent’s control. Several philosophers build their accounts of moral responsibility on this luck-free condition, and we may call their views Luck-Free Moral Responsibility (LFMR). I offer moral and metaphysical arguments against LFMR. First, I maintain that considerations (...) of fairness that often motivate LFMR do not require its adoption. Second, I contend that LFMR has counterintuitive implications for the nature and scope of praiseworthiness and blameworthiness and that LFMR is vulnerable to a reductio ad absurdum. Third, I state some common reasons for thinking that LFMR’s commitment to true counterfactuals of libertarian freedom is problematic, and I argue that if there are no such true counterfactuals and if LFMR is true, a person is praiseworthy and blameworthy at most for a tiny fraction of her actions. Fourth, I argue that proponents of LFMR cannot escape this skeptical cost by appealing to a different kind of counterfactual of freedom. Fifth, I develop an anti-skeptical motivation to affirm the idea that luck can affect moral responsibility. (shrink)

Paper on divine foreknowledge and human freedom.

William Lane Craig's defence of the kalam cosmological argument rests heavily on two philosophical arguments against a past-eternal universe. In this article I take issue with one of these arguments, what I call the – namely, that the metaphysical absurdity of an actually infinite number of things existing precludes the possibility of a beginningless past. After explaining this argument, I proceed to raise some initial doubts. After setting those aside, I show that the argument is ineffective against proponents of presentism. (...) The remainder of the article considers and rejects possible replies on Craig's behalf. (shrink)

It is widely believed that presentism is compatible with both a libertarian view of human freedom and an unrestricted principle of bivalence. I argue that, in fact, presentists must choose between bivalence and libertarianism: if presentism is true, then either the future is open or no one is free in the way that libertarians understand freedom.

Molinism is named after Luis de Molina (1535–1600). Molina and his fellow Jesuits became entangled in a fierce debate over issues involving the doctrine of divine providence, which is a picture of how God runs the world. Molinism reemerged in the 1970s after Alvin Plantinga unwittingly assumed it in his Free Will Defense against the ‘Logical’ Argument from Evil. Molinism has been the subject of vigorous debate in analytic philosophy of religion ever since. The main aim of this essay is (...) to survey the main contours of this debate. We will visit some ‘old’ battlefields and current hot spots in the ongoing Molinism Wars. (shrink)

Granting that there could be true subjunctive conditionals of libertarian freedom (SCLs), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCL which consists in its truth) and counterfactual relevance (that feature (...) of an antecedent in virtue of which it counterfactually implies something or other). (shrink)

Richard Swinburne argues that belief is a necessary but not sufficient condition for faith, and he also argues that, while faith is voluntary, belief is involuntary. This essay is concerned with the tension arising from the involuntary aspect of faith, the Christian doctrine that human beings have an obligation to exercise faith, and the moral claim that people are only responsible for actions where they have the ability to do otherwise. Put more concisely, the problem concerns the coherence of the (...) following claims: (1) one cannot have faith, (2) one has an obligation to have faith, and (3) ought implies can. To solve this dilemma, I offer three solutions that I believe have the philosophical resources to demonstrate the consistency of these claims. Thus, I defend the claim that it is logically possible for a person to be culpable for an involuntary failure to have faith in God. (shrink)