Barcan formula

Meaning

Proper Noun

In quantified modal logic, the formula $\forall x \Box Fx \rightarrow \Box \forall x Fx$ , meaning "if every x is necessarily F, then it is necessary that every x is F".

Origin

Introduced by the logician Ruth Barcan Marcus.

Modern English dictionary

Explore and search massive catalog of over 900,000 word meanings.

Word of the Day

Get a curated memorable word every day.

Challenge yourself

Level up your vocabulary by setting personal goals.

And much more

Try out Vedaist now.