religions

Article
The Metaphysics of Theism: A Classical and Neo-Classical
Synthesis
Joshua Reginald Sijuwade

London School of Theology, Green Lane, Northwood HA6 2UW, Middlesex, UK; joshua.sijuwade@lst.ac.uk

Abstract: This article aims to provide a metaphysical elucidation of the notion of Theism and a
coherent theological synthesis of two extensions of this notion: Classical Theism and Neo-Classical
Theism. A model of this notion and its extensions is formulated within the ontological pluralism
framework of Kris McDaniel and Jason Turner, and the (modified) modal realism framework of David
Lewis, which enables it to be explicated clearly and consistently, and two often raised objections
against the elements of this notion can be successfully answered.

Keywords: Theism; metaphysics; ontological pluralism; modal realism

1. Introduction
1.1. The Nature of Theism
According to J. L. Schellenberg (2005, pp. 23–38), at the heart of religious belief is an
affirmation of the existence of a reality that is metaphysically and axiologically ultimate,




in relation to which an ultimate good can be attained. Religious believers are thus united

 in affirming the very general claim that there exists an (undefined) ultimate reality and
Citation: Sijuwade, Joshua Reginald. source of goodness.1 One way in which individuals have sought to define this ultimate
2021. The Metaphysics of Theism: A reality and source of goodness is through an affirmation of the truth of Theism. Theism is
Classical and Neo-Classical Synthesis. the central claim attested to by the major ‘theistic’ (and ‘Abrahamic’) religions of Judaism,
Religions 12: 967. https://doi.org/ Christianity and Islam, and can be construed succinctly as follows:
10.3390/rel12110967
(1) (Theism) There is a God, identified as the perfect and ultimate source of created reality.
Academic Editor: Robin Le Poidevin

At a more specific level, an adherent of Theism (i.e., a ‘theist’) posits the existence
Received: 29 September 2021
of a necessary and eternal being, who is omnipotent, omniscient, omnipresent, perfectly
Accepted: 2 November 2021
good, and who fulfils the role of being the basic, primitive, or fundamental source of all
Published: 4 November 2021
else that exists in the hierarchical structure of reality. A specific extension of Theism that has
played an influential role in the intellectual history of the major theistic religions is that of
Publisher’s Note: MDPI stays neutral
Classical Theism. Classical Theism (hereafter, CT) is the particular extension of Theism that
with regard to jurisdictional claims in
is endorsed in the writings of the influential medieval philosophical theologians Moses
published maps and institutional affil-
Maimonides (1138–1204 CE), Thomas Aquinas (1225–1274 CE) and Ibn Sı̄nā (980–1037
iations.
CE). Moreover, CT is uniquely identified, as noted by Ryan T. Mullins (2021), as a specific
extension of Theism that affirms four additional attributes, each of which can be stated
succinctly as follows:

Copyright: © 2021 by the author.

God, the perfect and ultimate source of created reality, is:
Licensee MDPI, Basel, Switzerland.
(a) Simple: lacks proper parts.
This article is an open access article
(2) (Classical Theism) (b) Timeless: lacks temporal succession, location and extension.
distributed under the terms and
(c) Immutable: is intrinsically and extrinsically unchangeable.
conditions of the Creative Commons
(d) Impassible: is causally unaffectable.
Attribution (CC BY) license (https://
creativecommons.org/licenses/by/
4.0/).

Religions 2021, 12, 967. https://doi.org/10.3390/rel12110967 https://www.mdpi.com/journal/religions

Religions 2021, 12, 967 2 of 29

For (a) simplicity, CT affirms the conception of God as a metaphysically simple entity.
God is simple in the sense that he is non-composite and thus lacks proper parts—where a
proper part is a portion of an entity that is numerically distinct from it. Thus, by taking
God to be metaphysically simple, there is no portion of God that is numerically distinct
from him—God must be such that he does not have any sort of complexity involving
composition. So, the denial of metaphysical complexity in God is thus also a denial of
him possessing any properties as well (Dolezal 2011). More specifically, God does not
exemplify any numerically distinct properties (i.e., proper metaphysical parts).2 If God
were to exemplify these properties, he would be dependent upon them in order to be what
he is. Yet, as God cannot be dependent in specific this way—given that he is a fundamental
being—he thus must not be the bearer of any properties. Rather, any intrinsic characteristic
‘attributable’ to God must be numerically identical to him. For example, if the intrinsic
characteristic of goodness is attributed to God, then one is not properly attributing to
him an ontologically distinct property that he exemplifies. Rather, God is instead taken
to be identical with his goodness (and all the other characteristics that are attributed to
him as well). Moreover, given that God is identical to each of his attributes, one must
also infer that his attributes are identical to each other due to the transitivity of identity.
Thus, God’s identity with his goodness and his power entails the fact of his goodness being
identical to his power (and, again, for all of the other characteristics that are attributed to
him). Therefore, on the basis of God’s metaphysical simplicity, there is, first, no numerical
distinction between God and his attributes and, second, there is no numerical distinction
between each of God’s attributes as well. God is thus metaphysically simple.
For (b) timelessness, Theism, at a general level, affirms the fact of God’s eternality
(i.e., God existing without beginning and without end). CT, however, provides a specific
interpretation of this eternality as that of timelessness. God is timeless by him existing
without temporal succession (i.e., God does not experience a succession of events within
the divine life), location (i.e., God’s existence is not datable), and extension (i.e., God does
not persevere through time) (Mullins 2021, p. 87). Thus, in this specific view, God’s
existence is incompatible with time, such that God exists at no particular time—with solely
God’s activity being able to bring about ‘datable events’ without himself being part of any
temporal process (Davies 2004, p. 6).
For (c) immutability, CT conceives of God as immutable in the sense that he cannot
intrinsically or extrinsically change (Peckham 2019, p. 48). That is, within this view, all
change is ‘value laden’, and thus, given this, God cannot intrinsically change—as if this
were the case, then God could increase or decrease in his intrinsic value (i.e., become better
or worse). Yet, if God could increase in his intrinsic value, then he was not perfect to begin
with—which goes against the traditional conception of God as a perfect being. Moreover, if
he could lessen in his intrinsic value, then he would not be perfect after changing—which
also goes against the traditional conception of God as a perfect being. Hence, God cannot
experience any intrinsic change (Dolezal 2017). In addition to this, CT also maintains the
view that a perfect being cannot extrinsically change, as supposing that God is timeless, then
God cannot change in his extrinsic relation to others, because any change of this sort would
require temporal succession—where God at t1 is not standing in relation to a given entity x,
and at t2 he is standing in that relation to x. Thus, God must be immutable in the strong
sense of the term, which is to say that he cannot experience intrinsic or extrinsic change.
For (d) impassibility, CT conceives of God as being an impassible entity in the sense of
him not being able to be acted upon by anything external to him (Davies 2004, p. 5). God
cannot be ‘casually modified’ in any sense—as for this to be possible, then, first, God would
be moved from his perfect state of bliss, which is not possible (Creel 1997). Second, God
would need to be able to experience change and thus lack immutability. That is, it follows
from God being immutable (i.e., intrinsically and extrinsically unchangeable) that he cannot
be casually affected or acted upon by any external agent—as for this to be so would require
God to be able to change. Given this, God cannot stand in any real relation to any external
entity, nor can he experience any responsive or changing emotions—which is simply to
Religions 2021, 12, 967 3 of 29

say that he is impassible in the fullest sense of the word. CT thus provides a very robust
conception of God that, as noted previously, has deep roots in the intellectual history of the
major theistic religions. As in focusing now on Christian theism, as Davies (2004, p. 2) notes,
we see that CT is the specific extension of Theism that most (if not all) Christians believed
in for many centuries, with—at least from the time of St. Augustine—most theologians
having almost always worked on the assumption that belief in God is simply belief in CT
(i.e., a God who is simple, timeless, immutable and impassible).3 Yet, in contemporary analytic
theology, a movement towards a view of God termed Neo-Classical Theism has gained some
followers who have sought to call into question the veracity of the conception of God that
is expressed by the tenets of (2). That is, as Fred Sanders (2017, p. 47) writes, ‘Sometime
after the middle of the twentieth century, a number of related movements in academic
theology began to call into question the God of Classical Theism’. Various individuals have
sought to distance themselves from the CT conception of God, primarily due to their belief
that there is no biblical warrant for the view, as Stump (2016, p. 19), in emphasising this
point, states, ‘on Classical Theism as it is often interpreted, God is immutable, eternal, and
simple, devoid of all potentiality, incapable of any passivity, and inaccessible to human
knowledge. So described, the God of Classical Theism seems very different from the God
of the Bible’. Thus, proponents of Neo-Classical Theism (hereafter, NCT) have sought to
affirm a different conception of God—specifically, one that maintains God’s perfection and
ultimacy, yet replaces the four ‘unique identifying attributes’ of CT with their contraries:
complexity, temporality, mutability and passibility. Thus, the conception of God that is ex-
pressed by NCT is to be construed as follows:

God, the perfect and ultimate source of created reality, is:

(a1 ) Complex: has proper parts.
(3) (Neo-Classical Theism) (b1 ) Temporal: has temporal succession, location and extension.
(c1 ) Mutable: is intrinsically and extrinsically changeable.
(d1 ) Passible: is causally affectable.

For (a1 ) complexity, NCT denies the fact of God being metaphysically simple, in the
sense that God lacks proper parts. Rather, God is conceived of as having ‘portions’ of
him that are not him—that is, God instantiates (or exemplifies) properties and thus is not
numerically identical to them (Dolezal 2017). NCT thus seeks to maintain a ‘weak’ form
of simplicity, which is that of God’s nature being a ‘unified’ whole, such that (for certain
proponents of NCT) the various properties that are rightly predicated of God (such as
omniscience, omnipresence and perfect goodness) are entailed by the possession of one
property—essential omnipotence—where this property is such that it could not be had
unless the other properties were had as well (Swinburne 2016).4 Positing an ‘entailment
relation’ here is the key move made by adherents of NCT for providing a potentially viable
alternative to simplicity that is grounded upon the unity of the divine nature. So, for
example, focusing on the derivability of the property of omniscience from the property
of omnipotence, for God to be omnipotent, that is him having the ability to perform any
logically possible action, then he must, at the minimum, possess knowledge of what
occurred in the past (and what is occurring now in the present) in order for him to know
of (and believe no false propositions about) what actions are logically possible for him to
perform at any given point in time. Thus, to be omnipotent, God must also be omniscient,
with this requirement holding for all of the other divine properties as well. Thus, given
this entailment, the divine properties fit together so as to form a unified nature, which is the
sole way, according to the proponents of NCT, that simplicity can be coherently affirmed
(Swinburne 1994).
For (b1 ) temporality, NCT affirms the fact of God being eternal, but denies CT’s inter-
pretation of this characteristic and provides an alternative conception of God’s eternality,
which is that of temporality. God is temporal by him existing with temporal succession (i.e.,
there being a succession of events within the divine life), location (i.e., God’s existence
 the sole way, according to the proponents of NCT, that simplicity can be coherently
affirmed (Swinburne 1994).
For (b1) temporality, NCT affirms the fact of God being eternal, but denies CT’s
interpretation of this characteristic and provides an alternative conception of God’s
Religions 2021, 12, 967 eternality, which is that of temporality. God is temporal by him existing with temporal 4 of 29

succession (i.e., there being a succession of events within the divine life), location (i.e.,
God’s existence is datable) and extension (i.e., God perseveres through time). Thus, in this
specific view,and
is datable) God’s existence
extension is God
(i.e., compatible
perseveres withthrough
time, with all ofThus,
time). his actions
in this taking
specificplaceview,
over periods of time.
God’s existence is compatible with time, with all of his actions taking place over periods
For (c1) mutability, CT denies God’s immutability—and the reasoning behind it (by
of time.
questioning
For (c1the assumption
) mutability, CT that
denies all God’s
intrinsic change is value-laden
immutability—and and rejecting
the reasoning behind God’s
it (by
immutability/timelessness)—and
questioning the assumption thatreplacing all intrinsic thischange
characteristic with mutability,
is value-laden and rejecting which God’sis
that of God being able to experience intrinsic and extrinsic
immutability/timelessness)—and replacing this characteristic with mutability, which is that change. Yet, importantly,
proponents
of God being ofable
NCT still seek intrinsic
to experience to maintain a certain
and extrinsic form Yet,
change. of immutability: essential
importantly, proponents
immutability, which is that of God not being able to change in
of NCT still seek to maintain a certain form of immutability: essential immutability, which is his essential properties—
such
that that
of GodGod notis being
necessarily
able to omnipotent,
change in his omniscient and perfectly good,
essential properties—such that etc.
God(Swinburne
is necessarily
2016, pp. 231–34).
omnipotent, omniscient and perfectly good, etc. (Swinburne 2016, pp. 231–34).
For
For(d(d1) passibility,
1 ) passibility, the
theNCTNCTdeniesdeniesGod’sGod’simpassibility
impassibilityby bytaking
takingGod Godtotobebeananentity
entity
that
thatcan
canbebecausally
causallyaffected
affectedby byother
otherentities
entitiesoutside
outsideofofGod. God.God’s
God’simpassibility
impassibilityisisthus thus
replaced
replaced by the characteristic of passibility, which is that of it being possible for Godtoto
by the characteristic of passibility, which is that of it being possible for God
experience
experiencechanging
changingemotionalemotionalstates statesthatthatareareresponsive
responsivetotocreatedcreatedreality—with
reality—withGod God
being
beingempathetic
empathetictotosuch suchananextentextentwithwithcreated
createdreality
realitythatthathe heexperiences
experiencesallallofofthe the
emotional 5 5
emotionalstatesstatesofofcreation
creation(Zagzebski
(Zagzebski2013). 2013).
So,
So,ininthe
thecontemporary
contemporary analytic theological theologicalliterature,
literature,therethereareare thus
thus twotwowaysways forfor
one
one to conceptualise God’s nature: one way, according to
to conceptualise God’s nature: one way, according to the proponents of CT, is to conceive the proponents of CT, is to
conceive of God as a simple entity who is timeless, immutable
of God as a simple entity who is timeless, immutable and impassible. God, under this and impassible. God, under
this conception,
conception, lacks
lacks parts,parts, temporal
temporal succession,
succession, location
location andand extension;
extension; is (intrinsically
is (intrinsically and
and extrinsically)
extrinsically) unchangeable,
unchangeable, and is and
notiscausally
not causally affectable
affectable by any by any external
external agent.
agent. However,
However,
accordingaccording to the proponents
to the proponents of NCT, of NCT, way
another another way to conceive
to conceive of God is ofasGod is as a
a complex
entity that
complex is temporal,
entity mutable and
that is temporal, passible.
mutable andGod, underGod,
passible. this conception, is composedisof
under this conception,
parts; is able
composed to experience
of parts; is able to temporal
experience succession,
temporal location and extension;
succession, location isand (intrinsically
extension;and is
(intrinsically and extrinsically) changeable, and is able to be causally affected There
extrinsically) changeable, and is able to be causally affected by an external agent. by anis
thus a radical
external distinction
agent. There is thusbetween
a radicalthese two conceptions
distinction between these of God’s nature, which
two conceptions can be
of God’s
illustrated
nature, which as can
suchbe through Figure
illustrated as 1such
(with the smaller
through Figure ovals in thethe
1 (with right mageovals
smaller representing
in the
the parts
right mageofrepresenting
God, as posited by NCT,
the parts and as
of God, theposited
double-headed
by NCT,arrows and the indouble-headed
the right image
representing an identity relation, as posited by CT):
arrows in the right image representing an identity relation, as posited by CT):

Classicaland
Figure1.1.Classical
Figure andNeo-Classical
Neo-ClassicalConceptions
ConceptionsofofGod.
God.

1.2. Theism Dilemma and Creation Objection

1.2. Theism Dilemma and Creation Objection
This radical divide between the specific ways in which Theism can be extended, and
thus the nature of God can be conceptualized, is indeed problematic. As, on the one hand,
CT has the weight of tradition in favour of it. Yet, according to a number of scholars and
biblical exegetes, it lacks a firm basis in ‘Sacred Scripture’, as Mullins (2021, p. 86) writes,
‘many scholars today think that the Bible teaches a very different conception of God than
that of CT...critics of the classical view maintain that CT contradicts the biblical claims about
God, especially since divine suffering and change are major biblical themes...Moreover,
various classical theists admit that certain attributes, such as timelessness, are not taught
in scripture’. However, on the other hand, NCT has the scriptural backing that CT lacks,
although it clearly lacks strong precedent in ‘Sacred Tradition’ (and other religious tradi-
tions), given that, as Davies (2004, p. 2, emphasis added) writes, ‘Classical theism is what
all Jews, Christians, and Muslims believed in for many centuries (officially, at least)’. Thus,
Religions 2021, 12, 967 5 of 29

one is faced with the issue that if they want to hold firmly to Sacred Tradition—which will
include within it the consensus of the ‘Church Fathers’—then they are required to affirm
CT. Yet, if they want to affirm Sacred Scripture—specifically, the veracity of the scriptural
witness concerning the nature of God—then one is required to affirm NCT.
Now, an individual might hold to only one of these sources of authority, Sacred Scrip-
ture or Sacred Tradition, as having any real authority for their religious beliefs and practice,
and thus they could choose to affirm one or the other conceptions of God on offer—which
will help to deal with the problem at hand. Nevertheless, for certain forms of Christianity,
such as Roman Catholicism, Eastern Orthodoxy and (strands of) Anglicanism—let us call
adherents of these forms of Christianity traditionalists—one is indeed required to affirm
both sources of authority: Sacred Scripture and Sacred Tradition. However, in doing that, it
seems as if a traditionalist must affirm a contradiction. That is, a traditionalist has to ascent
to the veracity of the following construal of Theism:

God, the perfect and ultimate source of created reality, is:

(a) Simple and (a1 ) Complex.
(4) (Theism1 ) (b) Timeless and (b1 ) Temporal.
(c) Immutable and (c1 ) Mutable.
(d) Impassible and (d1 ) Passible.

For the traditionalist, Sacred Tradition requires them to affirm (2) the CT extension
of Theism that conceives of God as simple, timeless, immutable and impassible, whereas
Sacred Scripture seemingly requires the traditionalist to also affirm (3) the NCT extension
of Theism that conceives of God as complex, temporal, mutable and passible. The tradi-
tionalist is thus caught in a dilemma—let us call this the Theism Dilemma—with the sources
of authority in the Christian faith demanding the traditionalist to affirm two extensions
of Theism, which in combination—and when the central terms are further unpacked—is
clearly inconsistent. The question that is now presented to the traditionalist is: how can one
proceed to affirm the veracity of the traditionalist position without falling into absurdity?
The first and clear way out of this dilemma would be to deny the truth of CT, and thus
affirm the truth of NCT (or vice versa), which would certainly remove the inconsistency
presented by (3). However, this move is not open to the traditionalist, given that they are
committed to the authority of Sacred Tradition and Sacred Scripture—and thus the concep-
tions of God that are expressed by these sources. However, one might have good reason
to urge the traditionalist to give up their position and indeed take this option out of the
dilemma. That is, some individuals such as Mullins (2021) have argued for the need for one
to disaffirm the veracity of CT, given certain logical inconsistency issues that this extension
of Theism faces.6 One specific argument provided by Mullins (2021, pp. 93–94), termed
the Creation Objection, goes as follows: proponents of CT have sought to affirm the fact of
there being a state of affairs in which God exists without creation and a state of affairs in
which God exists with creation. The former state of affairs is affirmed by proponents of CT,
primarily due to their commitment to God’s freedom and impassibility—God is free to cre-
ate (or not) and would remain in a state of perfect happiness without creation.7 Given that
there is a state of affairs in which God exists without creation and one in which God exists
with creation, one can develop an argument that highlights the inconsistency inherent in a
proponent of CT’s affirmation of creation ex nihilo and the timelessness and immutability
of God. This argument, according to Mullins (2021, p. 93), can be stated precisely as follows:

C1. If God begins to be related to creation, then God changes.

C2. God begins to be related to creation.
(5) (Creation Objection) C3. Therefore, God changes.
C4. If God changes, then God is neither immutable nor timeless.
C5. Therefore, God is neither immutable nor timeless.
Religions 2021, 12, 967 6 of 29

Given (5), a proponent of CT must deny two of the unique identifying attributes
of their conception of God. However, in order to avoid this conclusion, Mullins (2021,
p. 93) sees that proponents of CT have traditionally focused on denying the truth of C2.,
mainly by denying the fact that God bears a real relation to creation. CT denies God’s real
relation to creation because, in the thought of its proponents, God cannot be really related
to anything ad extra to the divine nature—as if he were able to be, then this would result
in him exemplifying an accidental property that is associated with the relation, which he
cannot possess due to his simplicity. Hence, contra C2., God cannot begin to be related
to creation, which enables a proponent of CT to continue to affirm God’s immutability
and timelessness. In response to this, however, Mullins (2021, p. 93) sees that a critic of
CT would not accept this response to the Creation Objection, as they would clearly deem
it as a ‘deeply ad hoc’ move. Furthermore, Mullins (2021, p. 93) sees that a critic would
raise the further issue that this specific response to C2. is unintuitive, as it is quite obvious
that God’s act of creating and sustaining the universe entails the fact of him being really
related to creation. Given this, the proponent of CT is thus still caught in a bind and must
thus affirm the conclusion of the Creation Objection, which is a clear denial of some of the
central tenets of the CT conception of God. Hence, the traditionalist, who is an individual
that affirms the veracity of CT and NCT, is thus encouraged to forgo their allegiance to CT
and fully adopt a NCT (or alternative) conception of God.8
So, two questions that are now presented to the traditionalist who faces the Theism
Dilemma and Creation Objection is: first, is there a specific way for one to take both horns
of the dilemma (as the traditionalist is required to do) without falling into absurdity?
Second, is there a way to deal with the Creation Objection so as not to deny the central
tenets of CT? For both questions, I believe that we do indeed have sufficient answers, which
can be brought to light by employing the tools of analytic philosophy and applying them
to the task at hand. Specifically, this article will seek to utilise the notion of ontological
pluralism, as formulated by Kris McDaniel and Jason Turner, and the notion of modal
realism, as formulated by David Lewis (and further developed by McDaniel and Philip
Bricker), which, in combination, will help to provide a means for one to affirm the veracity
of the CT conception of God as a simple, timeless, immutable and impassible entity that
is not really related to creation—as is required by Sacred Tradition—whilst also being
able to affirm the veracity of the NCT conception of God as a complex, temporal, mutable,
passible entity that is really related to creation—as is required by Sacred Scripture—without
falling into a contradiction. By utilising the concepts of ontological pluralism and modal
realism, the traditionalist would thus be able to affirm both extensions of Theism whilst
also escaping the Theism Dilemma and not being subject to the Creation Objection.9
Thus, the plan is as follows: in section two (‘Ontological Pluralism’), I explicate
the nature of ontological pluralism, introduced by Kris McDaniel and Jason Turner, and
apply it to the task at hand, which will provide a basis for the traditionalist to affirm
the conceptions of God provided by CT and NCT. In section three (‘Modal Realism’), I
then explicate the nature of Modal Realism, introduced by David K. Lewis, and further
developed by McDaniel and Philip Bricker, and then apply it to the task at hand, which
will complete the account that was introduced in the previous section and enable the
traditionalist to affirm the veracity of Theism without facing the Theism Dilemma and
being subject to the Creation Objection. After this section, there will be a final section
(‘Conclusion’) summarising the above results and concluding the article.

2. Ontological Pluralism
2.1. The Nature of Ontological Pluralism
According to McDaniel (2009, 2010, 2017) and Jason Turner (2010, 2012, 2020), On-
tological Pluralism is the view that there are different fundamental and irreducible ways,
kinds, or modes of being.10 That is, entities can (and do) exist in different ways from one
another, which is represented by different existential quantifiers—without the denial of the
fact of these entities existing in the univocal category of being—namely, these entities also
Religions 2021, 12, 967 7 of 29

possessing generic existence. More specifically, the central tenets of Ontological Pluralism
(hereafter, OP), according to McDaniel (2009) and Turner (2020), can be stated as follows:11

(a) Ways of Being: A way of being is a specific and distinctive manner in

which an entity exists.
(b) Elite Qualifiers: An elite quantifier is a semantically primitive
(6) (Pluralism) existential quantifier that is perfectly natural.
(c) Generic Existence: An entity generically exists by there being a
univocal category of being that is expressed by the single, generic,
unrestricted existential quantifier.

For (a), the notion of a ‘way of being’ finds its primary use in enabling one to account
for the fact that the specific ontological kind (or category) that an entity is an instance of
determines the specific manner in which that entity exists. For example, numbers are of a
different ontological kind (or category) than tables—the former is of the kind (or category)
abstracta, and the latter is of the kind (or category) concreta—and thus, these entities exist
in a different manner than one another. An adherent of OP thus posits the existence of
multiple ways of being in order to account for the different types of entities that display
distinct features from one another. In positing the existence of multiple ways of being, OP
is to be contrasted with the standard view in contemporary metaphysics of Ontological
Monism (hereafter, OM), which posits the existence of solely one way of being. The notion
of a way of being, posited by OM and OP, corresponds to the notion of an ontological
structure. Following Turner (2010, pp. 6–7), we can further elucidate the notion of an
ontological structure by utilising an analogy of a pegboard, which can be understood as
follows: at a general level, an ontological structure is represented by a pegboard covered
with rubber bands. For the adherent of OM, the correct understanding of ontological
structure is that of a large pegboard, where pegs represent entities, and rubber bands of
various colours represent objects instantiating different properties and objects standing
in different relations to one another (picture, for the former, a band wrapped around a
peg, and, for the latter, a band stretching from one object to another). For the adherent
of OP, the view of ontological structure that is proposed by the thesis of OM is taken to
be misleading in that reality is instead best represented by multiple pegboards—with each
pegboard representing a distinct kind of entity with their associated ways of being. In short,
proponents of OM conceive of reality as having a single ontological structure—represented
by a single pegboard—for example, abstract and concrete entities existing
Religions 2021, 12, x FOR PEER REVIEW 8 of 30 together on one

pegboard.12 However, for the proponent of OP, reality has multiple ontological structures—
represented by multiple, independent pegboards—with, for example, abstract entities
together on one pegboard.12 However, for the proponent of OP, reality has multiple
existing on one and concrete entities existing on another (Turner 2010).13 We can illustrate
ontological structures—represented by multiple, independent pegboards—with, for
the multiple
example, pegboards
abstract featured
entities existing on onein OP
and as follows
concrete entitiesthrough Figure
existing on another2 (where,
(Turner in the left image,
‘Abstract’ stands
2010).13 We can forthe
illustrate ‘abstract ontological
multiple pegboards structure’
featured and ‘Sthrough
in OP as follows n ’ stands for a ‘particular set
Figure
2 (where,
peg’, in the leftinimage,
whereas, ‘Abstract’
the right stands
image, for ‘abstractstands
‘Concrete’ ontological
for structure’
‘concrete and ‘Sn’
ontological structure’,
stands for a ‘particular set peg’, whereas, in the right image, ‘Concrete’ stands for ‘concrete
‘O n ’ stands for a ‘particular object peg’, and the different colours represent the different
ontological structure’, ‘On’ stands for a ‘particular object peg’, and the different colours
properties
represent the that are properties
different instantiated byinstantiated
that are each peg):by each peg):

Figure 2. Ontological Structure: Pegboard (i).

Figure 2. Ontological Structure: Pegboard (i).

Thus, as is expressed by this particular analogy, the different ways of being featured
within the framework of OP correspond to different structures or domains of reality—one can
thus say that reality is indeed multi-faceted.
For (b), the notion of an ‘elite quantifier’ is grounded upon the Quinean association
Religions 2021, 12, 967 8 of 29

