Buridan formula

proper noun

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

Meanings

proper nounthe Buridan formula
  1. human sciencesIn quantified modal logic, the formula ◇∀xFx→∀x◇Fx, meaning "if possibly everything is F, then everything is possibly F".

Origin

Named in honour of the medieval philosopher Jean Buridan.

Full word history & related roots →
Cite this entry
APA

Buridan formula. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Buridan%20formula

MLA

“Buridan formula.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Buridan%20formula. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Buridan formula,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Buridan%20formula.

Source: Buridan formula on Wiktionary, CC BY-SA 4.0.