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.

The Liar: An Essay on Truth and Circularity

History

Barwise, Jon

Etchemendy, John

Australia & Oceania

Oxford University Press

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.

The Concept of Logical Consequence

The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years. But logic has moved forward dramatically in the past century - largely as a result of bringing mathematics to bear on the field. The infusion of mathematically precise definitions and techniques has turned a field dominated by homely admonitions into one characterized by illuminating theorems. The aim of this book is to correct a common misunderstanding of one of the most widely used techniques of mathematical logic. Central to the received view is Tarski's model-theoretic analysis of logical consequence, which Etchemendy argues is fundamentally mistaken. Save indirectly, by those who question classical principles, this standard analysis has gone unchallenged for half a century, with the result that it has come to seem a piece of common knowledge. Etchemendy's critique will shatter the complacency.

Politics & Social Sciences

Philosophy

Harvard University Press

The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23) (Lecture Notes)

Center for the Study of Language and Inf

Tarski's World 3.0 is an innovative and enjoyable way to introduce your students to the language of first-order logic. Using this program, students quickly master the meaning of the connectives and quantifiers, and soon become fluent in the symbolic language at the core of modern logic. Tarski's World allows the students to build three-dimensional worlds and describe them in first-order logic. They evaluate the sentences in the constructed worlds, and if their evaluation is incorrect, the program provides them with a game that leads them to understand where they went wrong. The package is intended as a supplement to any standard logic text, or for use by anyone who wants to learn the language. The disk and manual contain over a hundred exercises from very basic to highly sophisticated.

Tarski's World 3.0: Including the Macintosh TM Program (Lecture Notes)

Science & Math

Mathematics

The Language of First-Order Logic, Including Tarski's World 3.0 (Mac) (Lecture Notes) (Volume 23)

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order Logic contains hundreds of problems and exercises for the user to work through.

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)

Computers & Technology

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)

Tarski’s World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game, which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds. A brand new feature in this revised and expanded edition is student access to Grade Grinder, an innovative Internet-based grading service that provides accurate and timely feedback to students whenever they need it. Students can submit solutions for the program’s more than 100 exercises to the Grade Grinder for assessment, and the results are returned quickly to the students and optionally to the teacher as well. A web-based interface also allows instructors to manage assignments and grades for their classes. Intended as a supplement to a standard logic text, Tarski’s World is an essential tool for helping students learn the language of logic.

Tarski's World: Revised and Expanded (Volume 169) (Lecture Notes)

Barker-Plummer, David

Center for the Study of Language and Information

See the best price to sell, buy, or rent books by Etchemendy, John. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Etchemendy, John

See the best price to sell, buy, or rent books by Etchemendy, John. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

The Liar: An Essay on Truth and Circularity

The Liar: An Essay on Truth and Circularity

The Concept of Logical Consequence

The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23) (Lecture Notes)

Tarski's World 3.0: Including the Macintosh TM Program (Lecture Notes)

The Language of First-Order Logic, Including Tarski's World 3.0 (Mac) (Lecture Notes) (Volume 23)

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)

The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)

The Concept of Logical Consequence

Tarski's World: Revised and Expanded (Volume 169) (Lecture Notes)