Kripke: Possible Worlds, Necessity, and the Semantics of Modal Logic

This is the eighth 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 in modern logic and their significance for philosophical and systematic theology.

For much of the first half of the twentieth century, modal logic occupied an uncertain position. Philosophers and logicians had long wanted to reason formally about necessity and possibility, but the semantic status of modal expressions remained obscure. What does it mean to say that something is necessarily true rather than merely true? What makes a proposition possible rather than actual? And how are we to understand the inferential behavior of expressions such as “it is necessary that” and “it is possible that” without treating them merely as unexplained operators added to ordinary logic?

The difficulty was real because modal contexts do not behave extensionally in the straightforward way familiar from classical first-order logic. If two names designate the same object, substitution of one for the other ordinarily preserves truth in extensional contexts. Yet in modal or other intensional contexts, substitution may fail. One may know that Cicero is Cicero without knowing that Cicero is Tully, although Cicero and Tully designate the same man. The logical problem was therefore not merely how to invent symbols for necessity and possibility, but how to give those symbols a semantics capable of explaining their inferential structure.

Saul Kripke's work around 1959 and 1960 supplied the decisive breakthrough. Building upon earlier developments by Rudolf Carnap, Stig Kanger, Jaakko Hintikka, and others, Kripke gave modal logic a relational semantics in which modal operators are interpreted through what are commonly called possible worlds.

Let us suppose that we have a collection of worlds and a relation of accessibility among them. We write

wRv

to mean:

world v is accessible from world w.

The accessibility relation does not ordinarily mean that one world physically travels to another, nor need possible worlds be understood as concrete universes. Within the semantics, they function first of all as points of evaluation. The relation R specifies which worlds are relevant when the modal status of a proposition is evaluated at a given world.

We can then define necessity and possibility.

□φ

is read:

It is necessary that φ.

And

◇φ

is read:

It is possible that φ.

The crucial semantic clauses are these:

w ⊨ □φ

if and only if

for every v such that wRv, v ⊨ φ.

In words: φ is necessary at world w exactly when φ is true at every world accessible from w.

Likewise,

w ⊨ ◇φ

if and only if

there is some v such that wRv and v ⊨ φ.

In words: φ is possible at world w exactly when φ is true at at least one world accessible from w.

What had previously looked like an elusive intensional distinction now received a mathematically precise semantic treatment. Necessity becomes truth throughout an appropriate range of accessible worlds; possibility becomes truth at at least one such world.

The importance of the accessibility relation appears when we notice that different modal logics correspond to different structural properties of R. If every world is accessible from itself, then R is reflexive. If accessibility is symmetric, then whenever wRv, we also have vRw. If it is transitive, then whenever wRv and vRu, we have wRu.

These apparently technical properties correspond to familiar modal principles.

For example, the system T validates

□φ → φ.

The principle says that whatever is necessary is true. Semantically, this follows when accessibility is reflexive, since if every world is accessible from itself, then anything true at all worlds accessible from w must be true at w itself.

The system S4 adds, among other things, the principle

□φ → □□φ.

If something is necessary, then it is necessarily necessary. This corresponds naturally to transitivity of accessibility.

S5 validates still stronger principles, including

◇φ → □◇φ.

If something is possible, then it is necessarily possible. In standard Kripke semantics, S5 may be modeled by treating accessibility as an equivalence relation, or more simply in many presentations by allowing every relevant world to be accessible from every other.

The achievement here was not merely that several modal calculi could now be given models. Kripke semantics showed why different systems validate different modal principles. Instead of treating modal axioms as isolated formal stipulations, one could correlate them with structural features of frames.

A Kripke frame consists of a set W of worlds together with an accessibility relation R:

F = ⟨W, R⟩.

A Kripke model adds a valuation V telling us where atomic propositions are true:

M = ⟨W, R, V⟩.

The semantics therefore mirrors a pattern already familiar from first-order model theory. A formal language receives interpretation relative to a structure, and truth is defined recursively relative to that structure. Kripke's innovation was to extend this model-theoretic strategy to modal discourse.

This has enormous consequences for philosophical theology because so much theological reasoning is modal whether or not theologians explicitly acknowledge it. Theology repeatedly distinguishes what God does from what God could have done, what creatures happen to be from what they must be, what follows necessarily from the divine nature from what results contingently from divine willing, and what is possible given certain theological commitments from what is impossible.

Consider a simple theological sentence:

□(God is God).

Whatever else may be said about the example, the modal operator tells us that the assertion is not merely that the proposition happens to be true. It is represented as true at every relevant accessible world.

Or consider:

◇(God creates no world).

This would express the claim that there is at least one accessible world in which God does not create. Whether the claim is theologically acceptable is a further question, but the semantics makes clear what kind of claim it is.

The value of the apparatus lies precisely in separating formal structure from theological judgment. Kripke semantics does not tell us which propositions are necessary, which worlds are genuinely possible, or which accessibility relation theology ought to adopt. Rather, it gives us a disciplined framework within which those further questions can be stated with precision.

This point matters because “possible world” language can easily become metaphysically inflated. One sometimes speaks as though Kripke semantics had established the existence of a vast plurality of concrete worlds. It did no such thing. The semantics requires mathematical structures containing points of evaluation and an accessibility relation. What metaphysical interpretation, if any, should be given to those points is a further philosophical issue.

That distinction is especially important in theology, where possible-world language is often used in discussions of divine necessity, freedom, providence, incarnation, atonement, and the problem of evil. One may employ Kripke semantics to regiment modal relations without committing oneself to David Lewis's later modal realism, according to which possible worlds are concrete realities. The formal semantics and the ontology of possible worlds are distinct questions.

There is another important lesson here. Modal claims are not merely ordinary claims with decorative prefixes. If

φ

is true, it does not follow that

□φ

is true.

Likewise, if

◇φ

is true, we cannot infer

φ.

The operators alter the conditions under which a proposition is evaluated. Much theological confusion arises precisely when claims of actuality, possibility, and necessity are allowed to slide into one another without argument.

Suppose, for example, one argues:

God creates the world.

Therefore,

God necessarily creates the world.

Nothing in ordinary logic licenses this inference. To move from actuality to necessity requires an additional modal premise.

Or suppose one reasons:

It is possible that God creates a world containing rational creatures.

Therefore,

God creates such a world.

Again, the inference fails. Possibility does not entail actuality.

These distinctions are elementary once formalized, but they become extremely important when theological arguments move among divine attributes, divine actions, and creaturely possibilities. Modal logic permits one to see precisely where the transition occurs and to ask what principle licenses it.

Kripke's work also transformed the treatment of quantified modal logic. Once individuals, quantifiers, and modal operators are combined, further questions arise. Does the domain of objects remain fixed across worlds, or may different worlds contain different objects? If an object exists in more than one world, how is it identified across worlds? Can an object possess some properties essentially and others accidentally?

These questions helped lead directly into Kripke's later work on naming, necessity, and essential properties. If a name such as “Aristotle” rigidly designates the same individual in every possible world in which that individual exists, then modal claims about Aristotle differ importantly from claims expressed merely through descriptions such as “the teacher of Alexander.” The distinction between rigid designation and descriptive reference would become one of the major developments in late twentieth-century philosophy.

For theology, the implications are immediate. Claims about God, Christ, divine attributes, personal identity, incarnation, and resurrection often depend upon questions of transworld identity and essential predication. To say that Christ could have acted otherwise is not merely to describe another individual satisfying a similar description. It is to make a modal claim about the same individual.

Kripke's semantics therefore gives philosophical theology something more valuable than an additional notation. It provides a framework for distinguishing necessity from actuality, possibility from consistency, essential from accidental predication, and semantic evaluation from metaphysical interpretation.

The framework also fits naturally with the larger trajectory of the results considered in this series. Tarski taught us to distinguish object language from metalanguage and truth from satisfaction. Church and Turing showed that formal specification does not guarantee universal mechanical decidability. Kripke now demonstrates that even intensional notions such as necessity and possibility can be treated with considerable formal rigor once their semantics is properly specified.

The lesson is not that metaphysics has been reduced to set theory. Rather, the logical structure of modal discourse can be made explicit without pretending that the formalism itself settles every metaphysical question.

Why It Matters for Theology

Kripke semantics matters for theology because theological reasoning is saturated with modal distinctions. God is said to exist necessarily, creation is usually said to be contingent, certain divine attributes are treated as essential, creaturely states as possible or impossible, and doctrines are often tested by asking whether a specified set of claims can be jointly true. Modal logic enables these claims to be distinguished rather than merely asserted.

It also teaches an important methodological discipline. A formal modal model tells us what follows once we have fixed a set of worlds, an accessibility relation, and a valuation. It does not itself tell us what counts as a genuinely possible world for theology, whether divine possibilities should be modeled by S4 or S5, whether domains should vary across worlds, or whether possible worlds should be given any robust metaphysical status. Those are theological and philosophical questions that arise after the semantics has done its work.

Kripke's achievement was therefore not to settle the metaphysics of possibility, but to provide a semantics within which modal reasoning could finally be treated with the same kind of rigor that model theory had already brought to extensional logic. For philosophical theology, that was a decisive gain.

Bibliographical Note

Saul A. Kripke's early modal-semantic work appeared in “A Completeness Theorem in Modal Logic,” Journal of Symbolic Logic 24 (1959): 1–14, and “Semantical Considerations on Modal Logic,” Acta Philosophica Fennica 16 (1963): 83–94. His later lectures, published as Naming and Necessity, developed the influential notions of rigid designation, necessary a posteriori truths, and essential properties. For theological applications, the most important background lies in the semantics of modal systems T, S4, and S5, quantified modal logic, rigid designation, and the distinction between formal possible-world semantics and substantive metaphysical theories of possible worlds.

Tarski: Truth, Satisfaction, and the Limits of a Language Speaking About Itself

This is the sixth 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 in modern logic and their significance for philosophical and systematic theology.

By the time modern logic had developed the resources of quantification, set theory, axiomatic systems, and model theory, a question that had always accompanied logic could no longer be postponed: What does it mean to say that a sentence is true? Although philosophers had, of course, asked about truth from antiquity onward, Alfred Tarski showed that once the question is raised within a sufficiently precise formal setting, one must distinguish matters that ordinary language easily allows us to run together. In particular, one must distinguish a sentence from the language in which we speak about that sentence, derivability from truth, and truth simpliciter from truth relative to an interpretation or structure.

This distinction became decisive because the formal languages developed by Frege, Russell, Hilbert, Gödel, and others were powerful enough to express increasingly complicated claims, while at the same time making possible new forms of semantic self-reference. Once a language becomes sufficiently expressive, allowing it unrestrictedly to contain its own truth predicate invites familiar paradoxes, most famously the liar: a sentence saying of itself that it is not true. Tarski's achievement was not merely to warn against such paradoxes, but to show how the notion of truth could nevertheless be defined rigorously for formal languages, provided that we carefully distinguish the language under investigation from the metalanguage in which its semantic properties are described.

The resulting conception of truth is often called the semantic conception of truth. Its most famous intuitive requirement is represented by what Tarski called Convention T. A satisfactory definition of truth should entail instances of the following form:

“Snow is white” is true if and only if snow is white.

The point is not the example, which is deliberately trivial, but the logical form. On the left we mention a sentence; on the right we use language to state the condition under which that sentence is true. A theory of truth must connect sentence and world without simply identifying the two, and it must do so from a standpoint in which the sentence itself can be referred to as an object of semantic investigation.

For first-order languages, however, truth is reached through the more basic notion of satisfaction. Suppose that M is a structure for a language L, with domain D, and that s is an assignment of objects in D to the variables of L. We then write

M ⊨ φ[s]

which is read:

The formula φ is satisfied in structure M under assignment s.

This notation matters because an open formula such as Px is not, strictly speaking, true or false independently of an assignment to x. It is satisfied in M under s when the object assigned by s to x belongs to the extension of P in M. Thus, if

s(x) = a,

then

M ⊨ Px[s]

just in case a belongs to the extension of P in M.

The recursive clauses then proceed through the logical structure of formulas. Negation, conjunction, disjunction, and the other connectives receive satisfaction conditions in terms of their component formulas, while quantifiers are handled by varying assignments. Thus,

M ⊨ ∃x φ[s]

if and only if there is some a in D such that

M ⊨ φ[s[x ↦ a]].

Likewise,

M ⊨ ∀x φ[s]

if and only if, for every a in D,

M ⊨ φ[s[x ↦ a]].

What initially looks like a technical device turns out to be philosophically important, because the semantic relation between language and structure is built up compositionally. We do not begin with an unexplained global notion of truth and then apply it indiscriminately. We define what it is for atomic formulas to be satisfied, specify how satisfaction behaves under the logical operations, and arrive finally at truth for sentences, which, because they contain no free variables, are satisfied or not satisfied independently of the particular assignment.

Accordingly, for a sentence σ we may write

M ⊨ σ

and read this:

σ is true in M,

or, equivalently,

M satisfies σ.

At this point an important distinction becomes unavoidable. To say that σ is true in M is not yet to say that σ is true simpliciter, unless M is being taken as the intended interpretation. Model theory deliberately allows many structures to interpret the same formal language, and therefore the same sentence may be true in one structure and false in another. The semantics tells us what follows once an interpretation has been fixed; it does not, merely by giving us the formal semantics, determine which interpretation is the one about which we intended to speak.

This point connects directly with the Löwenheim–Skolem and Compactness results considered in the preceding essays. Those theorems showed that first-order theories frequently possess models very different from the structures one might initially have intended. Tarski now gives us the semantic machinery for stating the matter precisely. If a theory T has many models, then

M₁ ⊨ T,

M₂ ⊨ T,

M₃ ⊨ T,

and so forth,

may all hold even though the structures M₁, M₂, and M₃ differ substantially. Satisfaction tells us whether a structure makes the sentences of the theory true; it does not by itself confer intendedness upon that structure.

The distinction between truth and provability is equally important. If T is a theory and φ a sentence, then

T ⊢ φ

says that φ is derivable from T by the formal proof rules, whereas

T ⊨ φ

says that every model of T satisfies φ.

Gödel's completeness theorem connects these two notions for first-order logic:

T ⊢ φ if and only if T ⊨ φ.

But the equivalence does not erase the conceptual distinction. The expression on the left concerns syntactic derivability; the expression on the right concerns semantic consequence. Indeed, the importance of Gödel's theorem lies precisely in the fact that two independently defined notions—proof and semantic consequence—turn out to coincide for first-order logic.

Here Tarski's work makes a contribution that theology ought to notice, although perhaps not in the way theologians sometimes suppose. The result does not establish that truth is ineffable, that human language cannot speak about God, that propositions fail before transcendence, or that theological language must finally dissolve into mystery. None of these claims follows from Tarski. What does follow is more disciplined and, for theology, more useful: whenever we speak about the truth of sentences belonging to a language, we must distinguish the sentences themselves from the semantic framework within which their truth conditions are being specified.

That distinction becomes especially important when theology moves between biblical language, doctrinal formulation, philosophical reconstruction, and formal representation. Suppose, for example, that a theological theory contains the sentence

∀x(Fx → Cx),

read:

Everything that is finite is created.

A theologian may ask whether the sentence follows from some theological theory T, whether it is satisfied in some model M of that theory, whether it expresses accurately what the theological sources intend, or whether it is in fact true of reality. Those are related questions, but they are not identical questions. Formal semantics can illuminate their relations precisely because it does not allow them simply to collapse into one another.

The distinction also bears upon theological metalanguage. Creeds, confessions, biblical propositions, and doctrinal assertions ordinarily occur within historically developed languages whose terms already bear substantial semantic weight. When the theologian begins to say what those sentences mean, under what conditions they are true, what follows from them, or what models satisfy them, the theologian has moved, whether explicitly or not, into a metalanguage. Once that movement is recognized, one can ask more carefully whether the metalanguage merely explicates the theological language, whether it transforms it, or whether it imports ontological and semantic commitments that the original language itself did not possess.

For philosophical theology, therefore, Tarski's importance lies not in providing a theological theory of truth, but in teaching us how much must already be distinguished before such a theory can responsibly be attempted. A sentence, its proof, its interpretation, the structure in which it is satisfied, and the reality about which it is intended to speak belong to different logical relations, even though theological discourse often moves rapidly among them. The semantic conception of truth disciplines that movement because it forces us to say, at each stage, what language we are using, what structure we have fixed, and what relation we are asserting between them.

The consequence is not skepticism but precision. Tarski does not tell us that truth escapes language; he shows us that language can speak rigorously about truth only when it respects the distinctions required by its own semantic functioning. For theology, which must continually speak both within its inherited language and about that language, this is no small achievement.

Why It Matters for Theology

Tarski's work gives philosophical theology at least four enduring lessons. First, truth must be distinguished from provability. Second, satisfaction in a model must be distinguished from truth under an intended interpretation. Third, theological object-language must be distinguished from the metalanguage by which theologians analyze its meaning and truth conditions. Fourth, formal adequacy does not by itself establish theological adequacy, since a formal structure may satisfy a theory without yet being the structure about which the theology intends to speak.

These distinctions become increasingly important as theology employs formal logic, model theory, possible-world semantics, or other forms of analytic reconstruction. The more powerful our formal languages become, the more necessary it becomes to know exactly which claims belong to the formal system and which claims concern the interpretation of that system. Tarski's achievement was to make that difference visible with a precision that modern theology can scarcely afford to ignore.

Bibliographical Note

Alfred Tarski's classic statement appears in “The Concept of Truth in Formalized Languages,” originally published in Polish in 1933 and later translated into English in Logic, Semantics, Metamathematics. His broader semantic conception is presented accessibly in “The Semantic Conception of Truth and the Foundations of Semantics,” Philosophy and Phenomenological Research 4 (1944): 341–376. For contemporary treatments, see standard introductions to model theory and philosophical logic under the topics of satisfaction, semantic truth, object language, metalanguage, and Tarski's undefinability theorem.

The Compactness Theorem: When Every Finite Part Fits

This is the fifth 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 in modern logic and their significance for philosophical and systematic theology.

The Löwenheim–Skolem theorems disclosed something remarkable about first-order logic: a theory may constrain its models quite strongly while nevertheless failing to determine the cardinality of the structures in which its sentences are true. The same theory may possess models of very different infinite sizes, and this fact already suggests that the relation between a formal theory and the structures satisfying it is more complex than a simple one-to-one correspondence between sentences and an intended domain.

The Compactness Theorem reveals a second and closely related feature of first-order logic, but one concerning not the size of models so much as the relation between finite portions of a theory and the theory taken as a whole. Its basic claim is this: if every finite subset T₀ of a first-order theory T has a model, then T itself has a model. Every finite part may be satisfiable in a different structure, and no single finite fragment need display the character of the eventual model of the whole theory; nevertheless, first-order logic guarantees that some structure satisfies all the sentences together.

This result became one of the central instruments of model theory because it permits the existence of structures to be established indirectly. Rather than constructing an infinite or nonstandard model object by object, one may show that every finite collection of the relevant conditions can be satisfied and then invoke Compactness to obtain a model of the entire theory.

Finite Satisfiability and the Whole Theory

Suppose that T is an infinite set of first-order sentences, and let T₀ be any finite subset of T, so that T₀ ⊆ T. There may be indefinitely many such finite fragments, and each may have a model quite different from the models of the others; Compactness does not require a single structure that already works for all finite fragments taken separately.

What it requires is only that each finite fragment be satisfiable. If that condition is met, then the whole theory T is satisfiable, even though infinitely many sentences must now be made true in one and the same structure.

The theorem has an equivalent formulation in terms of logical consequence. If T ⊨ φ, then there is some finite T₀ ⊆ T such that T₀ ⊨ φ. Thus, if a sentence φ follows semantically from an infinite collection of premises, it already follows from some finite portion of that collection.

This is an important point because it means that no particular first-order consequence requires an actually infinite body of premises essentially. An infinite theory may contain infinitely much information, but whenever one sentence is a semantic consequence of the whole theory, finitely many premises already suffice to force that consequence.

Why Completeness Yields Compactness

The connection with Gödel’s completeness theorem is both elegant and instructive. Suppose that T has no model; in that case T is semantically inconsistent, and we may write T ⊨ ⊥, where ⊥ represents contradiction.

Gödel’s completeness theorem tells us that whatever follows semantically in first-order logic is also formally derivable. Hence, if T ⊨ ⊥, then T ⊢ ⊥.

But every formal proof is finite, even when the set of available premises is infinite. A derivation of contradiction from T can therefore employ only finitely many sentences from T, which means that there must be some finite T₀ ⊆ T such that T₀ ⊢ ⊥.

By soundness, T₀ ⊨ ⊥ as well. Consequently, if the whole theory is unsatisfiable, some finite part of it is already unsatisfiable; taking the contrapositive gives the Compactness Theorem.

What first appears to be a theorem about infinite structures thus depends upon a striking interaction between syntax and semantics. The semantic fact that an entire infinite theory has a model is secured through the syntactic fact that any formal proof of contradiction would have to be finite.

An Infinite Model from Finite Requirements

A standard example displays the force of the theorem with unusual clarity. Let T = {σ₁, σ₂, σ₃, …}, where σₙ says that there are at least n distinct objects.

Every finite subset of T has a finite model. If, for example, a particular fragment contains only σ₁ through σ₁₀₀, then a structure containing exactly one hundred objects satisfies every sentence in that fragment.

The same reasoning applies no matter how large the finite fragment becomes. For any finite set of the sentences σ₁, σ₂, σ₃, …, one can choose a sufficiently large finite domain and thereby satisfy all of them together.

Compactness now tells us that the entire theory T has a model. Such a model must satisfy σ₁, σ₂, σ₃, … without end, and hence must contain at least n objects for every natural number n; therefore it cannot be finite.

Nothing in the argument required us to construct that infinite model directly. We established only the satisfiability of every finite portion of the theory, while Compactness guaranteed the existence of a structure satisfying them all at once.

Why Finitude Is Not First-Order Definable

The same pattern of reasoning reveals an important expressive limitation of first-order logic. Suppose there were a first-order sentence F that was true exactly in the finite structures.

Now consider the theory T = {F, σ₁, σ₂, σ₃, …}. Every finite subset of this theory would have a model, because if the largest size requirement appearing in a particular fragment were σ₅₀₀, one could simply choose a finite structure containing exactly five hundred objects; such a structure would satisfy F and all the relevant σₙ.

By Compactness, the entire theory would therefore have a model. Yet any model of the whole theory would have to satisfy F and so be finite, while also satisfying every σₙ and so containing at least n objects for every natural number n.

That is impossible. Hence there can be no first-order sentence whose models are precisely the finite structures.

This does not mean that first-order logic cannot describe particular finite structures. It can do that perfectly well, but it cannot express the general property of finitude in such a way that all and only finite structures satisfy the resulting sentence.

Nonstandard Models of Arithmetic

Compactness also provides one of the simplest routes to nonstandard models of arithmetic. Begin with a first-order theory of the natural numbers, expand its language by adding a new constant symbol c, and then add the sentences 0 < c, 1 < c, 2 < c, 3 < c, … .

Every finite portion of this expanded theory can be satisfied in the ordinary natural numbers. If a given finite fragment extends only through 1000 < c, one may interpret c as 1001 and thereby satisfy all the relevant sentences.

Compactness therefore guarantees a model satisfying the entire expanded theory. In that model, c is greater than 0, greater than 1, greater than 2, and so forth for every standard numeral.

The resulting structure cannot simply be the standard natural numbers, because within the standard natural numbers there is no natural number greater than every standard natural number. The model supplied by Compactness must therefore contain nonstandard elements.

The philosophical importance of this result lies in the fact that a first-order theory may satisfy all the axioms we associate with arithmetic while still having models that differ from the intended structure. Compactness here reinforces the lesson already emerging from Löwenheim–Skolem: first-order theories may determine a great deal without determining everything we may wish to fix about their models.

Theological Consistency and Finite Cores

The theological significance of Compactness begins with consistency. Suppose a theologian formalizes a body of claims concerning God, creation, incarnation, justification, sacramental presence, divine action, or some other doctrinal locus, and suppose the resulting first-order theory T has no model.

Compactness tells us that the problem cannot depend essentially upon the whole infinite or indefinitely extensible collection of assertions. There must be some finite T₀ ⊆ T that is already unsatisfiable.

This matters methodologically because it gives logical analysis a way of localizing inconsistency. Rather than claiming vaguely that an entire theological system is incoherent, one can ask which finite group of assertions cannot all be true together and then examine whether the difficulty lies in the doctrine itself, in the formalization chosen, or in assumptions introduced in moving from ordinary theological discourse into a formal language.

The theorem also yields the converse result. If every finite portion of a first-order theological theory is satisfiable, then the whole theory has a model, and in that sense Compactness gives a strong formal result about consistency.

Yet one must immediately distinguish this result from a much stronger theological conclusion. The fact that a theory has a model does not by itself establish that the theory is true.

Having a Model and Describing Reality

A structure may satisfy every sentence of a formal theory while interpreting its predicates, relations, functions, and objects in ways quite different from those intended by the theologian. If, for example, a theory contains a predicate Gx intended to mean that x is God, then the existence of a model in which some object falls under G shows only that the formal conditions imposed upon G can be satisfied within that structure.

It does not follow from this alone that the object in question is God, that the formal predicate adequately captures what Christian theology means by deity, or that the structure corresponds to divine reality. Model-theoretic satisfaction is a relation between a language and a structure; theological truth requires the further claim that the language, under its intended interpretation, says what is actually the case.

Compactness therefore gives theology something important but limited. It can show that finite satisfiability suffices for satisfiability of the whole first-order theory, and it can help identify the finite core of an inconsistency when no model exists.

What it cannot do is certify that a satisfying model is the intended theological interpretation. That distinction between formal satisfiability and theological truth becomes increasingly important as one moves from proof theory into model theory.

Compactness and the Limits of First-Order Description

Compactness reveals something fundamental about the character of first-order description. An infinite collection of sentences may impose indefinitely many conditions upon a structure, but if every finite combination of those conditions is satisfiable, then first-order logic guarantees a model satisfying them all.

This makes first-order logic exceptionally powerful as an instrument for establishing existence. At the same time, the theorem shows why certain features cannot be forced by first-order description alone: finitude is one example, and standardness in arithmetic is another.

Taken together with Löwenheim–Skolem, Compactness thus exposes a characteristic feature of first-order theories. They may constrain their models with enormous precision and still admit structures significantly different from the one the theorist initially has in mind.

None of this entails skepticism about mathematics, theology, or reference. It entails only that syntax by itself does not determine intended interpretation and that formal satisfaction should not be confused with truth about the reality under discussion.

For theology this is an important discipline because formalization can clarify consequences, identify contradictions, display structural possibilities, and distinguish assumptions that ordinary prose may leave entangled. Yet the existence of a satisfying structure remains a logical result about a theory and a model, not by itself a theological account of what makes the theory true.

Compactness therefore belongs naturally beside Gödel completeness and Löwenheim–Skolem as one of the central results defining both the power and the limits of first-order logic. Gödel showed that first-order semantic consequence can be captured by formal proof; Löwenheim and Skolem showed that first-order theories with infinite models generally cannot control the cardinality of those models; Compactness now shows that the satisfiability of an entire infinite theory is determined by the satisfiability of its finite fragments.

Together these results disclose a remarkable logical situation. First-order logic is strong enough to sustain rigorous reasoning about indefinitely complex structures while remaining too weak to determine, through its sentences alone, every feature of the structures we may intend.

For theology, the conclusion is not that formal logic reaches too little to be useful, but that its usefulness depends upon knowing exactly what has been established. Logic can tell us what follows from our formulations and whether those formulations can be jointly satisfied; theology must still ask whether the formulations say truly what is the case.

Bibliographical Note

The Compactness Theorem is closely connected with Gödel’s completeness theorem and became one of the fundamental instruments of twentieth-century model theory. It is commonly presented either as a consequence of completeness or by model-theoretic methods in its own right, and its applications to nonstandard models, non-definability results, and the existence of structures satisfying infinitely many conditions became central to the subsequent development of the field.

Standard treatments include Herbert Enderton, A Mathematical Introduction to Logic; George Boolos, John Burgess, and Richard Jeffrey, Computability and Logic; Wilfrid Hodges, A Shorter Model Theory; and C. C. Chang and H. Jerome Keisler, Model Theory.

Gödel: Completeness, Incompleteness, and the Limits of Formal Reason

This essay is a product of the Department of Philosophical Theology at Christ School of Theology, Institute of Lutheran Theology, and is part of the Disputationes series on important results in logic and their significance for theology.

The foundational work of Frege, Peirce, Cantor, Russell, and Zermelo made possible a remarkable hope. Perhaps mathematics could be placed upon completely explicit foundations, so that one could specify a formal language, identify axioms, formulate rules of inference, and determine exactly what followed from what. Logic would then no longer depend merely upon intuitive judgments concerning valid argument, since proofs themselves could become mathematically tractable objects whose structure and consequences could be precisely investigated.

Kurt Gödel changed our understanding of this project forever, and he did so by proving two results that initially appear to point in opposite directions. His completeness theorem of 1930 demonstrated the extraordinary power of first-order logic, while his incompleteness theorems of 1931 demonstrated equally extraordinary limitations upon sufficiently strong formal theories. To understand why these results are not in conflict, and why both matter for philosophical theology, one must distinguish with some care the logic within which proofs are constructed from the particular theories formulated within that logic.

Completeness: Proof and Truth Meet

Suppose we have a collection of sentences Γ and another sentence φ. We can then ask two different questions, one syntactical and the other semantical. Does φ follow syntactically from Γ, so that φ can be derived from Γ by the rules of a specified proof system, or does φ follow semantically from Γ, so that φ is true in every structure in which all the sentences belonging to Γ are true?

In compact notation we distinguish

Γ ⊢ φ

from

Γ ⊨ φ.

The first expression says that φ is formally derivable from Γ, whereas the second says that every model satisfying all the sentences in Γ also satisfies φ. The distinction is basic, for the first concerns what can be proved by operating with formulas according to formal rules, while the second concerns what must be true in any structure in which the premises are true.

Soundness tells us that proof cannot outrun semantic consequence:

If Γ ⊢ φ, then Γ ⊨ φ.

In ordinary English, if φ can be correctly proved from Γ, then φ is true in every model in which Γ is true. A sound proof system therefore never certifies as a consequence something that fails to hold in a model satisfying the premises.

Gödel's completeness theorem establishes the converse for first-order logic:

If Γ ⊨ φ, then Γ ⊢ φ.

That is, if φ is true in every model satisfying Γ, then there is a formal proof of φ from Γ. Thus, for first-order logic,

Γ ⊨ φ if and only if Γ ⊢ φ.

Semantic consequence and formal derivability therefore coincide at the level of first-order logical consequence. This is a magnificent result, not because every mathematical truth becomes formally provable, but because first-order logic possesses a proof system powerful enough to capture every consequence that follows purely in virtue of first-order logical form.

Then Comes Incompleteness

Only a year later Gödel proved something that can sound contradictory if the distinction between a logic and a theory formulated within that logic is ignored. Consider a formal mathematical theory sufficiently strong to express elementary arithmetic, and suppose that its axioms can be effectively specified, so that there is a mechanical procedure for determining whether a given expression is an axiom.

Gödel showed, roughly speaking, that if such a theory is consistent, there will be statements expressible in its language that the theory can neither prove nor disprove. The first incompleteness theorem therefore says, in simplified form, that for any consistent, effectively axiomatized formal theory strong enough to express elementary arithmetic, there are sentences that the theory cannot decide.

There will be a sentence G such that, under the relevant assumptions,

T ⊬ G

and

T ⊬ ¬G.

Read this as saying that the theory T proves neither G nor its negation. The theory is therefore incomplete in the technical sense that some sentence expressible in its language is neither provable nor refutable within the theory.

Gödel achieved this by discovering how arithmetic could, in effect, speak about its own formulas and proofs. Expressions and finite sequences of expressions were assigned numbers—what we now call Gödel numbers—so that claims about formulas, derivations, and provability could themselves be represented arithmetically. This made possible the construction of a sentence which, in a carefully defined sense, says of itself that it is not provable within the theory.

If the theory proved that sentence, the theory would thereby become inconsistent; yet if the theory is consistent, it cannot prove the sentence. The system therefore contains a statement that escapes its own power of demonstration, not because the rules of inference are defective, but because a sufficiently expressive formal theory cannot, under the relevant conditions, settle every sentence formulable within its own language.

Gödel's second incompleteness theorem deepens the point. A sufficiently strong consistent theory cannot, using only its own formal resources, prove its own consistency; thus the limits disclosed by incompleteness concern not merely this or that recalcitrant sentence, but also the capacity of a formal theory to certify from within itself the consistency upon which its deductive enterprise depends.

Why Completeness and Incompleteness Do Not Conflict

The apparent paradox disappears once we notice that Gödel's two results concern different objects. The completeness theorem concerns first-order logic itself and says that every semantic consequence at the level of first-order logical validity can be captured by formal proof, whereas the incompleteness theorem concerns particular formal theories formulated in languages sufficiently rich to express arithmetic and says that no suitably effective, consistent theory of the relevant strength can decide every sentence expressible within it.

First-order logic can therefore be complete as a logic even though particular first-order theories are incomplete as theories. Logic may provide entirely adequate rules for capturing logical consequence without thereby guaranteeing that a given axiomatic theory will settle every question formulable in its language, and failure to keep these two claims distinct has been responsible for a great deal of confusion in both popular and theological appropriations of Gödel.

What Might Theology Learn?

Gödel's theorem is frequently abused in theological argument. It does not prove that God exists, establish that theological truth transcends reason, show that every worldview must contain mysteries, or entail that because arithmetic is incomplete, systematic theology must be incomplete in Gödel's technical sense. Such conclusions trade upon analogy without first establishing that the formal conditions governing Gödel's results apply to theological systems in the required way.

The genuine theological lesson is subtler, for theology itself regularly identifies primitive concepts, formulates doctrinal commitments, draws distinctions among them, and asks what follows from what. Precisely for that reason, it has something to learn from Gödel about the difference between the rigor with which consequences are drawn and the adequacy or completeness of the theory from which they are drawn.

One may possess completely precise rules of reasoning without thereby possessing a theory capable of deciding every question formulable within the theory's language. The rigor of an inferential procedure and the completeness of a theory are therefore different achievements, and formal precision should never be confused with exhaustive conceptual capture.

This distinction matters particularly for philosophical theology because there is no need to oppose formal reasoning to mystery, as though careful logic were somehow hostile to theological depth, nor is there any warrant for supposing that once doctrines have been sufficiently formalized every further theological question becomes mechanically decidable. Formalization can clarify commitments, expose hidden assumptions, reveal inconsistency, and determine consequences; yet what a theory can express is not identical with what that theory can prove, and what follows rigorously from a set of assumptions does not by itself establish that those assumptions are sufficient for everything theology wishes to say.

The validity of an inference must therefore be distinguished from the adequacy of the theory within which the inference is made. A theological argument may be formally impeccable while the assumptions from which it proceeds remain too weak, too narrow, or otherwise insufficient to determine all that theologians wish to assert; conversely, expanding one's theological vocabulary or axiomatic commitments does not by itself guarantee that the resulting system will be more adequate unless one also asks what structures satisfy it and what consequences genuinely follow.

Gödel consequently belongs in theological education not because he supplies an apologetic shortcut, but because he teaches intellectual discipline. His work forces us to distinguish syntax from semantics, logic from theory, truth from proof, and the expressive resources of a language from the demonstrative resources of an axiomatic system; these are distinctions theology needs whenever it attempts to state with precision what it believes and what follows from those beliefs.

Those distinctions become still more important when we turn from Gödel to model theory, for the next question is unavoidable: even when a first-order theory has models, how tightly can its language determine what those models are like? The Löwenheim–Skolem results show that the answer is stranger than one might initially suppose, and with them the problem shifts from the limits of proof to the relation between a theory and the structures capable of satisfying it.

Bibliographical Note

Gödel's completeness theorem appeared in his 1930 dissertation and in the related publication “Die Vollständigkeit der Axiome des logischen Funktionenkalküls.” His incompleteness results appeared the following year in “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I” (1931).

For philosophical orientation, the crucial distinction to preserve is between the completeness of first-order logical consequence and the incompleteness of sufficiently strong, effectively axiomatized formal theories. Standard introductions to mathematical logic and the philosophy of logic provide fuller treatments of both results, while Gödel's original papers remain models of mathematical economy and conceptual force.

Model Theory in Theology: From Descartes to Luther

This short talk given on August 12, 2026, at the 15th International Luther Congress in Aarhus, Denmark, introduces model theory to historians. Like all my papers, it arises from work done at the Department of Philosophical Theology, ILT Christ School of Theology. 

Two Problems We Have Not Escaped

I want to begin some distance from model theory, with two problems associated above all with Descartes. The first is the problem of the external world. How do I know what the world is like apart from my representations of it? The second is the problem of other minds. How do I know what another person thinks, means, intends, believes, or experiences when I never occupy that person’s consciousness?

Descartes formulated these problems with unusual clarity. Four centuries later, we have not made them disappear. We have mostly learned how to live intelligently with them. We do not solve either problem by somehow getting outside ourselves. Rather, we encounter something over against us, something that resists us, and we try to render it intelligible. The world does not always behave as our theories predict. Other persons say and do things our accounts of them do not anticipate. Our interpretations can fail because something confronts us that is not simply at our disposal.

We cannot solve either problem by looking down at reality from nowhere, as though we could step outside ourselves and check our account against the thing itself. But we are remarkably good at a more modest maneuver: looking left and right, comparing one account with another and both with what resists them. That is the maneuver this essay is about.

Historians Live with the Problem of Other Minds

Historians confront the second Cartesian problem every day. At a Luther Congress we ask what Luther meant, what Melanchthon believed, what a late-medieval logician was doing with suppositio, or what theological possibilities were available to an author in 1517. But we cannot climb into Luther’s mind. We have texts, vocabulary, grammatical practices, controversies, other authors, institutional settings, manuscripts, and subsequent writings.

What historians actually do is reconstruct. We construct an account under which this evidence becomes intelligible together. Different historians may agree about the words on the page and nevertheless disagree about the best account of what those words are doing. The text and its historical setting constrain us: they possess what, borrowing loosely from Charles Peirce’s language of Secondness, I shall call an over-and-againstness or “bump-up-againstness.” They do not allow us responsibly to make them say whatever we wish.

This means that the mens auctoris need not function as an independently accessible semantic court of appeal. Authorial intention remains a legitimate historical hypothesis, but what we can reconstruct is the intentionality of a textual act from publicly available historical evidence. Our reconstruction may be excellent without becoming incorrigible.

The Special Sciences Face the External-World Version

The special sciences confront an analogous problem from the other Cartesian direction. The physicist does not have uninterpreted physical reality sitting on one side of the laboratory and a theory on the other. The biologist does not inspect life in itself. Scientists encounter phenomena, measurements, regularities, anomalies, and recalcitrant observations, and they construct theoretical structures that make these intelligible.

The historian’s problem and the scientist’s problem are not identical. A manuscript, another mind, and a physical process are not the same kind of object. But structurally the inquiries share something important: neither historian nor scientist possesses a God’s-eye standpoint. Both construct accounts of something that confronts them and is capable of proving those accounts inadequate. Theories are answerable to what they seek to understand without our having to suppose that finite knowers can compare their theories with an entirely uninterpreted world.

Theology Has Both Problems at Once

Theology inherits both problems. Theologians are historians. We ask what Paul meant, what Augustine meant, what Luther meant, what Nicaea meant, and what inherited doctrinal language was doing in its original settings. But theologians also make assertions about reality: God raised Jesus from the dead; God justifies the ungodly; Christ is present in the Supper.

Theology therefore interprets witnesses to other minds while also speaking about a world in which God is soteriologically ingredient. It asks both what inherited theological assertions meant and what account of God, world, Christ, sinner, promise, sacrament, and salvation renders the subject matter intelligible. The two Cartesian problems meet inside theological inquiry.

This is why theology cannot simply borrow its method from the historian or the scientist alone. It needs a single account of inquiry general enough to cover both tasks at once—one that tells us what we are doing when we build a model of a mind we cannot enter and a model of a God we cannot view from above. That is the account model theory can supply, and it is why I turn to it now.

A Small Luther and Trutvetter Example

Let me give one small example from another paper I presented here. Luther entered the University of Erfurt in 1501, the year Jodocus Trutvetter’s Summule totius logice appeared. We possess Trutvetter’s texts and Luther’s texts. The historical question is not merely whether Luther remembered particular sentences from Trutvetter. It is what semantic and inferential possibilities belonged to the intellectual world within which Luther’s later disputation became intelligible.

Consider a Trinitarian inference discussed by Trutvetter:

This divine essence is the Father.
This divine essence is the Son.
∴ The Son is the Father.

If I assign the copula est strict numerical identity throughout, the inference is valid. If this divine essence is numerically identical with the Father and numerically identical with the Son, then Father and Son are numerically identical with one another. There is no problem with the logic, but the theology is disastrous.

So what must est, essentia, Father, and Son be doing semantically for Trutvetter’s discussion to become intelligible? And when Luther later reasons with inherited scholastic logical vocabulary, what larger structure of interpretation makes both Trutvetter and Luther intelligible?

Here I need to point out that I am using the word interpretation in a way different from its hermeneutical use familiar to many of us. In formal semantics an interpretation assigns semantic values to the non-logical vocabulary of a language—in the simplest cases, the things to which its terms apply. Two readers may agree completely on the visible words and disagree about the meanings being assigned to them.

In historical work we are not pretending that Trutvetter’s or Luther’s prose is itself a formal language. We construct structured interpretations of the texts, and where useful we can regiment selected claims formally. One historian may model the relevant predication one way, another differently. We can then ask which model makes more of Trutvetter’s text, Luther’s text, and the historical relation between them intelligible. We can even ask whether a larger space of intelligibility can accommodate both without erasing their differences.

Theological Language Presents the Same Problem

The same issue appears when we turn from the historical reconstruction of theologians to the theological tradition and the Word of God that confront us. People of good will can agree on the language of theology while interpreting its terms very differently.

Lutherans may say, “We are justified by grace through faith.” But what is the semantic work of justification? What is grace? What sort of relation between God and the sinner is being asserted? Or Christians may agree that “Christ is present in the Eucharist” while operating with very different understandings of Christ, presence, body, sign, promise, and sacrament.

Theological disagreement therefore frequently occurs because the same sentences are satisfied under different models. A model may preserve familiar vocabulary while changing the larger structure in which the vocabulary functions. The question then becomes whether one model preserves more of the theological subject matter, whether another changes the subject, and whether several admissible models remain possible.

Model Theory Makes the Structure Explicit

Only now do I want to introduce model theory in its technical sense—and I will keep the symbols to the minimum that actually does work for us.

A theory, syntactically understood, is simply a set of sentences. Call it T:

T={φ1​,φ2​,φ3​,…}

Read this as: T is just the set of claims the theory makes.

An interpretation assigns semantic values to the non-logical terms of a language. A model is a structure under such an interpretation in which the relevant sentence or theory is true. When a structure M makes a sentence φ true under the interpretation supplied by M, we say that M satisfies φ, and we write:

$$M\models \phi$$

Read ⊨ simply as “satisfies” or, less technically, “makes true.”

A model of a theory satisfies every sentence in it. The collection of all such models is what logicians call Mod(T):

$$Mod(T)=\{M\mid M\models T\}$$

Read this as: Mod(T) is the class of models that make all of T’s sentences true.

And now we can state formally something historians and theologians encounter constantly. One theory can admit more than one model:

M1​⊨T

and

M2​⊨T,

while

~(M1​ = M2​).

The final expression says only that the two models are not numerically identical. More importantly for our purposes, they may differ substantially in the structures under which the same sentences are true. Both can satisfy the theory without representing its subject matter in the same way.

Satisfaction alone therefore does not tell us which model should be preferred. Some candidate models can be excluded because they violate constraints constitutive of the subject matter. An interpretation of a text that cannot accommodate its actual wording may cease to be an interpretation of that text. A theological model that preserves the word resurrectiononly by abandoning the identity of the one said to have been raised may have changed the subject rather than merely offered a less attractive account.

Among the models that remain admissible, we compare. We ask about consistency, coherence, explanatory scope, fecundity, parsimony, applicability, historical adequacy, capacity to accommodate recalcitrant evidence, and sometimes elegance or beauty. These virtues are not mechanically commensurable. There is no algorithm that adds them together and announces the correct model.

This is where I find Kant’s reflektierende Urteilskraft—reflecting judgment—useful. We compare, discriminate, and judge without pretending that an antecedently possessed universal rule mechanically determines the result. I call the structured field within which such comparative judgments occur teleo-space.

The position is fallibilist. Further texts, evidence, experiences, arguments, or distinctions may force us to reorder the models. But fallibility does not imply that every model has equal epistemic standing. We can give reasons why one is better than another.

Nor do we need a God’s-eye standpoint from which model and uninterpreted reality can be placed side by side. We cannot look down from nowhere. But we are remarkably good at looking left and right. We can compare models. We can see that one explains something another leaves obscure, preserves a distinction another destroys, or accommodates an obstinate text or experience another must suppress.

Model theory therefore does not solve Descartes’ problems by giving finite creatures access to reality without mediation. It does something more useful. It clarifies the structure of responsible inquiry when such access is unavailable.

The historian constructs models of other minds from texts that resist interpretation. The scientist constructs models of a world that resists theory. The theologian does both: we interpret witnesses, and we make claims about a reality in which God is soteriologically ingredient.

Our models are fallible. More than one may satisfy the assertions with which we begin. Some can nevertheless be excluded; others can be comparatively ordered. We can offer what I would call a reasoned account: a publicly criticizable, corrigible judgment about how the subject matter may be independently of our present act of modeling it.

We cannot look down from nowhere. But we can look left and right. And perhaps model theory can help theology become clearer about what it is doing when it does.

Prolegomena to Disputationes Theologicae III: Reference Before Proclamation

“Theological language cannot proclaim what it has first failed to name.”

This essay forms part of Prolegomena to Disputationes Theologicae, a series in philosophical theology produced through the Department of Philosophical Theology at Christ School of Theology. Together these essays articulate the methodological foundations of the larger Disputationes Theologicae project by recovering the proper order of theological inquiry. The series proceeds from the conviction that theology exists because these questions exist and that theology's first responsibility is to render Christian doctrine intelligible without diminishing, translating away, or replacing the reality to which it refers. Having argued that theology must first render its judgments intelligible, the present essay asks the next necessary question: How does theological language genuinely refer to God? Only language that truly refers can be truthfully proclaimed.

This essay is the third of six Prolegomena to Disputationes Theologicae, a series in philosophical theology produced through the Department of Philosophical Theology at Christ School of Theology. Together, these essays articulate the methodological foundations of the larger Disputationes Theologicae project by recovering the proper order of theological inquiry. They proceed from the conviction that theology exists because these questions exist and that theology’s first responsibility is to render Christian doctrine intelligible without diminishing, translating away, or replacing the reality to which it refers.

The preceding essay argued that intelligibility is not the source of theological truth but a condition under which theological claims may be responsibly affirmed or denied. Theology therefore seeks conceptual clarity before it renders judgment. Yet intelligibility alone cannot complete theology’s task. One may understand perfectly well what a sentence means while remaining uncertain whether it is about anything at all.

The next question therefore arises necessarily:

How does theological language become genuinely about God?

This question is prior to proclamation. The priority at issue is not necessarily temporal. The preacher need not first complete a philosophical theory of reference before proclaiming the gospel. The priority is logical and theological. Proclamation cannot create its own referent. It cannot make itself speech about God merely through rhetorical power, ecclesial authorization, existential effect, or the sincerity of the one who speaks.

One cannot proclaim what one’s language has failed to identify.

A sermon may be rhetorically compelling, existentially arresting, ecclesially sanctioned, and even morally transformative while remaining uncertain in its reference. Before theology asks whether proclamation is faithful, effective, or life-giving, it must ask whether the language of proclamation continues to name the reality of which prophetic and apostolic testimony speaks.

