Guleserian (1983) presents a version of the Problem of Evil that attacks the conjunction of theism and modal realism. Like the traditional Problem of Evil, Guleserian’s argument begins with a set of initially plausible, but mutually inconsistent, propositions, which Kraay (2011) reconstructs as follows:
1. Necessarily, there exists a being (God) who is essentially unsurpassable in power, knowledge, and goodness.
2. Every possible world is actual at itself.
3. Necessarily, if w is a possible world, then it is true in w that God permits w to be actual.
4. Necessarily, if it is true in w that God permits w to be actual, then it is morally acceptable for God to do so.
5. There is at least one on-balance-bad world, w.
6. It is not morally acceptable that, in w, God permits the overall bad world w to be actual when it is within God’s power to prevent this.
(1) and (2) state the primary ontological commitments of theism and modal realism respectively. (3), (4), and (6) state plausible consequences of the conjunction of theism and modal realism. (5) reflects a common modal intuition had by many philosophers, namely that we can conceive of at least some some possible world that is full of misery and altogether lacking in redeeming value.
One strategy for resolving the inconsistency is to reject (5). This the move endorsed by Morris (1987). Thomas argues that nature of an Anselmian God (one that is unsurpassable in greatness) would rule out the possibility any on-balance-bad worlds existing. The Anselmian God is, thus, “a delimiter of possibilities.” Another strategy, favored by Almeida (2011) is to reject (6). On Almeida’s view, the necessity of the on-balance-bad worlds exculpates God from moral responsibility for their existence. Finally Kraay (2011) also rejects (5). He argues for a Theistic Multiverse account of possibility on which (i) there is only one possible world (the actual world), (ii) it is the best possible world, and (iii) it is a multiverse.
What all of these positions have in common is a commitment to (2), the claim that all possible worlds are actual at themselves. This is a core principle of Lewisian modal realism. On Lewis’ account the term ‘actual’ works like the term ‘here’. Just because some things are real here it does not follow that other things cannot be real elsewhere. Likewise, for the denizens of other possible worlds, on Lewis’ theory, their worlds are just as concretely real for them as our world is for us.
Here’s another strategy for resolving the inconsistency. This one allows us to keep (1), (3), (4), (5), and (6) by modifying (2). On the view in mind, we accept an axiological restriction on actuality. We thus replace (2) with
(2′) All and only on-balance-good worlds are actual at themselves.
If this substitution is made, then the inconsistency in the proposition-set is resolved. Why accept such a restriction? The Anslemian theist will argue that such a restriction is merited by the nature of God. While a Lesliean axiarchist might argue that such a restriction is an abstract ethical constraint upon the space of possibilities.
Traditional modal realism holds that there is nothing special about actuality. Ersatz views take actuality to be a special property that only applies to one world, the one that obtains. The view in mind here takes a middle position. Many worlds (perhaps infinitely many) have the property of being actual at themselves. In this way the proposed view is akin to the modal realists position. But not every world, on this view is actual. Some worlds fail to obtain. But the failure is not entirely ad hoc. They either fail because they are inconsistent with the nature of an Anselmian God, or because of an abstract ethical requirement that only on-balance-good worlds exist.
(cross posted from Persons and Value)