Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
First-Order Modal Logic
Buch von Richard L. Mendelsohn (u. a.)
Sprache: Englisch

128,39 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. 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 andfunction 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.
Review of the First Edition:
"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)
This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. 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 andfunction 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.
Review of the First Edition:
"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)
Über den Autor
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.
Zusammenfassung

Presents a thorough treatment of first-order modal logic supported by propositional background

Much anticipated revised and expanded new edition of the 1998 book First-Order Modal Logic

Suitable for courses in Philosophy, Modal Logic and Intentional Logic

Inhaltsverzeichnis
Preface.- Acknowledgments.- Part I. Background: Propositional Classical Logic. 1. Background: Propositional Language.- 2. Background: Propositional Axiomatics.- 3. Background: Propositional Tableaus.- Part II. Propositional Modal Logic. 4. Modal Logic, an Introduction.- 5. Propositional Modal Logic.- 6. Propositional Modal Axiom Systems.- 7. Propositional Modal Tableaus.- Part III. First-Order Modal Logic. 8. Quantified Modal Logic.- 9. First-Order Modal Tableaus.- 10. First-Order Modal Axiomatics.- Part IV. Equality and Existence. 11. Equality.- 12. Existence.- Part V. Predicate Abstraction and Scope. 13. Predicate Abstraction, Informally.- 14. Predicate Abstraction, Formally.- 15. Tableaus for Predicate Abstraction.- 16. Tableau Soundness and Completeness. Part VI. Applications. 17. Equality and Predicate Abstraction.- 18. Designation.- 19. Rigidity.- 20. Definite Descriptions.-
Afterward.
Details
Erscheinungsjahr: 2023
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Reihe: Synthese Library
Inhalt: xx
460 S.
1 s/w Illustr.
460 p. 1 illus.
ISBN-13: 9783031407130
ISBN-10: 303140713X
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Mendelsohn, Richard L.
Fitting, Melvin
Auflage: Second Edition 2023
Hersteller: Springer International Publishing
Springer International Publishing AG
Synthese Library
Maße: 241 x 160 x 32 mm
Von/Mit: Richard L. Mendelsohn (u. a.)
Erscheinungsdatum: 19.10.2023
Gewicht: 0,881 kg
Artikel-ID: 127224098
Über den Autor
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.
Zusammenfassung

Presents a thorough treatment of first-order modal logic supported by propositional background

Much anticipated revised and expanded new edition of the 1998 book First-Order Modal Logic

Suitable for courses in Philosophy, Modal Logic and Intentional Logic

Inhaltsverzeichnis
Preface.- Acknowledgments.- Part I. Background: Propositional Classical Logic. 1. Background: Propositional Language.- 2. Background: Propositional Axiomatics.- 3. Background: Propositional Tableaus.- Part II. Propositional Modal Logic. 4. Modal Logic, an Introduction.- 5. Propositional Modal Logic.- 6. Propositional Modal Axiom Systems.- 7. Propositional Modal Tableaus.- Part III. First-Order Modal Logic. 8. Quantified Modal Logic.- 9. First-Order Modal Tableaus.- 10. First-Order Modal Axiomatics.- Part IV. Equality and Existence. 11. Equality.- 12. Existence.- Part V. Predicate Abstraction and Scope. 13. Predicate Abstraction, Informally.- 14. Predicate Abstraction, Formally.- 15. Tableaus for Predicate Abstraction.- 16. Tableau Soundness and Completeness. Part VI. Applications. 17. Equality and Predicate Abstraction.- 18. Designation.- 19. Rigidity.- 20. Definite Descriptions.-
Afterward.
Details
Erscheinungsjahr: 2023
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Reihe: Synthese Library
Inhalt: xx
460 S.
1 s/w Illustr.
460 p. 1 illus.
ISBN-13: 9783031407130
ISBN-10: 303140713X
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Mendelsohn, Richard L.
Fitting, Melvin
Auflage: Second Edition 2023
Hersteller: Springer International Publishing
Springer International Publishing AG
Synthese Library
Maße: 241 x 160 x 32 mm
Von/Mit: Richard L. Mendelsohn (u. a.)
Erscheinungsdatum: 19.10.2023
Gewicht: 0,881 kg
Artikel-ID: 127224098
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte