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.
