The Barcan Formula
The Barcan formula is:
- .
In English, the schema reads: If everything is necessarily F, then it is necessary that everything is F. It is equivalent to
- .
The Barcan formula has generated some controversy because - in terms of possible world semantics - it implies that all objects which exist in any possible world (accessible to the actual world) exist in the actual world, i.e. that domains cannot grow when one moves to accessible worlds. This thesis is sometimes known as actualism--i.e. that there are no merely possible individuals. There is some debate as to the informal interpretation of the Barcan formula and its converse.
Read more about this topic: Barcan Formula
Famous quotes containing the word formula:
““It’s hard enough to adjust [to the lack of control] in the beginning,” says a corporate vice president and single mother. “But then you realize that everything keeps changing, so you never regain control. I was just learning to take care of the belly-button stump, when it fell off. I had just learned to make formula really efficiently, when Sarah stopped using it.””
—Anne C. Weisberg (20th century)