What is a Theological Model?

This is the second part of a series developed through the Department of Philosophical Theology at Christ School of Theology, examining theological method, models, interpretation, and the logical and semantic conditions of theological inquiry.

From Method to Model

The first essay in this series argued that theological method concerns the disciplined ordering of sources, norms, concepts, and inferential procedures by which theologians seek truth concerning God and all things in relation to God. That formulation already implied something more. Once theologians begin arranging claims, distinguishing terms, identifying relations, and asking what follows from what, they are constructing representations of theological reality. They may speak instead of doctrinal systems, conceptual schemes, metaphysical accounts, explanatory frameworks, or simply interpretations, though in each case the activity exhibits a recognizable structure: certain claims are held fixed, certain entities are posited or presupposed, certain relations are specified, and the resulting structure is examined for coherence, adequacy, and explanatory power.

This is the point at which talk of theological models becomes useful, though it can also become treacherous. The word ‘model’ has several senses, and theologians often move among them without noticing the transition. A model can be an exemplar to be imitated; it can be a simplified representation of some object; it can be a theoretical construction employed to explain phenomena; and, in logic, it can be a structure in which the sentences of a theory are satisfied. These senses overlap, though they are hardly identical. If we wish to speak perspicuously about theological models, some semantic housekeeping is therefore required.

The purpose of such housekeeping is not to reduce theology to formal logic. That would merely substitute one methodological imperialism for another. Yet model theory supplies distinctions that theologians badly need, because it forces us to distinguish a language from an interpretation of that language, a theory from a structure satisfying that theory, and satisfaction within a structure from truth simpliciter. Once those distinctions are seen, several perennial theological confusions become considerably easier to diagnose.

Theory and Model

Suppose we begin with a language L containing certain predicates, relations, constants, and perhaps other logical or nonlogical expressions. Within that language we formulate a set of sentences T. This set of sentences constitutes a theory in the broadly logical sense. The theory says certain things, or at least provides sentences capable of saying them once its expressions are interpreted.

A model of T is then a structure M in which every sentence belonging to T is satisfied.

In abbreviated form:

M ⊨ T

This is read: ‘M is a model of T,’ or more explicitly, ‘every sentence in T is true in M under the relevant interpretation.’

Already the theological significance should be apparent. The theory and the model are not identical. T consists of sentences. M is a structure relative to which those sentences receive an interpretation and are satisfied. If one forgets this distinction, one can easily slide from talking about a doctrinal formulation to talking as though the formulation itself were the theological reality.

Consider, for example, a highly simplified Trinitarian theory containing sentences expressing that the Father is divine, the Son is divine, the Spirit is divine, the Father is not the Son, the Son is not the Spirit, and the Father is not the Spirit. These sentences constrain acceptable interpretations. They rule some structures out. Yet they do not, merely by being stated, determine a unique metaphysical account of divine triunity. More than one structure may satisfy the same set of sentences, depending upon how ‘divine,’ ‘person,’ identity, relation, and the domain itself are interpreted.

That is precisely why theological models arise. They attempt to exhibit ways in which a set of theological assertions might jointly be true.

A Model Is an Interpretation

In elementary model theory, one often represents a structure in something like the following way:

M = ⟨D, I⟩

Here D is a nonempty domain of objects, while I is an interpretation assigning semantic values to the nonlogical vocabulary of the language. If P is a one-place predicate, I assigns to P some subset of D; if R is a two-place relation, I assigns to R some set of ordered pairs from D; if a is a constant, I assigns to a some member of D.

Thus, if P means ‘is divine,’ then Pᴹ is the extension of P in M: the objects in the domain that satisfy the predicate. If R means ‘begets,’ then Rᴹ consists of those ordered pairs ⟨x,y⟩ such that x stands in the begetting relation to y.

The notation can appear forbidding only until its philosophical point is grasped. A model interprets a language by assigning structure to its vocabulary. It tells us what the terms range over, which objects instantiate which predicates, which objects stand in which relations, and under what conditions the sentences of the theory come out true.

Theological argument does this constantly, usually without the notation. When a theologian says that ‘person’ in Trinitarian discourse denotes a subsistent relation rather than an individual substance, an interpretation has been supplied. When another theologian says that ‘nature’ in Christology is neither a concrete individual nor merely a set of properties, another interpretation has been proposed. When a theologian distinguishes between divine action as temporal causal intervention and divine action as the sustaining condition of creaturely actuality, the semantic structure assigned to ‘acts’ has changed. The dispute may accordingly appear grammatical while being fundamentally ontological.

Models and Reality

At this point, however, a caveat becomes indispensable. In formal semantics, a model is often treated simply as a mathematical structure. In theology, matters cannot end there, because theological assertions purport to concern reality. A model may satisfy a theory without thereby establishing that the theory is true of God. This distinction is absolutely fundamental.

Suppose M ⊨ T. We have shown that there is at least one interpretation under which every sentence in T is satisfied. We have not thereby shown that T is true simpliciter. Still less have we shown that M reproduces the ontological structure of divine reality.

The distinction can be put bluntly. Consistency is not truth. Satisfiability is not actuality. Model-theoretic success is not metaphysical vindication.

Yet the converse error must also be resisted. Because a model does not establish truth, it does not follow that models are theologically unimportant. A model can reveal that some set of claims is jointly satisfiable; it can expose hidden assumptions; it can show that an apparent contradiction depends upon an equivocation; it can reveal commitments that were previously unnoticed; and it can make competing interpretations sufficiently explicit that genuine disagreement becomes visible.

Models therefore perform an indispensable mediating function. They stand between language and reality, not because reality itself is constructed, but because our intellectual access to complex claims requires structured representations.

The Given and the Made

This is one place where the distinction between the given and the made becomes especially useful. The theological model is made. Its vocabulary is selected, its distinctions introduced, its relations specified, and its inferential consequences explored. God, if Christian theology is correct, is not made by this activity. Neither is Christ's incarnation, the resurrection, justification, or the presence of Christ in the Eucharist constituted by the conceptual structures through which theologians seek to understand them.

There is therefore an asymmetry between reality and representation. The theologian can revise the model without revising God. One can replace one account of divine simplicity with another, refine a Christological ontology, or abandon an inadequate construal of sacramental presence without supposing that the divine reality altered while the theologian was sharpening the concepts.

This asymmetry might seem obvious, though theological controversies repeatedly obscure it. A favored conceptual scheme acquires such authority that criticism of the scheme is experienced as criticism of the doctrine itself. Conversely, rejection of a particular metaphysical model is sometimes mistaken for rejection of the reality that model sought to articulate. The theologian who distinguishes these levels gains considerable freedom. One can defend the doctrine while criticizing a model of the doctrine; one can preserve the confession while revising an ontology thought necessary to sustain it.

This distinction is especially important in philosophical theology, where metaphysical language carries enormous explanatory power and corresponding danger. Categories such as ‘substance,’ ‘relation,’ ‘property,’ ‘essence,’ ‘person,’ ‘nature,’ ‘event,’ and ‘state of affairs’ can illuminate theological claims, though none arrives innocent of philosophical history. They bring inferential consequences with them. Model construction allows those consequences to become visible.

The Underdetermination of Models

A further complication now appears. A theory may have many models.

In logical notation:

M₁ ⊨ T
M₂ ⊨ T
M₃ ⊨ T

Each of these structures satisfies T, though the structures themselves may differ substantially.

The theological importance of this possibility can scarcely be exaggerated. A doctrinal formulation may constrain interpretation without determining a unique metaphysical account. Indeed, much theological disagreement may arise precisely because multiple models satisfy what disputants regard as nonnegotiable doctrinal claims.

The Nicene confession, for example, rules out certain accounts of the Son. Chalcedon rules out certain Christologies. The Lutheran Confessions exclude certain interpretations of justification and sacramental presence. Yet exclusion is not the same thing as complete determination. A confession can establish boundaries without specifying a single exhaustive ontology within those boundaries.

This is not an argument for doctrinal relativism. Quite the opposite. If several models satisfy some doctrinal theory T, one must ask what further criteria might discriminate among them. Biblical adequacy, confessional fidelity, historical continuity, explanatory scope, semantic perspicuity, ontological economy, inferential stability, and philosophical coherence may all become relevant. Yet these criteria themselves must be ordered, and their authority is not self-interpreting. We have thereby returned to method.

Models Can Reveal More Than We Put Into Them

An additional feature of model construction deserves notice. Models can disclose consequences that were not obvious when the model was first built. Once one assigns meanings, specifies relations, and formalizes commitments, one may discover that the resulting structure entails something unexpected.

This is among the genuine intellectual benefits of formal and semi-formal theological modeling. Human beings are notoriously poor at keeping track of large networks of conceptual commitments. We affirm A because it appears independently plausible, B because it accords with a doctrinal source, and C because it solves a philosophical difficulty, only later to discover that A, B, and C jointly imply D, which nobody wanted.

A model can force this discovery.

The point is analogous to proof in logic. One often knows the premises before knowing their consequences. Formalization renders latent structure explicit. Theology has sometimes resisted such procedures out of fear that formal methods somehow diminish mystery, though the objection is misplaced. Logic does not render divine reality transparent; it renders our own commitments more transparent. Those are very different achievements.

If there is mystery, it belongs to the object. Confusion belongs to us. The theologian ought not baptize the latter with the name of the former.

The Model Is Not the Doctrine

We can now state another distinction that deserves almost aphoristic emphasis: a theological model is not identical with the doctrine it models. Doctrine ordinarily consists of normative or authoritative theological claims embedded within an ecclesial, biblical, and historical context. A model is a structured interpretation intended to show how such claims might be understood as jointly true.

Consequently, criticism of a model does not ipso facto constitute rejection of a doctrine. Nor does successful defense of a model necessarily establish the doctrine itself. The levels must be held apart.

This distinction is particularly useful when theology encounters modern metaphysics. One theologian may model divine omniscience through possible worlds, another through propositions, another through divine self-knowledge, and still another through a metaphysics of truthmaking. They may disagree profoundly about ontology while confessing substantially the same doctrine. Alternately, two theologians may employ nearly identical metaphysical machinery while differing at the doctrinal level because they assign different normative status to biblical or confessional claims. Without a distinction between doctrine and model, these disagreements become almost impossible to classify.

What Makes a Model Theological?

We can now risk a provisional answer. A theological model is a structured interpretation constructed to represent how a set of theological claims may be jointly true and how the entities, properties, and relations presupposed by those claims might be understood.

The definition is intentionally modest. A model does not claim exhaustive correspondence with divine reality. It does not manufacture its object. It does not replace Scripture, confession, proclamation, or worship. Rather, it makes conceptual commitments explicit so that they can be examined.

The adjective ‘theological’ matters because theological models are not free-standing constructions. They arise within an inquiry governed by theological sources and norms. Their adequacy cannot therefore be measured solely by elegance, simplicity, or formal consistency. A model of the Trinity that is internally impeccable but incompatible with the claims that generated Trinitarian doctrine is a poor theological model, however admirable it may be as an exercise in metaphysics.

Conversely, appeals to theological authority do not absolve a model from philosophical scrutiny. If a proposed interpretation is inconsistent, equivocal, semantically unstable, or ontologically extravagant, such defects matter. Theology qua theology may have distinctive sources and norms, but it does not thereby enter a logical sanctuary in which contradiction becomes virtue.

Toward Satisfaction and Truth

We are now in a position to see the next problem. If a model supplies an interpretation under which theological sentences are satisfied, what exactly is the relation between satisfaction and truth?

When we write

M ⊨ φ

we say that φ is satisfied in M. But theology wants eventually to say more than that some sentence comes out true under some interpretation. It wants to ask whether what φ says is actually the case.

That transition is neither automatic nor trivial. It carries us from formal semantics toward questions of reference, truth, realism, and theological knowledge. It also forces us to confront one of the most seductive confusions in philosophical theology: the tendency to mistake truth-in-a-model for truth about reality.

Accordingly, the next essay in this series will ask: What does it mean for a theological claim to be satisfied, and what does satisfaction have to do with truth?

That question will take us further into model theory, though it will also bring us closer to theology's oldest intellectual ambition: not merely to construct coherent representations of God, but, insofar as creaturely judgment permits, to say truly what is the case.

What Is Theological Method?

This is the first part of a new series developed through the Department of Philosophical Theology at Christ School of Theology, examining theological method, models, interpretation, and the logical and semantic conditions of theological inquiry.

The Question of Method

Theological disputes regularly present themselves as disputes about conclusions. One theologian avers that God acts in history while another worries that such language compromises divine transcendence; one insists upon the real presence of Christ in the Supper while another seeks a conceptual account capable of preserving what is taken to be the relevant biblical affirmations; one theologian speaks readily of divine simplicity while another suspects that the metaphysical apparatus required to sustain the doctrine creates more difficulties than it resolves. Yet beneath disagreements of this kind there usually lies another disagreement, frequently less explicit and sometimes more consequential: What counts as an appropriate way of arriving at a theological judgment in the first place?

The question of theological method therefore arises prior to many of theology's more familiar questions. Before one asks what theologians ought to conclude about some matter, one must ask what kinds of considerations legitimately bear upon the conclusion, how these considerations are related, what authority they possess, and according to what rules conflicting considerations are to be adjudicated. Method concerns, inter alia, what theologians count as evidence, what kinds of inference they permit, what distinctions they regard as legitimate, and what conditions a theological claim must satisfy if it is to be judged warranted.

The matter becomes still more difficult because theology does not operate within a single homogeneous discourse. Biblical texts, historical claims, creedal formulations, metaphysical assertions, phenomenological descriptions, liturgical practices, and logical consequences all appear within theological reasoning, though they plainly do not function in precisely the same way. The theologian who ignores these differences risks confusing the authority of a text with an interpretation of that text, an interpretation with a philosophical reconstruction of it, and that reconstruction with the reality about which the text putatively speaks. Accordingly, method is no mere preliminary housekeeping exercise. It belongs to theology's substantive intellectual work.

Method and Object

A method is ordinarily selected because of the object one seeks to understand. One does not investigate a mathematical structure in precisely the same way that one investigates a historical event, nor does one investigate a chemical reaction in the manner appropriate to interpreting a poem. The character of the object places constraints upon the procedures by which knowledge of that object may responsibly be sought.

This apparently innocent observation carries considerable theological weight. If theology has God as its ultimate object, then theological method cannot be determined wholly in advance by epistemological principles borrowed from some other domain. The theologian cannot simply announce a universally valid method and subsequently inquire whether God happens to fit within it. At least prima facie, the order must run in the other direction: what God is determines what could count as knowledge of God.

Christian theology intensifies the point because it claims that God is known through God's own acts of self-disclosure. Theology consequently begins within a peculiar epistemic situation. Its object is never simply an object standing passively before an autonomous observer. God is confessed as the one who creates the knower, sustains the knower, addresses the knower, judges the knower, and reconciles the knower. Theological knowledge, on such an account, cannot be understood simply as the successful application of a neutral human technique to a religious datum.

This does not entail intellectual obscurantism, nor does it grant theology dispensation from ordinary standards of argument. Quite the contrary. If theological claims purport to be true, then distinctions between valid and invalid inference, consistency and inconsistency, ambiguity and perspicuity, use and mention, entailment and non-entailment remain indispensable. The peculiar character of theology's object qualifies theological method without abolishing rational discipline.

Sources, Norms, and Procedures

It is useful here to distinguish three matters that theological discussions of method frequently conflate: sources, norms, and procedures.

A source supplies material for theological reflection. Scripture is a source; so are creeds, confessions, liturgical practices, historical testimony, philosophical arguments, and the accumulated conceptual vocabulary of the Christian tradition. Different theological traditions will disagree, of course, about the relative status of these sources, but identifying something as a source does not by itself determine what authority it possesses.

A norm performs another function. A norm governs theological judgment. Within classical Lutheran theology, Scripture does not stand merely as one theological source among several; it functions normatively in a manner in which Augustine, Aquinas, Luther, or the Formula of Concord does not. Precisely how such normativity is understood opens a host of hermeneutical questions, though the logical point can be made independently of their eventual resolution: the set of materials from which theology learns and the standards by which theological claims are judged need not be coextensive.

A procedure, finally, concerns what theologians do with sources under the governance of norms. They interpret texts, distinguish senses of terms, draw consequences, construct conceptual models, compare formulations, identify contradictions, trace historical development, and ask whether competing accounts preserve or obscure the phenomena requiring explanation. Much that is ordinarily called theological ‘method’ actually belongs at this procedural level.

Once these distinctions are made, certain familiar methodological quarrels become more perspicuous. A disagreement apparently concerning Scripture may turn out to concern an interpretive procedure; a disagreement ostensibly concerning metaphysics may concern the normative authority granted to some doctrinal formulation; a dispute about a theological model may finally rest upon disagreement about which biblical or confessional claims the model must preserve.

Method Does Not Manufacture Its Object

A perennial temptation arises whenever a method proves especially powerful. What begins as an instrument of inquiry gradually becomes a criterion of reality itself. Whatever the method cannot capture comes to be regarded as confused, meaningless, inaccessible, or unreal.

The history of philosophy provides abundant examples. What cannot be verified is declared meaningless; what cannot be phenomenologically given is placed in abeyance; what cannot be expressed within a particular logical language is treated as philosophically suspect; what cannot be naturalized is relegated to the realm of projection. Each maneuver may illuminate something important, though each can also convert a methodological decision into an ontological decree.

Theology must be especially attentive to this temptation. A theological method is made; God is not. Conceptual structures are constructed; the reality to which theological language refers is not thereby constructed. We formulate doctrines, distinguish concepts, erect models, and test their consequences, but these activities must not be confused with the reality they seek to articulate.

This distinction between the given and the made will become increasingly important as this series proceeds. Theologians necessarily make models. They select terms, introduce distinctions, formalize relations, and construct conceptual structures within which doctrinal claims can be understood. Such making is unavoidable and frequently fruitful. Difficulties begin when the structure of the model is silently transferred to the structure of reality, so that what belongs to our representation is treated as belonging ipso facto to that which is represented.

Caveat lector: the point does not entail that theological models are arbitrary. Some models represent their subject matter better than others. Some preserve relevant doctrinal affirmations while others distort them; some disclose consequences previously unnoticed while others conceal precisely what must be explained. Yet the distinction between model and modeled reality remains indispensable to judging any model at all.

Theological Method as Disciplined Judgment

We can now risk a provisional definition. Theological method is the disciplined ordering of sources, norms, concepts, and inferential procedures by which theologians seek truth concerning God and all things in relation to God.

Each part of this definition matters. Method is disciplined because theological inquiry cannot proceed merely by association or intuition. It involves ordering because sources, norms, concepts, and arguments do not arrive already assembled into a theological system. It seeks truth because theology claims more than internal coherence within a religious language-game. And its subject matter includes ‘all things in relation to God’ because theology has historically concerned creation, humanity, sin, history, church, sacrament, death, resurrection, and consummation precisely sub specie relationis ad Deum.

The phrase ‘seek truth’ should also remain firmly in view. Method does not guarantee truth. No procedure can do that. A perfectly executed inference may proceed from a false premise; an internally coherent theological model may misdescribe reality; an elegant conceptual system may succeed brilliantly at explaining claims that ought themselves to be rejected. Method disciplines judgment without rendering judgment apodictic.

The theologian therefore inhabits an unavoidable tension. Theology requires method because thinking without methodological discipline easily collapses into equivocation, inconsistency, and rhetorical assertion. Yet theology must also submit its methods to criticism because no human method enjoys an unrestricted view of its object. The method serves the inquiry; the inquiry does not exist to vindicate the method.

From Method to Models

This brings us to the question that will occupy the next stage of the argument. Once theologians begin ordering doctrinal affirmations, clarifying their relations, and asking what must be true if those affirmations are true, they inevitably begin constructing models. They may not call them models, and they may resist the vocabulary of model theory altogether, but the activity remains recognizable. Certain entities are assumed, relations among them are specified, propositions are held fixed, and the consequences of alternative interpretations are explored.

Accordingly, the next question is unavoidable: What is a theological model?

Answering it will require us to distinguish a model from a theory, a theory from its interpretation, an interpretation from the reality interpreted, and satisfaction within a structure from truth simpliciter. These distinctions might initially appear technical. In fact, they bear directly upon some of theology's oldest disputes, because theologians have often disagreed less about the sentences they confess than about the structures within which those sentences are taken to be true.

The question of method thus leads naturally to the question of models. And once models enter the discussion, logic, semantics, and ontology cannot remain far behind.

Gödel’s Ontological Argument: What Formal Proof Can—and Cannot—Establish

This is the twelfth and final part of a series developed through the Department of Philosophical Theology at the Institute of Lutheran Theology’s Christ School of Theology, exploring major results and developments in modern logic and their significance for philosophical and systematic theology.

It is fitting to end this series by returning to Gödel. We encountered him earlier because the completeness theorem showed an extraordinary correspondence between syntactic derivability and semantic consequence in first-order logic, while the incompleteness theorems exposed principled limits upon sufficiently strong formal theories. We return to him now in a rather different role, for Gödel also worked for many years upon a formal reconstruction of the ontological argument, bringing together higher-order quantification, modal logic, properties, essences, and necessary existence in an attempt to show that the existence of a Godlike being follows from a small set of explicitly stated axioms.

The argument is sometimes reported under the breathless heading that Gödel “proved that God exists,” which is almost exactly the wrong way to understand its philosophical importance. What Gödel produced was a formal argument within a specified logical framework; consequently, the interesting question is not whether the symbols somehow compel belief in God, but what has been established once the derivation is valid. To answer that question requires distinctions we have accumulated throughout this series: between syntax and semantics, proof and truth, axioms and interpretations, necessity and actuality, object language and metalanguage, and finally between a formally successful model and the reality that the model is intended to represent.

There is also a historical complication worth keeping in view. What is usually called 'Gödel’s ontological proof' is now better regarded as a family of closely related arguments. Gödel left a compact manuscript dated 1970; Dana Scott, after discussing the argument with Gödel, produced a slightly modified formulation that became especially influential, while C. Anthony Anderson, Melvin Fitting, and others later proposed further emendations. Recent formal work has made the distinctions among these versions increasingly precise.

Positive Properties and a Godlike Being

The argument begins not with existence but with properties. Let

PF

mean:

F is a positive property.

Gödel did not reduce positivity to some more elementary formal notion. 'Positive' functions as a primitive predicate upon properties, and axioms specify how positive properties behave. This point is crucial, because the proof does not manufacture substantive content from logic alone; it begins with substantive assumptions governing a class of properties and then investigates what follows from those assumptions.

Using a Scott-style presentation, one central principle says, roughly, that a property and its negation cannot both be positive and that one of them must fall on the positive side. Another principle says that if a positive property necessarily entails another property, the entailed property is also positive. We may represent the latter as

[PF ∧ □∀x(Fx → Hx)] → PH.

The reading is straightforward: if F is positive, and necessarily everything possessing F possesses H, then H is positive as well.

Gödel then defines a Godlike individual as one possessing every positive property:

Gx ↔ ∀F(PF → Fx).

Thus:

x is Godlike if and only if x possesses every positive property.

Notice what has happened. 'Godlike' has not been introduced as an unanalyzed name for the Christian God, nor has divine existence been inserted explicitly into the definition. The predicate G is constructed from the prior notion of positivity, and the burden of the argument consequently begins shifting toward the axioms governing positive properties.

One of the most important axioms then says that being Godlike is itself positive:

PG.

Together with the principles governing positive properties, one can prove that every positive property is possibly exemplified. Since being Godlike is positive, it follows that

◇∃xGx.

That is:

Possibly, there exists a Godlike being.

The move deserves attention because modal ontological arguments are often caricatured as simply assuming that God possibly exists and then exploiting S5 to obtain necessary existence. In the Gödel-Scott construction, the possibility claim appears as a theorem derived from more fundamental assumptions about positivity. Whether those assumptions are plausible is another question, but formally the distinction matters. In the familiar Scott presentation, positive properties are shown to be possibly exemplified, and Godlikeness is stipulated to be positive; hence the possible exemplification of Godlikeness follows.

Essence and Necessary Existence

Possibility alone does not give Gödel what he wants, however, and the next steps introduce the concepts of essence and necessary existence. Let

F Ess x

mean:

F is an essence of x.

In the Scott-style formulation, this can be represented schematically as

F Ess x ↔ Fx ∧ ∀H[Hx → □∀y(Fy → Hy)].

Thus F is an essence of x when x actually possesses F and F necessarily entails every property H that x possesses. The definition is extremely strong. An essence does not merely belong importantly or characteristically to an individual; it necessarily carries with it every property possessed by that individual under the conditions specified by the formalism. Scott's addition of the requirement Fx—the requirement that x actually exemplify the alleged essence—turns out to be technically significant, since recent formal analysis shows that a strict rendering of Gödel's own 1970 definition without this condition produces inconsistency, whereas the Scott modification avoids that particular problem.

Necessary existence is then defined through essences:

NEx ↔ ∀F(F Ess x → □∃yFy).

In words:

x exists necessarily if and only if every essence of x is necessarily exemplified.

Gödel then adds another crucial axiom:

PNE.

Necessary existence is a positive property.

Since a Godlike being possesses every positive property, any Godlike being possesses necessary existence. Moreover, the argument establishes that Godlikeness itself is an essence of anything Godlike. Once these pieces are assembled, the conclusion follows:

□∃xGx.

Necessarily, there exists a Godlike being.

This is a genuine formal result. The familiar Scott variant has been formally checked using contemporary higher-order theorem provers and proof assistants, and the derivation of the necessary existence conclusion from the stipulated axioms and definitions can be verified mechanically. Indeed, the computer-assisted work is philosophically interesting precisely because it removes much uncertainty about whether some unnoticed inferential gap lies hidden inside the argument.

But now the philosophical work begins rather than ends.

What Exactly Has Been Proved?

Three questions must be distinguished. First, does the conclusion follow from the axioms and definitions in the specified logic? Second, are those axioms themselves true or otherwise rationally warranted? Third, do 'positive property', 'Godlike', 'essence', and 'necessary existence' adequately represent the theological and metaphysical concepts to which we intend them to refer?

The first question is formal. The latter two are not settled merely by answering the first.

Suppose T is the theory consisting of the relevant axioms and definitions, while φ is the claim that necessarily a Godlike being exists. We may establish

T ⊢ φ.

Given the proof system, φ is derivable from T. If the semantics is appropriate and the formal system sound, we may correspondingly have

T ⊨ φ.

Every model satisfying T satisfies φ.

Neither statement, however, contains the further premise that T is true of reality. That claim must come from somewhere else. A valid derivation tells us what follows if the axioms hold; it does not transform the axioms into metaphysical truths merely because their consequences have been derived without error.

This is especially important because 'positive property' remains primitive. The axioms tell us how positivity behaves: positive properties must satisfy certain closure conditions, Godlikeness is positive, necessary existence is positive, and so forth. But the formal system does not independently establish that the relevant theological understanding of perfection, goodness, or divine reality corresponds to precisely this class of formally positive properties.

We can now see why merely announcing that the proof has been computer-verified misses the point. A proof assistant can establish that the conclusion follows from the formalized premises, and model finders can test consistency or produce countermodels to candidate claims. They cannot, merely by executing those procedures, determine whether 'positive' has captured what a theologian means by divine perfection or whether Gödel's definition of 'essence' captures what belongs to the essence of God. Modern automated work on the argument has been valuable precisely because it separates these questions instead of collapsing them.

The Problem of Modal Collapse

The most striking illustration is the phenomenon known as modal collapse. In the Gödel-Scott family of formulations under discussion, the axioms are strong enough to derive

φ → □φ.

Whatever is true is necessarily true.

If this principle holds generally, then the distinction between contingent and necessary truth collapses. What actually happens could not have been otherwise, at least within the modal structure represented by the theory. Automated analysis has confirmed that modal collapse follows in the familiar Scott-style formulation and in closely related corrected forms of Gödel's argument.

For theology this is hardly an insignificant consequence. Classical Christian theology ordinarily distinguishes the necessity of God's being from the contingency of creation. God does not create because God lacks the ability not to create, and the created order is not ordinarily regarded as following from the divine essence with the same necessity with which God is God. If every actuality is necessary, the formal system threatens precisely this distinction between Creator and creature, necessity and freedom, which means that the theologian has good reason to inspect the assumptions producing the collapse.

Yet the right response is not to say that modal collapse proves Gödel's argument invalid. If the collapse is derivable from the axioms, then it is one of their consequences, and a formally valid proof cannot be refuted by disliking another theorem of the same system. Rather, modal collapse gives us evidence relevant to the independent assessment of the axioms: if those axioms entail a consequence we have strong theological or metaphysical reason to reject, then we have reason to reconsider the axioms, their definitions, or the logical framework within which they operate.

Later variants make this point particularly clear. Anderson and Fitting alter Gödelian assumptions in ways that preserve versions of the necessary-existence argument while avoiding modal collapse. The existence of such variants shows that the collapse is not simply an unavoidable consequence of any modal ontological argument; it depends upon how the relevant notions have been formalized and which axioms govern them.

When Formalization Discovers Something

Here the argument becomes a fitting conclusion to our series, because formalization is doing more than decorating an old philosophical argument with symbols. By making definitions and inferential commitments explicit, it can reveal consequences that ordinary prose leaves hidden. Modal collapse is one example; the recently identified difficulty with the unmodified 1970 definition of essence is another. What looked informally close enough can turn out formally to matter greatly.

This is one of the genuine promises of formal methods for theology. A formal reconstruction may show that a conclusion does not follow unless some additional premise is introduced, that two formulations previously regarded as equivalent actually behave differently, that an apparently harmless definition generates an unwanted theorem, or that weakening an axiom preserves the desired result while avoiding an objection. In such cases logic is not replacing theological judgment but giving theological judgment a more exact object upon which to work.

The same point applies to models. If there is a model of T in which some candidate theological conclusion fails, then the conclusion does not follow merely from T. If every model of T satisfies the conclusion, we have established semantic consequence. If T possesses models with structures substantially different from the one theology intended, the Löwenheim–Skolem considerations encountered earlier in this series return. If the intended structure can be isolated only by moving to stronger higher-order resources, the costs examined in our discussion of second-order logic arise. If necessarily equivalent formulations nevertheless differ in theological content, the problem of hyperintensionality returns as well.

Gödel's little argument thus sits at the intersection of nearly everything we have been discussing.

Why It Matters for Theology

The great theological lesson of Gödel's ontological argument is therefore neither that formal logic has proved God nor that formal logic is incapable of speaking meaningfully about God. Both conclusions are too easy. The argument shows instead what becomes possible when theological and metaphysical commitments are made explicit enough to enter a rigorous formal system.

Once the axioms have been stated, logic can be relentless. It can determine consequences that the original author may not have noticed, expose hidden dependence upon modal principles, distinguish definitions that initially appeared equivalent, and even allow computers to verify derivations whose details would otherwise be extraordinarily difficult to survey. What logic cannot do merely by being logic is certify that the primitive predicates have been interpreted correctly or that the axioms from which the derivation begins are true of God.

This distinction is not a weakness of formalization. It is the condition under which formalization becomes intellectually useful.

The theologian therefore ought neither fear formal logic nor ask it to do work it cannot do. When a formal argument establishes

T ⊢ φ,

the achievement can be considerable. We now know that φ follows from T according to the stated rules. The next questions concern T itself: what its terms mean, what its axioms assert, what models satisfy it, whether those models correspond to the intended subject matter, and whether we have independent reason to believe that the world—or God—is as the theory represents.

Those questions cannot be evaded by pointing again to the proof.

The Series in Retrospect

We began this series with Frege, Peirce, and Cantor because modern logic enormously expanded what could be formally expressed. Russell and the development of axiomatic methods showed why disciplined formal construction was necessary; Gödel showed both the extraordinary reach and the principled limitations of proof; Löwenheim–Skolem and Compactness taught us that theories may have structures we never intended; Tarski taught us to distinguish truth from satisfaction and object language from metalanguage; Church and Turing placed limits upon mechanical decision; Kripke gave necessity and possibility a model-theoretic semantics; second-order logic showed how additional expressive strength can be purchased at metatheoretical cost; hyperintensionality showed that even complete modal agreement may fail to capture sameness of content; and nonclassical logics taught us that the relation of consequence itself may become an object of philosophical investigation.

Gödel's ontological argument draws these threads together because it forces us to ask, all at once, what language we are using, over what its variables range, which modal semantics we have chosen, which properties our higher-order quantifiers admit, what our definitions mean, which axioms are assumed, what follows from them, and whether the formal structures thereby generated correspond to the theological reality about which we intend to speak.

After twelve installments, that may be the most important lesson modern logic can offer theology. Formalization does not abolish interpretation, metaphysics, or theological judgment; neither does it leave them where it found them. It disciplines them by forcing us to locate exactly where our commitments enter and exactly what those commitments entail.

Logic does not relieve theology of the obligation to speak truthfully about its subject matter. It makes it considerably harder for theology to conceal from itself what it has actually said.

Bibliographical Note

Gödel's ontological argument appears in the posthumously published third volume of his Collected Works, with an introduction by Robert Merrihew Adams. Dana Scott's closely related formulation became one of the principal versions discussed in the subsequent literature. C. Anthony Anderson's “Some Emendations of Gödel's Ontological Proof,” Faith and Philosophy 7 (1990): 291–303, develops an influential revision, while Melvin Fitting's Types, Tableaus, and Gödel's God (Kluwer, 2002) provides an extensive logical treatment. Christoph Benzmüller and Bruno Woltzenlogel Paleo inaugurated detailed computer-supported verification of the argument using contemporary higher-order theorem provers and proof assistants, while later work by Benzmüller, David Fuenmayor, Annika Kanckos, Scott, and others has clarified the relations among different Gödelian variants, modal collapse, positivity, and the exact logical strength required by the argument. Recent work with Scott also distinguishes more sharply Gödel's 1970 manuscript from Scott's modified version and shows the importance of the precise definition of essence.

When Classical Logic is not Enough: Nonclassical Logics and Theological Reasoning

This is the eleventh part of a series developed through the Department of Philosophical Theology at the Institute of Lutheran Theology’s Christ School of Theology, exploring major results and developments in modern logic and their significance for philosophical and systematic theology.

Classical logic is extraordinarily powerful, so powerful in fact that one can easily begin to speak simply of 'logic' as though the classical system exhausted the possibilities of valid inference. The propositional calculus gives us familiar principles governing negation, conjunction, disjunction, and implication; first-order logic adds quantification and identity; model theory then permits us to specify satisfaction, consequence, validity, and interpretation with great precision. Much of the preceding series has depended upon precisely this framework, and nothing in what follows should be taken as withdrawing the confidence we have repeatedly placed in it.

Yet the development of logic in the twentieth century made clear that one need not abandon rigor in order to ask whether every feature of classical consequence is appropriate to every domain of reasoning. One can instead ask which principles are being used, what assumptions support them, and what changes when one of those assumptions is altered. This is the setting within which the various nonclassical logics emerged, not as one unified rebellion against classical logic, but as a family of formally disciplined attempts to revise particular features of consequence for particular purposes.

The plurality is important. Intuitionistic logic alters what may count as sufficient warrant for assertion and consequently declines to validate some classical principles. Relevant logics require a stronger connection between antecedent and consequent than material implication ordinarily supplies. Paraconsistent logics deny that contradiction must entail everything whatsoever, while many-valued logics permit semantic values other than the classical pair of truth and falsity. These systems do not all solve the same problem, and theology gains nothing by treating them as though they were variations upon one general theme called 'nonclassical logic'.

The more fruitful question is why theology might care about any of them.

Intuitionistic Logic: What Warrants the Assertion?

Classical logic validates the law of excluded middle:

P ∨ ¬P.

Either P or not-P.

It also validates double-negation elimination:

¬¬P → P.

If it is not the case that P is false, then P.

For classical reasoning these principles are familiar enough that one may hardly notice when they are being used. Intuitionistic logic, arising from Brouwer's philosophy of mathematics and subsequently formalized especially by Heyting, does not accept them unrestrictedly, not because the intuitionist is somehow more tolerant of contradiction, but because the standards governing assertion have changed. Under the constructive interpretation, asserting P requires an appropriate construction or proof of P, while asserting P ∨ Q requires having grounds for one disjunct or the other; consequently, the impossibility of ¬P need not itself amount to a constructive establishment of P.

The theological temptation here is obvious, and it should be resisted. It would be careless to claim that theological propositions are intuitionistic simply because faith is not mathematical proof, or to suppose that intuitionistic logic somehow captures religious trust better than classical logic. The connection is much more modest, but also more interesting, because intuitionistic logic forces us to ask a question theological argument often leaves implicit: What exactly warrants the assertion being made?

Consider the difference between

¬¬P

and

P.

Classical logic permits the passage from the former to the latter, whereas intuitionistic logic does not generally permit that inference. The distinction is useful because it forces us to ask whether showing that the denial of a proposition is untenable amounts to positively establishing the proposition itself. A theologian may successfully argue that a particular denial of divine action produces contradiction, but it remains a further question whether this alone establishes the particular positive account of divine action that the theologian wishes to defend.

One need not become an intuitionist in order to profit from the distinction. The formal system is valuable here because it makes visible an inferential step that ordinary theological prose can conceal, namely, the transition from the failure of a denial to the warrant for an affirmation.

Relevant Logic: What Has the Premise to Do with the Conclusion?

Classical material implication produces results that can initially seem peculiar. Since

P → Q

is classically equivalent to

¬P ∨ Q,

the conditional is true whenever P is false or Q is true, and consequently classical logic validates forms such as

P → (Q → P)

and

¬P → (P → Q).

These are often called paradoxes of material implication, though they are not contradictions within classical logic; they follow directly from the truth-functional definition of the conditional.

Relevant logicians ask whether a genuine relation of implication should require more than this. If we say that one proposition follows from another, should there not be some appropriate connection between the content of premise and conclusion? Relevant logics attempt to build such a requirement into the consequence relation itself, so that implication is not secured merely by the falsity of an antecedent or the independent truth of a consequent.

For theology the question is hardly peripheral, because theological discourse is saturated with conditionals. We say:

If Christ is risen, then …

If God creates ex nihilo, then …

If justification is by faith, then …

If God is immutable, then …

In such cases the theological force of the conditional ordinarily depends upon some intelligible relation between what is asserted in the antecedent and what is claimed in the consequent. We do not usually mean merely that the conditional happens to receive the value true under the truth table for material implication.

This is not yet an argument for replacing classical implication. It may instead be an argument for recognizing that many theological uses of 'if … then …' express more than the material conditional was ever intended to capture. The important point is therefore methodological: before formalizing a theological conditional, one must determine what sort of inferential relation the natural-language formulation is attempting to express.

Relevant logic helps precisely because it refuses to allow us to ignore that question.

Paraconsistent Logic: What Follows from Contradiction?

Perhaps no family of nonclassical logics is more immediately attractive to theologians, and perhaps none is more easily abused, than paraconsistent logic. Classical logic validates the principle commonly called explosion:

P, ¬P ⊢ Q.

From a contradiction, anything follows.

The principle does not mean that Q bears some hidden relation to P. Rather, once both P and ¬P have been admitted into a classical theory, every sentence becomes derivable, and the theory consequently loses its ability to discriminate among conclusions. In that technical sense, contradiction produces triviality.

Paraconsistent logics reject explosion. In a paraconsistent consequence relation, it is not generally the case that

P, ¬P ⊨ Q

for arbitrary Q, and therefore inconsistent information can be reasoned from without permitting every proposition to follow. What must be emphasized, however, is that paraconsistency does not by itself entail that contradictions are true; it entails only that contradiction need not produce inferential collapse.

This distinction is especially important in theology, where doctrines are often said loosely to be 'paradoxical' or even 'contradictory'. Christ is divine and human; God is one and three; the believer is righteous and sinful; God acts while creatures genuinely act. Yet none of these formulations has the form

P ∧ ¬P

unless one has first identified 'human' with 'not divine', 'three' with 'not one', or otherwise made the predicates contradictory in the same respect and under the same description.

Indeed, much of the history of Christian doctrine can be read as sustained resistance to exactly such conflations. Chalcedonian Christology does not say that Christ is finite and not finite in the same respect; Trinitarian doctrine distinguishes essence from person; the Lutheran formula simul iustus et peccator does not require that righteousness and sin be predicated univocally in the same respect. The logical discipline here lies not in invoking paraconsistency too quickly, but in determining first whether a genuine contradiction exists.

Paraconsistent logic becomes genuinely interesting when we confront a theological corpus, a historical tradition, or a developing theory that actually contains inconsistent commitments. Must everything then follow? A paraconsistent framework says no, and that can be useful when analyzing historically layered materials, competing doctrinal formulations, or theories under revision, because one can study the consequences of inconsistency without first pretending that the inconsistency is absent and without allowing the system to become trivial.

It is therefore essential to distinguish paraconsistency from dialetheism. The former concerns the behavior of consequence in the presence of contradiction; the latter is the metaphysical thesis that some contradictions are in fact true. One may use paraconsistent logic as a formal tool without thereby committing oneself to the reality of true contradictions, and theology should preserve that distinction with some care.

Many-Valued Logic: Must Every Proposition Be Simply True or False?

Classical propositional logic operates with two truth values, true and false. Many-valued logics generalize this architecture by permitting additional semantic values, though the significance of those additional values varies considerably from system to system. Some contain three values, others finitely many, and still others infinitely many; moreover, the extra values need not always be understood as degrees of truth, since they may instead represent indeterminacy, lack of information, semantic defect, or some other feature of the evaluation.

The theological temptation must again be controlled. The existence of many-valued logics does not establish that theological truth itself comes in degrees, nor does it show that mystery or doctrinal controversy requires intermediate truth values. What these logics do show is that bivalence is a semantic choice that can be examined rather than silently presupposed in every domain.

Suppose, for example, that we consider a predicate such as

x is mature in faith.

At what precise point does this predicate become true? If there is no sharp boundary, the issue may concern vagueness rather than either contradiction or theological confusion. Similar difficulties arise with predicates such as 'orthodox', 'responsible', 'culpable', 'spiritually mature', and even, in some contexts, 'alive' and 'dead', where biological or conceptual boundaries may be difficult to draw sharply.

A many-valued semantics offers one family of ways of representing such cases. It is not the only family, since supervaluationism, epistemicism, contextualism, and other theories compete with it, but the formal possibility is philosophically useful because it prevents us from assuming without argument that every semantically difficult case must still admit a sharp classical assignment of exactly one of two values.

The lesson for theology is therefore not that truth is fuzzy. It is that the semantics appropriate to a theological predicate must be investigated rather than assumed.

Which Logic for Theology?

At this point one might ask which logic theology should use, but the question is too coarse if it is understood as demanding one system for every theological task. There is no reason to suppose that theology needs a single nonclassical logic to replace classical logic across the board, and there is every reason to retain classical first-order logic for the enormous range of theological reasoning for which its proof theory, semantics, and inferential behavior are entirely adequate.

The existence of nonclassical logics does not overthrow classical logic. What it does overthrow is the assumption that every feature of classical consequence lies beyond philosophical examination. Intuitionistic logic asks what licenses assertion; relevant logic asks what connection implication should require between premise and conclusion; paraconsistent logic asks whether inconsistency must entail triviality; many-valued logic asks whether every semantic domain is adequately represented by exactly two truth values.

