Encyclopedia > Barcan formula

  Article Content

Barcan formula

The Barcan Formula states:

<math>\forall x \Box A \rightarrow \Box \forall x A</math>

In English, the statement reads, "'For all x, it is necessary that A', implies, 'It is necessary that for all x, A'". The formula tells us that if everything is quantifiable in all other worlds then it would have to be necessary that everything is quantifiable in our world as well.

The Barcan formula is used in S5[?] modal logic[?] of the Kripke System[?].

The Barcan formula has generated some controversy because some philosophers believe the formula violates the structure of the Kripke System.

Related formulas include the Converse Barcan formula[?], Buridian formula[?], and the Converse Buridian formula[?].


  • Article is a stub.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Quioque, New York

... have children under the age of 18 living with them, 42.6% are married couples living together, 11.9% have a female householder with no husband present, and 42.6% are ...

 
 
 
This page was created in 31.5 ms