Logic is fundamental to thought and language. But which logical principles are correct? The paradoxes play a crucial role in answering that question. The so-called Liar and Heap paradoxes challenge our basic ideas about logic; at the very least, they teach us that the correct logical principles are not as obvious as common sense would have it. The essays in this volume, written by leading figures in the field, discuss novel thoughts about the paradoxes.

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it says (only) that it is false.
How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false;...

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it says (only) that it is false.
How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false;...

Among the various conceptions of truth is one according to which 'is true' is a transparent, entirely see-through device introduced for only practical (expressive) reasons. This device, when introduced into the language, brings about truth-theoretic paradoxes (particularly, the notorious Liar and Curry paradoxes). The options for dealing with the paradoxes while preserving the full transparency of 'true' are limited. In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Among the various conceptions of truth is one according to which 'is true' is a transparent, entirely see-through device introduced for only practical (expressive) reasons. This device, when introduced into the language, brings about truth-theoretic paradoxes (particularly, the notorious Liar and Curry paradoxes). The options for dealing with the paradoxes while preserving the full transparency of 'true' are limited. In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Logic: the Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as:

. mathematical preliminaries

. propositional logic

. quantified logic (first monadic, then polyadic)

. English and standard symbolic translations

. tableau procedures.

The real value of the text is revealed by what else it contains: an accessible introduction to several philosophically important non-classical logics, to free logics, and to...

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.