Buridan formula

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

English Wikipedia has an article on:
Wikipedia

Etymology[edit]

Named in honour of the medieval philosopher Jean Buridan.

Proper noun[edit]

the Buridan formula

  1. (logic) In quantified modal logic, the formula , meaning "if possibly everything is F, then everything is possibly F".