Dordrecht, Netherland: Kluwer Academic Publishers (1998)
AbstractThis is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.
Added to PP
Historical graph of downloads
References found in this work
A Treatise of Human Nature.David Hume & A. D. Lindsay - 1958 - Philosophical Quarterly 8 (33):379-380.
Citations of this work
Existence as a Real Property: The Ontology of Meinongianism.Francesco Berto - 2012 - Synthèse Library, Springer.
Interpreting plural predication: homogeneity and non-maximality.Manuel Križ & Benjamin Spector - 2021 - Linguistics and Philosophy 44 (5):1131-1178.
The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis:1-29.
Similar books and articles
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
First-Order Modal Logic, M. Fitting and R.L. Mendelsohn.Valentin Shehtman - 2001 - Journal of Logic, Language and Information 10 (3):403-405.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.