First-Order Modal Logic (Synthese Library)

ISBN: 9780792353355

×÷Õß: M¡¤Fitting/Richard L¡¤Mendelsohn

³ö°æÉç: Springer

³ö°æÄê: 1999-11

Ò³Êý: 308

¶¨¼Û: USD 69.95

×°Ö¡: Paperback

ÄÚÈݼò½é

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.