First-Order Modal Logic

M. Fitting, Richard L. Mendelsohn (Autoren)

Buch | Hardcover

292 Seiten

1998 | New edition
Springer (Verlag)
978-0-7923-5334-8 (ISBN)

Titel erscheint in neuer Auflage

Artikel merken

Presents a treatment of first-order modal logic. This 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.

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.

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.

Reihe/Serie	Synthese Library ; 277
Zusatzinfo	XII, 292 p.
Verlagsort	Dordrecht
Sprache	englisch
Maße	155 x 235 mm
Gewicht	1350 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Geisteswissenschaften ► Sprach- / Literaturwissenschaft ► Sprachwissenschaft
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-7923-5334-X / 079235334X
ISBN-13	978-0-7923-5334-8 / 9780792353348
Zustand	Neuware