First-order modal logic

Author(s)

• Fitting, Melvin Chris
• Mendelsohn, Richard L.

Bibliographic Information

First-order modal logic

Melvin Fitting and Richard L. Mendelsohn

（Synthese library, v. 277）

Kluwer Academic, c1999

• : pbk

Note

Includes bibliographical references(p. 277-281) and index

Description and Table of Contents

Description

This 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.

Table of Contents

Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order Tableaus. 6. First-Order Axiom Systems. 7. Equality. 8. Existence and Actualist Quantification. 9. Terms and Predicate Abstraction. 10. Abstraction Continued. 11. Designation. 12. Definite Descriptions. References. Index.

by "Nielsen BookData"

Details

• NCID: BA43420500
• ISBN:
  • 0792353358
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: xii, 287 p.
• Size: 24 cm
• Classification:
  • LCC : BC199.M6
  • DC21 : 160
• Subject Headings:
  • LCSH : Modality (Logic)
• Parent Bibliography ID:
  • BA00017801