First-Order Modal Logic

2. Auflage 2023
ISBN: 978-3-031-40713-0
Verlag: Springer

Buch, Englisch, 460 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 881 g

Reihe: Synthese Library

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.

Zielgruppe

Research

Autoren/Hrsg.

Fitting, Melvin

Mendelsohn, Richard L.

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Geisteswissenschaften Sprachwissenschaft Computerlinguistik, Korpuslinguistik

Inhaltsverzeichnis

PrefaceAcknowledgments
Part I. Background: Propositional Classical Logic1. Background: Propositional Language2. Background: Propositional Axiomatics3. Background: Propositional Tableaus
Part II. Propositional Modal Logic4. Modal Logic, an Introduction5. Propositional Modal Logic6. Propositional Modal Axiom Systems7. Propositional Modal Tableaus
Part III. First-Order Modal Logic8. Quantified Modal Logic9. First-Order Modal Tableaus10. First-Order Modal Axiomatics
Part IV. Equality and Existence11. Equality12. Existence
Part V. Predicate Abstraction and Scope13. Predicate Abstraction, Informally14. Predicate Abstraction, Formally15. Tableaus for Predicate Abstraction16. Tableau Soundness and Completeness
Part VI. Applications17. Equality and Predicate Abstraction18. Designation19. Rigidity20. Definite Descriptions
Afterward

Über Autor(innen)

Melvin Fitting was a student of Raymond Smullyan. His dissertation became his first book, Intuitionistic Logic, Model Theory, and Forcing (1969). Since then he has authored or co-authored eleven books and served as editor for another three, as well as writing over 130 papers and book chapters. Among the areas he has worked in are intensional logic, semantics for logic programming, fixpoint theories of truth, and justification logic. A significant part of his work has involved developing tableau systems for non-classical logics, thus generalizing the classical systems of his mentor Smullyan. In 2012 he received the Herbrand Award from the Conference on Automated Deduction, largely for this tableau work, and in 2019 he received an honorary PhD from the University of Bucharest. He was on the faculty of the City University of New York from 1969 to his retirement in 2013. At CUNY he was at the undergraduate Lehman College, and at the City University Graduate Center, where he was in the Departments of Mathematics, Computer Science, and Philosophy. He is now an emeritus Professor, but very much active.
Richard L. Mendelsohn studied philosophy, logic and linguistics while a graduate student at M.I.T. Among the areas he has worked in are modal logic, philosophical logic, philosophy of language, history of early  modern analytic philosophy, and the philosophy of Gottlob Frege. He has authored or coauthored 3 books, and many articles and reviews. He was on the faculty of the City University of New York from 1968 until his retirement in 2014. He continues now as an emeritus Professor at CUNY. In addition, after visiting for many years, he has, since 2014, been an Adjunct Professor of Logic and the Philosophy of Science at the University of California, Irvine and a member of the Center for the Advancement of Logic there. At CUNY he taught at the undergraduate Lehman College and at the City University Graduate Center, where he was a member of the Department of Philosophy, serving as chair from 1993 to 1998, as well as a member of the Department of Linguistics.