Modal ontological argument
These are in progress and subject to revision. Feedback welcomed.
Last revised: 01/31/25
The subpoints provide further clarifying thoughts or definitions.
I offer two variants of the modal ontological argument.
First argument
Simplified
Definition: TETWNGCBC is that entity than which nothing greater can be conceived.
A contested entity with a nature that fulfills or satisfies the description of being TETWNGCBC (G) possibly instantiates. (Steps #1-10)
If true, the absence of G is metaphysically impossible in all comprehensive possible ways reality could be or is true, including the way reality actually is. (Steps #11-14)
G has or exemplifies all compossible greatness-making attributes, including intellect. (Steps #15-19)
If true, God exists. (Step #20)
God exists.
Full argument
Definition: TETWNGCBC is that entity than which nothing greater can be conceived.
If being self-sufficient and lacking deficiencies and dependence on the fulfillment or relief of any specific circumstance or state of affairs (B) constitutes greatness, then a contested entity with a nature that fulfills or satisfies the description of being TETWNGCBC possibly instantiates if it exemplifies B.
This argument employs metaphysical modality by considering what is possible or necessary across all comprehensive ways reality could be. Metaphysical possibility applies to an entity or state of affairs that (a) is free from logical contradiction and (b) conforms to eternal or necessary truths, such as the requirement that a triangle must have three sides and cannot have four.
Let B denote “being self-sufficient and lacking deficiencies and dependence on the fulfillment or relief of any specific circumstance or state of affairs.”
Let G denote "a contested entity with a nature that fulfills or satisfies the description of being TETWNGCBC."
“Contested entity” means an entity whose ontological status as to whether it actually exists (or a referent can be described as it) is in dispute or being argued.
“Constitutes” means to be considered as something.
"Exemplifies" means to illustrate or demonstrate a quality or characteristic in the same sense that a unicorn exemplifies or possesses the defining characteristic of one-hornedness, even if unicorns are not real.
“Possibly instantiates” means that there is a possible way reality could be in which G is present.
The intent of this conditional premise is to establish a symmetry breaker for common counter-modal arguments that presumes God (or some entity that entails as much) possible doesn’t instantiate. Meeting this condition of exemplifying B gives credence the metaphysical possibility and through reductio it shows that the premise “G possibly instantiates” satisfies the condition of exemplifying B. Meanwhile, the premise “G possibly doesn’t instantiate” will not satisfy the condition of exemplifying B. In order to be a valid symmetry breaker, it needs to be the case that G’s possibly instantiation meet the condition, while G’s possible non-instantiation would not, which this inference achieves.
If an entity fails to meet these condition of exemplifying B, it cannot be TETWNGCBC, because something greater (i.e., an entity that does meet these criteria or that is not subject to them at all) is conceivable. This doesn’t define existence or necessary existence in all possible worlds as part of the definition of a TETWNGCBC. Rather, it derives its possible instantiation through inference via reductio and then a further inference on #13 to conclude its necessary instantiation.
An entity like an island, pizza or proposition than which nothing greater can be conceived inherently rely on other factors or causes, like space-time or the facts of the matter to exist, so an island, pizza or proposition cannot have or exemplify B, which cuts off those parodies since they fail to meet a necessary condition of greatness (self-sufficiency and lack of dependence on external factors). As great as any conception of an island or pizza may be, neither could exemplify B.
B constitutes greatness.
"Greatness" is the quality of pursuing or fulfilling one's nature with the highest degree of excellence. This doesn’t require committing that things have a teleological or intrinsic purpose. A rock has properties that describes what it is (it has mass, occupies space, and is composed of minerals), and it has a nature. By “nature,” I mean a thing’s inherent disposition or natural inclination based on what it is. So a certain type of rock may be disposed for a kind of hardness, stability or heat-resistance, and a particular rock could express those characteristics in better or worse degrees. For example, the essence of a human being is rationality, and the nature of a human being is to act rationally and seek truth even if they sometimes don't do so.
This premise is grounded in the idea that self-sufficiency reflects a higher degree of intrinsic greatness because it means a thing can pursue its inherent disposition or natural inclination without interruption under all possible conditions.
Deficiencies and dependence imply a limitation on the way in which one’s nature is pursued or fulfilled, and greater entities are, by definition, less limited, so an entity would be greater still if it were not limited at all.
An omnibeing that is also omnimalevolent (all evil) and a God who knows all but one true proposition are not greater than can be conceived since evil (the absence of good that is due) and lack of knowledge are deficiencies.
Therefore, G possibly instantiates if it exemplifies B. (Modus Ponens from #2-3)
Assume for reductio that G does not exemplify B.
If a contested entity does not exemplify B, then it has an inherent contradiction or reason, principle, factor, or cause external to its own nature that prevents or negates its actual presence in a comprehensive possible way reality could be or is true.
This follows because if something's presence is not contingent on external conditions, then the only relevant factors determining whether it instantiates must arise from its own nature.
Therefore, assuming G does not exemplify B, then it has an inherent contradiction or reason, principle, factor, or cause external to its own nature that prevents or negates its actual presence in a comprehensive possible way reality could be or is true. (Modus Ponens from #4-5)
If a contested entity has an inherent contradiction or a metaphysically necessary reason, principle, factor, or cause that prevents or negates its actual presence in a comprehensive possible way reality could be or is true, then it is without a nature that fulfills the description of being than which nothing greater can be conceived.
If there were some self-contradiction or explanation that actively kept it from instantiating in comprehensive possible way reality could be or is true, then an entity that isn't actively blocked would be in a better position to pursue or fulfill its nature (all else being equal).
Therefore, if G does not exemplify B (assumed), then G (a contested entity with a nature that fulfills or satisfies the description of being TETWNGCBC) is without a nature that fulfills or satisfies the description of being TETWNGCBC, which is a self-contradiction. (Modus Ponens #6-7)
Therefore, the assumption that G does not exemplify B is false, which entails G exemplifies B. (Reductio from #4-8)
Therefore, G possibly instantiates. (Modus Ponens from #3 and #9)
If true, then in virtue of B, the absence of G is impossible in at least one comprehensive possible way reality could be or is true.
An entity that exemplifies B, like G, is self-sufficient and doesn't depend on external states of affairs, so its own self is sufficient for its existence, and nothing can prevent or interrupt it from instantiating. If an entity’s nature is such that nothing can prevent it from instantiating, then its presence must be continuous rather than temporary. Otherwise, something must explain why it stops and starts, which contradicts its self-sufficiency. If its were such that G only existed for some period of time, for example, then that means G is subject to the passage of time, which would contradict its self-sufficiency. If it stopped and started randomly and without reason, then it lacks control of itself, contradicting its self-sufficiency and independence from the relief of any specific circumstance or state of affairs (including random probability). If a self-sufficient entity could decide to cease existing, the that would mean its own nature is not sufficient for its existence and is dependent upon its state of mind, contradicting its self-sufficient nature.
Therefore, the absence of G is impossible in at least one comprehensive possible way reality could be or is true. (Modus Ponens on #10-11)
If a state of affairs is metaphysically impossible in a comprehensive possible way reality could be, then it is metaphysically impossible in all possible ways reality could be or is true, including the way reality actually is.
Therefore, the absence of G is metaphysically impossible in all comprehensive possible ways reality could be or is true, including the way reality actually is. (Modus Ponens on #12-13)
If an attribute is necessary for maximizing the value of other greatness-making attributes, then it is a greatness-making attribute.
Intellect and will are attributes necessary for maximizing the value of other greatness-making attributes.
Therefore, intellect and will are greatness-making attributes. (Modus Ponens on #15-16)
If a contested entity lacking a greatness-making attribute would be inferior to one with that attribute, then G has or exemplifies all compossible greatness-making attribute, including intellect and will.
Therefore, G has or exemplifies all compossible greatness-making attributes, including intellect and will. (Modus Ponens on #17-18)
If a contested entity has or exemplifies all compossible greatness-making attributes, including intellect and will, is present in all comprehensive possible ways reality could be or is true, including the way reality actually is, is what people mean by God, then God exists.
Therefore, God exists. (Modus Ponens on #19-20)
Second argument
A contested entity with a nature that fulfills or satisfies the description of being TETWNGCBC (E) possibly instantiates.
If true, E exist in all metaphysically possible worlds.
Therefore, E exist in all metaphysically possible worlds, which entails it is metaphysically necessary. (Modus Ponens on #1-2)
If a property enables the maximization of other greatness-making qualities, then it is itself a greatness-making property.
Intellect is a property that enables the maximization of other greatness-making qualities.
Therefore, intellect is a greatness-making property. (Modus Ponens on #4-5))
If an entity lacking a greatness-making property would be inferior to one with that quality, then E must possess that greatness-making property.
Therefore, E must possess intellect. (Modus Ponens on #6-7)
If an entity with every great-making property (including intellect) existing in every logically possible world is what people mean by God, then God exists in our actual world.
Therefore, God exists. (Modus Ponens on #8-9)