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:
“My formula for greatness in human beings is amor fati: that one wants to change nothing, neither forwards, nor backwards, nor in all eternity. Not merely to endure necessity, still less to hide it—all idealism is mendacity in the face of necessity—but rather to love it.”
—Friedrich Nietzsche (1844–1900)