Theological language therefore requires more than intelligibility.

It requires reference.

Reference is among the most neglected questions in modern theology. Enormous attention has been given to meaning, interpretation, narrative, language games, performative utterance, communal practice, existential appropriation, and rhetorical effect. These inquiries have often been illuminating. Language does form communities, shape perception, order practices, and open possibilities of existence. The question, however, is whether the reality about which theology speaks is constituted by these linguistic and communal activities or whether those activities remain answerable to a reality they did not create.

The decisive question is simple:

What makes theological discourse about God rather than merely about religion?

Theology does not merely analyze religious consciousness. It does not merely describe ecclesial practices, preserve inherited vocabularies, narrate communal identities, or interpret human experiences of ultimacy. It claims to speak about God: the God of Abraham, Isaac, and Jacob; the Father of Jesus Christ; the God who creates, judges, reconciles, raises the dead, and promises the consummation of creation.

Unless these claims genuinely refer beyond the linguistic practices in which they are expressed, theology has exchanged its subject matter for its own discourse. It may continue to use the word ‘God,’ but the word may now designate only a moral ideal, a communal self-understanding, an existential possibility, a cultural memory, or the symbolic horizon of human meaning. The vocabulary remains, while the subject has quietly changed.

Reference must therefore be distinguished from several closely related notions.

Reference is not meaning. A sentence may be intelligible even when its principal terms fail to identify anything real.

Reference is not truth. A statement may successfully identify its subject while predicating something false of it. Reference makes truth and falsity possible; it does not by itself determine which obtains.

Reference is not warrant. A person may possess reasons for believing a claim even though the terms employed in that claim do not refer as the speaker assumes.

Reference is not exhaustive understanding. Speakers frequently refer successfully while possessing incomplete, confused, or partially mistaken conceptions of that to which they refer. Referential success does not require conceptual mastery.

Nor is reference identical with existential appropriation, ecclesial participation, or performative effect. These may accompany successful reference, and proclamation may indeed become a means through which God addresses the hearer. Yet neither personal transformation nor communal use can by itself guarantee that the language employed remains about the God whom Christian witness claims to name.

Theology therefore requires a distinct account of reference.

The Christian answer does not begin with the human capacity to reach God through description, inference, religious experience, or conceptual construction. It begins with God’s capacity to identify himself. God does not first become the referent of theological discourse when human beings devise a sufficiently adequate name. God gives himself to be named.

Israel does not invent the God of Abraham, Isaac, and Jacob. The Church does not construct the Father of Jesus Christ by adopting a distinctive religious vocabulary. God publicly identifies himself through acts and words: in the calling of Israel, the prophetic witness, the incarnation of the Word, the crucifixion and resurrection of Jesus Christ, the apostolic testimony, and the scriptural form in which this testimony is normatively received.

Human language refers because human beings have first been addressed.

Reference is therefore receptive before it is expressive.

This ordering distinguishes Christian theology from theories that construe theological language primarily as the projection of religious consciousness, the grammar of ecclesial life, or the symbolic articulation of human existence. Theology speaks because it has first been spoken to. It names because God has first made himself identifiable.

Yet revelation does not eliminate philosophical questions concerning reference. It creates them. Once God has acted and spoken, theology must ask how names, predicates, narratives, metaphors, and doctrines continue to refer to the God who has revealed himself. It must ask how reference remains stable through historical distance, linguistic change, doctrinal development, cultural translation, and the inevitable partiality of human understanding.

Divine self-disclosure is therefore the ground of theological reference, but it is not a substitute for theological discipline.

The problem is not merely whether the Church has retained the same words. The same expression may be preserved while its referent is altered. Nor does referential continuity require that every generation possess precisely the same descriptions or conceptual schemes. Different descriptions may identify the same reality, while identical descriptions may be employed within fundamentally different ontologies.

Theology must therefore distinguish continuity of vocabulary from continuity of reference.

This is also why theological interpretation cannot terminate in textual analysis alone. Texts possess linguistic forms, historical settings, and authorial intentions. These are indispensable to interpretation. Yet prophetic and apostolic authors do not finally intend only their own acts of writing. They intend realities. They bear witness to what God has done, whom God has identified himself to be, and what God has promised.

Theological interpretation consequently asks not only what a text meant within its first historical context, but what reality the text identifies and whether contemporary theological speech remains answerable to that same reality.

The order is therefore theological before it is hermeneutical:

God acts and speaks.

Prophetic and apostolic witnesses identify the one who has acted.

Scripture normatively bears this witness.

The Church receives, interprets, and confesses Scripture.

Doctrine tests whether the Church’s speech preserves the identity of the one witnessed to.

Proclamation addresses the hearer in the name of this same God.

The legitimacy of proclamation depends upon preserving rather than replacing this referential order. Proclamation does not establish the identity of God by its own occurrence. It becomes genuine proclamation when the God who has identified himself in Israel and in the crucified and risen Jesus Christ remains the one about whom—and through whose agency—the proclamation speaks.

The claim that reference precedes proclamation therefore does not deny that God acts through proclamation. It identifies the condition under which such a claim is intelligible. God may address the hearer through the proclaimed Word because the proclaimed Word does not invent the one who speaks through it. Its authority is derivative. Its referent is antecedent. Its efficacy, when granted, is divine.

This also explains why philosophical theology remains indispensable. Philosophy does not discover or manufacture the referent of Christian theology independently of revelation. Revelation has already identified the one about whom theology speaks. Philosophical theology clarifies the logical, semantic, and ontological conditions under which theological language may continue to refer faithfully to this God.

It distinguishes naming from description, reference from predication, identity from attributed properties, and continuity of terminology from continuity of subject matter. It asks how speakers may successfully refer under conditions of partial understanding, how descriptions may change without changing the referent, and how apparently identical theological expressions may conceal incompatible accounts of reality.

These distinctions are not external constraints imposed upon theology. They are instruments of theological accountability. Without them, theology may preserve traditional vocabulary while replacing its subject with something conceptually more manageable.

Reference is therefore neither a merely linguistic achievement nor a merely historical inheritance. It is the continuing discipline of remaining answerable to the God whose self-disclosure first made theological language possible. It is the refusal to allow the Church’s words, practices, experiences, or conceptual systems to become substitutes for the reality to which they are ordered.

Theology may revise its descriptions.

It may refine its concepts.

It may correct its inherited models.

It may discover that some of its predicates were confused, inadequate, or false.

What it may not do is quietly change the subject while continuing to speak as though nothing decisive has happened.

Reference precedes proclamation because proclamation can proclaim as gospel only what it has first received as God’s self-identification. Where reference fails, proclamation becomes religious speech about the community’s own meanings. Where reference is preserved, proclamation may remain answerable to the God who acts, speaks, judges, reconciles, and promises.

Only once the referent has been identified does the question of predication properly arise. We may then ask not merely whether theological language is about God, but whether what it says about God is true.

The next question therefore follows necessarily:

Under what conditions can theological judgments be true?