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:
“The eyes of men converse as much as their tongues, with the advantage that the ocular dialect needs no dictionary, but is understood all the world over.”
—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)