Thus, as is expressed by this particular analogy, the different ways of being featured
within the framework of OP correspond to different structures or domains of reality—one can
thus say that reality is indeed multi-faceted.
For (b), the notion of an ‘elite quantifier’ is grounded upon the Quinean association
between existence and existential quantification—where ontology concerns what existential
quantifiers range over. Given this association, the proponent of OP takes there to be several
semantically primitive existential quantifiers that range over distinct domains of reality
(where a quantifier is semantically primitive in the sense that it is not reducible to the
unrestricted quantifier and a restricting predicate). More specifically, a central aspect of the
contemporary iteration of OP, as expressed by McDaniel and Turner, is that of the denial
of the fact of there being solely one existential quantifier. Rather, there are many—where,
for example, there is one, ‘∃a ’, which ranges over the domain of abstract entities, and
another, ‘∃c ’, which ranges over the domain of concrete entities (Turner 2010, p. 8). The
contemporary project of OP is thus linked with quantificational pluralism—the view that
there are multiple existential quantifiers, rather than a single generic quantifier (Turner
2020). However, multiple existential quantifiers can come on the cheap (i.e., one solely
needs to introduce an existential quantifier and a restricting predicate to formulate more
than one (restricted) existential quantifier). Hence, Caplan (2011, pp. 95–97), McDaniel
(2009, pp. 305–10) and Turner (2020, p. 185) have emphasised the fact that, for the thesis
of OP, only certain types of quantifiers are of concern to pluralists: elite quantifiers. Now,
defining the notion of eliteness is indeed a challenging task, given that the notion seems
to come in degrees. However, as noted by McDaniel (2017, pp. 27–28) and Turner (2020,
p. 185), one can proceed to further elucidate the nature of this notion by adopting Sider’s
(2011) extension of David Lewis’ (1983) notion of perfect naturalness, which centres around
that of the notion of ‘carving nature at its joints’. Existential quantifier expressions that
‘carve nature at its joints’ are thus to be taken as elite (or ‘more elite’ than others that do not).
So, taking into account the distinction between abstract and concrete entities, proponents
of OP take these two kinds of entities to have different ways of being. These ways can be
expressed, as noted previously, by two elite quantifiers: ‘∃a ’ meaning existing abstractly
(i.e., the quantifier ranging over the domain of abstract entities) and ‘∃c ’ meaning existing
concretely (i.e., the quantifier ranging over the domain of concrete entities). These two
existential quantifiers (and the other multiple existential quantifiers posited by pluralists)
are thus, as noted previously, taken as semantically primitive—through the notions that
they express being irreducible—and elite, where these quantifiers (‘∃a ’ and ‘∃c ’) seem to be
‘fine-grained’ and deeply ‘joint carving’. Thus, taking all this into account, as McDaniel
(2010, p. 635) writes, OP is the view that there are possible languages with elite quantifiers
‘that are at least as natural as the unrestricted quantifier’. At the heart of OP is thus the
(surprising) claim that there are multiple ways of being and structures of reality and, most
importantly, that there are multiple elite existential quantifiers that express these ways
of being and structures of reality (Turner 2020). In other words, entities such as abstract
entities and concrete entities are thus taken to have different fundamental ways of being—
and are part of distinct fundamental structures of reality—that are ranged over by different
elite existential quantifiers (e.g., ‘∃a’ and ‘∃c’). In short, one must thus use more than one
existential quantifier to represent the extra ways of being and structures of reality.
For (c), the notion of ‘generic existence’ expresses the fact that all entities share in
the univocal category of being. Thus, in affirming the veracity of OP—the existence of
multiple ways of being that are expressed by multiple elite existential quantifiers—one
is not (necessarily) negating an entity’s possession of generic existence. An adherent of
OP is simply committed to the fact, as noted by McDaniel (2009, pp. 305–10), that the
multiple elite quantifiers, that are taken to express the different ways of being of an entity
(or entities), are more natural than the generic unrestricted quantifier—in the sense that
they express the various fundamental facets of reality in a more accurate manner. Thus, in
continuing with our paradigm examples of abstract and concrete entities, the distinction
made between the modes of being of abstract entities and concrete entities—with the
Religions 2021, 12, 967 9 of 29

elite quantifiers of ∃a and ∃c —are simply to be taken to be more natural than the generic
unrestricted existential quantifier: ∃. That is, as Bernstein (2021, p. 2), in emphasising this
point, writes,
If one is taking an inventory of everything that there is, the pluralist’s ‘is’ is
ambiguous between ∃1 and ∃2 , and the items in being must be sorted into either
category. The pluralist’s inventory is finer-grained than the list that falls in the
domain of the single first-order existential quantifier, since it includes everything
that there either is1 or is2 .
OP thus affirms the fact that every entity—in addition to them having multiple ways
of being—also enjoys the generic and univocal way of being that is expressed by the
single, generic, unrestricted quantifier. Thus, what is disaffirmed by the thesis of OP
is solely that of the latter quantifier being perfectly natural—in short, it does not ‘carve
nature at its joints’.14 This disaffirmation, however, does not mean that single, generic,
unrestricted quantifier is to be conceived of as a mere disjunction of the multiple elite
existential quantifiers—given that, as McDaniel (2010) has shown, the domain that is
ranged over by the former quantifier is unified by analogy. That is, as McDaniel (2010, p. 696)
notes, we are aware of ‘something akin to disjunctive properties, but they aren’t merely
disjunctive. Analogous features enjoy a kind of unity that merely disjunctive features lack:
they are, to put it in medieval terms, unified by analogy’. This fact is evident, for example,
in the concept of being healthy—which does not seem to be disjunctive, given the different
ways of being healthy—as McDaniel (2010, p. 695) writes, ‘I am healthy, my circulatory
system is healthy, and broccoli is healthy’. In each of these cases provided by McDaniel,
there is a sense in which the generic ways of being healthy corresponds to the particular
ways of being healthy—that is, we are presented with a concept of generic healthiness by
analogy with the particular ways of being healthy (Builes 2019, p. 4). Existence in its many
particular forms and its singular generic form is akin to this—in that, for the adherent of
OP, there is a fundamental (i.e., perfectly natural) way in which certain entities exist and a
non-fundamental (i.e., non-natural) and a non-disjunctive manner in which every entity generically
exists, each of which is represented by (a modified form) of Quinean quantification.
The central components of the thesis of OP, and the manner in which these components
are interconnected with one another, have been laid out. We will now turn our attention to
applying the thesis of OP to the task at hand so as to provide a means to begin to ward off
the Theism Dilemma (and a basis for avoiding the Creation Objection in the next section).

2.2. Theistic Ontological Pluralism

Theism is the basic claim that there is a perfect and ultimate source of reality. In
traditional theology, and contemporary analytic theology, two extensions of this basic claim
have been proposed: CT and NCT—with the former, according to (2), postulating the
existence of a perfect and ultimate source of reality which is simple, timeless, immutable
and impassible, and the latter, according to (3), postulating the existence of a perfect
and ultimate source of reality which is complex, temporal, mutable and passible. These
extensions of Theism appear to be mutually exclusive; yet the sources of authority for a
traditionalist—a religious adherent who affirms the veracity of both Sacred Tradition and
Sacred Scripture—require them to affirm both conceptions of God, with Sacred Tradition
requiring one to conceive of God as the God of CT, and Sacred Scripture requiring one to
conceive of God as the God NCT. The traditionalist is thus caught in a dilemma: the Theism
Dilemma, where one must conceive of God in both ways by assenting to the truth of (4),
which leads to the traditionalist affirming a clear contradiction. So the question presented
to the traditionalist is: how can one take both horns of the dilemma (as the traditionalist
is required to do) without falling into absurdity? Well, how one can indeed do this is by
employing the notion of OP that was detailed in this section.
Now, in the application of the thesis of OP within a theistic context (hereafter, Theistic
OP), we take it to be the case that in reality, there are two ontological structures: an abstract
ontological structure and a concrete ontological structure, each of which can be represented
 dilemma: the Theism Dilemma, where one must conceive of God in both ways by
assenting to the truth of (4), which leads to the traditionalist affirming a clear
contradiction. So the question presented to the traditionalist is: how can one take both
horns of the dilemma (as the traditionalist is required to do) without falling into
absurdity? Well, how one can indeed do this is by employing the notion of OP that was
Religions 2021, 12, 967 10 of 29
detailed in this section.
Now, in the application of the thesis of OP within a theistic context (hereafter,
Theistic OP), we take it to be the case that in reality, there are two ontological structures:
an
byabstract ontological
a specific structure and
pegboard—with eacha concrete
pegboard ontological structure,
having pegs each of which
that represent the can
entities that
be represented by a specific pegboard—with each pegboard having pegs that represent
exist within that given ontological structure. We can illustrate these multiple pegboards as
the entities that exist within that given ontological structure. We can illustrate these
follows through Figure 3 (where, in the left image, ‘Abstract’ stands for ‘abstract ontological
multiple pegboards as follows through Figure 3 (where, in the left image, ‘Abstract’ stands
structure’,
for ‘abstract ‘S n ’ stands structure’,
ontological for a ‘particular set peg’
‘Sn’ stands for a and ‘G’ forset
‘particular ‘God
peg’peg’,
and whereas,
‘G’ for ‘Godin the right
image, ‘Concrete’ stands for ‘concrete ontological structure’,
peg’, whereas, in the right image, ‘Concrete’ stands for ‘concrete ontological‘O n ’ stands for a
structure’,‘particular
object
‘O peg’,for
n’ stands ‘G’a for ‘God peg’,
‘particular and
object the ‘G’
peg’, different colours
for ‘God peg’, represent the different
and the different colours properties
that are instantiated
represent by each peg):
the different properties that are instantiated by each peg):

Ontological
Figure3.3.Ontological
Figure Structure:
Structure: Pegboard
Pegboard (ii). (ii).

Eachstructure
Each structure (and
(and pegboard)
pegboard) wouldwould include
include withinwithin it a distinct
it a distinct kind of
kind of entity entity with
with
aadistinct way
distinctway of of being
being (or(or mode
mode of existence):
of existence): abstract
abstract entitiesentities that
that have anhave an abstract
abstract way of way of
beingand
being andconcrete
concrete entities
entities thatthat
havehave a concrete
a concrete way ofway of More
being. being.precisely,
More precisely, abstract and
abstract and
concrete entities, though they are each a part of the univocal category of being, and thus
possess generic existence (which is expressed by the single, generic, unrestricted existential
quantifier ∃), are taken to have different fundamental ways of being that correspond to distinct
fundamental structures of reality. Given the Quinean association between existence and
existential quantification—where ontology concerns what existential quantifiers range
over—these structures or domains, as noted previously, are taken to be ranged over by
two different elite existential quantifiers: ‘∃a ’ meaning existing abstractly and ‘∃c ’ meaning
existing concretely, each of which is perfectly natural by ‘carving nature at its joints’, and
thus represent the distinct ways of being and structures of reality that are had by abstract
entities and concrete entities. Within the framework provided by Theistic OP, we take God
to be an entity that exists within two ontological structures: the abstract structure and the
concrete structure. God is thus an entity that has two ways of being (or manners of existence):
by existing in the abstract structure, God has an abstract way of being, represented by
the quantifier ‘∃a ’, and by God existing in the concrete structure, God has a concrete way
of being, represented by the quantifier ‘∃c ’. God is thus an entity that exists within, or
overlaps, two ontological structures and domains of reality, and thus has two ways of being
that correspond to these two structures and domains.
So on the basis of the different ways of being that are had by God, one can re-construe
(Theism) as follows:

God, the perfect and ultimate source of created reality, is:

(∃a ) in his abstract way of being: (∃c ) in his concrete way of being:
(a) Simple (a1 ) Complex
(7) (Theism2 )
(b) Timeless (b1 ) Temporal
(c) Immutable (c1 ) Mutable
(d) Impassible (d1 ) Passible

In the abstract structure (or domain of reality), God’s manner existence is that of
being an entity that lacks proper parts (i.e., is simple); temporal succession, location and
extension (i.e., is timeless); is intrinsically and extrinsically unchangeable (i.e., is mutable);
and is causally unaffectable (i.e., is passible). Yet, in the concrete structure (or domain of
reality), God’s manner existence is that of being an entity that has proper parts (i.e., is
Religions 2021, 12, 967 11 of 29

complex); has temporal succession, location and extension (i.e., is temporal); is intrinsically
and extrinsically changeable (i.e., is mutable); and is causally affectable (i.e., is passible).
Thus, given the different ways of being that God has, there is no absurdity in a traditionalist
affirming the CT and NCT extensions of Theism—as the four unique attributes posited
by the former, and the contraries of these attributes that are posited by the latter, are
had by God relative to a specific way of being. One can thus take the contradiction that
is inherent within (4) to be produced by a false assumption that God only has generic
existence (i.e., he is solely part of the univocal category of being). However, as God is
taken here to have generic existence and different ways of being, one can relativise the
apparently problematic attributes to the latter, rather than making the assumption that
they are had by God in a singular and generic fashion. That is, the mistake that was made,
and which gave rise to the Theism Dilemma, is that of one assuming a position of OM,
with a single ontological structure, domain of reality and way of being that is expressed
by the single, generic, unrestricted quantifier. Doing this is clearly problematic as it leads
a traditionalist, who affirms the veracity of (2) and (3), to ascent to the fact that—within
one ontological structure, domain of reality and way of being—God exists (∃) as a simple,
timeless, immutable and impassible entity and God exists (∃) as a complex, temporal,
mutable and passible entity, which is clearly contradictory. However, by assuming the
position of Theistic OP, which takes God to exist within multiple ontological structures (and
domains of reality) and for him to have more than one way of being (i.e., an abstract way
of being and a concrete way of being)—with these ways being more natural than the generic
way of being (which God does indeed possess)—the traditionalist is thus not lead to affirm
a contradiction, as they are simply affirming the more ‘fine-grained’ and ‘joint carving’
state of affairs that takes into account the multiple structures, domains of reality and ways
of being, in which God exists (∃a ) as a simple, timeless, immutable and impassible entity
and God exists (∃c ) as a complex, temporal, mutable and passible entity. Thus, it is due
to this relativisation of the attributes under question that we do not have a contradiction
being affirmed by the traditionalist. One can thus be a traditionalist—and thus affirm the
veracity of the conceptions of God that are given to one by Sacred Tradition and Sacred
Scripture—without falling into absurdity. The traditionalist can thus escape the Theism
Dilemma by adopting the position of Theistic OP and affirming the concept of Theism
expressed by (7).
Or, is that so? Despite the conclusion reached here, one can indeed raise the objection
concerning the cogency of taking God to have an abstract and concrete way of being. That
is, how is it possible for God to be taken to be an abstract entity and a concrete entity?
Additionally, what is the nature of the abstract and concrete structures such that God can
coherently be an occupant of both? It seems as if we need a more comprehensive metaphys-
ical account of the nature of the type of entities and categories that have been introduced
here—in short, the solution to our dilemma seems to be metaphysically underdeveloped. This
issue will surely need to be addressed if anyone—including the traditionalist—will be will-
ing to sign on. Thus, to provide answers to these questions, it will be helpful to now turn
our attention to detailing and applying an influential metaphysical thesis called ‘Genuine
Modal Realism’,15 which will provide a means for one to build on the work that has been
achieved through our utilisation of the notion of Theistic OP and thus provide a means to
finally ward off the Theism Dilemma and the Creation Objection.

