First-Order Modal Logic (Synthese Library, 277) (Volume 0)
Product Description
First-Order Modal Logic (Synthese Library, 277) (Volume 0)
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.
Technical Specifications
Customers who bought this also bought
You might also like
Dynamic Epistemic Logic (Synthese Library)
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
A New Introduction to Modal Logic
Modal Logic for Philosophers
Set Theory (Studies in Logic: Mathematical Logic and Foundations)
Reference and Existence: The John Locke Lectures
How to Prove It: A Structured Approach, 2nd Edition
Modal Logics and Philosophy
Counterfactuals
Naming and Necessity