Abstract

Since Kripke's paper "Outline of a theory of truth", many theories of truth have been proposed toward contribution to explicating or solving the liar paradox. So the aim of this paper is to survey theories of truth which are given by Kripke and other authors, and to consider the relationship between these formal theories of truth and the liar paradox which is captured at an intuitive level. I shall argue that their theories of truth fail to solve the liar paradox.