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.

Dettagli dell'edizione

• Editore: Kluwer Academic Pub
• Data di pubblicazione: 1998
• Lingua: Inglese
• ISBN 10: 079235334X
• ISBN 13: 9780792353348
• Rilegatura: Copertina rigida
• Numero di pagine: 287
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania