Barcan formula

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

English[edit]

English Wikipedia has an article on:
Wikipedia

Etymology[edit]

Introduced by the logician Ruth Barcan Marcus.

Proper noun[edit]

the Barcan formula

  1. (logic) In quantified modal logic, the formula , meaning "if every x is necessarily F, then it is necessary that every x is F".
Retrieved from "https://en.wiktionary.org/w/index.php?title=Barcan_formula&oldid=77940346"