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:
“I lately met with an old volume from a London bookshop, containing the Greek Minor Poets, and it was a pleasure to read once more only the words Orpheus, Linus, Musæus,—those faint poetic sounds and echoes of a name, dying away on the ears of us modern men; and those hardly more substantial sounds, Mimnermus, Ibycus, Alcæus, Stesichorus, Menander. They lived not in vain. We can converse with these bodiless fames without reserve or personality.”
—Henry David Thoreau (1817–1862)
“For the myth is the foundation of life; it is the timeless schema, the pious formula into which life flows when it reproduces its traits out of the unconscious.”
—Thomas Mann (1875–1955)