Barcan formula en · PROPN
Etymology
Introduced by the logician Ruth Barcan Marcus.
Meanings
- 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".
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Barcan formula | canonical | lexicographic |