William L. Rowe’s argument against divine freedom has drawn considerable attention from theist philosophers. One reply to Rowe’s argument that has emerged in the recent literature appeals to modified accounts of libertarian freedom which have the result that God may be free even if he necessarily actualizes the best possible world. Though in many ways attractive, this approach appears to lead to the damning consequence of modal collapse i.e., that the actual world is the only possible world. But appearances can (...) be deceiving, and in this paper I argue that the threat of modal collapse dissolves when we consider Alvin Plantinga’s critique of the purportedly Leibnizian notion that God can actualize any possible world, and incorporate the implications of this critique into the divine freedom debate. Developing a suggestion by Edward R. Wierenga, I argue first that the modal collapse objection fails within a Molinist context, and then I extend the discussion beyond that context to show that the objection also fails on the assumption that Molinism is false. (shrink)

This paper presents an argument against the A-Theory of time. Briefly, I shall contend that the A-Theorist has no explanation for why the present moment in particular has the metaphysical privilege she accords it, and that this puts the theory at a disadvantage. In what follows, I shall begin by presenting this argument. I will follow that with some potential explanations for why the present moment is privileged and reasons militating against them, in addition to some other possible objections to (...) my argument and my responses to them. The conclusion will be that the A-Theorist fails to provide either an obvious or a theoretical explanation of the present time’s privileged status and is thereby at a theoretical disadvantage to theories that do not posit a metaphysically privileged present time. Topics covered include the purported analogy between times and worlds, the possibility that times are individuated by what is true at them, and the semantic status of titles for date-times. (shrink)

In this paper, I argue that there is a kind of evil, namely, the unequal distribution of natural endowments, or natural inequality, which presents theists with a new evidential problem of evil. The problem of natural inequality is a new evidential problem of evil not only because, to the best of my knowledge, it has not yet been discussed in the literature, but also because available theodicies, such the free will defense and the soul-making defense, are not adequate responses in (...) the face of this particular evil, or so I argue. (shrink)

Aristotelian Actualism is the conjunction of the theses that absolutely everything is actual, that individuals are neither reducible to nor dependent on independently identified properties, and that some individuals are genuine contingent existents. Robert Adams and Gregory Fitch, two prominent proponents of Aristotelian Actualism, have argued that this view has a consequence that any modal logic stronger than M, and so any modal logic in which symmetry and reflexivity are frame conditions, is inadequate. We argue that this is incorrect.

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

The semantical framework is fundamentally intensional: neither possible worlds nor sets as basic entities, but rather, besides individuals, propositions, properties and relations (in intension). Logical truth is defined in terms of logical form (without mentioning this notion) without employing sets of models and the concept of truth in a model. Truth itself is explicitly defined (without recursion); the truth-conditions for the logical constants of the object-language become theorems derivable from the axioms for "to intend"--the basic semantical relation.

I formulate and defend a version of the many universes (or multiverse) reply to the atheistic argument from evil. Specifically, I argue that (i) if we know that any argument from evil (be it a logical or evidential argument) is sound, then we know that God would be (or at least probably would be) unjustified in actualizing our universe. I then argue that (ii) there might be a multiverse and (iii) if so, then we do not know that God would (...) be (or at least probably would be) unjustified in actualizing our universe. It follows that we cannot know that the atheistic argument from evil is sound, in which case we cannot be certain that the argument succeeds, and so it is rational to refuse to reject theism because of such arguments. (shrink)

Assuming minimal fine-individuation--that there are some necessarily equivalent intensional objects (e.g. propositions) that are nonetheless distinct objects, on standard actualist frameworks, the answer to our title question is "No". First I specify a fully cognitively accessible, purely qualitative maximal consistent state of affairs (MCS). (That there is an MCS that is either fully graspable or purely qualitative is in itself quite contrary to conventional dogma.) Then I identify another MCS, one necessarily equivalent to the first. It follows that there could (...) have been more than one obtaining MCS. I then argue that there is more than one obtaining MCS. So there is nothing answering to "the actual world", and the set of worlds is not the set of MCSs. I explore various patch-ups. Finally, I compare the actualist and modal realist notions of worlds, and I argue that even if the realist were right about concrete world ensembles, our reflections indicate that necessary truth is not truth in all worlds anyway, which undercuts the rationale for the realist's program. (shrink)

Would the existence of extraterrestrial intelligent life conflict in any way with Christian belief? We identify six areas of potential conflict. If there be no conflict in any of these areas—and we argue ultimately there is not—we are confident in declaring that there is no conflict, period. This conclusion underwrites the integrity of theological explorations into the existence of ETI, which has become a topic of increasing interest among theologians in recent years.

I argue that beliefs about what appears possible are justified in much the same way as beliefs about what appears actual. I do so by chisholming, and then modalizing, the epistemic principle associated with phenomenal conservatism. The principle is tested against a number of examples, and it gives the intuitively correct results. I conclude by considering how it can be used to defend two controversial modal arguments, a Cartesian argument for dualism and an ontological argument for the existence of God.

It is sometimes argued that mathematical knowledge must be a priori, since mathematical truths are necessary, and experience tells us only what is true, not what must be true. This argument can be undermined either by showing that experience can yield knowledge of the necessity of some truths, or by arguing that mathematical theorems are contingent. Recent work by Albert Casullo and Timothy Williamson argues (or can be used to argue) the first of these lines; W. V. Quine and Hartry (...) Field take the latter line. I defend a version of the argument against these, and other objections. (shrink)

If _presentism_ is true, then no wholly non-present events exist. If _absence orthodoxy_ is true, then no absences exist. I discuss a well-known causal argument against presentism, and develop a very similar argument against absence orthodoxy. I argue that solutions to the argument against absence orthodoxy can be adopted by the presentist as solutions to the argument against presentism. The upshot is that if the argument against absence orthodoxy fails, then so does the argument against presentism.

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

There is a certain argument against the principle of the indiscernibility of identicals, or the thesis that whatever is true of a thing is true of anything identical with that thing. In this argument, PInI is used together with the self-evident principle of the necessity of self-identity to reach the conclusion, which is held to be paradoxical and, thus, fatal to PInI. My purpose is to show that the argument in question does not have this consequence. Further, I argue that (...) PInI is a universally valid principle which can be used to prove the necessity of identity. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

I argue that time travel to the past is impossible, given a certain metaphysical theory, namely, The Dynamic Theory of Time. I first spell out my particular way of capturing the difference between The Dynamic Theory of Time and its rival, The Static Theory of Time. Next I offer four different arguments for the conclusion that The Dynamic Theory is inconsistent with the possibility of time travel to the past. Then I argue that, even if I am wrong about this, (...) it will still be true that The Dynamic Theory entails that you should not want to travel back to the past. Finally, I conclude by considering a puzzle that arises for those who believe that time travel to the past is metaphysically impossible: What exactly are we thinking about when we seem to be thinking about traveling back in time? For it certainly does not feel like we are thinking about something that is metaphysically impossible. (shrink)

An intrinsic property is roughly a property things have in virtue of how they are, as opposed to how they are related to things outside of them. This paper argues that it is not possible to give a definition of 'intrinsic' that involves only logical, modal and mereological notions, and does not depend on any special assumptions about either properties or possible worlds.

ABSTRACT -/- The Evil That Free Will Does: Plantinga’s Dubious Defense -/- Alvin Plantinga’s controversial free will defense (FWD) for the problem of evil is an important attempt to show with certainty that moral evils are compatible and justifiable with God’s omnipotence and omniscience. I agree with critics who argue that it is untenable and the FWD fails. This paper proposes new criticisms by analyzing Plantinga’s presuppositions and objectionable assumptions in God, Freedom and Evil. Notably, his limited concept of omnipotence, (...) and possible worlds theory lack rigorous argument and are subjectively biased with irrelevant weak examples. My ontological possible worlds theory (Possible Conditional Timelines) shows that it is very likely that the omnipotent God exists of necessity in some worlds but perhaps not this one. Omnipotence is total and absolute, and should imply the freedom of will to actualize all worlds God chooses. Plantinga’s position regarding God’s omniscience of future counterfactuals is implausible based on modal logic conjecture. -/- . (shrink)

David Lewis claims that his theory of modality successfully reduces modal items to nonmodal items. This essay will clarify this claim and argue that it is true. This is largely an exercise within ‘Ludovician Polycosmology’: I hope to show that a certain intuitive resistance to the reduction and a set of related objections misunderstand the nature of the Ludovician project. But these results are of broad interest since they show that would-be reductionists have more formidable argumentative resources than is often (...) thought. Lewis’s reduction depends on a set of methodological commitments each of which is fairly plausible or at least currently popular, and none of which is particular to modality. The choice of which of these commitments to reject I leave to the discerning antireductionist. The essay proceeds as follows: §1 discusses reduction generally and one or two relevant puzzles; §2 discusses Lewis’s reduction in particular; the longest section, §3 replies to four objections. (shrink)

(1) Content properties are nonrelational, that is, having a content property does not entail the existence of any contingent object not identical with the thinker or a part of the thinker.2 (2) We have noninferential knowledge of our conscious thoughts, that is, for any of our..

Dualism about possible worlds says that merely possible worlds aren’t concrete objects, but the actual world is concrete. This view seems to be the natural one for ersatzers about merely possible worlds to take; yet one is hard-pressed to find any defenders of it in contemporary modal metaphysics. The main reason is that Dualism struggles with the issue of how merely possible worlds could have been actual. I explain that there are two different Dualist strategies that can be taken to (...) address the problem. Furthermore, one or other of these strategies should be plausible to anyone who accepts both Existentialism—which tells us that the existence of singular propositions depends on what they directly refer to—and Serious Actualism—which tells us that things must exist in order to instantiate properties. Though it has long been ignored, Dualism is a live option. (shrink)

Physicalist Christology is the view that God the Son, in the Incarnation, became identical with the body of Jesus. The goal of this paper is to defend PC from two recent objections. One is that if GS is a physical object, then he cannot have properties had by God. Then, by Leibniz’s law, the incarnate GS cannot be identical with the second Person of the Trinity. The other objection is that PC implies that the incarnate GS did not exist in (...) the interim period between his death and resurrection. PC then leads to the theologically absurd consequence that one of the three Persons of the Trinity did not exist during this period. I argue that the first objection fails because the very same argumentative strategy applies to the Incarnation on any view. As for the second objection, I endorse an animalist theory of death and argue that the incarnate GS continues to exist as a dead person from his death to resurrection. This shows that there is still continuing Trinity of GS during this period. (shrink)

In the appendix to Naming and Necessity, Kripke espouses the view that necessarily, Sherlock Holmes is not a person. To date, no compelling argument has been extracted from Kripke’s remarks. I give an argument for Kripke’s conclusion that is not only interpretively plausible but also philosophically compelling. I then defend the argument against salient objections.

I propose that a logical formalization of a natural language text may be regarded as adequate if the following three groups of beliefs can be integrated into a wide reflective equilibrium: our initial, spontaneous beliefs about the structure and logical quality of the text; our beliefs about its structure and logical quality as reflected in the proposed formalization, and our background beliefs about the original text’s author, his thought and other contextually relevant factors. Unlike a good part of the literature, (...) I stress the indispensable role of initial beliefs in achieving such a wide reflective equilibrium. In the final sections I show that my approach does not succumb to undue subjectivism or the mere perpetuation of prejudice. The examples I use to illustrate my claims are chiefly taken from Anselm’s Proslogion 2–3 and the various attempts to formalize these texts. (shrink)

Characteristic of metaphysics are general questions of existence, such as 'Are there numbers?' This kind of question is the target of Carnap's argument for deflationism, to the effect that general existential questions, if taken at face value, are meaningless. This paper considers deflationism in a theological context, and argues that the question 'Does God exist?' can appropriately be grouped with the 'metaphysical' questions attacked by Carnap. Deflationism thus has the surprising consequence that the correct approach to theism is that of (...) radical theology. The paper attempts to show why Carnap's argument fails, and why, nevertheless, enough remains of it for us to conclude that God cannot be outside time and space. (shrink)

Characteristic of metaphysics are general questions of existence, such as ‘Are there numbers?’ This kind of question is the target of Carnap's argument for deflationism, to the effect that general existential questions, if taken at face value, are meaningless. This paper considers deflationism in a theological context, and argues that the question ‘Does God exist?’ can appropriately be grouped with the ‘metaphysical’ questions attacked by Carnap. Deflationism thus has the surprising consequence that the correct approach to theism is that of (...) radical theology. The paper attempts to show why Carnap's argument fails, and why, nevertheless, enough remains of it for us to conclude that God cannot be outside time and space. (shrink)

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

Given Conciliar Christology and a compositionalist metaphysics of the incarnation, I explore whether ‘qua-propositions’ are capable of solving the coherence problem in Christology. I do this by probing the metaphysical aspect of qua-propositions, since ‘semantics presupposes metaphysics’. My proposal focuses on the fact that the Word accidentally owns an individual human nature. Due to that individuality, the human properties first characterise the individual human nature and, in a ‘next step’, this individual human nature characterises the Word. I call this ‘stepped (...) characterisation’. Subsequently, I show that stepped characterisation validates the use of qua-propositions in Conciliar Christology. Hence, qua-propositions are not merely ‘muddling the waters of logic’. (shrink)

The best defense of the doctrine of the Incarnation implies that traditional Christianity has a special stake in the knowability paradox, a stake not shared by other theistic perspectives or by non-traditional accounts of the Incarnation. Perhaps, this stake is not even shared by antirealism, the view most obviously threatened by the paradox. I argue for these points, concluding that these results put traditional Christianity at a disadvantage compared to other viewpoints, and I close with some comments about the extent (...) of the burden incurred. (shrink)

Ted A. Warfield has recently employed modal logic to argue that compatibilism in the free-will/determinism debate entails the rejection of intuitively valid inferences. I show that Warfield's argument fails. A parallel argument leads to the false conclusion that the mere possibility of determinism, together with the necessary existence of any contingent propositions, entails the rejection of intuitively valid inferences. The error in both arguments involves a crucial equivocation, which can be revealed by replacing modal operators with explicit quantifiers over possible (...) worlds. I conclude that the modal-logical apparatus used by Warfield obscures rather than clarifies, and distracts from the real philosophical issues involved in the metaphysical debate. These issues cannot be settled by logic alone. (shrink)

God is traditionally taken to be a perfect being, and the creator and sustainer of all that is. So, if theism is true, what sort of world should we expect? To answer this question, we need an account of the array of possible worlds from which God is said to choose. It seems that either there is (a) exactly one best possible world; or (b) more than one unsurpassable world; or (c) an infinite hierarchy of increasingly better worlds. Influential arguments (...) for atheism have been advanced on each hierarchy, and these jointly comprise a daunting trilemma for theism. In this paper, I argue that if theism is true, we should expect the actual world to be a multiverse comprised of all and only those universes which are worthy of creation and sustenance. I further argue that this multiverse is the unique best of all possible worlds. Finally, I explain how his unconventional view bears on the trilemma for theism. (shrink)

For many centuries, philosophers have debated this question: “Does God exist?” Surprisingly, they have paid rather less attention to this distinct – but also very important – question: “Would God’s existence be a good thing?” The latter is an axiological question about the difference in value that God’s existence would make (or does make) in the actual world. Perhaps the most natural position to take, whether or not one believes in God, is to hold that it would be a very (...) good thing if such a being were to exist. After all, God is traditionally thought to be perfectly powerful and good, and it might seem obvious that such a being’s existence would make things better than they would otherwise be. But this judgment has been contested: some philosophers have held that God’s existence would make things worse, and that, on this basis, one can reasonably prefer God’s non-existence. We first distinguish a wide array of axiological positions concerning the value of God’s existence which might be held by theists, atheists, and agnostics alike. We next construe these positions as comparative judgments about the axiological status of various possible worlds. We then criticize an important recent attempt to show that God’s existence would make things worse, in various ways, than they would otherwise be. (shrink)

