This is a concise, advanced introduction to current philosophical debates about truth. A blend of philosophical and technical material, the book is organized around, but not limited to, the tendency known as deflationism, according to which there is not much to say about the nature of truth. In clea[...]

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing[...]

"Philosophical Logic" is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, [...]

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, "Naming and Necessity," reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, s[...]