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:
“Given for one instant an intelligence which could comprehend all the forces by which nature is animated and the respective positions of the beings which compose it, if moreover this intelligence were vast enough to submit these data to analysis, it would embrace in the same formula both the movements of the largest bodies in the universe and those of the lightest atom; to it nothing would be uncertain, and the future as the past would be present to its eyes.”
—Pierre Simon De Laplace (1749–1827)