Barcan Formulas in Second-Order Modal Logic
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In Themes From Barcan Marcus. Ontos Verlag (2010)
Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to find that philosophical discussion of secondorder modal logic is almost totally absent, despite the pioneering contribution of Barcan.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Alexander Steinberg (2013). Pleonastic Possible Worlds. Philosophical Studies 164 (3):767-789.
Similar books and articles
Melvin Fitting (2012). Barcan Both Ways. Journal of Applied Non-Classical Logics 9 (2-3):329-344.
Horacio Arló Costa (2002). First Order Extensions of Classical Systems of Modal Logic; the Role of the Barcan Schemas. Studia Logica 71 (1):87-118.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
Added to index2009-01-28
Total downloads15 ( #107,735 of 1,101,021 )
Recent downloads (6 months)1 ( #290,337 of 1,101,021 )
How can I increase my downloads?