Ori Simchen
University of British Columbia
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.
Keywords Barcan formula  de dicto and de re  modality
Categories (categorize this paper)
Reprint years 2013
ISBN(s) 0495-4548
DOI theoria201328330
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
Through your library

References found in this work BETA

Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Quantifiers and Propositional Attitudes.Willard van Orman Quine - 1956 - Journal of Philosophy 53 (5):177-187.
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.

View all 19 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Barcan Both Ways.Melvin Fitting - 1999 - Journal of Applied Non-Classical Logics 9 (2):329-344.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Incompleteness and the Barcan Formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Modalities: Philosophical Essays.Ruth Barcan Marcus - 1961 - New York, NY, USA: Oxford University Press.
Contingent Objects and the Barcan Formula.Reina Hayaki - 2006 - Erkenntnis 64 (1):75 - 83.
Completeness Without the Barcan Formula.M. J. Cresswell - 1968 - Notre Dame Journal of Formal Logic 9 (1):75-80.
Prior and the Barcan Formula.Dale E. Lichtblau - 1976 - Notre Dame Journal of Formal Logic 17 (4):622-624.
Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Michael Frauchiger (ed.), Themes From Barcan Marcus. Ontos Verlag. pp. 51-74.
Prior's Criticism of the Barcan Formula.Tobias Chapman - 1975 - Notre Dame Journal of Formal Logic 16 (1):116-118.
Possible Worlds: Structure and Stuff.Manuel Pérez Otero - 2010 - Philosophical Papers 39 (2):209-237.


Added to PP index

Total views
606 ( #13,864 of 2,518,503 )

Recent downloads (6 months)
89 ( #8,302 of 2,518,503 )

How can I increase my downloads?


My notes