First-order Modal Logic (synthese Library)
by M. Fitting /
1999 / English / PDF
20.1 MB Download
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.
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.