Skip to main content
SpringerLink
Log in

First-Order Modal Logic

  • Book
  • © 1998

Overview

Authors:
  1. Melvin Fitting

    1. Lehman College and the Graduate Center, CUNY, New York, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Richard L. Mendelsohn

    1. Lehman College and the Graduate Center, CUNY, New York, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 277)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Propositional Modal Logic

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 1-45

  3. Tableau Proof Systems

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 46-66

  4. Axiom Systems

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 67-80

  5. Quantified Modal Logic

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 81-115

  6. First-Order Tableaus

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 116-131

  7. First-Order Axiom Systems

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 132-139

  8. Equality

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 140-162

  9. Existence and Actualist Quantification

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 163-186

  10. Terms and Predicate Abstraction

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 187-203

  11. Abstraction Continued

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 204-229

  12. Designation

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 230-247

  13. Definite Descriptions

    • Melvin Fitting, Richard L. Mendelsohn
    Pages 248-275

  14. Back Matter

    Pages 277-292
    Download chapter PDF
Back to top

Keywords

About this book

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems.
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

"This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended."
(Bulletin of Symbolic Logic, 8:3)

Authors and Affiliations

  • Lehman College and the Graduate Center, CUNY, New York, USA

    Melvin Fitting, Richard L. Mendelsohn

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

Publish with us

Policies and ethics

Back to top

Search

Navigation