First-order modal logic

Melvin Fitting and Richard L. Mendelsohn

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.

「Nielsen BookData」より


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

「Nielsen BookData」より


書名 First-order modal logic
著作者等 Fitting, Melvin Chris
Mendelsohn, Richard L.
Fitting Melvin
シリーズ名 Synthese library
出版元 Kluwer Academic
刊行年月 c1999
版表示 Softcover reprint of the original 1st ed. 1998
ページ数 xii, 287 p.
大きさ 24 cm
ISBN 0792353358
NCID BA43420500
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