In seeking to undermine Mackie’s logical argument from evil, Plantinga assumes that Mackie’s argument regards it as a necessary truth that a wholly good God would eliminate all evil that he could eliminate. I argue that this is an interpretative mistake, and that Mackie is merely assuming that the theist believes that God’s goodness entails that God would eliminate all evil that he could eliminate. Once the difference between these two assumptions, and the implausibility of Plantinga’s assumption, are brought out, (...) Plantinga’s celebrated critique of Mackie’s argument can be seen to be far less compelling than is often assumed to be the case. (shrink)

God is traditionally understood to be a perfect being who is the creator and sustainer of all that is. God's creative and sustaining activity is often thought to involve choosing a possible world for actualization. It is generally said that either there is (a) exactly one best of all possible worlds, or there are (b) infinitely many increasingly better worlds, or else there are (c) infinitely many unsurpassable worlds within God's power to actualize. On each view, critics have offered arguments (...) for atheism that turn on God's choice of a world. In what follows, I first discuss some background issues, and I then survey the contemporary literature on these arguments. (shrink)

Plantinga’s The Nature of Necessity (1974) contains a largely neglected argument for the claim that the proposition “God is omnipotent, omniscient, and wholly good” is logically consistent with “the vast amount and variety of evil the universe actually contains” (not to be confused with Plantinga’s famous “Free Will Defense,” which seeks to show that this same proposition is logically consistent with “some evil”). In this paper I explicate this argument, and argue that it assumes that there is more moral good (...) than evil in the cosmos. I consider two arguments in favour of this assumption, proposed by William King and Plantinga respectively, and argue that they are flawed. I then consider a sceptical objection to the assumption due to David Hume, and argue that this objection is at least prima facie plausible. (shrink)

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

The Argument from Vagueness for Universalism contends that any non-arbitrary restriction on composition must be vague, but that vague composition leads to unacceptable count indeterminacy. One common response to the argument is that borderline cases of composition don’t necessarily lead to count indeterminacy because a determinately existing thing may be a borderline case of a presently existing concrete composite object. We can collectively refer to such views as versions of the Status Response. This paper argues that the Status Response cannot (...) handle count indeterminacy about various categories of things, such as events, states of affairs, tropes, holes, shadows, and created abstracta, when these are understood in the right way. This makes the Status Response objectionablfy ad hoc, which should lead us to look for alternative ways of resisting the Argument from Vagueness. (shrink)

A staunch hylomorphism involves a commitment to a sparse theory of universals and a sparse theory of composite material objects, as well as to an ontology of fundamental causal powers. Faint-hearted hylomorphism, in contrast, lacks one or more of these elements. On the staunch version of HM, a substantial form is not merely some structural property of a set of elements—it is rather a power conferred on those elements by that structure, a power that is the cause of the generation (...) (by fusion) and persistence of a composite whole through time. Bernard Williams discussed (and rejected) a faint-hearted version of HM in 1986, and faint-hearted HM has been defended more recently by Mark Johnston (2006) and Kathrin Koslicki (2008). I defend the superiority of the staunch version, in spite of its heavier ontological commitments, as a way of accounting for a real distinction between living organisms and heaps of matter, without recourse to dualism or vitalism, and as a way of combining a powers ontology with the possibility of gunk. (shrink)

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

In this essay I identify four different problems of heavenly freedom; i.e., problems that arise for those who hold that the redeemed in heaven have free will. They are: the problem arising from God's own freedom, the problem of needing to praise the redeemed for not sinning in heaven, the problem of needing to affirm that the redeemed freely refrain from sinning, and the problem arising from a commitment to the free will defence. I explore how some of these problems (...) vary depending on the notion of free will which is endorsed. And I suggest that because these differing problems arise from distinct theological and/or philosophical commitments, there is little reason to think that one and the same feature or property of an account of heavenly freedom will address them all. (shrink)