Two Versions of the Liar Paradox

Tim Maudlin

in Truth and Paradox

Published in print May 2004 | ISBN: 9780199247295
Published online January 2005 | e-ISBN: 9780191601781 | DOI:
 Two Versions of the Liar Paradox

Show Summary Details


Reviews the standard semantic paradoxes, and constructs a simple formal language in which the paradoxical reasoning can be reconstructed. Particular attention is paid to Löb's paradox, which allows for the derivation of any sentence in the language as a theorem. The advantages of a natural deduction system over an axiomatic logic is discussed.

Keywords: bivalence; Liar paradox; Löb's paradox; natural deduction; semantics; T‐Inference; truth; T‐sentence; A. Tarski

Chapter.  11676 words. 

Subjects: Philosophy of Language

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.