First-Order Modal Logic: 277 - Rilegato

Fitting, Melvin; Mendelsohn, Richard L.

Rilegato

ISBN 10: 079235334X ISBN 13: 9780792353348

Casa editrice: Kluwer Academic Pub, 1998

Riassunto

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.

Su questo libro

Recensione:

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

Contenuti:

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.

Su questa edizione

• Editore: Kluwer Academic Pub
• Data di pubblicazione: 1998
• ISBN 10: 079235334X
• ISBN 13: 9780792353348
• Rilegatura: Copertina rigida
• Numero di pagine: 287