Albert Liu

Jon Barwise

Dave Barker-Plummer

John Etchemendy

Gerard Allwein

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.

Language, Proof and Logic

The aim of this book is to correct a common misunderstanding of a technique of mathematical logic.

The Concept of Logical Consequence

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics.

John Etchemendy

About

Books

Join the club