A note on Barcan formula

Journal of Applied Non-Classical Logics 27 (3-4):321-327 (2017)
  Copy   BIBTEX

Abstract

We present in this note a plea for Barcan formula. This view connects Barcan formula with a modal principle that expresses the -Introduction rule of first-order logic.

Categories

Keywords

Reprint years

2018

DOI

10.1080/11663081.2018.1439359

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prior, Berkeley, and the Barcan formula.James Levine - 2016 - Synthese 193 (11):3551-3565.
The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
A note on the Barcan formula and substitutional quantification.B. J. Copeland - 1982 - Logique Et Analyse 25 (97):83.
Ruth Barcan Marcus and the Barcan Formula.Terence Parsons - 1995 - In Ruth Barcan Marcus, Walter Sinnott-Armstrong, Diana Raffman & Nicholas Asher (eds.), Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus. Cambridge University Press. pp. 3--11.
Prior, translational semantics, and the Barcan formula.B. Jack Copeland - 2016 - Synthese 193 (11):3507-3519.
Review of Modalities. Philosophical Essays by Ruth Barcan Marcus. [REVIEW]João Branquinho - 1995 - International Journal of Philosophical Studies 3 (2):346-382.
Truthmakers and the converse Barcan formula.Timothy Williamson - 1999 - Dialectica 53 (3-4):253–270.
On modality and reference: Ruth Barcan Marcus (1921-2012).Genoveva Martí - 2012 - Teorema: International Journal of Philosophy 31 (2):203-212.
Ontology of sentential moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
The universe of discourse of modal logic.Anne Preller - 1996 - Journal of Applied Non-Classical Logics 6 (2):137-147.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Review on: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW]Eva-Maria Engelen - 1996 - Erkenntnis 44 (1):125-128.
omnibus Review. [REVIEW]Phillip Bricker - 1997 - Journal of Symbolic Logic 62 (1):328-330.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.

Analytics

Added to PP
2018-03-08

Downloads
36 (#435,476)

6 months
15 (#159,740)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Bare possibilia.Timothy Williamson - 1998 - Erkenntnis 48 (2-3):257--73.

View all 20 references / Add more references