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:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)