Can Logic Alone Get You to God?

1. Introduction

The ontological argument is one of the most ambitious arguments in all of philosophy. Unlike cosmological or design arguments, it does not begin with the observed world. It begins with thought itself. More precisely, it attempts to show that the existence of God follows from reason, concept, and modal structure rather than from empirical evidence. In that sense, ontological arguments are paradigmatic a priori arguments: they seek to derive the existence of God from premises that are supposed to be analytic, necessary, or rationally accessible independently of observation.¹

The classical version of the argument, associated with Anselm of Canterbury, is often criticized for appearing to treat existence as a perfection that can simply be added to a concept. That criticism becomes especially sharp when one raises parody cases such as the "perfect island" or, in a modernized form, Superman. If the argument can prove God, why could it not also prove the existence of any sufficiently grand fictional entity? That objection is serious, and it reveals a genuine weakness in simpler formulations of the argument.¹

However, the strongest contemporary forms of the ontological argument do not rely on the crude claim that mere existence is an additional greatness-making property. Instead, they employ modal logic — the logic of possibility and necessity — and define God as a being whose greatness includes necessary existence. On that reconstruction, the issue is no longer whether one can "define something into existence," but whether the concept of a necessarily existent maximally great being is coherent and metaphysically possible. That is the modern fault line of the debate.¹

The aim of this essay is to present that stronger modal argument in a rigorous but readable form, drawing primarily on Alvin Plantinga's formulation in The Nature of Necessity (1974).² We will clarify why the Superman parody fails, examine the strongest objections — including the reverse ontological argument and the question-begging charge — and show exactly where the real philosophical disagreement lies.

2. Formal Background

We work in a normal modal logic. For the main theorem, we assume the modal system S5, which is the standard framework used in Plantinga-style ontological arguments. In S5, the accessibility relation between possible worlds is an equivalence relation — reflexive, symmetric, and transitive — so that every world is accessible from every other. This means that what is possible or necessary does not vary from world to world.³

It is worth noting that S5 is not universally accepted for metaphysical reasoning. Some philosophers, including Nathan Salmon and the early Saul Kripke, have questioned whether the accessibility relation for metaphysical modality is truly symmetric and transitive.⁴ The argument below depends on S5, and the reader should keep in mind that rejecting S5 is one legitimate way to resist the conclusion.

In modal logic, the relevant operators are the following.

• $\Diamond p$ — It is possible that p.
• $\Box p$ — It is necessary that p.

We also introduce the predicate $MG(x)$ — x is a maximally great being.

The modal framework distinguishes among different kinds of necessity and possibility. Here the relevant notion is metaphysical possibility and necessity — what could or must be the case given the nature of reality — not merely epistemic possibility (what we happen not to know) or practical possibility (what we can bring about). A contingent being exists in some possible worlds but not in others; a necessary being exists in every possible world.³

Two key axioms of normal modal logic will be used explicitly:

• Axiom T: $\Box p \rightarrow p$ — what is necessary is actual. This is the principle that necessity implies truth.
• Axiom S5: $\Diamond \Box p \rightarrow \Box p$ — if it is possibly necessary that p, then it is necessary that p.

Both axioms will be named when invoked.

3. Definitions

Definition 1. Maximal Excellence

A being $(x)$ has maximal excellence in a possible world $(w)$ if and only if, in $(w)$, $(x)$ is omnipotent, omniscient, and morally perfect.

Definition 2. Maximal Greatness

A being $(x)$ is maximally great if and only if $(x)$ has maximal excellence in every possible world.

This is the standard Plantinga-style formulation.² On this definition, maximal greatness already includes necessary existence: a being that failed to exist in some possible world could not possess maximal excellence in that world, and therefore could not be maximally great. The concept of maximal greatness is thus, by construction, the concept of a being that exists necessarily if it exists at all.⁵

4. The Key Premise

Axiom A1. Possibility Premise

