Philosophical Perspectives 8:431-458 (1994)
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Silvio Ghilardi (1991). Incompleteness Results in Kripke Semantics. Journal of Symbolic Logic 56 (2):517-538.
Reina Hayaki (2003). Actualism and Higher-Order Worlds. Philosophical Studies 115 (2):149 - 178.
Bernard Linsky & Edward N. Zalta (1996). In Defense of the Contingently Nonconcrete. Philosophical Studies 84 (2-3):283-294.
James F. Ross (1989). The Crash of Modal Metaphysics. The Review of Metaphysics 43 (2):251 - 279.
David Basin, Seán Matthews & Luca Viganò (1998). Labelled Modal Logics: Quantifiers. [REVIEW] Journal of Logic, Language and Information 7 (3):237-263.
Christopher Menzel (1993). Singular Propositions and Modal Logic. Philosophical Topics 21 (2):113-148.
Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.
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.
Harry Deutsch (1994). Logic for Contigent Beings. Journal of Philosophical Research 19:273-329.
Added to index2009-01-28
Total downloads106 ( #6,946 of 722,742 )
Recent downloads (6 months)8 ( #12,358 of 722,742 )
How can I increase my downloads?