Philosophy
The Barcan Formulas and the Logic of Quantified Modality
Quick fact
The Barcan formula, named after philosopher Ruth Barcan Marcus, was first proposed in the 1940s and immediately ignited debates about whether 'possibly something exists' implies 'something possibly exists'—a subtle but powerful shift in quantifier order.
Why this is interesting
You've probably heard that something is possible if it could exist in some 'possible world.' But what if there are possible worlds with different objects—beings that don't exist in our world? That simple idea forces a deep question about the very logic of possibility and existence.
Read the full explanation
Understanding The Barcan Formulas and the Logic of Quantified Modality
Imagine you have a box of toy blocks. Some blocks are red, some blue. You say, 'It's possible that there is a green block in the box.' But in our actual box, there is no green block. Is it true that there could be a green block? Clearly, yes—the box could have contained one. Now, the Barcan formula asks a trickier question: If it's possible that there is a green block, does that mean there exists, in our world, something that could be green? Not necessarily. The block wouldn't be green now, but it could be green in another situation. The Barcan formula essentially says: if it's possible that there is something with a property, then there is something that possibly has that property. In the language of possible worlds, it says: if there is a possible world where some object exists with a property, then there must be some object in our world that has that property in some world. This only works if we assume the same set of objects exists in all possible worlds—which is not obviously true. The converse Barcan formula says the opposite: if there is something in our world that could be a certain way, then there is a possible world where that thing exists. This assumes that everything that exists in our world also exists in every possible world. Both formulas make assumptions about how objects relate across possibilities.
A deeper explanation
The Barcan formula (BF) is: ∀x□Fx → □∀xFx (if everything is necessarily F, then necessarily everything is F). Its converse (CBF) is: □∀xFx → ∀x□Fx (if necessarily everything is F, then everything is necessarily F). In possible worlds semantics with fixed domains, both hold. But if domains can vary from world to world, they fail. BF fails if there is a world with an object that is not in our domain; it might be F in that world, but not be something that exists here. CBF fails if there is an object in our world that doesn't exist in all other worlds; it might be not-F in a world where it doesn't exist, yet the statement 'necessarily everything is F' could still hold because the missing object isn't there to violate it. The formulas matter because they reveal whether we are committed to 'necessitism'—the view that everything exists necessarily—which has profound metaphysical consequences. They also shape the semantics of quantified modal logic: choosing constant domains (all objects exist in all worlds) validates both, while varying domains requires more complex rules and raises questions about existence and identity across worlds.