M. Fitting,
Richard L. Mendelsohn
Springer Netherlands
0e druk, 1999
9780792353355
First-Order Modal Logic
Specificaties
Paperback, 292 blz.
|
Engels
Springer Netherlands |
0e druk, 1999
ISBN13: 9780792353355
Rubricering
Onderdeel van serie
Synthese Library
Verwachte levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780792353355
Taal:Engels
Bindwijze:paperback
Aantal pagina's:292
Uitgever:Springer Netherlands
Druk:0
Serie:Synthese Library
Inhoudsopgave
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.