In defense of the simplest quantified modal logic

Philosophical Perspectives 8:431-458 (1994)
  Copy   BIBTEX

Abstract

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,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

Plantinga’s Haecceitism and Simple Quantified Modal Logic.Luigi Pavone - 2018 - Logic and Logical Philosophy 27 (2):151-160.
Possibiha and Possible Worlds.Ruth Barcan Marcus - 1985 - Grazer Philosophische Studien 25 (1):107-133.
Actualism and higher-order worlds.Reina Hayaki - 2003 - Philosophical Studies 115 (2):149 - 178.
Quantified Modal Logic.Horacio Costa - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
In defense of the contingently nonconcrete.Bernard Linsky & Edward N. Zalta - 1996 - Philosophical Studies 84 (2-3):283-294.
Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.
Logic for Contigent Beings.Harry Deutsch - 1994 - Journal of Philosophical Research 19:273-329.
Vyčerpávající aktuální entity všechny možné objekty?Radim Bělohrad - 2002 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 9 (4):359-384.
Not Everything is Possible.Andrea Iacona - 2007 - Logic Journal of the IGPL 15 (3):233-237.

Analytics

Added to PP
2009-01-28

Downloads
579 (#41,007)

6 months
24 (#122,382)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Bernard Linsky
University of Alberta
Edward Zalta
Stanford University

Citations of this work

Against Grounding Necessitarianism.Alexander Skiles - 2015 - Erkenntnis 80 (4):717-751.
Getting priority straight.Louis deRosset - 2010 - Philosophical Studies 149 (1):73-97.
Nonexistent objects.Maria Reicher - 2019 - Stanford Encyclopedia of Philosophy.
The Argument from Vagueness.Daniel Z. Korman - 2010 - Philosophy Compass 5 (10):891-901.

View all 150 citations / Add more citations

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
On the Plurality of Worlds.David Lewis - 1986 - Revue Philosophique de la France Et de l'Etranger 178 (3):388-390.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.

View all 39 references / Add more references