Converse Barcan Formula
The converse Barcan formula is:
- .
If a frame is based on a symmetric accessibility relation, then the Barcan formula will be valid in the frame if, and only if, the converse Barcan formula is valid in the frame. It states that domains cannot shrink as one moves to accessible worlds, i.e. that individuals cannot cease to be possible. The converse Barcan formula is taken to be more plausible than the Barcan formula.
Read more about this topic: Barcan Formula
Famous quotes containing the words converse and/or formula:
“Whilst we converse with what is above us, we do not grow old, but grow young.”
—Ralph Waldo Emerson (1803–1882)
“I take it that what all men are really after is some form or perhaps only some formula of peace.”
—Joseph Conrad (1857–1924)