# Barcan formula

> English word · Proper noun

## Definitions
1. 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".

## Etymology
Introduced by the logician Ruth Barcan Marcus.

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/barcan-formula