$\Diamond \exists x\, MG(x)$ — It is possible that there exists a maximally great being.

This is the substantive premise of the argument. It states that the concept of a maximally great being is metaphysically coherent — that is, that such a being obtains in at least one possible world. The later steps of the argument are largely formal; the deepest philosophical pressure falls here.¹

A crucial point must be flagged immediately: in the modal system S5, this premise is logically equivalent to the conclusion that a maximally great being actually exists. The reason is that the formal machinery of S5 collapses the gap between possible necessary existence and actual necessary existence. This means that anyone who grants the possibility premise has, in effect, already granted the conclusion — and anyone who denies the conclusion must deny the possibility premise. We will return to this issue in Section 12.

5. Structural Principle of Maximal Greatness

Proposition 1. Maximal greatness entails necessary existence

$\exists x\, MG(x) \rightarrow \Box \exists x\, MG(x)$ — If there exists a maximally great being, then necessarily there exists a maximally great being.

Justification

By Definition 2, a maximally great being has maximal excellence in every possible world. But a being that does not exist in some possible world cannot be omnipotent, omniscient, and morally perfect in that world. Therefore, if a maximally great being exists at all, it cannot exist merely contingently; it must exist necessarily. This is exactly the point at which modern modal versions depart from weaker readings of Anselm.⁵

6. First Lemma

Lemma 1. From possible existence to possible necessary existence

$\Diamond \exists x\, MG(x) \rightarrow \Diamond \Box \exists x\, MG(x)$ — If it is possible that there exists a maximally great being, then it is possible that necessarily there exists a maximally great being.

Proof Sketch

Assume $\Diamond \exists x\, MG(x)$. Then there is some possible world $(w)$ in which $\exists x\, MG(x)$. By Proposition 1, in that world $(w)$: $\Box \exists x\, MG(x)$. Hence, since there is a world in which the necessity claim holds: $\Diamond \Box \exists x\, MG(x)$.

QED.

7. Modal Principle of S5

Axiom S5

$\Diamond \Box p \rightarrow \Box p$ — If it is possibly necessary that p, then it is necessary that p.

This is the characteristic principle of the modal system S5. It captures the idea that if some proposition is necessary in at least one possible world, then — given that all worlds are mutually accessible — it is necessary in every world, and hence necessary simpliciter. Plantinga's reconstruction of the ontological argument is standardly presented against this S5 background.¹

8. Second Lemma

Lemma 2. Possible necessary existence yields necessary existence

$\Diamond \Box \exists x\, MG(x) \rightarrow \Box \exists x\, MG(x)$ — If it is possibly necessary that there exists a maximally great being, then it is necessary that there exists a maximally great being.

Proof

Immediate from Axiom S5 by substitution $p := \exists x\, MG(x)$.

QED.

9. Main Theorem

Theorem 1. Existence of a maximally great being

$\exists x\, MG(x)$ — There exists a maximally great being.

Proof

From Axiom A1: $\Diamond \exists x\, MG(x)$ By Lemma 1: $\Diamond \Box \exists x\, MG(x)$ By Lemma 2: $\Box \exists x\, MG(x)$ — Necessarily, there exists a maximally great being. By Axiom T ($\Box p \rightarrow p$): $\exists x\, MG(x)$ — There exists a maximally great being.

QED.

10. Corollary

Corollary 1. God exists

If "God" is defined as a maximally great being, then $\exists x\, God(x)$ — there exists a being that is God.

This follows from Theorem 1 under the identification of God with maximal greatness. The conclusion is thus not reached by empirical observation, but by modal reasoning from the concept of a maximally great being and the possibility premise.¹

It is important to note, as Plantinga himself acknowledged, that this argument does not constitute a proof of God's existence in the sense of compelling rational assent from every reasonable person. What it shows, Plantinga argued, is that belief in God is rational: if the possibility premise is accepted, the conclusion follows with deductive certainty. The question is whether the possibility premise itself commands rational assent.²

11. Why the Superman Parody Fails

A common objection is that the same reasoning could be used to prove the existence of Superman, a perfect island, or any sufficiently impressive fictional entity. However, this objection misses the modal structure of the argument. The modal ontological argument does not proceed from mere greatness to existence. It proceeds from possible necessary existence to necessary existence.¹

Let $S(x)$ denote x is Superman. At most, one may claim $\Diamond \exists x\, S(x)$ — it is possible that Superman exists. But that does not yield $\Diamond \Box \exists x\, S(x)$ — it is possibly necessary that Superman exists.

The reason is philosophically important. Superman is a contingent being. His existence depends on a particular set of background conditions: a certain history, a certain world-structure, a certain chain of events, and certain physical or biological assumptions. In some possible worlds, those conditions obtain; in others, they do not. So even if Superman exists in some worlds, there is nothing in the concept Superman that implies existence in all worlds. Superman may be powerful if he exists, but his existence is not built into the kind of being he is.³

By contrast, the modal ontological argument concerns a being whose very greatness includes necessary existence. That is why the crucial bridge principle $\exists x\, MG(x) \rightarrow \Box \exists x\, MG(x)$ has no analogue in the Superman case. The parody fails not because Superman is insufficiently impressive, but because Superman is the wrong modal kind of being — a contingent being rather than a necessary one.⁵

A stronger parody: the anti-God

The Superman parody is, however, not the strongest version of the objection. A more formidable challenge comes from the concept of a maximally great evil being — a being that is omnipotent, omniscient, and maximally evil in every possible world. Call this being an "anti-God." Unlike Superman, the anti-God does have the right modal structure: if such a being exists at all, it exists necessarily, for the same structural reasons that apply to a maximally great (good) being.⁶

If the possibility premise for the anti-God is just as plausible as the possibility premise for God, then by symmetric reasoning we would conclude that the anti-God necessarily exists as well. But a world containing both a necessarily existent maximally good being and a necessarily existent maximally evil being is arguably incoherent. This means that at most one of the two possibility premises can be true — and the argument itself gives us no principled way to choose between them. The defender of the ontological argument must provide independent reasons for thinking that maximal goodness, rather than maximal evil, is compossible with necessary existence. This is a genuine challenge, and it shows that the possibility premise carries more philosophical weight than it might initially appear.⁶

12. The Strongest Objections

The Superman parody, as we have seen, fails against the modal argument. But several deeper objections do have genuine force. We consider the three most important.

12.1 The Reverse Ontological Argument

Perhaps the single most powerful objection is the reverse ontological argument. Suppose someone holds that it is possible that no maximally great being exists: $\Diamond \neg \exists x\, MG(x)$ — it is possible that there is no maximally great being. By Proposition 1, if a maximally great being exists, it exists necessarily. Equivalently, if it fails to exist, it fails to exist necessarily. So the claim above is equivalent to $\Diamond \Box \neg \exists x\, MG(x)$. By Axiom S5, this yields $\Box \neg \exists x\, MG(x)$ — necessarily, there is no maximally great being.

In other words, the same S5 machinery that drives the ontological argument can be run in reverse. If it is even possible that God does not exist, then God necessarily does not exist. The possibility premise and its negation are on perfectly symmetric logical footing within S5.⁶

This means that the entire debate reduces to a single question: is $\Diamond \exists x\, MG(x)$ true, or is $\Diamond \neg \exists x\, MG(x)$ true? Exactly one of these must be true (they are logically contradictory in S5), but the formal apparatus of the argument provides no way to determine which. The argument is valid, but it cannot establish its own key premise. The real philosophical work lies entirely outside the formal proof.¹

12.2 Conceivability versus Metaphysical Possibility

