Investigations into Quantified Modal Logic

Notre Dame Journal of Formal Logic 43 (4):193-220 (2002)
  Copy   BIBTEX

Abstract

In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see [2]), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in [1]: "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

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Divine command theory and the semantics of quantified modal logic.David Efird - 2008 - In Yujin Nagasawa & Erik J. Wielenberg (eds.), New waves in philosophy of religion. New York: Palgrave-Macmillan. pp. 91.
Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
The Modal Ontological Argument Meets Modal Fictionalism.Ted Parent - 2016 - Analytic Philosophy 57 (4):338-352.
Essentialism in quantified modal logic.Thomas J. McKay - 1975 - Journal of Philosophical Logic 4 (4):423 - 438.

Analytics

Added to PP
2010-08-24

Downloads
44 (#350,505)

6 months
10 (#250,275)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
Serious actualism.Yannis Stephanou - 2007 - Philosophical Review 116 (2):219-250.
Actualism, Serious Actualism, and Quantified Modal Logic.William H. Hanson - 2018 - Notre Dame Journal of Formal Logic 59 (2):233-284.
First-Order Modal Logic with an 'Actually' Operator.Yannis Stephanou - 2005 - Notre Dame Journal of Formal Logic 46 (4):381-405.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
On existentialism.Alvin Plantinga - 1983 - Philosophical Studies 44 (1):1 - 20.
ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Necessary beings.Y. Stephanou - 2000 - Analysis 60 (2):188-193.

Add more references