Priest, the Liar, and G�del

Abstract

In a recent paper, Graham Priest proposed an analysis of the Liar Paradox according to which the Liar sentence is both true and not true.’ Such a position regarding the paradox requires a complete overhaul of our logical theory as well as the rejection of the Law of Contradiction. To justify this radical position, Priest advanced an argument based on Godel’s First Incompleteness Theorem. This argument is the topic of my paper. Priest argues that we humans have the means by which we come to know mathematical truths, viz., by constructing intuitively valid proofs of the mathematical propositions from