David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Notre Dame Journal of Formal Logic 43 (4):193-220 (2002)
In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see ), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in : "It seems to be generally conceded that formal systems are natural or substantial if they can be looked at from several points of view. We tend to think of systems as artificial or ad hoc if most of their formal properties arise from some one notational system in terms of which they are described." My efforts in this paper will be in part to lend substantiality to the system in question. Several formulation of the system are given and proved equivalent in appropriate senses. Also, some comments are made concerning possible alternative formulations.
|Keywords||first-order modal logic serious actualism|
|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
No citations found.
Similar books and articles
Phillip Bricker (1989). Quantified Modal Logic and the Plural De Re. Midwest Studies in Philosophy 14 (1):372-394.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Zane Parks (1976). Investigations Into Quantified Modal Logic-I. Studia Logica 35 (2):109 - 125.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Bartosz Wieckowski, Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
David Efird (2009). Divine Command Theory and the Semantics of Quantified Modal Logic. In Yujin Nagasawa & Erik J. Wielenberg (eds.), New Waves in Philosophy of Religion. Palgrave Macmillan 91.
Peter Fritz (2013). Modal Ontology and Generalized Quantifiers. Journal of Philosophical Logic 42 (4):643-678.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Anil Gupta (1980). The Logic of Common Nouns: An Investigation in Quantified Modal Logic. Yale University Press.
James W. Garson (2005). Unifying Quantified Modal Logic. Journal of Philosophical Logic 34 (5/6):621-649.
Thomas J. McKay (1975). Essentialism in Quantified Modal Logic. Journal of Philosophical Logic 4 (4):423 - 438.
Added to index2010-08-24
Total downloads13 ( #253,855 of 1,789,824 )
Recent downloads (6 months)1 ( #420,670 of 1,789,824 )
How can I increase my downloads?