Modal Logic
The Logic of What Could Have Been
Every regret you've ever felt is secretly a claim about possible worlds.
The Idea
Most logic concerns itself with what is true or false. Modal logic takes a stranger, richer turn: it asks about what must be true, what might be true, and what could never be true — the logic of necessity and possibility. These aren't just grammatical shades; they carve reality at fundamentally different joints. The philosopher's shorthand is elegant. 'Necessarily P' means P holds in every possible world — no conceivable reality where it fails. 'Possibly P' means P holds in at least one possible world — some coherent version of reality where it's so. A necessary truth, like a logical contradiction being impossible, couldn't be otherwise even in principle. A possible truth — say, that you became a musician instead of whatever you are now — is one where the laws of nature and logic raise no objection, even if circumstances went differently. This framework, developed seriously by thinkers like Saul Kripke in the mid-twentieth century, transformed philosophy. Before Kripke, many philosophers assumed that if something was necessarily true, we should be able to know it purely by analysis — unpacking word meanings. Kripke blew this apart. Water is necessarily H₂O, he argued, but you couldn't have known that by thinking about the word 'water.' Necessity turned out to be a feature of the world, not just of language. That insight reshuffled debates in metaphysics, the philosophy of mind, and ethics that are still running today.
In the World
In 1970, Saul Kripke — then barely thirty — delivered a series of lectures at Princeton that were eventually published as 'Naming and Necessity.' The book is one of the most influential works of analytic philosophy in the twentieth century, and its central move is deeply modal. Kripke asked: when we name something, what are we doing? The old view, associated with Frege and Russell, held that a name is basically shorthand for a description. 'Aristotle' means something like 'the philosopher who taught Alexander and wrote the Nicomachean Ethics.' But Kripke noticed this leads to odd conclusions. If Aristotle had died in childhood, he wouldn't have taught Alexander or written anything — so on the descriptivist view, the name 'Aristotle' wouldn't refer to that child at all. Which seems wrong. His alternative: names are 'rigid designators.' 'Aristotle' picks out the same individual in every possible world in which that individual exists — regardless of what he did or didn't accomplish. The name latches onto the person directly, fixed at the original moment of naming and carried forward by a chain of communication. The modal point underneath this is striking: there is a possible world in which Aristotle never wrote a word of philosophy and died a shepherd in Macedonia — and in that world, 'Aristotle' still refers to him. Possibility, in other words, isn't just hypothetical musing. It is a precise logical space that determines what our words mean and how they reach across it.
Why It Matters
Modal thinking is something you already do constantly — you just haven't had the tools to do it precisely. When you say 'I should have handled that differently,' you're asserting the possibility of a world where you did. When you say 'there's no way that could have worked,' you're making a claim about necessity. The trouble is that we tend to slide carelessly between these modes, treating the merely unlikely as impossible, or assuming the way things happened was the only way they could have. Learning to distinguish 'this didn't happen' from 'this couldn't have happened' is genuinely clarifying. It tempers both regret and fatalism. Regret only makes sense if the better version was genuinely possible — not just conceivable in a fantasy, but reachable given real conditions. Fatalism collapses when you notice that 'it happened' is not the same as 'it had to happen.' Modal logic also sharpens argument. When someone says 'you can't change human nature,' that's a necessity claim — and a very strong one. Noticing that it's a necessity claim, rather than just a general observation, instantly raises the right challenge: are you sure there's no possible world where that's false?
A Question to Ponder
Is there something in your life you've been treating as necessary — fixed, inevitable, beyond alteration — that might actually just be possible: one outcome among several that could have gone differently?
Get a new one of these every morning.
Start learning with Thinkable