First-Order Modal Logic, 2nd
Melvin Fitting, Richard L. Mendelsohn
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.
Cilt:
480
Yıl:
2023
Baskı:
2
Yayımcı:
Springer
Dil:
english
Sayfalar:
460
ISBN 10:
3031407148
ISBN 13:
9783031407147
Seriler:
Synthese Library No. 480
Dosya:
PDF, 6.23 MB
IPFS:
,
english, 2023