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 American doctrinaire is the converse of the American demagogue, and, in this way, is scarcely less injurious to the public. The first deals in poetry, the last in cant. He is as much a visionary on one side, as the extreme theoretical democrat is a visionary on the other.”
—James Fenimore Cooper (1789–1851)
“I cannot give you the formula for success, but I can give you the formula for failure—which is: Try to please everybody.”
—Herbert B. Swope (1882–1958)