A second important objection targets the move from "the concept of a maximally great being is coherent" to "a maximally great being is metaphysically possible." These are not the same thing. Many concepts are perfectly coherent — free of internal contradiction — yet describe metaphysical impossibilities. For example, one can coherently conceive of water not being H₂O, but this is metaphysically impossible: water is H₂O in every possible world, as a matter of its essential nature.⁷

The possibility premise of the ontological argument requires not mere conceivability but genuine metaphysical possibility: there must be a possible world in which a maximally great being actually exists with all the relevant properties. Whether we can move from conceivability to metaphysical possibility is one of the deepest open questions in modal epistemology, and the ontological argument does not settle it.⁷

12.3 The Question-Begging Charge

Finally, there is the charge of question-begging, which is perhaps the most philosophically subtle objection. As noted in Section 4, in the modal system S5, the premise $\Diamond \exists x\, MG(x)$ is logically equivalent to the conclusion $\exists x\, MG(x)$. This means that anyone who accepts the possibility premise has already, in effect, accepted the conclusion.⁶

Now, logical equivalence does not automatically make an argument question-begging in the informal sense. It is possible for two logically equivalent claims to differ in their epistemic accessibility — one might be easier to evaluate than the other. Plantinga's defence is precisely this: the possibility premise seems modest and intuitive, while the conclusion seems bold. If one can come to see the possibility premise as plausible on independent grounds, then the argument does real epistemic work even though the premise and conclusion are logically equivalent.²

Whether this defence succeeds depends on whether there are independent reasons to believe that a maximally great being is metaphysically possible. If the only reason to accept the possibility premise is a prior inclination to accept the conclusion, then the argument is indeed circular. But if the possibility premise can be supported by independent considerations — for instance, by arguing that the concept of maximal greatness is internally consistent, or that the burden of proof lies on the one who claims impossibility — then the charge of question-begging may be resisted, at least in part.⁶

13. Philosophical Status of the Argument

At this point, it is important to distinguish formal validity from uncontroversial truth. As a formal argument, the modal ontological argument is valid: if the premises are granted, the conclusion follows by strict deductive logic. In that sense, the structure of the reasoning is serious and exact. Indeed, Gödel-style ontological arguments have been formalized and machine-checked using automated theorem provers; those formalizations showed both that certain conclusions follow from given axioms and that some historical formulations require repair because of hidden inconsistencies.⁸

But formal rigor alone does not settle the metaphysical question. The argument is only as strong as its possibility premise, and we have seen that this premise faces serious challenges: the reverse argument, the conceivability gap, and the question-begging charge. These are not casual worries; they represent sustained critical engagement from serious philosophers, including J.L. Mackie, Graham Oppy, and Peter van Inwagen.^{6 9}

What the argument does achieve, even for its critics, is a clarification of the logical geography. It shows that the existence of God is not a contingent matter — it is either necessary or impossible. There is no middle ground. That is itself a philosophically significant result.¹

14. Conclusion

The modern modal ontological argument is far more rigorous than its popular caricatures suggest. It does not rest on the crude thought that "real existence is greater than imaginary existence," nor does it allow one to define any sufficiently grand fictional character into reality. Its real structure is modal and metaphysical: if a maximally great being is genuinely possible, and if maximal greatness includes necessary existence, then such a being exists necessarily and therefore actually.¹

At the same time, the argument is not the decisive proof its strongest advocates might wish for. The possibility premise, which appears modest on its face, turns out to be logically equivalent to the conclusion. The reverse ontological argument shows that the same formal machinery can yield the opposite result. And the gap between conceivability and metaphysical possibility remains difficult to bridge.

That is why the ontological argument remains philosophically important. It does not merely ask whether God exists; it asks what kinds of existence, necessity, and possibility reason itself can sustain. And regardless of where one stands on the conclusion, the argument forces a deeper engagement with the nature of modality, the limits of a priori reasoning, and the question of what it means for something to be genuinely possible.¹

References: