國立虎尾科技大學 |

First-order modal logic

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	First-order modal logic/ by Melvin Fitting, Richard L. Mendelsohn.
作者:	Fitting, Melvin.
其他作者:	Mendelsohn, Richard L.
出版者:	Cham :Springer International Publishing : : 2023.,
面頁冊數:	xx, 460 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Computational Linguistics. -
電子資源:	https://doi.org/10.1007/978-3-031-40714-7
ISBN:	9783031407147

First-order modal logic
Fitting, Melvin.

First-order modal logic[electronic resource] /by Melvin Fitting, Richard L. Mendelsohn. - Second edition. - Cham :Springer International Publishing :2023. - xx, 460 p. :ill., digital ;24 cm. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science,v. 4802542-8292 ;. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;v.357..

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.

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

ISBN: 9783031407147

Standard No.: 10.1007/978-3-031-40714-7doiSubjects--Topical Terms:

670080
Computational Linguistics.

LC Class. No.: BC199.M6 / F58 2023

Dewey Class. No.: 160

First-order modal logic
LDR:03557nam a2200349 a 4500 001 1118028
003 DE-He213
005 20231018194035.0
006 m d
007 cr nn 008maaau
008 240126s2023 sz s 0 eng d
020 $a 9783031407147 $q (electronic bk.)
020 $a 9783031407130 $q (paper)
024 7 $a 10.1007/978-3-031-40714-7 $2 doi
035 $a 978-3-031-40714-7
040 $a GP $c GP
041 0 $a eng
050 4 $a BC199.M6 $b F58 2023
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
090 $a BC199.M6 $b F547 2023
100 1 $a Fitting, Melvin. $3 1198324
245 1 0 $a First-order modal logic $h [electronic resource] / $c by Melvin Fitting, Richard L. Mendelsohn.
250 $a Second edition.
260 $a Cham : $c 2023. $b Springer International Publishing : $b Imprint: Springer,
300 $a xx, 460 p. : $b ill., digital ; $c 24 cm.
490 1 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science, $x 2542-8292 ; $v v. 480
505 0 $a 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.
520 $a 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 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. 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)
650 2 4 $a Computational Linguistics. $3 670080
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 1 4 $a Logic. $3 558909
650 0 $a Modality (Logic) $3 575158
700 1 $a Mendelsohn, Richard L. $3 1432058
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; $v v.357. $3 1071510
856 4 0 $u https://doi.org/10.1007/978-3-031-40714-7
950 $a Religion and Philosophy (SpringerNature-41175)