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.
| ISBN: | 9780792353348 |
| Publication date: | 31st October 1998 |
| Author: | Melvin Fitting, Richard L Mendelsohn |
| Publisher: | Springer an imprint of Springer Netherlands |
| Format: | Hardback |
| Pagination: | 287 pages |
| Series: | Synthese Library : Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Genres: |
Philosophy: logic Mathematical logic Computational and corpus linguistics Mathematical foundations |
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.
First-Order Modal Logic features in the following genres: Philosophy: logic, Mathematical logic, Computational and corpus linguistics, Mathematical foundations
Paperback, Hardback. Not Available.
First-Order Modal Logic was written by Melvin Fitting, Richard L Mendelsohn and published by Springer an imprint of Springer Netherlands
First-Order Modal Logic has 287 pages
Yes it is part of Synthese Library : Studies in Epistemology, Logic, Methodology, and Philosophy of Science series