What has happened, accordingly, is not an abandonment of logic but a deepening of the philosophy of logic, because logical consequence itself has become an object of investigation. Earlier in this series we asked what follows from a theory, what structures satisfy it, whether the intended structure can be characterized, whether truth can be defined within the relevant language, whether consequences can be mechanically decided, and whether possible-world semantics supplies a sufficiently fine-grained account of content. Nonclassical logic now asks a question prior to many of those questions: Which relation of consequence are we employing when we say that one proposition follows from another?

The answer cannot simply be read off from the theological subject matter. The doctrine of the Trinity does not announce that its proper formal reconstruction must be classical, relevant, paraconsistent, or intuitionistic, nor does the Incarnation tell us in advance what sort of logical system best represents the relations among its propositions. One must first determine what the doctrine actually asserts, whether its apparent tensions are genuine contradictions or merely differences of respect, what kinds of conditionals occur within the argument, and what semantic distinctions the doctrine itself requires.

Only after that work has been done does the choice of formal machinery become philosophically responsible.

There is a danger in both directions. One can force every theological claim into classical form and conclude that whatever does not fit must be confused, or one can invoke a nonclassical logic whenever a doctrine appears difficult and thereby protect a defective formulation from criticism by simply changing the consequence relation. Neither procedure is satisfactory, because in both cases logic is being selected before the theological and semantic work has been done.

The choice of logic should instead follow from an analysis of the inferential phenomena one is attempting to represent. If the problem is vagueness, paraconsistency may be beside the point; if the problem is inconsistent information, many-valuedness may not address it; if the issue concerns the relation between antecedent and consequent, intuitionistic logic does not automatically solve it. Different logics revise different structures, and therefore there is no generic escape hatch labeled 'nonclassical'.

Why It Matters for Theology

Nonclassical logic matters for theology because it reveals that our conception of consequence already contains philosophical commitments. Classical logic gives powerful and often entirely appropriate accounts of theological reasoning, but its principles are better understood when we know what alternatives would look like and which features of inference those alternatives modify.

The discipline imposed by nonclassical logic is therefore double. We must specify exactly which classical principle appears inadequate for the task before us, and we must also identify what is gained and what is lost when that principle is revised. Merely changing the logic does not settle the theological question, since every alteration in consequence brings with it new semantic and proof-theoretic commitments of its own.

For theology this discipline can be salutary, because it forces distinctions that theological rhetoric too easily obscures. Apparent contradiction must be distinguished from genuine contradiction; material implication from explanatory or relevant connection; lack of proof from falsity; vagueness from inconsistency; mystery from contradiction; and formal tolerance of inconsistency from the metaphysical claim that some contradiction is actually true.

These are not logical niceties added after the theological work is complete. They belong to the conditions under which theology can say clearly what it means to say.

The most important lesson, therefore, is not that theology needs another logic, but that theology should know what its logic is doing, what it permits, what it forbids, and why. Once that much has been learned, the existence of alternative logics becomes less threatening and more useful, because each can be treated not as a rival worldview but as an instrument for testing the assumptions built into a particular account of consequence.

This brings us naturally to the final installment of the series. We began with Frege, Peirce, and Cantor, where modern logic dramatically enlarged the resources available for formal expression; we moved through model theory, completeness, incompleteness, compactness, truth, computability, modality, second-order logic, and hyperintensionality; and we have now reached the point at which consequence itself can be formally varied.

It is therefore fitting to return at the end to Gödel. His ontological argument brings together much of the machinery accumulated along the way: quantified modal logic, higher-order resources, necessity, possibility, formal derivation, and the distinction between the validity of an argument and the truth or adequacy of the axioms from which it proceeds. The final question will not be whether logic can 'prove God', but something more precise and, I think, more interesting: what exactly has been established when a theological argument has been successfully formalized and proved valid?

Bibliographical Note

The modern study of intuitionistic logic grows from L. E. J. Brouwer's philosophy of mathematics and Arend Heyting's subsequent formalization of intuitionistic reasoning. Alan Ross Anderson and Nuel Belnap's work on entailment became foundational for relevance logic. Stanisław Jaśkowski and Newton da Costa were among the major pioneers of paraconsistent logic, while subsequent work by Graham Priest and others developed its philosophical implications. Jan Łukasiewicz's work on three-valued logic, initially associated especially with future contingents, helped initiate the systematic study of many-valued logics. These traditions should not be treated as a single alternative to classical logic, since each revises different features of classical consequence for different formal and philosophical purposes.

Beyond Possible Worlds: Hyperintensionality and the Grain of Theological Content

This is the tenth part of a series developed through the Department of Philosophical Theology at the Institute of Lutheran Theology’s Christ School of Theology, exploring major results and developments in modern logic and their significance for philosophical and systematic theology.

Kripke semantics gave modal logic an extraordinary conceptual advance. Once necessity and possibility could be interpreted relative to possible worlds and an accessibility relation, claims that had seemed resistant to rigorous semantic treatment became formally manageable. To say that φ is necessary at a world w is to say that φ is true at every world accessible from w; to say that φ is possible is to say that φ is true at at least one accessible world. With this apparatus, philosophers could distinguish actuality from necessity, possibility from actuality, and different systems of modal reasoning by imposing different conditions upon accessibility.

But a successful semantics can disclose its own limitations precisely by being successful. Possible-world semantics distinguishes propositions that differ in their modal profiles. What happens, however, when two propositions have exactly the same modal profile but nevertheless appear to differ in meaning, explanatory role, subject matter, or metaphysical ground? This is the problem of hyperintensionality.

To see the issue, we should first distinguish three levels. An extensional context is sensitive to extension—in the case of sentences, principally to truth value. An intensional context can distinguish expressions that have the same actual extension but differ across possible worlds. A hyperintensional context is finer-grained still: it may distinguish expressions even when they are necessarily equivalent, and therefore have the same truth value at every possible world. That is the central idea behind contemporary talk of hyperintensionality.

Suppose, for example, that φ and ψ are necessarily equivalent:

□(φ ↔ ψ).

On a coarse-grained possible-world account in which propositions are identified with the sets of worlds at which they are true, φ and ψ determine the same proposition. They are true at precisely the same worlds, and nothing in their possible-world extensions distinguishes them.

Now consider two necessary truths:

2 + 2 = 4.

and

If God is triune, then God is triune.

Assuming standard arithmetic and classical logic, both are true at every possible world under consideration. If propositions are simply sets of possible worlds, both consequently correspond to the same set: the set of all possible worlds. Yet one proposition concerns arithmetic, while the other concerns the logical consequence of a theological predication. Whatever account we finally give of propositional content, it seems difficult to maintain that they say the same thing merely because no possible world distinguishes their truth values. This is a standard pressure against identifying propositional content simply with sets of possible worlds: distinct necessary truths collapse into the same coarse-grained intension.

The corresponding problem arises for necessary falsehoods. If two propositions are impossible, each is true at no possible world. On the same coarse-grained account, both correspond to the empty set, even though they may express entirely different impossibilities. Possible worlds tell us where propositions are true; they do not always tell us finely enough what those propositions say.

The theological significance of this becomes apparent almost immediately.

Suppose a theologian maintains that God is triune is necessarily true. Suppose also that 7 + 5 = 12 is necessarily true.

The propositions then agree in modal profile: each is true at every possible world. But no theologian wishes to infer that the doctrine of the Trinity and an elementary proposition of arithmetic possess the same theological content. The former says something about God; the latter does not. Modal equivalence, even necessary equivalence, is therefore too coarse to capture every distinction theology needs to make.

The point becomes still clearer when we consider explanation. Assume that φ and ψ are necessarily equivalent. It does not follow that

φ because ψ

and

ψ because φ

are interchangeable. Explanation has direction. The existence of Socrates may explain the existence of Socrates' singleton, for example, even though, necessarily, Socrates exists if and only if the singleton of Socrates exists. Reversing the explanation does not thereby become equally satisfactory. Contemporary discussions of grounding therefore routinely treat grounding and explanation as hyperintensional: substitution of necessarily equivalent claims can change the truth or adequacy of a grounding or explanatory statement. Theology is filled with precisely such explanatory asymmetries.

Consider the difference between saying that something is true because God is what God is and saying merely that the proposition is necessarily true. If

□φ,

we know that φ holds throughout the relevant space of possible worlds. But from this alone we have learned nothing about why φ is true, whether φ belongs to the essence of something, or what metaphysically grounds φ.

Necessity and essence therefore come apart. An influential line of contemporary metaphysics, associated especially with Kit Fine, argues that although essential truths are necessary, not every necessary truth about an object states something belonging to its essence. One may have necessary connections to countless objects or mathematical truths that contribute nothing to what one is. The modern literature on grounding makes the same point: essence and metaphysical explanation seem to require distinctions finer than modal covariance across possible worlds.

That matters greatly for classical theology. When the theologian says that omnipotence, goodness, or triunity belongs to God essentially, the claim is not obviously exhausted by saying that God possesses the relevant property in every possible world in which God exists. The theologian is saying something about what God is, not merely plotting the distribution of a predicate across modal space.

Compare:

Necessarily, if God exists, then 2 + 2 = 4.

with:

Necessarily, if God exists, then God is God.

Both may be necessary. Yet the second appears connected to divine identity in a way the first plainly is not. Possible-world necessity by itself does not mark that difference.

Hyperintensionality therefore raises a question more fundamental than whether modal logic is adequate. The question is whether modal profile supplies a sufficiently fine grain of content for all the philosophical work theology asks propositions to perform. In many cases it does not.

Belief provides another familiar example. A person may believe φ without believing ψ even when φ and ψ are necessarily equivalent. Someone may believe a complicated mathematical theorem without recognizing an equivalent formulation of that theorem, or believe one description of an individual without believing another necessarily co-referring description. If belief were modeled entirely by the set of possible worlds compatible with what the believer believes, problems of logical omniscience quickly arise: the believer threatens to become committed to every logical consequence of everything believed. Hyperintensional approaches seek a semantic grain fine enough to distinguish contents that possible-world semantics treats alike.

The theological analogue is obvious. A fourth-century theologian might affirm everything needed for a doctrinal conclusion without possessing our later conceptual formulation of that conclusion. Two creedal formulations might agree extensionally, or even necessarily, while differing significantly in what they make explicit, what conceptual distinctions they employ, and what theological errors they exclude. If theological propositions are identified solely by their truth across possible worlds, some of these differences risk disappearing.

This is not merely a problem about wording. The distinction between homoousios and a formulation that happens to have the same truth conditions may matter precisely because doctrinal language intends to say something determinate about the relation of Father and Son. Likewise, two theories of justification might generate the same verdicts about every imagined case while differing concerning what grounds justification, what role faith plays, or what relation obtains between promise and reception. Agreement in extension—even necessary agreement—does not by itself establish sameness of theological account. How, then, should hyperintensionality be modeled?

There is no single accepted answer. Some approaches treat propositions as structured entities rather than merely sets of worlds, so that the internal semantic organization of a proposition contributes to its identity. Others employ impossible worlds: points of evaluation at which logical, mathematical, or metaphysical impossibilities may obtain. Two necessary truths that agree at every possible world can then differ because they behave differently at impossible worlds. Still other approaches use finer-grained notions of facts, states of affairs, subject matter, proof, grounds, or structured meaning.

Impossible-world semantics is particularly instructive. If φ and ψ are both necessary, no possible world distinguishes them. But an impossible world might be one at which φ holds while ψ does not. Extending the semantic space beyond the possible thereby gives us a way of separating contents that standard possible-world semantics collapses. This does not require believing that impossible worlds concretely exist somewhere; like possible worlds in formal semantics, they may be treated as representational devices within a semantic theory. Contemporary hyperintensional semantics employs precisely such strategies.

But once again, greater expressive discrimination brings philosophical costs. How fine-grained should propositions become? If every syntactically distinct sentence expresses a different proposition, we distinguish too much. If all necessary equivalents express the same proposition, we distinguish too little. Between these extremes lies the hard question of which differences matter for meaning, explanation, essence, grounding, belief, and subject matter.

The problem is therefore not merely to make semantic content finer-grained. It is to make it finer-grained in the right way.

This brings us back to a theme running through the entire series. Frege gave us quantification; model theory taught us how theories are interpreted in structures; Löwenheim–Skolem and Compactness exposed limits upon how tightly first-order theories control their models; Tarski distinguished truth from the semantic machinery by which truth is defined; Kripke showed how necessity and possibility can be treated through possible worlds; second-order logic showed that additional expressive power can be purchased, but only at a price.

Hyperintensionality now reveals another boundary. Even when we know the truth value of a proposition at every possible world, we may still not know enough about its content.

That is a remarkable result for philosophical theology, because theology is concerned not merely with which sentences come out true but with what is being said, what makes it true, how one truth explains another, what belongs to the essence of God or creature, and which conceptual distinctions are doctrinally significant. A semantics that records only distributions of truth across possible worlds may therefore be indispensable for modal reasoning while remaining insufficient for these further tasks.

Why It Matters for Theology

Hyperintensionality matters for theology because theological truth is not exhausted by modal extension. Two claims can agree at every possible world and nevertheless differ in subject matter, meaning, explanatory direction, essential content, or metaphysical ground.

This is particularly important when theology speaks of divine essence, Trinitarian relations, incarnation, justification, sacramental presence, or divine action. In such cases theologians ordinarily care not merely that certain propositions are necessarily connected but how they are connected and what accounts for the connection. To say that φ necessarily accompanies ψ is weaker than saying that ψ grounds φ, that φ belongs to the essence of some object, that ψ explains φ, or that φ and ψ express the same content.

Possible-world semantics therefore remains enormously valuable without being semantically exhaustive. Kripke taught us how to represent modal profile. Hyperintensional theories remind us that modal profile is not always identity of content.

For philosophical theology, the lesson is again one of discrimination rather than skepticism. The question is not whether formal semantics fails, but which semantic distinctions a particular formalism is capable of representing. Once theology begins asking not merely what could or must be true, but what a doctrine means, what grounds it, what explains it, and what belongs essentially to its subject matter, it has entered territory in which possible worlds alone may no longer be enough.

Bibliographical Note

The contemporary literature on hyperintensionality grows from problems concerning belief, meaning, logical omniscience, essence, grounding, and explanation. Kit Fine's work on essence was especially important in challenging the reduction of essence to necessity, while subsequent work on grounding and metaphysical explanation has reinforced the need for distinctions among necessarily equivalent contents. Mark Jago's The Impossible: An Essay on Hyperintensionality (Oxford University Press, 2014) and Francesco Berto and Mark Jago's Impossible Worlds (Oxford University Press, 2019) develop impossible-world approaches to hyperintensional semantics. Contemporary surveys treat structured propositions, impossible worlds, grounding, essence, content, and related approaches as different attempts to explain how semantic and metaphysical distinctions can be finer-grained than possible-world intensions.