Solving the Inferential Liar Antinomy

Tim Maudlin

in Truth and Paradox

Published in print May 2004 | ISBN: 9780199247295
Published online January 2005 | e-ISBN: 9780191601781 | DOI:
 Solving the Inferential Liar Antinomy

Show Summary Details


A standard natural deduction system is modified so as to allow for inferences concerning truth without falling into inconsistency. The modified system has no theorems unless an assumption is made about boundary sentences having a classical truth value. A collection of related paradoxes is examined.

Keywords: a prioriknowledge; antinomy; bivalence; index set; logic; natural deduction; paradox; theorem; T‐Inferences

Chapter.  17639 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.