3. Modal Realism
3.1. Genuine Modal Realism
According to David K. Lewis (1983, 1986), Genuine Modal Realism (hereafter, GMR)
is a metaphysical thesis that posits the existence of a ‘logical space’ or ‘pluriverse’ that is
made up of an infinite plurality of concrete possible worlds.16 More specifically, the central
tenets of Genuine Modal Realism, according to Lewis (1986, pp. 69–81), can be stated
as follows:
Religions 2021, 12, 967 12 of 29

(a) Pluriverse: The totality of metaphysical reality and the largest domain
of quantification that includes within it three ontological categories.
(b) Concrete Fusion: A possible individual x is a world w if there are some
concrete entities such that each one of the entities is spatiotemporally
related to every object that is one of the collections of entities, w is the
(8) (Realism) fusion of these entities, and w is one of an infinite plurality of ws.
(c) Isolation: No possible individual x, that is part of a w, is
spatiotemporally related to any x that is not one of the collections of
individuals that are part of w.
(d) Relative Actuality: A possible individual x is an actual world w solely
from the indexical perspective of an inhabitant of w.

For (a), the notion of the ‘pluriverse’ functions in the framework of GMR as the
metaphysical terrain of the totality of reality. In Lewis’ (1983, pp. 39–40) thought, the
pluriverse is organised into three fundamental ontological categories: possible individuals,
impossible individuals and non-individuals. These three ontological categories can be under-
stood as follows: first, the category of possible individuals includes within it the entities
that exist wholly within a world, i.e., as a part of that world. For the category of possible
individuals, each of the worlds within the pluriverse is a (large) possible individual that
has (smaller) possible individuals (such as atoms, humans and planets) as parts. Hence,
any possible individual is ‘bound’ to a world through being a ‘part’ of it—with a world
being an improper part of itself.17 Second, the category of impossible individuals includes
within it the entities that do not exist wholly in any world, but are composed of possible
individuals from two or more worlds. For the category of impossible individuals, these
types of individuals are mereological summations of individuals within the pluriverse
(Lewis 1983). More specifically, impossible, cross-world, individuals consist of parts from
several distinct worlds within the pluriverse. As the name indicates, however, this type
of individual is not a possible individual, as it is not in any world—it is partly in each of
the many worlds. Third, the category of non-individuals includes within it the entities
which do not exist in any world, but nevertheless exist ‘from the standpoint of a world’.
That is, for the category of non-individuals, these types of entities—which are paradig-
matically identified as ‘pure sets’ (i.e., numbers, properties, propositions and events)—do
not exist in any world in the sense of them existing as a part of a world, nor do they exist
as a mereological summation of the individuals that exist within the infinite number of
distinct worlds; rather they exist from the standpoint of a world, by existing within the least
restricted domain that is appropriate in evaluating the truth at the world of quantifications
(Lewis 1983, p. 40). Thus, for Lewis (1983, p. 40), within the GMR framework, we have
three fundamental ontological categories: possible individuals, impossible individuals and
non-individuals, that are individuated by three distinct relations: being in a world (i.e.,
being part of a world) for possible individuals, being partly in a world (i.e., having a part
that is wholly in that world) for impossible individuals, and existing from the standpoint
of a world for non-individuals. For illustrative purposes, we can depict the nature of the
pluriverse as follows through Figure 4 (where ‘PI’ stands for ‘possible individual’, ‘IPI’
stands for ‘impossible individuals’, ‘N-I’ stands for ‘non-individuals’, ‘’Wn ’ stands for a
‘particular world’, ‘the starred circles’ represents ‘(relative) actuality’, ‘Concrete’ stands for
‘concrete domain’ and ‘Abstract’ stands for ‘abstract domain’):
 individuals, and existing from the standpoint of a world for non-individu
illustrative purposes, we can depict the nature of the pluriverse as follows through
4 (where ‘PI’ stands for ‘possible individual’, ‘IPI’ stands for ‘impossible individu
I’ stands for ‘non-individuals’, ‘’Wn’ stands for a ‘particular world’, ‘the starred
Religions 2021, 12, 967 13 of 29 and ‘A
represents ‘(relative) actuality’, ‘Concrete’ stands for ‘concrete domain’
stands for ‘abstract domain’):

Figure 4.4.Nature
Figure Natureof the
of Pluriverse (i).
the Pluriverse (i).
Now, the positing of the existence of the pluriverse enables one to provide a reduc-
Now,ofthe
tive account positing
modality. ofis,the
That existence
GMR, throughofthethenotion
pluriverse enables one
of the pluriverse tomore
(and, provide a r
account of the
importantly, modality.
notion ofThat is, GMR,
a world), seeks to through
provide anthe notion
analysis of the account
or reductive pluriverse
of (and
modal notions such
importantly, that oneofcan
the notion understand
a world), the meaning
seeks to provideof modal locutions
an analysis orwithout
reductive acc
them depending upon further modal notions—and thus modality being primitive. More
modal notions such that one can understand the meaning of modal locutions
specifically, within the framework provided by GMR, modal concepts are analysed in terms
them depending upon further modal notions—and thus modality being primitiv
of worlds, which is expressed through the following biconditional:18
specifically, within the framework provided by GMR, modal concepts are anal
terms
(9) (Deof worlds, which
Dicto) is expressed
It is possible through
that x ↔ there the
is a w such following
that w is a worldbiconditional:
and at w, x. 18

As expressed by (De Dicto), the modal operator ‘it is possible that’ (and modal
operators such as ‘it is necessary that’), within the GMR framework, becomes a quantifier
over worlds, which thus provides an analysis of modality and reduces the modal (e.g.,
possibility) to the non-modal (i.e., worlds)—ultimately dispelling the mystery that has
often surrounded these types of locutions when they have been put under the ‘microscope’.
In addition to the provision of an analysis of de dicto terms, GMR also provides a means
for one to analyse de re modality. Before we unpack the nature of this analysis, it will be
helpful to now further detail the notion of a world, as expressed by (b)–(d) of (Realism).
For (b), the notion of ‘concrete fusion’ expresses the fact that there exists an infinite
plurality of concrete worlds within logical space that are identified as maximal mereological
sums of spatiotemporally related individuals. The ‘concreteness’ of a world expresses the idea
that the ‘merely possible worlds’ that make up the pluriverse are of the same ontological kind
as the ‘actual world’. Lewis (1986), however, is hesitant to directly affirm the concreteness
of worlds, given the ambiguity and lack of clarity that surrounds the abstract/concrete
distinction in contemporary philosophy. Nevertheless, Lewis (1986, pp. 82–86) distin-
guishes four different ways of conceiving of the abstract/concrete distinction, and the
manner in which worlds fit with these ways: first, the Way of Example: worlds have parts
that are taken to be paradigmatically concrete (i.e., donkeys, protons, stars and galaxies).
Second, the Way of Conflation: worlds are taken to be particulars and individuals, rather
than universals and sets. Third, the Negative Way: worlds have parts that are taken to
Religions 2021, 12, 967 14 of 29

stand in spatiotemporal relation to one another. Fourth, the Way of Abstraction: worlds
are taken to be fully determinate entities that are not abstractions from any other entity.
In each of these four ways, according to Lewis (1986, p. 82), worlds (and most of their
parts) can be conceived of as concrete entities—with all other types of entities (namely,
non-individuals) being conceived of as abstract entities, due to the fact that these entities
are not spatiotemporal and fail to meet the four-fold criteria. So a world is a concrete
entity; yet, there is not only one world in logical space, but an ‘infinite plurality’ of worlds.
More specifically, any way a world could possibly be is a way that some world is—in short,
according to the Principle of Plenitude, worlds are abundant such that there are no ‘gaps in
logical space’. In underwriting this principle, Lewis posits the holding of a more specific
principle: the Principle of Recombination, according to which, as Lewis (1986, pp. 88–89)
writes, ‘patching together parts of different possible worlds yields another possible world’.
More specifically, the Principle of Recombination states that anything can co-exist, or fail to
co-exist, with anything else. Thus, for example, as Lewis (1986, p. 88) notes, ‘if there could
be a dragon, and there could be a unicorn, but there couldn’t be a dragon and a unicorn
side by side, that would be an unacceptable gap in logical space, a failure of plenitude’.
Thus, from the first half of this principle—that anything can co-exist with anything else—as
illustrated by this example, we infer that any number of entities from different worlds can
be brought together in any world, in any specific arrangement permitted by shape and
size. However, for the second half of the principle—that anything can fail to co-exist with
anything else—we have the example, as Lewis (1986, p. 88) writes, that ‘if there could be a
talking head contiguous to the rest of a living human body, but there couldn’t be a talking
head separate from the rest of a human body, that too would be a failure of plenitude’. We
thus infer from this half of the principle, which expresses the Humean denial of necessary
connections between distinct entities, that there is another world where one of these entities
exists without the other (Bricker 2007).19 Thus, for the Principle of Recombination as a
whole, anything can co-exist with anything, and anything can fail to co-exist with anything,
so long as they are able to come together within the possible size and shape of spacetime
that comprises the world that they are parts of (Lewis 1986, p. 90). The pluriverse is thus
made up of an infinite number (and variety) of concrete worlds.
For (c), the notion of ‘isolation’ expresses the fact that there are no connections between
worlds in the pluriverse—in that a given possible world is spatiotemporally (and causally)
isolated from other worlds. The lack of spatiotemporal and causal connections between
worlds results in the inhabitants of a given world being ‘world bound’. More specifically, a
world is demarcated as a maximal individual whose parts are spatiotemporally related to
one another and not anything else. That is, a world, according to Lewis (1986, p. 69), has
possible individuals as parts, and is thus ‘the mereological sum of all possible individuals
of one another’. In a world, if two things are parts of the same world, then they are—what
Lewis (1986, p. 69) terms—worldmates. Individuals are thus worldmates if, and only if, they
are spatiotemporally related. Thus, whatever is in a spatiotemporal relation with another
is part of that world. A world is therefore unified, as Lewis (1986, p. 71) notes, ‘by the
spatiotemporal interrelation of its parts’. However, there are no spatiotemporal relations
that connect one world to another. That is, each world—which is simply the (maximal)
mereological fusion of a certain set of concrete entities—is spatiotemporally isolated from
every other world, as Lewis writes, ‘Worlds do not overlap; unlike Siamese twins, they
have no shared parts . . . no possible individual is part of two worlds’ (Lewis 1983, p. 39).
In other words, as the spatiotemporal relation is an equivalence relation, each individual
(that is in a world) is part of exactly one world—there is no overlap between distinct worlds;
rather, each world is spatiotemporally isolated and exists as the maximal sum of all of the
individuals that are spatiotemporally related to it.
For (d), the notion of ‘relative actuality’ expresses the fact that all of the (‘merely
possible’) worlds within the pluriverse have the same ontological status as the ‘actual world’—
such that the notion of actuality is an indexical term that simply singles out the specific
utterer of the sentence in the particular world in which they located at. In Lewis’ (1986,
Religions 2021, 12, 967 15 of 29

pp. 92–96) mind, actuality is a relative notion, such that each world is actual relative to itself
and the individuals that inhabit it (and is thus non-actual relative to all the other worlds
and individuals that inhabit those world). For Lewis, actuality is an indexical notion. That
is, the word ‘actual’ is to be analysed in indexical terms, which is that of its reference
varying dependent upon the relevant features of the context of utterance. That is, as Lewis
(1999, p. 293) notes, ‘According to the indexical analysis I propose, ‘actual’ (in its primary
sense) refers at any world w to the world w. ‘Actual’ is analogous to ‘present, an indexical
term whose reference varies depending on a different feature of context’. Thus, something
being actual to a given individual is that of it being part of the world that the individual
inhabits—in other words, it is spatiotemporally related to that specific individual. Every
world is thus actual at itself, which renders all worlds as being on par with one another.
Thus, no world has the ontological status of being absolutely actual—the merely possible
worlds are not to be distinguished from the ‘actual world’ in ontological status. Now, this
is the nature of the pluriverse and the various worlds that exist within it. So, with this in
hand, we can now turn our attention back onto assessing how GMR provides a means for
one to analyse de re modality.
According to Lewis (1983, 1986), the analysis of de re modal statement is best pro-
vided through counterpart theory, which brings together the central tenets of GMR found
in (Realism). More specifically, within the framework provided by GMR, worlds within
the pluriverse do not overlap, and thus individuals do not exist in more than one world.
Rather, each possible individual has counterparts—qualitatively similar individuals—that
exist in other worlds. More precisely, a counterpart of an entity x is one that exists in a
distinct world w from x and resembles x more closely than anything else that exists in w.
For Lewis (1986, pp. 8–11), the counterpart relation—instead of the notion of transworld
identity—is the specific resemblance relation that holds between distinct individuals that
are inhabitants of distinct worlds, and thus it provides the grounds for an analysis of de re
modal analysis, which can be expressed through the following biconditionals:

(10) (De Re-P) x is possibly F ↔ there is a world w and a counterpart x*, such that, in w, x* is F.
(11) (De Re-N) x is necessarily F ↔ for every world, w, all counterparts of x are F.

Counterpart theory thus provides the truth conditions for the modal properties that
are possessed by a certain entity—and as the notion of resemblance which underpins
this theory is itself a non-modal notion, modal locutions are able to be explained without
reference to modal notions. Counterpart theory thus allows modal statements and locutions
(e.g., x is possibly F) to be reduced to the non-modal (i.e., a counterpart of x is F). We thus
have a plausible means of reducing the diversity of modal notions that have usually been
taken as primitive—with this primitiveness in our structure being interpreted as that of the
truth of these notions being ungrounded. At a general level, GMR thus allows one to take
the non-modal claims made by (this specific theory of) modality to be a more fundamental
ground for the modal statements and locutions that feature in our ordinary speech. Hence,
affirming the veracity of GMR provides one with a more economical philosophical system,
due to the fact that one has fewer (primitive) notions that are left unaccounted for within
their system—namely, there are none. On the basis of this result, Lewis (1986, p. 3) believes
that we have good grounds for believing the truth of GMR, primarily, as he notes, ‘because
the hypothesis is serviceable, and that is a reason to think that it is true’. That is, we should
believe in the existence of the pluriverse—which includes within it an infinite plurality of
worlds (and counterparts)—due to the fact that this supposition is pragmatically virtuous.
In other words, the pragmatic virtue of GMR provides sufficient justification for one
accepting the extravagant ontology that is proposed by it.20 However, Lewis does not see
this virtue as providing a decisive reason to favour GMR over any other alternative theory
of modality, as Lewis (1986, p. 4) writes,
What price paradise? If we want the theoretical benefits that talk of possibilia
brings, the most straightforward way to gain honest title to them is to accept such
Religions 2021, 12, 967 16 of 29

talk as the literal truth. It is my view that the price is right, if less spectacularly so
than in the mathematical parallel. The benefits are worth their ontological cost.
Lewis thus believes that in affirming the veracity of the framework that is provided
by GMR, one must perform a cost–benefit analysis—affirming the truth of GMR comes
at a certain price. However, according to Lewis, this is a price that is worth paying, as,
on balance, GMR costs less than alternative theories that provide the same benefits but
procure more serious costs.21 Yet, despite the pragmatic value of GMR, there are indeed
some (hidden) costs that have been brought to light by two important (and now standard)
objections: the Humphrey Objection and the Island Universes Objection.
First, the Humphrey Objection focuses on highlighting a problem with the counterpart
theory that plays a central role in the GMR framework. According to the proponent
of GMR, each possible individual is world bound, and so the modal truths concerning
that individual are not made true by facts concerning how that specific individual is in
other worlds. Rather, these modal claims are made true by the existence and actions of
counterparts of this individual. However, as Saul Kripke (1980, p. 45) famously noted
if we say ‘Humphrey might have won the election (if only he had done such-
and-such)’, we are not talking about something that might have happened to
Humphrey, but to someone else, a ‘counterpart’. Probably, however, Humphrey
could not care less whether someone else, no matter how much resembling him,
would have been victorious in another possible world.
It is a strong intuition of most—as expressed by Kripke—that the modal statement
‘Humphrey might have won the election’ (and others like it) is a statement that is solely
about Humphrey, and thus the truth of that statement is one that has Humphrey, and
Humphrey alone, as its truthmaker. Yet, counterpart theory takes it to be the case that this
modal statement is not about Humphrey—but a counterpart existing in another world—
which does not seem to be the correct truthmaker for the statement under question. Thus,
as the objection goes, given the counterintuitive nature of counterpart theory, one should
reject this theory and the thesis of GMR that is built upon it.
Second, the Island Universes Objection focuses on highlighting the incompatibility
between the possible existence of island universes that are actual—actual individuals that
do not stand in any spatiotemporal relation to one another—and some of the central tenets
of the GMR framework. That is, the possible existence of island universes is problematic,
under GMR, as the combination of the Isolation and Relative Actuality tenets imply that
spatiotemporally disconnected island universes are impossible—in that there is no actual
world that is not spatiotemporally united. As Bricker (2001, p. 28), in clearly expressing
this objection, writes,
According to Lewis, possible individuals are part of one and the same possible
world if, and only if, they are spatiotemporally related. It follows immediately
that no possible world is composed of island universes of spatiotemporally
isolated parts. Given the standard analysis of possibility as truth at some possible
world, island universes, then, are impossible.
As with the issue raised by the Humphrey Objection, intuitively, it seems to be the
case that it is possible that there could be more than one physical universe that is spatiotem-
porally unrelated to another. Yet, this is indeed also ruled out by GMR, which provides
another good reason to reject GMR. Thus, the question that is now presented to a propo-
nent of GMR is: should one indeed reject the GMR framework, given the incompatibility
between our (pre-theoretic) intuitions, counterpart theory and the possibility of island
universes, or is there a way to deal with these two problems by providing a version of
modal realism that is not plagued by these issues? I do believe that one can take the latter
option by adopting elements of two alternative versions of modal realism: Modal Realism
with Overlap—proposed by Kris McDaniel—and Leibnizian Realism—proposed by Philip
Bricker, which, when brought together, provide a means to affirm the veracity of modal
realism without facing the Humphrey Objection and Island Universes Objection. More
Religions 2021, 12, 967 17 of 29

specifically, Modal Realism with Overlap proposes a version of GMR that does not include
counterpart theory—and thus replaces the tenet of Isolation with that of Overlap, which
allows one to abandon counterpart theory and thus ward off the Humphrey Objection.
Furthermore, Leibnizian Realism proposes a version of GMR which does not relativise
actuality—and thus replaces the tenet of Relative Actuality with that of Absolute Actuality,
which provides one with a clear way to affirm the possible existence of island universes
and thus ward off the Island Universes Objection. One can thus deal with both objections
against GMR by combining the versions above—let us term this combination Leibnizian
Realism with Overlap—which will also provide a more robust version of GMR that will be
helpful in further clarifying the nature of Theism in the next section. It will be helpful to
now further flesh out the central tenets of this version of modal realism.

3.2. Leibnizian Realism with Overlap

According to McDaniel (2004, 2006) and Bricker (2001, 2006, 2007), Leibnizian Realism
with Overlap (hereafter, LRO) takes the worlds that make up the pluriverse to be similar
to the worlds that are postulated by GMR—in that both theses conceive of worlds as
‘concrete’ objects that are maximal spatiotemporal entities. However, in the framework
provided by LRO, worlds, contra Lewis, are not defined as maximal mereological sums of
individuals. Rather, a given world is a ‘concrete’ object that is a maximal region of spacetime
that has objects as occupants (not parts), is spatiotemporally isolated from other worlds,
and is absolutely actual—by being an instance of the category of actuality and bearing the
property of actuality. More specifically, the central tenets of LRO can be stated as follows:

(a) Pluriverse: The totality of metaphysical reality and the largest domain
of quantification that includes within it three ontological categories.
(b) Concrete Regions: A possible individual x is a world w if and only if w
is a region of spacetime R and no R, which is part of w, is
(12) (Realism*) spatiotemporally related to anything that is not part of w.
(c) Overlap: A possible individual x is at w if x is wholly present at an R
that is part of w.
(d) Absolute Actuality: A possible individual x is an actual world w if w is
part of the category of actuality and possesses the absolute and
primitive property of actuality.

Within the framework of LRO, the tenet of Pluriverse (i.e., that there exists an infinite
plurality of concrete worlds) is maintained in the modification that is made to GMR by this
version of modal realism, with solely the tenets of Concrete Fusion, Isolation and Relative
Actuality being replaced with the tenets of Concrete Regions, Overlap and Absolute
Actuality, each of which we can now briefly unpack.22
For (b) and (c), the notions of ‘concrete regions’ and ‘overlap’ express the fact of there
being an infinite plurality of worlds that are identified as maximally spatiotemporally related
regions of spacetime that have objects as occupants of those regions. Worlds are spatiotem-
porally isolated maximal regions of spacetime—rather than the maximal summation of
the things that they contain—such that, as McDaniel (2004, p. 147) notes, ‘worlds are
containers in the same sense that regions of spacetime are containers’.23 These regions of
spacetime—instead of the material objects that they contain—are ‘parts’ of worlds. In other
words, the primary way in which LRO conceives of an object being ‘contained’ within a
world—that is, it existing at a specific world by occupying a spatiotemporal region—is
that of it being wholly present at that region, without being a part of that region. At a more
precise level, an object x exists at a world, as McDaniel (2004, p. 147) writes, if, and only
if, ‘there is some region R such that (i) x is wholly present at R and (ii) R is a part of w; a
region R exists at a world iff it is a part of that world’. Hence, according to LRO, the ‘atness’
relation within a world reduces to occupation. A specific object is thus at more than one
world by it occupying a particular region that is part of one of the worlds, whilst it also
Religions 2021, 12, 967 18 of 29

occupying a different region that is part of one of the other worlds within the pluriverse.
Material objects, as McDaniel (2006, p. 306) notes, thus ‘enjoy multi-location’.24
In addition to the account of ‘existing at a world’ provided by LRO, we also have an
account of what it is for a particular object to have a ‘part at a world’ and a ‘property at
a world’. For the former notion, an entity x is a part of an entity y at world w, according
to McDaniel (2004, p. 148), if and only if ‘there is some R such that x is part of y at
R and R is a part of w’. Objects thus have parts at parts of worlds. That is, assuming
compositional pluralism—the thesis that there are two different fundamental part-whole
relations—the fundamental parthood relation for spacetime regions is a two-place relation—
where a region of spacetime is part of a region of spacetime simpliciter (i.e., not relative to
anything). In contrast, the fundamental parthood relation for material objects is a three-place
relation—where part-whole relations for material objects are indexed to specific spacetime
regions. Objects are thus not parts of worlds but have parts at worlds, such that, as McDaniel
(2006, p. 306) notes, ‘Objects and worlds not only do not overlap, but cannot overlap given
that objects and worlds are unified by numerically distinct parthood relations’. Now, in a
similar manner to the part-whole relation for material objects, LRO takes the possession
of properties to also be indexed to spatiotemporal regions—namely, a given object has a
property only if there is a specific region of spacetime, such that the object is wholly present
at that region, the region is part of the whole in question, and the object possesses that
property relative to that region (McDaniel 2004). Thus, given the notions of having a part
at a world and a property at a world, an object cannot have a part or property simpliciter.
Instead, an object must have a part of a property relative to a certain spatiotemporal region.
Thus, as McDaniel (2006, p. 306) writes, given LRO, ‘objects are literally wholly present at
different possible worlds. And the properties that an object literally has at other possible
worlds are literally the properties that this very same object at our world could have had’.
So, what we see here is that of the atness relation being able to be construed in a variety of
different ways within the LRO framework.
For (d), the notion of ‘absolute actuality’ expresses the fact that actuality is a primitive
(i.e., unanalysable) property that is categorial and absolute. In the pluriverse, there are many
worlds; yet there is (at the least) only one world—our world—that possesses the special
property of being actual.25 Actual entities comprise a fundamental ontological category
by sharing a primitive, non-qualitative property of ‘actuality’, such that it is in virtue of
these entities belonging to that specific category—and possessing that specific property—
that they have a different ontological status to merely possible entities (Bricker 2007). In
other words, actual entities are distinguishable by them possessing the special property of
actuality, which results in a certain region of the pluriverse—the ‘region of actuality’—being
ontologically distinct from another region—the ‘region of the merely possible’—with the
latter not forming a genuine ontological category (Bricker 2006). Moreover, the ontological
status bestowed upon these entities by the property of actuality is had by them in an
absolute manner—in that, contra Lewis, actuality is not relative to the individual. Therefore,
there is an ontological distinction of kind between the actual and the merely possible.
Hence, as Bricker (2001, p. 29) notes, there is thus ‘an absolute fact as to which among all
the possible worlds has been actualized’. Yet, despite actuality being absolute, rather than
relative, actuality is still a contingent notion, due to the fact that a distinction can be made
between what is true of a world and what is true at a world—such that possibility and
necessity are to be interpreted in terms of what is true at a world, rather than what is true
of a world. A property is true of a world, as Bricker (2006, p. 43) writes, ‘when the world
has that property; a property is true at a world when the world represents itself as having
that property’. In most cases, what is true at a world is what is true of that world; however,
in the case of actuality, the two notions of ‘truth of’ and ‘truth at’ a world do not coincide,
in that ‘is actual’ is true at every world, but is true of our world and no other world. Thus, the
absoluteness of actuality is secured by the latter affirmation—a certain world has a special
ontological status that other merely possible worlds do not have—and the contingency of
Religions 2021, 12, 967 19 of 29

actuality is secured by the former affirmation—namely, which specific world is actual is

contingent as any world could be actual.
Now, in dealing with the Humphrey Objection and the Island Universes Objection—
with a focus first on the latter—it is specifically the absoluteness of actuality, and the
inherent contingency of it, that provides a means for one to affirm the possible existence of
island universes as a modal realist—as by affirming the actuality of one world, one can
indeed allow that the actual realm is, in fact, composed of island universes by permitting
more than one world to be actual. In other words, unlike the position expressed by GMR,
LRO allows for there to be a part of actuality that is spatiotemporally and causally isolated
from the part that we, in fact, inhabit. Hence, the possibility of island universes is no issue
for LRO.
Furthermore, it is specifically on the basis of this ‘existing at relation’ that one can
reap the rewards of GMR—namely, the theoretical advantages of reducing the modal
to the non-modal—without adopting counterpart theory and thus facing the Humphrey
Objection—as de re modality can now be analysed within a new theoretical framework.
That is, first, within the LRO framework, the notion of possibility is to be construed as such
through the following biconditional:

x is possibly F ↔ there is a world, w, such that x exists at w and is F at w; x

(13) (De Re-P2 )
exists at w iff x is wholly present at a region R that is itself a part of w.

Second, the notion of necessity can also be construed as such through the following
biconditional:
Religions 2021, 12, x FOR PEER REVIEW 20 of 30
x is necessarily F ↔ for every world, w, x itself exists at w and is F at w; x
(14) (De Re-N2 )
exists at w iff x is wholly present at a region R that is itself a part of w.

According to
According to LRO,
LRO, de de re
re modal
modal claims
claims about
about objects
objects areare thus
thus not
not made
made truetrue by
by facts
facts
about counterparts of the objects in question; rather, they are made true by
about counterparts of the objects in question; rather, they are made true by facts about the facts about the
objects themselves—by the features that these objects literally have
objects themselves—by the features that these objects literally have at other worlds. Withinat other worlds.
Within
the LROthe LRO framework,
framework, some worlds some worlds
within thewithin the are
pluriverse pluriverse aretothus
thus taken havetaken to have
overlapping
overlapping content—and
content—and thus Isolationthus
being Isolation
false—as being
therefalse—as therewexist
exist worlds 1 andworlds
w2 thatwhave1 and objects
w2 that
haveliterally
that objects exists
that literally
at bothexists
worlds,at both
withworlds,
different with
partsdifferent parts and
and properties atproperties
those worlds. at those
For
worlds. For
heuristic heuristic
purposes, wepurposes, we can thus
can thus illustrate illustrate modifications
the important the importantmade modifications made
to the structure
to themap
and structure and by
of reality map of reality
LRO by LRO
as follows as follows
through Figurethrough Figure
5 (where, 5 (where,
again, again, ‘PI’
‘PI’ stands for
stands for
‘possible ‘possible (overlapping)
(overlapping) individual’, individual’,
‘Rn ’ stands for‘Rn‘region
’ standsoffor ‘region
space of ‘W
time’, space time’, for
n ’ stands ‘Wan’
stands forworld’,
‘particular a ‘particular world’, boxes’
‘Merely Possible ‘Merely Possible
represent boxes’
‘merely represent
possible ‘merely possible
category/individuals’,
category/individuals’,
‘Actual (Kind) box’ represents ‘Actual (Kind)
‘the actual world box’ represents ‘the
category/individuals’ actual stands
and ‘Concrete’ world
category/individuals’
for ‘concrete domain’):and 26 ‘Concrete’ stands for ‘concrete domain’):26

Figure 5. Leibnizian Realism with Overlap.

Modal statements are thus now taken to be reducible to worlds and their occupants
(i.e., objects), rather than that of counterparts that are taken to be inhabitants of a world.
Hence, in fulfilling this role, one can thus take objects to not be world bound, and worlds
Religions 2021, 12, 967 20 of 29

Modal statements are thus now taken to be reducible to worlds and their occupants
(i.e., objects), rather than that of counterparts that are taken to be inhabitants of a world.
Hence, in fulfilling this role, one can thus take objects to not be world bound, and worlds
are not isolated; instead, objects are (possibly) multi-located, and worlds can indeed overlap.
Thus, given this, contra the Humphrey Objection, the truth of a modal statement about
Humphrey would have Humphrey, and him alone, as its truthmaker. LRO thus fits with
our pre-theoretic intuitions. Therefore, the central components of the thesis of GMR (now
conceived of as LRO) have now been laid out, and the manner in which these components
work together has been explicated. We will now turn our attention to applying the thesis of
LRO to the task at hand to help show how the traditionalist can further elucidate the nature
of Theism so as to provide a means to ward off the Theism Dilemma and the Creation
Objection.

3.3. Theistic Modal Realism

In the Theistic OP framework, God has two ways of being: an abstract way of being
(∃a ) and a concrete way of being (∃c ). In God’s abstract way of being, he exists as a
simple, timeless, impassible and immutable entity, and in God’s concrete way of being, he
exists as a simple, temporal, passible and mutable entity. This is the ontological strategy
provided by the thesis of Theistic OP that enables one to deal with the Theism Dilemma.
However, more can be said here by utilising the metaphysical thesis of modal realism,
which, in combination with Theistic Ontological Pluralism, we can term Theistic Modal
Realism (hereafter, Theistic MR). In Theistic MR—which adopts the version of modal realism
that was previously termed LRO (rather than that of Lewis’ GMR)—the ‘pluriverse’, i.e.,
the totality of metaphysical reality and largest domain of quantification, is categorisable
into three fundamental ontological categories: possible individuals, impossible individuals
and non-individuals.27
Within the framework of Theistic MR, we now associate God’s abstract way of being,
which was previously detailed, with the non-individual category, and God’s concrete way of
being, which was also previously detailed, now with the possible individual category.
Focusing now on the first association made within the Theistic MR framework: God’s
abstract way of being with the non-individual category, God has one way of being in
which he exists within the domain of abstract entities—that is, God’s mode of being is
him existing with the status of an abstract entity. More precisely, within the pluriverse, the
domain of abstract entities includes the category of non-individuals, with the instances
of this category each existing at the standpoint of a world—where an entity exists from the
standpoint of a world if, as noted previously, it ‘belongs to the least restricted domain that
is normally . . . appropriate in evaluating the truth at that world of quantifications’.28
God, in his abstract way of being, does not exist wholly or partly at any world—
and thus is not conceived of within this mode of existence as a possible or impossible
individual. Rather, as with other necessary abstract entities (i.e., pure sets), God exists from
the standpoint of every world. That is, within the framework of Theistic MR, a traditionalist
can thus take God to be among the objects that exist from the standpoint of each world.
God has the same ontological status as abstract entities—without being like these objects in
all respects.29
In other words, God has the same status as (some) abstract entities qua existing from
the standpoint of every world, which thus results in him—in this specific way of being—
being an object that does not bear properties and is outside of space and time altogether.
More fully, as an entity that exists from the standpoint of every world, God, in this specific
mode of being, is not a spatiotemporal object, which entails the fact of him being a simple,
timeless, immutable and impassible entity. As a non-spatiotemporal object that exists
from the standpoint of a world (rather than at a world), God is, first, not composed of
proper (metaphysical parts)—in the sense of him instantiating properties—as properties
are indexed to regions of spacetime.30
Religions 2021, 12, 967 21 of 29

That is, as God, in this particular way of being, does not occupy regions of space-
time (by not existing at a world), he does not instantiate any properties—essential or
non-essential. Instead, God is numerically identical to each ‘attribution’ that is made of
him—with these attributions (such as being omnipotent, omniscient, and perfectly good) not
designating any type of ‘property’.31
Thus, God, in this specific way of being, is an entity that is not composed of proper
(metaphysical parts), which is to say that he is a simple entity. Second, as God, within this
mode of existence, does not exist at a world, he would exist without temporal succession,
location and extension—as these would be features had by an occupant of a spatiotemporal
region of a given world (and not those of an entity that exists outside of a world). God
would thus be a timeless entity. Third, as God exists at the standpoint of a given world
solely with other entities that are taken to be abstract—and thus are causally inert—it would
not be possible for God to be causally affected by any external entity that exists with him,
and it would not be possible for him to experience any intrinsic or extrinsic change in
relation to them. God would thus be an immutable and impassible entity.
Yet, as noted previously, God has another way of being in which he exists within the
domain of concrete entities. Thus, we can now focus on the second association made within
the Theistic MR framework: God’s concrete way of being with the possible individual
category, where God’s second mode of being is him existing as a concrete object. Within
the pluriverse, this domain would include the category of possible individuals and thus
entities that exist at a world. A world, as previously noted, is a maximally, spatiotemporally
related region of spacetime. God, as with other concrete entities, exists as an occupant of
a spatiotemporal region (rather than as a part of that region). Within the framework of
Theistic MR, a traditionalist can thus also take God, in this specific mode of existence, to be
an entity that exists at every world within the pluriverse. That is, God is wholly present
at specific spatiotemporal regions of all of the worlds that make up the totality of reality,
which results in him—in this specific way of being—being an object that can bear properties
and exists within space and time. More specifically, God exists at a world by there being
a certain region in which he is wholly present at that region, and that region is a part of
that world. Thus, by God existing at a given world, he is, in this specific mode of being, a
spatiotemporal object, which entails the fact of him being a complex, temporal, mutable and
passible entity. As a spatiotemporal object, God is, first, composed of proper (metaphysical
parts)—in the sense of him instantiating properties at the regions that he occupies—as by
God occupying a region of spacetime, one of the properties that God will instantiate is the
property of being an object that occupies a region of spacetime.32 Plausibly, however, this would
not be the only property that God instantiates, as God would have a range of essential
properties (i.e., de re necessary properties) such as omnipotence, omniscience, and perfect
goodness—which, within the framework of Theism MR, would be that of every world w,
having God exist at w (i.e., being wholly present at w), and he being F (e.g., omnipotent,
omniscient, and perfectly good) at w. Importantly, however, God possessing these essential
properties would not be an issue—in the sense of him lacking these essential properties in
his other mode of being—as de re modality is solely applicable to entities existing at worlds
(through it quantifying over worlds); rather than entities that exist from the standpoints of
worlds. Thus, God, in this specific way of being, is an entity that is composed of proper
(metaphysical parts)—and is essentially so—which is to say that he is a complex entity.
Second, as God, within this specific way of being, exists at a world by occupying a region
of spacetime, he will exist with temporal succession, location and extension at the regions
of spacetime that he occupies. God would thus be a temporal entity. Third, as God exists at
worlds with certain other entities,33 God would experience an extrinsic change in relation to
these entities, and would (possibly) experience intrinsic change and be able to be causally
affected by them as well. God would thus be a mutable and a passible entity.
Given all of this, God, in one way of existing, is thus an entity that has an abstract
mode of being (i.e., him existing at the standpoint of every world)—which we can now
re-term this his ‘transcendent mode of being’, due to him existing in a mode of being that
Religions 2021, 12, 967 22 of 29

transcends all worlds. In this transcendent mode of being, expressed by the elite existential
quantifier of ‘∃t ’, God is a simple, timeless, impassable and immutable entity. However,
God, in another way of existing, has a concrete mode of being—which we can now re-term
this his ‘immanent mode of being’, due to him existing in a mode of being that is at a given
world. In this immanent mode of being, expressed by the elite existential quantifier of ‘∃i ’,
God is a temporal, passible and mutable entity. Taking all this into account, we can thus
re-construe (Theism1 ) as follows:

God, the perfect and ultimate source of created reality, is:

(∃t ) in his transcendent way of being: (∃i ) in his immanent way of being:
(a) Simple (a1 ) Complex
(15) (Theism3 )
(b) Timeless (b1 ) Temporal
(c) Immutable (c1 ) Mutable
(d) Impassible (d1 ) Passible

On the basis of (Theism3 ), a traditionalist is thus able to escape the Theism Dilemma
as, on the one hand, they can affirm (2) the CT extension of Theism, which Sacred Tradition
requires, by positing the fact that God is simple, timeless, immutable and impassible,
relative to his transcendent way of being (∃t ). That is, God, in his transcendent way of being,
exists from the standpoint of every world, and thus he does not inhabit a specific world,
and neither does he have a location in time and space, but exists from the standpoint of
all worlds, times and places. A traditionalist can thus affirm, on the one hand, the fact of
God having the four attributes of CT, by him having a way of being in which he transcends
each and every world, and thus he would not be composed, nor would he be located in
space or time, or be able to change and be causally affected. However, on the one hand,
a traditionalist can also affirm (3) the NCT extension of Theism, which Sacred Scriptures
requires, by also positing the fact that God is complex, temporal, mutable and passible,
relative to his immanent way of being. That is, God, in his immanent mode of being, exists
at each and every world by occupying a spatiotemporal region that is part of a world.
Importantly, however, God does not only occupy one world, but as a necessary being,
he is at more than one world by occupying a particular region that is part of one of the
worlds while also occupying a different region that is part of each and every one of the
other worlds within the pluriverse. God, in his immanent mode of being, thus enjoys
multi-location by literally existing at more than one world—namely, him existing at every
world.34 A traditionalist can thus affirm the fact of God lacking the four attributes of CT
(and thus having their contraries) by him having a way being in which he is immanent
within each and every world, and thus he would be an entity that is composed, is located
within space and time, and has the ability to change and also be causally affected.35 A
traditionalist can thus affirm the veracity of Theism and its extensions without falling into
absurdity.36 It will be helpful to now illustrate the central tenets of Theistic MR as follows
through Figure 6 (where, again, ‘G’ stands for ‘God (existing as an overlapping entity)’,
‘Rn ’ stands for ‘region of space time’, ‘Wn ’ stands for a ‘particular world’, ‘Merely Possible
boxes’ represent ‘the merely possible category/individuals’, ‘Actual (Kind) box’ represents
‘the actual world category/individuals’, ‘Concrete (Way)’ stands for ‘concrete domain and
way of being’, ‘Abstract (Way)’ stands for ‘abstract domain and way of being’):
 absurdity. It will be helpful to now illustrate the central tenets of Theistic MR as
through Figure 6 (where, again, ‘G’ stands for ‘God (existing as an overlapping
‘Rn’ stands for ‘region of space time’, ‘Wn’ stands for a ‘particular world’, ‘Merely
boxes’ represent ‘the merely possible category/individuals’, ‘Actual (Kind) box’ rep
Religions 2021, 12, 967 23 of 29
‘the actual world category/individuals’, ‘Concrete (Way)’ stands for ‘concrete dom
way of being’, ‘Abstract (Way)’ stands for ‘abstract domain and way of being’):

Figure 6. Nature of the Pluriverse (ii).

Figure 6. Nature of the Pluriverse (ii).
Theistic MR allows the traditionalist to ward off the Theism Dilemma; however, can
Theistic
the same thing MR allows
be said theCreation
for the traditionalist
Objection?to ward off the Theism
The traditionalist Dilemma;
can answer this howe
question
the same in the affirmative
thing be said by for
them, in aCreation
the similar manner to the method
Objection? noted previously,
The traditionalist can answ
denying the truth of C2. by taking God to not have a real relation to anything ad extra—and
question in the affirmative by them, in a similar manner to the method noted pre
thus God does not begin to be related to creation. However, the reason for making this
denying
denial is now thenottruth of C2.
grounded by the
upon taking God to ofnot
requirements have
divine a real relationwas
simplicity—which to taken
anything ad
and thus
to be an God
ad hoc does not begin
move—rather, to on
it is based bethe
related toGod,
fact that creation. However,
in his transcendent way the reason for
of being,
this
existsdenial
from the isstandpoint
now not of grounded
every world. upon
From the requirements
this standpoint, God ofhas
divine simplicity—wh
the same status
as an abstract entity, and thus in a similar manner to these
taken to be an ad hoc move—rather, it is based on the fact that God, inentities, God does not enter intohis tran
a causal relation—or any other type of relation—with any external entity. In short, from
way of being, exists from the standpoint of every world. From this standpoint, God
the standpoint of every world, God is not related to any other entity, and thus, contra C2,
same
God in status as an abstract
his transcendent entity,
way of being doesand thus to
not begin inbea related
similartomanner
creation. to
Yet,these entities, G
this does
not enterininto
not result a causalpositing
this response relation—or
a God whoanydoes
other nottype
createofand
relation—with any externa
sustain the universe,
In short, from the standpoint of every world, God is not related to anyand
and neither does this response go against our clear intuition of God’s act of creating other ent
sustaining the universe entailing the fact of him being really related to creation. As it is
in God’s immanent way of being—in which God is multiply located in different regions of
spacetime—that God is really related to creation. C2. of the Creation Objection can thus be
answered by making a distinction between the different ways of being in which God exists:
his transcendent way of being (∃t ) and immanent way of being (∃i ). With, on the one hand,
God, in his transcendent way of being, not standing in a real relation to creation—and thus,
God is able to remain immutable and timeless within the specific domain and structure in
which he exists. Yet, on the other hand, God, in his immanent way of being, does stand in a
real relation to creation by him being the initiating and sustaining cause of all other created
reality. The traditionalist can thus continue to affirm the immutability and timelessness
of God, without being subject to the Creation Objection. One can ask, however, how God
in his immanent mode of being can indeed be conceived of as having created ex nihilo
the infinite plurality of worlds that comprise the pluriverse? As, given the Principle of
Plenitude, these worlds are necessarily existing entities, and thus it seems to be the case that
they were not created ex nihilo by any entity whatsoever. In other words, the pluriverse
exists necessarily, and in a manner that is independent of God’s creative activity, which, as
Mullins (2021, p. 93) and Craig (2001, p. 254) state in a related context, seemingly provides
 Religions 2021, 12, 967 24 of 29

an emasculated doctrine of creatio ex nihilo that ‘does not do justice to the biblical data,
which give us clearly to understand that God and the universe do not timelessly co-exist,
but that the actual world includes a state of affairs which is God’s existing alone without
the universe’. Thus, the question that now faces the traditionalist is: are there resources
available within the current metaphysical framework to deal with this issue? I believe that
there is, through taking into account the two classes of entities that comprise the pluriverse:
merely possible entities and actual entities. Within the framework of Theistic MR, both types
of entities exist within the pluriverse; yet, there is a different ontological status between
these types of entities, with actual entities forming a fundamental ontological category by
possessing the absolute property of actuality, and merely possible entities not. Now, in
God’s immanent mode of being, God is related to the merely possible entities by grounding
their existence—where grounding is an asymmetrical, necessitating dependence relation
that links the more fundamental entities to the less fundamental entities.37 Each of the
worlds that comprise the pluriverse is grounded by God—not from the standpoint of that
world but from the specific region of spacetime that God occupies. The merely possible
worlds thus necessarily exist alongside God—in that they did not begin to exist, yet are
still sustained in existence by God grounding them. Nonetheless, despite the necessary
existence of the merely possible worlds, one can still affirm the reality of creation ex nihilo,
in the form of God’s actualisation of one of the merely possible worlds. That is, God,
in his immanent mode, freely chose to actualise a certain world by conferring a special
property on a merely possible world, which transformed this particular world into an actual
world—specifically, by bestowing on it a special ontological status and making it into a
different kind from the merely possible entities. We can provide a final illustration of the
position that is being further here as follows through Figure 7 (where ‘G’ stands for ‘God
(existing as an overlapping entity)’, ‘Rn ’ stands for ‘region of space time’, ‘Wn ’ stands for a
‘particular world’, ‘Merely Possible boxes’ represent ‘merely possible category/individuals’,
Religions 2021, 12, x FOR PEER REVIEW
‘Actual (Kind) box’ represents ‘the actual world category/individuals’, ‘Concrete’ stands for
‘concrete domain’, the ‘black arrows’ represent ‘a necessary grounding relation stemming
from God’ and the red arrow represents ‘the contingent action of actualisation by God’):

Figure7.7.Leibnizian
Figure LeibnizianRealism with Overlap
Realism (ii).
with Overlap (ii).
Prior to this actualisation, God existed alongside the merely possible entities; yet, there
Prior
were no to that
entities thisactually
actualisation, God existed
existed. However, alongside
once God the merely
had actualised a specificpossible
world, entit
new type
athere were of no
entity came into
entities thatexistence—an actual However,
actually existed. world. There is thus
once God a contingency
had actualised a
associated with created reality—a contingency of actuality, rather
world, a new type of entity came into existence—an actual world. than existence. Creation
There is
ex nihilo is thus not the creating of a new world—as each of the merely possible worlds
contingency associated with created reality—a contingency of actuality, rath
existence. Creation ex nihilo is thus not the creating of a new world—as each of the
possible worlds necessarily exists as an entity that is grounded by God—but is ins
creation of a new kind of world, a change in the kind of world from being a merely
Religions 2021, 12, 967 25 of 29

necessarily exists as an entity that is grounded by God—but is instead the creation of a new
kind of world, a change in the kind of world from being a merely possible world to being
the actual world. One thus can affirm the veracity of the doctrine of creation ex nihilo,
even within a metaphysical framework that affirms the necessary existence (but contingent
actuality) of created reality. Given all of this, the notion of Theism has been elucidated
within the framework of Theistic MP, in such a manner as to enable the traditionalist to
affirm the veracity of the CT and NCT extensions of Theism, without falling into absurdity
or being subject to the Creation Objection. The traditionalist can thus remain traditional, yet
contemporary, by holding to a theistic conception of God that is Classical and Neo-Classical.

4. Conclusions
In conclusion, the primary focus of this article was to provide an elucidation of the
nature of Theism so as to uncover a means for a ‘traditionalist’ to ward off the Theism
Dilemma and the Creation Objection. This end was achieved by an explication and
application of the notions of ontological pluralism and modal realism, both of which, in
combination, provide a means for one to affirm a theological synthesis of CT and NCT in
a consistent and intelligible manner—primarily by God being taken to have more than
one way of being: a way of being in which he exists ‘abstractly’ or ‘transcendently’ (i.e.,
from the standpoint of every world) and a way of being in which he exists ‘concretely’
or ‘immanently’ (i.e., existing at all worlds). Thus, the apparently problematic attributes
(and God’s act of creating ‘ex nihilo’) that were associated with the Classical Theistic and
Neo-Classical Theistic extensions of Theism were able to be relativised to these specific
ways of being, which removed any inconsistency and allowed a traditionalist to affirm the
veracity of both extensions of Theism and the sources of authority that these extensions are
built upon.

Funding: This research received no external funding.

Institutonal Review Board Statement: Not applicable.
Informed Consent Statement: Not applicable.
Data Availability Statement: Not applicable.
Conflicts of Interest: The author declares no conflict of interest.

Notes
1 Though this is taken to by Schellenberg to be a catch-all definition of religion, some minor religions and practices might not be
accurately captrued by it—namely, religious beliefs and practices that do not recognise an ultimate reality. Nevertheless, given
the simplicity and overall generality of this deifnition, we will continue to work with it throughout.
2 As God has ‘attributes’ (or ‘characteristics) but these attributes (or ‘characteristics’) are not to be conceived of as ‘properties’,
one can ask what the nature of these entities is? One way is it to conceive of this attributes as ‘aspects’—qualitative differing,
yet numerically identical particular ways that an entity is. Construing these entities in this way enables the primary objections
against the cogency of the notion of metaphysical simplicity to be put to rest—as God is taken to bear (qualitatively differing)
‘divine aspects’, rather than ‘divine properties’, which enables God’s power, knowledge, goodness, etc., to be numerically
identical to him and each other—as aspects are numerically identical to their bearers and one another—whilst still maintaining a
qualitative distinction between them—as aspects qualitatively differ from their bearers and one another. God thus has multiple,
qualitatively differing aspects that are ‘improper parts’ of him (i.e., numerically identical to God) rather than ‘proper parts’ of
him (i.e., numerically distinct from God). For reasons of space, this account will not be further detailed. However, for a further
explanation of this account, see (Sijuwade 2021a).
3 Where to be a God is simply to have the attributes captured by (1).
4 This specific construal of Neo-Classical Theism is represented best by Richard Sijuwade (2021a). An alternative approach was
provided by Charles Hartshorne (1984), who introduced the terminology ‘Neo-Classical Theism’, and took God’s properties to be
entailed by God’s worshipability. Harthsorne, contra Swinburne, adamantly opposed the idea that properties rightly predicated
of God are entailed by God’s possession of omnipotence. However, due to the influence and plausibility of Swinburne’s approach,
we will continue to utilise his approach to further elucidate the notion of Neo-Classical Theism.
5 However, not every proponent of NCT will take God to be empathetic in this specific way.
Religions 2021, 12, 967 26 of 29

6 Probably the most famous argument provided by Mullins against the consistency of CT is the Modal Collapse argument. For an
explanation of this argument, see (Mullins 2021, pp. 94–96). For two helpful responses to this argument, see (Tomaszewski 2019)
and (Schmid 2021).
7 Mullins also notes that the affirmation of creation ex nihilo by CT was also to help distinguish the cosmogony of CT from other
cosmogonies that are found within other worldviews (such as panentheism).
8 An additional way that one could find their way out of the Theism Dilemma would be to question the correctness of the position
that Sacred Tradition does conceive of God’s nature in the manner expressed by (1) and/or Sacred Scripture does conceive of
God’s nature in the manner expressed by (2). That is, maybe Sacred Tradition does not teach that God is, in fact, simple, timeless,
immutable and impassible. Additionally, maybe Sacred Scripture does not teach that God is, in fact, complex, temporal, mutable
and passible. Denying that the sources of authority that are affirmed by the traditionalist teach a CT conception of God or a NCT
conception of God is indeed a possible way to deal with the Theism Dilemma, but it is not a path that is advised, given that
the consensus by scholars working on the issue is that of, on the one hand, the CT conception of God is the traditional teaching
concerning the nature of God—with the NCT conception being a recent development in the tradition. And, second, that the
NCT position expressing the central tenets of the doctrine of God found within Sacred Scripture—with the CT conception solely
expressing the philosophical presuppositions of its adherents (Boyd 2000, p. 24). One would thus need a good reason to doubt
the present consensus on this issue.
9 An additional benefit that will be noted later is that of the current proposal also being able to provide a ‘deflation’ or ‘reduction’
of these extensions as well—more on this below.
10 Throughout this section and the subsequent sections, I will alternate between the terms ‘ways of being’, ‘modes of being’,
‘manners of existence’ and ‘kinds of being’, etc., without any change in meaning.
11 The following construal of OP is a basic statement that is subject to certain counterexamples. However, as this statement captures
the core tenets of the view, the more complex statement of OP featured in (Turner 2020, pp. 185–88) will not be included.
Furthermore, for an argument in favour of the sufficiency of this statement, see (Spencer 2012, pp. 912–14).
12 The assumption of the possible existence of abstract and concrete entities will be of great importance in furthering the thesis of
this article—more on this below.
13 Despite the distinction between the different ontological structures, this does not mean that entities within those domains cannot
overlap. The possibility of this type of overlap will be important for the thesis that will be argued for below. For an explanation
of this possibility, see (McDaniel 2009, pp. 313–14).
14 This point is very important, as the most influential objection raised against OP is that of Trenton Merricks’ (2019) objection that
raises a dilemma for the proponent of OP who does not affirm the reality of generic existence.
15 Within the field of modal metaphysics, this thesis is termed a possibilist theory, which is one that takes there to exist merely
possible entities that are strictly non-actual. The qualifier ‘Genuine’ is used here to distinguish the type of modal realism featured
in the following section from the more prevalent actualist versions associated with with Plantinga (1974) and Robert Adams
(1974)—each of which conceives of the nature of a possible world as an abstract object that does not ‘genuinely’ exist—with the
‘actual world’ being the only possible world that does exist within this framework. Nevertheless, in the next section I will be
taking the term ‘genuine modal realism’ and the term ‘modal realism’ to be synonymous, and thus I will be alternating in the use
of these terms without any change in meaning.
16 As there are no ‘impossible worlds’ within Lewis’ metaphysics, one can refer to a ‘possible’ world simply as a world.
17 More on world-boundness below.
18 A similar account can be provided for the modal operator ‘it is necessary that’.
19 However, as worlds do not overlap in the GMR framework, this principle is to be understood in terms of intrinsic duplication—a
given world is composed of duplicates of the entities that are brought together from other worlds.
20 In the case that one is not persuaded by Lewis concerning the importance of the pragmatic virtues of a theory in establishing
truth value of GMR (i.e., belief in concrete worlds), Bricker (2007, pp. 120–22) has provided two interesting non-pragmatic
arguments: a ‘truthmaker argument’ (i.e., given that possibilia require truthmakers, (concrete) worlds are the only entities that can
fulfil that truthmaking role) and an ‘argument from intentionality’ (i.e., given that our intentional states about possibilia must
stand in relation to relata that exist in reality, (concrete) worlds are the only entities that can be these relata). Bricker believes that
these two arguments provide one with good reason to favour GMR over its rivals and establish a foundation for belief in the
existence of concrete worlds.
21 The primary way that Lewis (1986) shows that the cost of one accepting the existence of an infinite plurality of worlds is affordable
is by responding to eight important objections that have been raised against his theory in the literature and then arguing that the
alternative theories all themselves face important objections. For a helpful summary of these responses given by Lewis, see
Bricker (2007).
22 One might ask why we have spent quite a bit of time unpacking the nature of Lewis’ GMR, only to abandon most of its central
tenets. The primary reason for this is to allow one to understand the key differences between Lewis’ version of modal realism
and the other versions that are on offer, and how the latter versions are still ‘Lewisian’ by retaining some of the central tenets,
whilst being rendered as plausible and defensible theses by jettisoning the problematic ones. This jettisoning of the problematic
Religions 2021, 12, 967 27 of 29

tenets of Lewis version of modal realism is indeed important, given that Lewis’ GMR, and not the notion of GMR per se, is not
widely accepted in contemporary metaphysics.
23 McDaniel (2006) provided a different conception of the nature of a world—where a world is a collection of tropes, rather than
a collection of spacetime regions. McDaniel provided this modification because he believed that the former view faces some
important objections. Nevertheless, this article will continue to work with the conception of a world as a collection of spacetime
regions, due to the ease in explicating this view compared with that of the newer view—with it being noted here, however, that
the central argument of this article is also applicable to McDaniel’s newer view as well.
24 An important question to ask is: what does it mean for an object to be wholly present at a region? McDaniel does not answer
this question; however, Gilmore (2018, §2) has provided a helpful characterisation of the notion of being wholly present (or,
what he terms, being ‘exactly located’) where entity x is wholly present [exactly located] at a region y if and only if x has (or has-
at-y) exactly the same shape and size as y and stands (or stands-at-y) in all the same spatial or spatiotemporal relations to other
entities as does y. At the heart of this conceptualisation of the notion of being wholly present (or exactly located) is the fact of
objects inheriting the same properties and relations of the regions that they are wholly present at—for example, small spheres are
wholly present at small spherical regions and share all of the properties and relations of these regions; large cubes are wholly
present at large cubical regions and share all of the properties and relations of these regions, etc. For a further characterisation of
this notion, see (Gilmore 2018).
25 Interestingly, Bricker (2006, p. 65) is open to there being more than one actual world but proceeds to explicate the position
detailed here within a ‘one actual world’ framework. We shall follow suit.
26 For clarity, the impossible individual category has been suppressed in this image.
27 However, in proceeding forward, we will take there to exist solely two categories: possible individuals and non-individuals,
given that the second category does not play a role in the theistic framework being developed.
28 Cameron (2009) was the first individual to identify God as a non-individual that exists from the standpoint of every world,
with Almeida (2017a, 2017b) further developing Cameron’s position. The following proposal, however, is not subject to the
criticisms that have been raised against this identification by Paul Sheehy (2009) and Matthew Collier (2019), as, first, the notion
of Isolation is not present in this version of modal realism, and, second, God is not taken to be causally related to creation from
this standpoint (or way of being)—both of which they believe leads to modal collapse. Rather, in this version of modal realism,
worlds are indeed causally related, and it is in God’s other way of being: as a possible individual that exists at a world, that God
is ‘causally related’ to created reality, and thus there is no possibility of modal collapse.
29 This is important as God is not identified in this framework as an abstract entity, but simply as an entity that has the same
status of an abstract entity—namely, existing from the standpoint of a world. Collier (2021 p. 59) has helpfully shown that it is
not necessary (or sufficient) for an entity to be an abstract entity (with all the features of it), simply because it exists from the
standpoint of a given world, as Lewis (1986, p. 83) himself allows impure sets to exists at a world—and not from the standpoint of
a world—yet, these entities are abstract rather than concrete entities.
30 God, in this mode of existence, would also not be composed of ‘spatial’ and ‘temporal’ parts by not being an occupant of a
spatiotemporal region.
31 As noted previously, these entities are to be conceived of as aspects.
32 God, in this mode of existence, would also be composed of ‘spatial’ and ‘temporal’ parts by being an occupant of a spatiotemporal
region. Hence, God, in this specific mode of being, would thus be a material object. Furthermore, God would be wholly present
at a region of a particular world if and only if God has (or has-at-that region) exactly the same shape and size of that region and
stands (or stands-at-that region) in all the same spatial or spatiotemporal relations to other entities as does that specific region—in
short, God shares all of the properties and relations of the regions that he occupies. Both of these suggestions—that God is a
material object and is wholly present in this specific way—might sound peculiar and novel, but we can understand the nature
of God’s materiality and presence within a region of spacetime as corresponding to that of Hudson’s (2009) and Pruss’ (2013)
ubiquitous entension account of omnipresence, which takes God to stand in location relation in a fundamental sense, which results
in him being a material object—through entending the region in which he is located. For a detailed discussion of this account of
omnipresence, and a historical modification of it in light of the ‘materialist’ implications of the account, see (Inman 2017).
33 This is not to say that all the worlds that God exists at would have other entities existing at them. All that is needed for this point
to stand is that of the fact that some of these worlds have other entities as inhabitants.
34 The possibility of God being multiply located, rather than having counterparts in other worlds, wards off the plurality of Gods
objection that has plagued most accounts of Theistic MR. Precisely why this issue has plagued these accounts, is due to the fact
that the proponents of other versions of Theistic MR have focused solely on Lewis’ account of modal realism, rather than utilising
different versions of modal realism that are available. For an explanation of the plurality of God objection, see (Sheehy 2006,
pp. 319–20, 2009) and (Collier 2019, pp. 335–42).
35 It is important to note that in the framework of Theistic MR, the notions of ‘CT’ and ‘NCT’ are not correctly taken to be extensions
of Theism simpliciter (as they have regularly been taken to be in the contemporary analytic theology literature). Rather, these
two notions are now, within Theistic MR, ‘reduced’ to the attributes of transcendence and immanence that are had by God within
this metaphysical framework. That is, God is taken to exist in a transcendent way—which allows him to be conceived of in a
Religions 2021, 12, 967 28 of 29

CT manner (i.e., as simple, timeless, immutable and impassible), and God is taken to exist in an immanent way—which allows
him to be conceived of in a NCT manner (i.e., as complex, temporal, mutable and passible). Theistic MR thus provides a
way for a much-needed deflation of these two extensions of Theism to be made—which will further the unity between the
adherents of CT and NCT. Moreover, by focusing on the attributes of transcendence and immanence, we can now have a
more precise understanding of these often-mystifying attributes—where transcendence is usually understood as ‘God being
beyond the universe’ and immanence is usually understood as ‘God being within the universe’—which, together, seem to
be inconsistent. However, now within the framework of Theistic MR, transcendence is simply that of ‘God existing beyond
the concrete worlds’—from the standpoint of those worlds—and immanence is simply that of ‘God existing at the concrete
words’—by being wholly present within the regions of those worlds.
36 Interestingly, the means of dealing with the Theism Dilemma that has been provided by Theistic MR is similar to the method that
has been proposed by a number of Christian thinkers to deal with the incompatible attributes that are rightly predicated of Jesus
Christ. That is, the notion of ‘reduplicative predication’, where the apparently incompatible attributes (e.g., being omnipotent and
being limited in power)—each of which is rightly predicated of Christ—are relativised to each of Christ’s natures (i.e., Christ is
omnipotent relative (qua) his divine nature and is limited in power relative (qua) his human nature). The relativisation method
proposed by Theistic MR seeks to provide a similar means of dealing with the Theism Dilemma, and thus the current proposal—
from a methodological perspective—is not without some formal precedent in Church history. For a helpful introduction to the
method of reduplicative predication in a Christological context, see (Pawl 2016, pp. 117–18). Furthermore, one can also see a
similar approach featured in the work of Charles Hartshorne (1967), where he defends the notion of ‘bi-polar’ theism based on
the metaphysics of Alfred North Whitehead—hence, we thus have further precedent for the present proposal in wider religious
history as well. For a further detailed unpacking of this notion of bi-polar theism, see (Hartshorne 1967, 1984).
37 For more on the nature of grounding within a general context, see (Schaffer 2016). Additionally, for an explication of the notion
of grounding within a theistic context, see (Sijuwade 2021b).

References
Adams, Robert. 1974. Theories of Actuality. Nous 8: 211–31. [CrossRef]
Almeida, Michael. 2017a. Theistic Modal Realism I: The Challenge of Theistic Actualism. Philosophy Compass 12: 1–13. [CrossRef]
Almeida, Michael. 2017b. Theistic Modal Realism II: Theoretical Benefits. Philosophy Compass 12: 1–14. [CrossRef]
Bernstein, Sara. 2021. Ontological Pluralism about Non-Being. In Non-Being: New Essays on the Metaphysics of Nonexistence. Edited by
Sara Bernstein and Tyron Goldschmidt. Oxford: Oxford University Press, pp. 1–16.
Boyd, Gregory A. 2000. God of the Possible: A Biblical Introduction to the Open View of God. Grand Rapids: Baker Books.
Bricker, Phillip. 2001. Island Universes and the Analysis of Modality. In Reality and Humean Supervenience: Essays on the Philosophy of
David Lewis. Edited by Gerherd Preyer and Frank Siebelt. Oxford: Rowman & Littlefield, pp. 27–56.
Bricker, Phillip. 2006. Absolute Actuality and the Plurality of Worlds. Philosophical Perspectives 20: 41–76. [CrossRef]
Bricker, Phillip. 2007. Concrete Possible Worlds. In Contemporary Debates in Metaphysics. Edited by Theodore Sider, John Hawthorne
and Dean W. Zimmerman. Oxford: Blackwell, pp. 111–34.
Builes, David. 2019. Pluralism and the problem of purity. Analysis 79: 394–402. [CrossRef]
Cameron, Ross. 2009. God exists at every (modal realist) world: Response to Sheehy. Religious Studies 45: 95–100. [CrossRef]
Caplan, Benjamin. 2011. Ontological Superpluralism. Philosophical Perspectives 25: 79–114. [CrossRef]
Collier, Matthew J. 2019. God’s necessity on anselmian theistic genuine modal realism. Sophia 58: 331–48. [CrossRef]
Collier, Matthew J. 2021. God’s place in the world. International Journal for Philosophy of Religion 89: 43–65. [CrossRef]
Craig, William L. 2001. God, Time, and Eternity. Illnois: Kluwer Academic.
Creel, Richard E. 1997. Immutability and Impassibility. In A Companion to Philosophy of Religion. Edited by Phillip L. Quinn and Charles
Taliaferro. Oxford: Blackwell, pp. 322–28.
Davies, Brian. 2004. An Introduction to the Philosophy of Religion: Third Edition. Oxford: Oxford University Press.
Dolezal, James. 2011. God without Parts. Oregon: Pickwick Publications.
Dolezal, James. 2017. All That Is in God: Evangelical Theology and the Challenge of Classical Christian Theism. Grand Rapids: Reformation
Heritage Books.
Gilmore, Cody. 2018. Location and Mereology. Stanford Encyclopedia of Philosophy. Available online: https://plato.stanford.edu/
entries/location-mereology/ (accessed on 6 August 2021).
Hartshorne, Charles. 1967. A Natural Theology for Our Time. Illinois: Open Court.
Hartshorne, Charles. 1984. Omnipotence and Other Theological Mistakes. Albany: State University of New York Press.
Hudson, Hud. 2009. Omnipresence. In The Oxford Handbook of Philosophical Theology. Edited by Thomas P. Flint and Michael C. Rea.
Oxford: Oxford University Press, pp. 199–216.
Inman, Ross. D. 2017. Omnipresence and the location of the immaterial. In Oxford Studies in the Philosophy of Religion. Edited by
Jonathan L. Kvanvig. Oxford: Oxford University Press, vol. VIII, pp. 168–206.
Kripke, Saul. 1980. Naming and Necessity. Oxford: Blackwell.
Lewis, David K. 1983. Postscripts to “Counterpart Theory and Quantified Modal Logic”. Philosophical Papers. Oxford: Oxford University
Press, vol. VI, pp. 40–46.
Lewis, David K. 1986. On the Plurality of Worlds. Oxford: Blackwell.
Religions 2021, 12, 967 29 of 29

Lewis, David K. 1999. Anselm and Actuality. In Particulars, Actuality, and Identity over Time. Edited by Michael Tooley. New York:
Routledge, vol. VIV, pp. 283–97.
McDaniel, Kris. 2004. Modal Realism with Overlap. Australasian Journal of Philosophy 82: 137–52. [CrossRef]
McDaniel, Kris. 2006. Modal Realisms. Philosophical Perspectives 20: 303–31. [CrossRef]
McDaniel, Kris. 2009. Ways of Being. In Metametaphysics: New Essays on the Foundations of Ontology. Edited by Davd Chalmers, David
Manley and Ryan Wasserman. Oxford: Oxford University Press, pp. 290–319.
McDaniel, Kris. 2010. A Return to the Analogy of Being. Philosophy and Phenomenological Research 813: 688–717. [CrossRef]
McDaniel, Kris. 2017. The Fragmentation of Being. Oxford: Oxford University Press.
Merricks, Trenton. 2019. The only way to be. Noûs 53: 593–612. [CrossRef]
Mullins, Ryan. T. 2021. Classical Theism. In T&T Handbook of Analytic Theology. Edited by James M. Arcadi and James T. Turner.
London: T&T Clark, pp. 85–100.
Pawl, Timothy. 2016. In Defense of Conciliar Christology: A Philosophical Essay. Oxford: Oxford University Press.
Peckham, John. 2019. The Doctrine of God: Introducing the Big Questions. London: T&T Clark.
Plantinga, Alvin. 1974. The Nature of Necessity. Oxford: Oxford University Press.
Pruss, Alexander. 2013. Omnipresence, Multilocation, the Real Presence and Time Travel. Journal of Analytic Theology 1: 60–72.
Sanders, Fred. 2017. Classical Theism Makes a Comeback. Didaktikos 1: 47.
Schaffer, Jonathan. 2016. Grounding in the image of causation. Philosophical Studies 173: 49–100. [CrossRef]
Schellenberg, Jonathan. L. 2005. Prolegomena to a Philosophy of Religion. New York: Cornell University Press.
Schmid, Joseph. C. 2021. The fruitful death of modal collapse arguments. International Journal for Philosophy of Religion, 1–20. [CrossRef]
Sheehy, Paul. 2006. Theism and modal realism. Religious Studies 42: 315–28. [CrossRef]
Sheehy, Paul. 2009. Reply to Cameron. Religious Studies 45: 101–4. [CrossRef]
Sider, Theodore. 2011. Writing the Book of the World. Oxford: Oxford University Press.
Sijuwade, Joshua. R. 2021a. Divine Simplicity: The Aspectival Account. European Journal for Philosophy of Religion, 1–37. [CrossRef]
Sijuwade, Joshua. R. 2021b. Building the monarchy of the Father. Religious Studies 1–20. [CrossRef]
Spencer, Joshua. 2012. Ways of Being. Philosophy Compass 7: 910–18. [CrossRef]
Stump, Eleonore. 2016. The God of the Bible and the God of the Philosophers. Wisconsin: Marquette University Press.
Swinburne, Richard. 1994. The Christian God. Oxford: Oxford University Press.
Swinburne, Richard. 2016. Coherence of Theism: Second Edition. Oxford: Oxford University Press.
Tomaszewski, Christopher. 2019. Collapsing the modal collapse argument: On an invalid argument against divine simplicity. Analysis
79: 275–84. [CrossRef]
Turner, Jason. 2010. Ontological Pluralism. Journal of Philosophy 107: 5–34. [CrossRef]
Turner, Jason. 2012. Logic and Ontological Pluralism. Journal of Philosophical Logic 41: 419–48. [CrossRef]
Turner, Jason. 2020. Ontological Pluralism. In The Routledge Handbook of Metametaphysics. Edited by Ricki Bliss and James T. M. Miller.
New York: Routledge, pp. 184–95.
Zagzebski, Linda. 2013. Omnisubjectivity: A Defense of a Divine Attribute. Wisconsin: Marquette University Press.