논리연구 (Korean Journal of Logic)
- 제7권1호
- /
- Pages.67-83
- /
- 2004
- /
- 1598-7493(pISSN)
Kripke's Theory of Truth and the Liar Paradox
초록
The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.