Barcan formula
nameEtymology
Introduced by the logician Ruth Barcan Marcus.
Definitions
In quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F,…
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".
The neighborhood
Vish — recursive loop
No curated loop yet for Barcan formula. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA