First-order modal logic

著者

• Fitting, Melvin Chris
• Mendelsohn, Richard L.

書誌事項

First-order modal logic

Melvin Fitting and Richard L. Mendelsohn

（Synthese library, v. 277）

Kluwer Academic, c1998

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA38849556
• ISBN:
  • 079235334X
• LCCN: 98037504
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: xii, 287 p.
• 大きさ: 25 cm
• 分類:
  • LCC : BC199.M6
  • DC21 : 160
• 件名:
  • LCSH : Modality (Logic)
• 親書誌ID:
  • BA00017801