Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
Keywords
About this book
The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.
Reviews
(Bulletin of Symbolic Logic, 8:3)
Authors and Affiliations
Bibliographic Information
Book Title: First-Order Modal Logic
Authors: Melvin Fitting, Richard L. Mendelsohn
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-94-011-5292-1
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1998
Softcover ISBN: 978-0-7923-5335-5Published: 31 August 1999
eBook ISBN: 978-94-011-5292-1Published: 06 December 2012
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: XII, 292
Topics: Logic, Mathematical Logic and Foundations, Computational Linguistics