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:
““You are old, Father William,” the young man cried,
“And life must be hastening away;
You are cheerful, and love to converse upon death:
Now tell me the reason, I pray.”
“I am cheerful, young man,” Father William replied;
“Let the cause thy attention engage;
In the days of my youth I remembered my God,
And He hath not forgotten my age.””
—Robert Southey (1774–1843)
“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)