The Barcan Formula in Metaphysics

##plugins.themes.bootstrap3.article.main##

##plugins.themes.bootstrap3.article.sidebar##

Published 15-07-2013
Ori Simchen

Abstract

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi.  It is validated by the most straightforward systems of quantified modal logic.  It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or 'merely possible') things.  I show how BF can be cleared of such a charge by construing it as a bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters.

How to Cite

Simchen, O. (2013). The Barcan Formula in Metaphysics. THEORIA. An International Journal for Theory, History and Foundations of Science, 28(3), 375–392. https://doi.org/10.1387/theoria.6918
Abstract 1079 | PDF Downloads 536

##plugins.themes.bootstrap3.article.details##

Keywords

Barcan formula, modality, de dicto and de re

Section
MONOGRAPHIC SECTION