Word.ws English Dictionary

Buridan formula

Buridan formula proper noun: in quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".

Proper noun

the Buridan formula

  1. In quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".

Origin of Buridan formula

Named in honour of the medieval philosopher Jean Buridan.

Questions about Buridan formula

What does Buridan formula mean?
Buridan formula means in quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".
What part of speech is Buridan formula?
Buridan formula is a proper noun.

Words near Buridan formula in the dictionary

  1. Burich
  2. Buriches
  3. burick
  4. buricks
  5. Buridan
  6. Buridan formula
  7. Buridan's ass
  8. Buridan's asses
  9. Buridan's bridge
  10. Buridan's donkey
  11. Buridanian

Source and license

Adapted from Wiktionary: Buridan 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: “Buridan formula.” Word.ws, https://word.ws/buridan_formula. Based on Wiktionary, CC BY-SA 4.0.