Word.ws English Dictionary

Barcan formula

Barcan formula proper noun: in quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F".

Proper noun

the Barcan formula

  1. In quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F".

Origin of Barcan formula

Introduced by the logician Ruth Barcan Marcus.

Questions about Barcan formula

What does Barcan formula mean?
Barcan formula means in quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F".
What part of speech is Barcan formula?
Barcan formula is a proper noun.

Words near Barcan formula in the dictionary

  1. barcalounger
  2. barcaloungers
  3. barcamp
  4. barcamps
  5. Barcan
  6. Barcan formula
  7. Barcans
  8. barcarole
  9. barcaroles
  10. barcarolle
  11. barcarolles

Source and license

Adapted from Wiktionary: Barcan formula (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Barcan formula.” Word.ws, https://word.ws/barcan_formula. Based on Wiktionary, CC BY-SA 4.0.