Halal Christian

Omnipotence, Epistemic Greatness, and the Incoherence of Open Theism: A Modal Argument Against the Open View of Divine Foreknowledge

By Matthias Crellius

Abstract

Open theism holds that God is omnipotent and perfectly good, yet voluntarily lacks — or is constitutively unable to possess — exhaustive foreknowledge of future contingent events. This paper argues that this conjunction of commitments generates a fatal internal tension. If omnipotence is defined as the capacity to actualize any logically possible state of affairs, and if exhaustive foreknowledge constitutes a logically possible epistemic state capable of being instantiated in some possible world, then an omnipotent God who lacks exhaustive foreknowledge in the actual world is — by the open theist’s own premises — not necessarily the maximally greatest knower. We formalize this argument using modal predicate logic, examine the two principal responses available to the open theist, and argue that neither is adequate without significantly revising commitments that are essential to the open theist project. Particular attention is given to the open theist’s most tempting line of escape — the claim that exhaustive foreknowledge is logically impossible for any being — and we argue that this response, absent a formal demonstration of impossibility, amounts to philosophical assertion dressed as argument. What law of classical logic does foreknowledge violate? What metaphysical contradiction does it produce in the divine nature? Until these questions receive precise answers, the impossibility claim remains a promissory note, not a refutation. We conclude that open theism, as presently formulated, cannot simultaneously maintain divine omnipotence, the denial of exhaustive foreknowledge, and the maximal epistemic greatness of God.

1. Introduction

The present author approaches the question of divine foreknowledge neither from the standpoint of classical theism in its Thomistic or Reformed expressions, nor from the process theology of Whitehead and Hartshorne, but from a position that might best be described as neoclassical biblical theism — a view according to which God is genuinely relational, temporally engaged with creation, and responsive to creaturely action, while remaining essentially omniscient, omnipotent, and perfect in all his attributes. On this view, God’s relational engagement with the world is not purchased at the cost of his epistemic completeness. God knows the future exhaustively not because he stands outside of time in a mode of timeless simultaneity, but because his knowledge is an essential and necessary expression of who he is — a God who is, as the biblical witness consistently affirms, acquainted with all things before they arise. This position is further informed by a compatibilist account of human freedom, on which genuine creaturely agency is not only consistent with divine foreknowledge but depends upon the same determinative structures that make foreknowledge possible. We flag these commitments at the outset not because they are the subject of this paper — they are not — but because intellectual honesty requires that an author’s theological standpoint be visible to the reader, so that the argument may be evaluated on its merits rather than misread as the expression of assumptions the author has not acknowledged.

What follows is not a defense of neoclassical theism. It is a critique of open theism, and the critique operates entirely from within open theism’s own conceptual commitments. We do not ask the open theist to accept our compatibilism, or our account of divine omniscience, or any feature of our theological position. We ask only that they accept their own premises — and we argue that those premises, taken together, generate a contradiction they have not adequately addressed.

It is worth being precise about why open theism deserves this kind of rigorous internal engagement rather than a simple dismissal. The position emerged with genuine theological and pastoral motivations. Associated principally with the essays collected in The Openness of God (1994) and subsequently developed at considerable length by Clark Pinnock, John Sanders, and Gregory Boyd, open theism represents a sustained attempt to recover what its advocates regard as the deeply relational texture of the biblical witness against the grain of a classical theist tradition they find excessively shaped by Greek philosophical categories. On the open theist reading, the God of Scripture is one who genuinely deliberates, who changes his mind in response to prayer, who experiences something recognizable as surprise and grief and delight at creaturely choices, and who enters into relationships with his people that are real rather than scripted. These are serious theological observations. They draw on real exegetical data, engage real philosophical difficulties in the classical tradition, and raise genuine questions that classical theism has not always answered with sufficient care. The position deserves to be refuted, not caricatured — and refutation requires engaging the argument at the level of its own logical structure.

The argument we develop here is not primarily exegetical, though we believe exegetical considerations independently count against the open view. Nor is it the familiar argument from middle knowledge, or the Molinist counter, or the Boethian solution from divine timelessness — moves the open theist has encountered before and to which they have well-rehearsed responses. Rather, we develop an argument that operates entirely within the conceptual commitments that open theism itself accepts, and we contend that those commitments, properly understood, are internally inconsistent. No being can coherently be affirmed as both omnipotent and as lacking exhaustive foreknowledge if that same being is affirmed to be the maximally greatest possible knower. The open theist can preserve two of these three commitments, but not all three simultaneously.

We proceed as follows. In Section 2, we survey open theism’s central claims, attending carefully to how its leading advocates have articulated the position and identifying the specific features of their view that generate the tension we wish to expose. In Section 3, we introduce the formal framework and definitions necessary for the argument to proceed with the precision the subject demands. In Section 4, we present the argument in full, both in natural language and in modal predicate logic. In Section 5, we examine the two most serious open theist responses — what we call the impossibility response and the contingent greatness response — and argue that both fail, the former disastrously so, since it relies on a modal claim that has not been and perhaps cannot be formally demonstrated. In Section 6, we consider broader implications and conclude.

2. Open Theism: The Position and Its Motivations

Open theism is best understood not as a single thesis but as a cluster of related commitments that cohere around a central conviction: that genuine creaturely freedom is both real and incompatible with divine exhaustive foreknowledge. We follow Gregory Boyd’s succinct formulation: the open view holds that “the future is partly composed of possibilities” and that “God faces a partly open future.”¹ The language of openness here is not mere metaphor — it carries genuine metaphysical weight. The future is not simply unknown to God on the open view; it is, in some philosophically serious sense, not yet determinate. Future contingent events do not yet have fixed outcomes, and consequently there are no future contingent truths for any being — including God — to know.

Clark Pinnock, arguably the position’s most prolific defender, framed this in terms of what he called “the God who takes risks.” The concern animating Pinnock’s account was that a God who exhaustively foreknows all future events is functionally indistinguishable, at least from a relational standpoint, from a God who determines them. “If God knows the future completely,” Pinnock argued, “it is hard to see how we can maintain that the future is genuinely open and that creatures have real freedom.”² The relational stakes, on his account, are significant: a God who already knows every outcome of every prayer and every creaturely decision seems to be participating in something more like a cosmic performance than a genuine encounter. John Sanders developed this intuition into a full-blown “relational model” of providence, in which God’s governance of history is genuinely interactive — God acts, creatures respond with choices that are not predetermined, God responds to those choices in ways that were not fixed in advance, and so on in an open-ended exchange that cannot be mapped onto any antecedent providential blueprint.

Several specific features of this position must be made explicit before we proceed to our argument, because all of them bear directly on the internal tension we mean to expose.

First, open theists are entirely consistent in affirming divine omnipotence. Boyd, Sanders, and Pinnock all maintain that God has the capacity to bring about any logically possible state of affairs. This commitment is not peripheral — it is essential to distinguishing open theism from process theology, and it is the premise from which our argument takes its first and most decisive step.

Second, open theists affirm that God is, in some robust and non-trivial sense, the greatest possible knower. This affirmation is essential to their account of divine perfection. The open theist qualification is not that God knows less than a maximally perfect knower would know, but rather that future contingent propositions do not constitute knowable truths — that they are not, in the relevant sense, objects of knowledge at all, for any being, in any circumstance. God’s knowledge is therefore presented as exhaustive with respect to its proper objects; the limitation, if it is a limitation, lies in the domain of knowable truths rather than in any deficiency of God’s cognitive capacity.

Third — and this is the point of entry for our argument — open theists affirm that God’s greatness is not merely actual but in some sense necessary and unsurpassable. If God’s epistemic greatness were merely contingent, open theism would collapse into a form of finite theism that none of its principal advocates endorse. Boyd, Sanders, and Pinnock all intend to affirm something stronger than “God happens to be the best knower in the actual world.” They mean to affirm that God’s epistemic standing is essential to who he is — that there is no possible being who surpasses him, given the constraints on what is genuinely possible to know.

It is precisely this last commitment that our argument places under pressure, and it is to the formal development of that argument that we now turn.

3. Formal Framework and Definitions

Precision in definition is not a luxury in philosophical theology — it is the condition under which genuine argument, as opposed to the mere exchange of competing intuitions, becomes possible. We establish four definitions and a formal symbolic notation before proceeding to the argument itself. These definitions are not stipulative in a question-begging sense; they represent, we contend, the most natural and widely accepted readings of the relevant concepts, and they are consistent with the usage of open theists themselves.

Definition 1 — Omnipotence. A being x is omnipotent if and only if x possesses the capacity to actualize any logically possible state of affairs. Notation: O(x). The standard qualifier applies throughout: omnipotence does not extend to logical contradictions. God cannot actualize a round square or a married bachelor, because these are not genuine states of affairs but rather concatenations of incompatible predicates. The power in question is power over what is genuinely possible, not power over what is merely grammatically formulable. This is precisely the definition Boyd and Pinnock implicitly rely on when they affirm that God’s creative and redemptive agency is constrained by nothing external to logic itself.

Definition 2 — Exhaustive Foreknowledge. A being x possesses exhaustive foreknowledge if and only if x knows all future contingent truths — that is, knows in advance the outcome of all events whose occurrence is not entailed by physical or logical necessity alone. Notation: E(x). The qualifier “contingent” carries full weight here: exhaustive foreknowledge is foreknowledge specifically of what free agents will freely do, not merely of what nomological regularities or logical entailments determine.

Definition 3 — Maximal Epistemic Greatness. A being x is maximally epistemically great if and only if there exists no realizable epistemic state greater than the epistemic state possessed by x. Notation: M(x). The term “realizable” is doing critical work in this definition. A realizable epistemic state is one that is capable of being instantiated in some logically possible world. M(x) does not require that x know everything knowable in every possible world simultaneously — a requirement that might generate its own paradoxes. It requires that x’s epistemic state cannot be surpassed by any epistemic state that is genuinely possible, capable of existing in some world, even if not instantiated in the actual one.

Definition 4 — Realizable Epistemic State. An epistemic state s is realizable if and only if there exists some possible world in which some being instantiates s. Notation: ◇∃x(Instantiates(x, s)).

Formal Symbols:

• O(g): God is omnipotent
• E(x): x possesses exhaustive foreknowledge
• M(g): God is necessarily the maximally greatest knower
• ◇: possibly / realizable in some possible world
• ¬: negation
• ∧: conjunction
• →: material conditional
• ∃: existential quantifier
• G(s) > G(g_a): the epistemic state s is greater than the epistemic state possessed by God in the actual world

With these definitions established, we now proceed to the argument.

4. The Argument from Epistemic Greatness

4.1 Natural Language Formulation

The argument begins with the two commitments that any open theist is explicitly and consistently committed to:

P1. God is omnipotent.

P2. God lacks exhaustive foreknowledge in the actual world.

From P1 and P2 taken jointly, we derive by simple conjunction:

C1. God is omnipotent and lacks exhaustive foreknowledge in the actual world.

C1 is not an inference that requires argument — it is simply a restatement of the open theist’s core position in conjunctive form. A God who is all-powerful and who does not, in the actual world, possess knowledge of future contingent events. Nothing controversial has been introduced; we have only combined what the open theist already affirms.

We now introduce a premise that follows directly from P1 and our definition of omnipotence:

P3. If God is omnipotent, then God can actualize a possible world in which some subject other than God possesses exhaustive foreknowledge.

The reasoning behind P3 demands careful attention. Omnipotence, as we have defined it, is the power to actualize any logically possible state of affairs. Everything therefore turns on whether exhaustive foreknowledge constitutes a logically possible epistemic state — whether there is any possible world in which some being possesses it. We argue that there is, and that the open theist’s own position essentially presupposes this. Consider: the entire project of open theism is motivated by the desire to preserve genuine future contingency — the reality of free choices whose outcomes are not yet determined. But if future contingent choices are real, then once made, their outcomes become determinate truths. There is no formal contradiction, no violation of any classical logical law, and no breach of any modal axiom, in the concept of a being knowing those truths in advance of their actualization. A being who knows tomorrow’s free choices today is not affirming that what is contingent is necessary, or that what is free is determined — it is knowing, prior to actualization, what will in fact be actualized. No principle of the propositional calculus, no rule of predicate logic, no axiom of any standard modal system renders such knowledge formally impossible. Exhaustive foreknowledge is, as a concept, logically coherent — and therefore, by our definition of omnipotence, it falls within the range of states that an omnipotent God can actualize in some possible world, even if God does not occupy that state in the actual world.

P4. If God can actualize a possible world in which some subject other than God possesses exhaustive foreknowledge, while God lacks exhaustive foreknowledge in the actual world, then there exists a realizable epistemic state greater than the epistemic state possessed by God in the actual world.

P4 is the critical premise, and its force is worth dwelling on. If there is any possible world in which some being — a created rational agent, an angelic intellect, any subject whatsoever — possesses exhaustive foreknowledge, then the epistemic state constituted by such foreknowledge is, by Definition 4, realizable. It can be instantiated in some possible world. And if that realizable epistemic state includes knowledge that God does not possess in the actual world — namely, foreknowledge of future contingent events — then it is an epistemic state greater than the one God actually occupies. The surpassability here is not abstract or irrelevant to the question of divine greatness; it is precisely the kind of surpassability that Definition 3 identifies as incompatible with maximal epistemic greatness.

P5. If there exists a realizable epistemic state greater than the epistemic state possessed by God in the actual world, then God is not necessarily the maximally greatest knower.

P5 follows directly from Definition 3 by contraposition. Maximal epistemic greatness requires that no realizable epistemic state exceed one’s own. If such a state exists — even if it is not instantiated in the actual world, even if no being in the actual world possesses it — then the being whose epistemic state it surpasses falls short of maximal epistemic greatness as we have defined it.

From P3, P4, and P5, we derive the conditional conclusion:

C2. Therefore, if God is omnipotent and lacks exhaustive foreknowledge in the actual world, then God is not necessarily the maximally greatest knower.

C2 tells us what follows from the conjunction established in C1. To draw the full categorical conclusion, we reaffirm that conjunction:

P6. God is omnipotent and lacks exhaustive foreknowledge in the actual world. (Restatement of C1)

And conclude:

C3. Therefore, God is not necessarily the maximally greatest knower.

4.2 Formal Notation

P1: O(g)
P2: ¬E(g)
C1: O(g) ∧ ¬E(g)

P3: O(g) → ◇∃x(x ≠ g ∧ E(x))
P4: (◇∃x(x ≠ g ∧ E(x)) ∧ ¬E(g)) → ∃s(G(s) > G(g_a))
P5: ∃s(G(s) > G(g_a)) → ¬M(g)
C2: (O(g) ∧ ¬E(g)) → ¬M(g)

P6: O(g) ∧ ¬E(g)
C3: ¬M(g)

The formal structure makes the logical validity of the argument transparent. Given the definitions provided, C3 follows necessarily from the stated premises. The open theist cannot accept P1, P2, P3, P4, P5, and M(g) simultaneously without contradiction. Something in that set of commitments must be revised. The question is which revision is available to the open theist without catastrophic cost to other commitments — and that is precisely what Section 5 investigates.

5. Open Theist Responses and Their Failures

5.1 The Impossibility Response

The most direct response available to the open theist is to deny P3 — to argue that exhaustive foreknowledge of future contingent events is not a logically possible state for any being whatsoever, God or creature. If no being in any possible world can possess exhaustive foreknowledge, then there is no realizable epistemic state of the relevant kind to serve as a comparison class for God’s actual epistemic standing. God’s lack of foreknowledge would not constitute epistemic surpassability because the allegedly greater epistemic state would be, in the strictest sense, unrealizable — not a genuine possibility but a conceptual fiction. On this reading, God’s epistemic state is maximal not despite lacking foreknowledge but because the alternative is not a genuine alternative at all.

This response has been developed with some philosophical care within the open theist tradition. William Hasker has argued along these lines that future contingent propositions either lack determinate truth value altogether or have truth conditions that are not yet satisfied in a way that could ground genuine knowledge of them.³ If the future is genuinely open — if it is not yet determinate which of several possible outcomes will be actualized — then there are, strictly speaking, no future contingent truths to be known. And if there are no such truths, then the absence of knowledge of them is no more a limitation on God than the absence of knowledge of the greatest prime number is a limitation, given that no such number exists. The structural elegance of this response is real. It aligns open theism’s epistemological commitments with a defensible philosophy of time, and it allows the open theist to maintain that God’s knowledge is perfect with respect to its proper objects — the domain of what there actually is to know.

The problem, however, is that this response is considerably more expensive than it initially appears, and it purchases its conclusion at costs the open theist cannot afford to pay.

The burden of demonstration. The most fundamental difficulty is one of philosophical method: the impossibility response makes a substantial modal claim — that exhaustive foreknowledge of free choices is a logical impossibility, unrealizable in any possible world — without providing the formal demonstration such a claim requires. It is not sufficient, in philosophical theology, to assert that a concept is logically impossible. The assertion must be grounded in a demonstration that the concept violates some identifiable principle of logic or generates some formally specifiable contradiction. The open theist who deploys the impossibility response therefore owes precise answers to the following questions, none of which has been satisfactorily addressed in the open theist literature.

Which formal law of classical logic does exhaustive foreknowledge violate? Is it the law of non-contradiction — and if so, where exactly does the contradiction arise? Does the proposition “God knows that agent A will freely choose X at time t” contradict the proposition “agent A will freely choose X at time t”? It is far from obvious that it does. The two propositions appear to be entirely consistent — the second is simply the object of the first. Perhaps the contradiction arises from combining foreknowledge with libertarian freedom in the same possible world — but that is a claim about the incompatibility of two specific metaphysical doctrines, not a demonstration that foreknowledge per se is logically impossible. Is it some principle of modal logic that generates the impossibility — and if so, which axiom of which modal system, applied to what precisely formulated proposition, yields the conclusion that foreknowledge is necessarily unrealizable? These questions are not rhetorical ornaments. If exhaustive foreknowledge is genuinely logically impossible, then it must be possible to exhibit the formal contradiction it generates, with the same kind of clarity with which we exhibit the contradiction in the concept of a square circle. The open theist has not done this. Until they do, the claim of impossibility is not a philosophical argument but a philosophical assertion — and assertions are not refutations.

The metaphysical contradiction that has not been named. Closely related to the above is the question of what metaphysical contradiction, specifically, divine foreknowledge would produce in the divine nature or in the structure of a world containing both foreknowledge and free agency. Open theists sometimes gesture toward the following argument: if God knows in advance that agent A will choose X, then it is necessary, given God’s infallible knowledge, that A will choose X; but if it is necessary that A will choose X, then A’s choice is not free; therefore divine foreknowledge is incompatible with creaturely freedom, and since creaturely freedom is possible, divine foreknowledge is not. This argument has a long history and deserves respectful engagement. But notice what it actually establishes. At most, it establishes an incompatibility between exhaustive foreknowledge and libertarian freedom in the same possible world. It does not establish that foreknowledge is logically impossible simpliciter. A being might possess exhaustive foreknowledge of the choices made in a world containing no libertarian freedom — a world of caused, determined choices — without any contradiction arising. It might possess foreknowledge of what creatures with libertarian freedom would choose without that foreknowledge undermining the freedom of those choices, if a compatibilist account of freedom is correct. The impossibility response requires a much stronger claim: that foreknowledge is impossible in every possible world, under every account of freedom, for every possible being. That claim has not been demonstrated, and the burden of demonstrating it lies squarely with the open theist who deploys it as a response to our argument.

The self-undermining structure of the open theist apologetic. There is a third difficulty that is perhaps the most philosophically revealing. The open theist’s entire motivation for denying divine foreknowledge — as Pinnock, Boyd, and Sanders all make explicit — is to preserve the reality of genuine creaturely freedom and authentic relational engagement between God and creatures. This motivation presupposes that foreknowledge would, if it existed, compromise something genuinely valuable. Pinnock’s argument is precisely that a God with exhaustive foreknowledge cannot be in genuine relationship with creatures because such a God already knows the outcome of every exchange before it occurs. But this framing only makes sense if foreknowledge is, at least in principle, a coherent state for a being to occupy — something that could exist and that would, if it existed, have the relational consequences Pinnock describes. If foreknowledge were simply logically impossible, there would be nothing for Pinnock to worry about, no relational cost to calculate, no tradeoff to justify. The open theist’s pastoral and relational apologetic presupposes the coherence of what the impossibility response denies.

Furthermore, consider how open theists justify God’s lack of foreknowledge to their readers. The typical move is to say that God, in his wisdom and love, chose to create genuinely free agents, and that this choice carried with it the consequence — whether voluntary or metaphysically necessary — that God would not foreknow their choices. This is a justification by appeal to goods achieved through the absence of foreknowledge: the goods of genuine freedom, authentic relationship, real prayer. But this structure of justification makes sense only if foreknowledge was, prior to God’s creative choice, a live possibility — something that could have been included in the divine-creaturely relationship but was set aside for good reasons. If foreknowledge was never logically possible for any being in any world, then the open theist cannot explain God’s lack of it by appeal to the goods its absence makes possible, because its absence was never the result of any choice or trade. One cannot coherently justify the absence of the impossible.

5.2 The Contingent Greatness Response

A second response available to the open theist concedes P3 — granting that exhaustive foreknowledge is a logically possible epistemic state capable of being instantiated in some possible world — but challenges the move from C2 to C3 by denying that God’s maximal epistemic greatness is a necessary or cross-world standard. On this reading, M(g) should be understood not as “God’s epistemic state is unsurpassable relative to all logically possible worlds” but simply as “God’s epistemic state is the greatest among all beings that actually exist in the actual world.” God is the greatest knower in the world that actually is; the fact that some merely possible world might contain a being with greater foreknowledge is, on this view, simply irrelevant to God’s epistemic standing in the world that matters.

This response has a certain pragmatic appeal. It avoids the aggressive modal claims of the impossibility response and accepts the basic formal point we have been pressing. But it creates difficulties for open theism that run considerably deeper than those it avoids.

The problem of worshipful response. Open theists — all of them, without exception — present God as the appropriate object of unconditional worship, ultimate trust, and the kind of doxological response that is due only to a being whose greatness is not merely relative or contingent but genuinely and necessarily unsurpassable. When Boyd speaks of God’s perfection, when Pinnock describes God’s love as the ultimate ground of creaturely existence, neither man intends to be affirming merely that God is the most epistemically excellent being that happens to exist in this particular world. That kind of world-indexed, contingent greatness does not generate the absolute and unconditional demands that worship requires. A being who is the greatest knower in the actual world while other possible worlds contain his epistemic superiors is a being whose claim to epistemic supremacy is, in an important sense, accidental. He is not the best there could be — he is the best we happen to have. And the best we happen to have, as opposed to the best there could possibly be, is not the kind of being that commands the kind of response that the entire open theist account of prayer, relationship, and creaturely dependence presupposes.

The Anselmian problem. Most open theists — Boyd in particular — operate within a broadly Anselmian or neo-Anselmian theological framework in which God is understood as the greatest conceivable being, or at minimum, as a being whose greatness is essential rather than contingent. Gregory Boyd explicitly invokes Anselmian categories in his defense of the open view of God. But Anselmian greatness is precisely cross-world greatness — it is the greatness of a being who cannot be surpassed by any being in any possible world, not merely the greatness of a being who happens not to be surpassed in the world that actually exists. If the contingent greatness response abandons this framework, it abandons something that is not peripheral to open theism’s self-presentation but essential to it. Open theism has consistently sought to present itself as a variant of classical Christian theism, modified at specific points in response to specific exegetical and philosophical concerns, rather than as a fundamentally different kind of theology. The contingent greatness response, pursued consistently, would dissolve that self-presentation.

The problem of asymmetric application. There is also a straightforward consistency problem that the open theist must confront. Open theists do not apply world-relative or contingent accounts to any other divine attribute. When Pinnock and Boyd affirm divine omnipotence, they do not say that God merely happens to be the most powerful being in the actual world while other possible worlds might contain beings of greater power. When they affirm divine moral perfection, they do not say that God is merely the most morally excellent being in the neighborhood of actual existence. These attributes are presented as essential, necessary, and cross-world — not contingent features of God’s actual profile but necessary features of who God is in every possible world. To retreat selectively to a contingent or world-relative account of divine epistemic greatness specifically, while maintaining a stronger account of every other divine perfection, is precisely the kind of move that earns the charge of ad hoc special pleading. It has the appearance of a position adopted not because any principled theological or logical consideration supports it, but because the alternative is to concede the force of our argument. That is not a philosophical response — it is a philosophical evasion.

6. Broader Implications and Conclusion

6.1 What the Argument Does Not Claim

Before drawing our conclusions, we should be explicit about the limits of what this argument establishes. We are not arguing that God must have exhaustive foreknowledge as a matter of conceptual necessity, or that foreknowledge is analytically entailed by the bare concept of theism, or that the classical tradition has definitively resolved the question. We are not offering a defense of compatibilism, though we hold it; compatibilism enters this paper only as background to the author’s standpoint, not as a premise of the argument itself. We are not adjudicating the relationship between divine sovereignty and creaturely agency, or offering a theodicy that resolves the problem of evil, or defending any particular account of divine timelessness or eternity.

What the argument establishes is more precise and, we believe, more decisive: given open theism’s own commitments to omnipotence and maximal epistemic greatness, the denial of exhaustive foreknowledge generates a formal contradiction. This is an internal critique, not an external one. It does not require the open theist to accept any theological premise they have not already accepted. It requires only that they attend carefully to the logical relationships among the commitments they have already made.

6.2 The Trilemma Facing Open Theism

Our argument presents open theism with a genuine trilemma from which no comfortable exit is available. The three horns are as follows.

First, open theists may revise their account of omnipotence, holding that God cannot actualize all logically possible states of affairs. This would bring open theism into uncomfortable proximity with the process theology of Whitehead and Hartshorne — a proximity that Pinnock explicitly and emphatically rejected, noting that open theism affirms creation ex nihilo and a form of divine sovereignty that process thought, with its doctrine of God’s persuasive rather than coercive power, explicitly denies.⁴ Open theism’s identity as a form of Christian theism rather than a species of finite theism depends on not taking this path.

Second, open theists may accept the impossibility response in full, arguing that exhaustive foreknowledge is not a logically possible epistemic state and therefore not a realizable comparison class for God’s actual epistemic standing. As we argued at length in Section 5.1, this response is not a response at all unless it is accompanied by a formal demonstration of the impossibility it asserts. Which law of classical logic does foreknowledge violate? What metaphysical contradiction does it generate, stated with precision rather than intuition? What principle of modal logic, applied to what precisely formulated proposition, yields the conclusion that foreknowledge is unrealizable in every possible world? These questions have determinate answers if the impossibility is real. The open theist must provide them — and until they do, the impossibility response remains a promissory note, not a philosophical argument.

Third, open theists may accept that God is not the necessarily maximally greatest knower — that God’s epistemic greatness is contingent or world-relative. As we argued in Section 5.2, this move abandons the Anselmian framework that open theists have consistently retained, creates a troubling and unprincipled asymmetry with their treatment of every other divine attribute, and undermines the theological weight of divine greatness that the entire open theist account of worship, prayer, and creaturely dependence requires.

None of these options is comfortable. All three require open theists to revise commitments they have consistently treated as non-negotiable features of their theological program. That is the mark of a genuine trilemma — not a rhetorical device but a logical trap from which the available exits all lead somewhere the trapped party does not wish to go.

6.3 A Note on Method

One methodological point warrants emphasis. We have constructed this argument throughout as an internal critique — one that accepts open theism’s own premises and derives a contradiction from within their conjunction, rather than importing premises the open theist would reasonably reject. This is the most rigorous form of philosophical critique available, because it cannot be deflected by the accusation that the critic has smuggled in alien presuppositions. The open theist cannot respond to this argument by reaffirming the relational character of God, or by pointing to the biblical passages in which God repents or responds to intercession, or by appealing to the pastoral and experiential authenticity of a theology in which God genuinely does not know what his creatures will choose. All of those considerations are entirely independent of the logical tension we have identified. The argument stands or falls not on the basis of classical theist presuppositions or Reformed commitments to meticulous sovereignty — it stands or falls on the internal consistency of open theism’s own conceptual framework.

This also means that the argument illuminates something important about theological method more generally. Positions that modify classical divine attributes — whether in the direction of open theism, process theology, or any other revisionary program — must attend carefully to the logical relationships among those attributes. Divine attributes are not independent variables that can be adjusted one at a time without affecting the others. Modifying foreknowledge, as we have shown, creates immediate pressure on omnipotence and maximal epistemic greatness. Theology done with genuine rigor requires that these pressures be traced to their conclusions and confronted honestly, rather than absorbed into a system that has not been checked for internal consistency.

6.4 Conclusion

Open theism has made genuine and lasting contributions to the philosophy of religion and to pastoral theology. Its insistence on the genuinely relational character of God’s engagement with the world, its attention to the texture of biblical narrative, and its sustained critique of certain forms of classical theism that had effectively immunized God from any authentic encounter with creaturely history — these are contributions that should be acknowledged, not dismissed. The open theist impulse to take seriously a God who is moved by prayer, who grieves over sin, who enters into the temporal unfolding of human history with something like genuine responsiveness, is an impulse with deep biblical roots, and the present author, writing from a position that affirms God’s genuine relationality and temporal engagement no less earnestly than the open theist, has no interest in dismissing it.

What we have argued is that this impulse, admirable in its motivations, has been given a philosophical formulation that cannot be rendered internally consistent. Open theism as presently articulated cannot simultaneously maintain that God is omnipotent, that God lacks exhaustive foreknowledge in the actual world, and that God is the necessarily maximally greatest knower. Given standard and widely accepted definitions of these three concepts — definitions that open theists themselves rely on — the conjunction generates a formal contradiction. Open theists who wish to maintain God’s unsurpassable greatness must either revise their account of omnipotence, formally demonstrate the logical impossibility of exhaustive foreknowledge with the precision that claim demands, or abandon the cross-world standard of divine greatness that grounds the very worshipfulness their theology is designed to protect.

Until open theism provides a more adequate resolution of this trilemma — one that does not simply reassert its commitments but addresses their logical incompatibility — we submit that the open view of divine foreknowledge cannot be affirmed as internally consistent. This argument is offered not in the spirit of dismissal but in the spirit of genuine philosophical engagement: as a challenge that demands a real answer, and as a contribution to the ongoing work of understanding what it means to confess that the God of Scripture is both perfectly great and genuinely present to his creatures.

Notes

¹ Gregory A. Boyd, God of the Possible: A Biblical Introduction to the Open View of God (Grand Rapids: Baker Books, 2000), 15.

² Clark H. Pinnock, Most Moved Mover: A Theology of God’s Openness (Grand Rapids: Baker Academic, 2001), 48.

³ William Hasker, God, Time, and Knowledge (Ithaca: Cornell University Press, 1989), 187–194. Hasker’s treatment of the truth-value of future contingent propositions represents one of the more philosophically careful defenses of the open theist epistemological position, though it inherits significant difficulties from the broader and unresolved debate about the metaphysics of time, truth, and the ontological status of future events.

⁴ Clark H. Pinnock et al., The Openness of God: A Biblical Challenge to the Traditional Understanding of God (Downers Grove: IVP Academic, 1994), 104–105. Pinnock writes explicitly: “We wish to distinguish our view from process theology… We believe in creation ex nihilo; we believe God is in control of history in a way process thought does not allow.”

This essay develops a modal argument concerning the internal consistency of open theism and is offered as a contribution to ongoing philosophical theology. The formal argument presented in Sections 3 and 4 was independently formulated by the author.