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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer |
Country of origin | Netherlands |
Series | Synthese Library, 277 |
Release date | August 1999 |
Availability | Expected to ship within 10 - 15 working days |
First published | August 1999 |
Authors | M. Fitting, Richard L. Mendelsohn |
Dimensions | 240 x 160 x 16mm (L x W x T) |
Format | Paperback |
Pages | 292 |
Edition | Softcover reprint of the original 1st ed. 1998 |
ISBN-13 | 978-0-7923-5335-5 |
Barcode | 9780792353355 |
Categories | |
LSN | 0-7923-5335-8 |