In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulae) (i) syntactically state principles or interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulae were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification.
Related formulas include the Buridan formula, and the converse Buridan formula.
Read more about Barcan Formula: The Barcan Formula, Converse Barcan Formula
Famous quotes containing the word formula:
“But suppose, asks the student of the professor, we follow all your structural rules for writing, what about that “something else” that brings the book alive? What is the formula for that? The formula for that is not included in the curriculum.”
—Fannie Hurst (1889–1968)