[include(틀:수학기초론)]
[목차]
== 개요 ==
{{{+1 Liar Paradox}}}

[[철학]]과 [[논리학]]에서 [[역설|패러독스]]([[모순]])의 가장 대표적인 예. '''자기 언급의 패러독스'''라고도 한다.
>명제: '''이 문장은 거짓이다.'''
> 1. 이 명제가 사실이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 사실이다.
> 1. 즉 '이 문장이 거짓이다'라는 게 사실이므로, '이 명제는 거짓'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 사실이다'라는 전제와 모순된다.
>
> 1. 이 명제가 거짓이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 거짓이다.
> 1. 즉 '이 문장은 거짓이다'라는 게 거짓이므로, '이 명제는 사실'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 거짓이다'라는 전제와 모순된다.
'''이 명제가 사실이다 라는 전제는 이 명제가 거짓이라는 결론으로 이어지며, '이 명제가 거짓이다'라는 전제는 '이 명제가 사실이다'라는 결론으로 이어지는''' [[순환 논법|논리의 무한순환]]이 이어진다. 말 그대로 [[답이 없다|답이 없는]] 문제.

>'''나는 지금 거짓말을 하고 있다.'''
 1. A : A는 거짓
 1. A가 거짓이면 A는 참
 1. A가 참이면 A는 거짓
== 타르스키의 표준적 해결책 ==
[[수학]]이나 [[철학]]에서 표준적으로 받아들이는 해결책은 [[수리논리학|현대 모형 이론]]의 창시자인 알프레트 타르스키(Alfred Tarski)가 [[1933년]]에 내놓은 해결책이다. [[버트런드 러셀|러셀]]과 [[앨프리드 노스 화이트헤드|화이트헤드]]의 분지 유형 이론(ramified type theory)에 영향을 받은 타르스키 이론의 핵심 발상은 다음과 같이 거칠게 요약될 수 있다.
> 1. ''''참' 술어는 언어-상대적으로 정의된다.''' 
>  * e.g., 한국어 문장의 '참'과 영어 문장의 '참'은 별개의 술어다.
> 1. '''특정 언어에 적용되는 '참' 술어는 그 언어에 포함되지 않는다.''' 
>  * e.g., '참이다'라는 술어를 한국어 문장에 붙임으로써 그 문장이 참임을 뜻할 수 있다고 해보자. 그렇다면 '참이다'는 한국어 어휘가 될 수 없다.
> 1. '''대상 언어와 메타 언어는 구분되어야 한다.''' - 한 대상 언어의 메타 언어는 그 대상 언어를 진부분으로 포함해야 한다.
>  * e.g., 한국어가 대상 언어일 경우, 한국어의 메타 언어는 한국어를 진부분으로 포함하며 추가적으로 '참이다' 같은 술어 또한 포함한다. 예를 들어 '눈은 하얗다'는 한국어 문장이 될 수도, 한국어의 메타 언어의 문장이 될 수도 있지만, ''눈은 하얗다'는 참이다'는 한국어의 메타 언어의 문장이지만 한국어 문장이 될 수는 없다.
> 1. '''한 대상 언어의 메타 언어는 그 자체로 또다른 메타 언어를 필요로 하며, 이처럼 언어들은 계층을 이룬다.'''
분지 유형 이론이나 [[ZFC 공리계]]에서 [[러셀의 역설]]이 조기에 차단되는 것처럼 이런 타르스키식 해결책을 받아들인다면 '이 문장은 거짓이다' 같은 거짓말쟁이 역설은 애초에 발생할 수 없게 된다.

== 기타 ==
 * 에피메니데스의 역설[* 고대에도 워낙 유명한 주장이었는지, [[성경]]에도 나온다. "그들 중의 한 사람이 "우리 그레데 사람들은 언제나 거짓말쟁이이고 몹쓸 짐승이고 먹는 것밖에 모르는 게으름뱅이이다." 하고 말하지 않았습니까? 이 말을 한 사람은 바로 그들(그레데 사람)의 예언자라는 사람입니다."([[디도서]] 1:12).]과 혼용되곤 한다. 하지만 에피메니데스의 역설은 논리적으로는 역설이 아니다.[* 에피메니데스가 한 말인, "모든 크레타 사람은 거짓말쟁이다."를 부정하는 '어떤 크레타 사람은 거짓말쟁이가 아니다.'라는 명제가 '에피메니데스 본인이 거짓말쟁이다'와 상충하지 않기 때문이다.] 단, 에피메니데스는 이런 역설을 의도해서 얘기했기보다는 자국을 자조적으로 일컫는, [[헬조선]]과 같은 의미로 사용했을 가능성이 크다.[* 디도서에서 에피메니데스의 역설을 인용한 [[사도 바울로]] 역시 바로 다음 절(디도서 1:13)에서 "이 증언이 참되다"라고 평하였다.]
 * '''이 문장은 거짓이다'''가 참으로 가정해도 거짓으로 가정해도 가정과 모순되는 것과 다르게 '''이 문장은 참이다'''는 참으로 가정해도 모순이 없고 거짓으로 가정해도 모순이 없다.[* 이 문장은 거짓이다가 마치 0×a=3 처럼 불능이라면 이 문장은 참이다는 0×a=0처럼 부정이라고 할 수 있다.]
 * 이 역설을 절묘하게 변주한 결과가 바로 [[쿠르트 괴델]]의 [[불완전성 정리]]다. 간단히 말하면, 괴델은 "'''이 문장은 증명 불가능하다'''"라는 문장을 모순이 없도록 구축해내면서 이 정리를 증명했다.
== 관련 문서 ==
 * [[https://www.kyosu.net/news/articleView.html?idxno=43995|‘거짓말쟁이 역설’에 도전한 현대 철학자들의 해법 (송하석)]]
 * [[스탠퍼드 철학 백과사전]]
  * [[https://plato.stanford.edu/entries/liar-paradox/|거짓말쟁이의 역설]]
  * [[https://plato.stanford.edu/entries/tarski-truth/|타르스키의 참 정의]]
  * [[https://plato.stanford.edu/entries/self-reference/|자기지시성]]
  * [[https://plato.stanford.edu/entries/truth/|참]]

== 대중매체에서 ==
[[Portal 2]]에서 [[GLaDOS|글라도스]]가 [[휘틀리(Portal 2)|휘틀리]]에게 이 명제를 이용한 '패러독스 공격'을 가했다.[* AI라면 True냐 False냐 하는 정확한 답이 나와야 하는데 답이 없는 문제이므로, 연산에서 무한 루프가 걸려 오류과정을 내뱉고 다운된다고 한다. 글라도스가 이 문제를 말할 때, "This", "sentence" , "is", "false" 하는 식으로 단어를 끊어서 말하고 계속 '생각하지 말자...생각하지 말자..."--귀엽다--하고 자기최면을 거는 것으로 볼 때, 글라도스도 이 오류를 회피할 수는 없는 듯.] 주변에 있던 기형 큐브터렛은 이 말을 듣자마자 전부 회로가 터졌지만, 정작 휘틀리는 너무 지능이 낮아서 이해하지도 못하고 멀쩡한 채로 "어...참?"이라고 답했다. 글라도스가 황당해하며 "이건 패러독스야! 참이나 거짓이 없다고!"라 지적한다. 그러자 휘틀리가 하는 말. ''' '어 그럼 거짓.' '''

공각기동대 Stand Alone Complex에서 [[타치코마]]들은 [[오퍼레이터#s-5.2]]에게 역설을 말해서 무한 루프를 일으키고 오퍼레이터가 지키고 있던 프로토타입을 가져간다. 그리고는 거짓말쟁이의 역설조차 처리하지 못하는 깡통이라고 놀린다.

[[마음의소리]]에서는 추리게임을 할 때 [[거짓말 탐지기]]를 사용해서 범인을 판별하려 했는데, "거짓말을 하는 놈이 범인"이라는 전제로 탐지기를 썼는데 조석이 탐지기에 손을 대고 '''내가 범인'''이라고 했더니 소리가 안 나서 사건이 미궁에 빠지는 개그가 벌어졌다.

2023년 개봉한 '[[그대들은 어떻게 살 것인가]]'에서, 등장인물 키리코가 "모든 왜가리는 모두 거짓말쟁이라고 다른 왜가리가 말했다. 그럼 이건 진짜일까, 거짓말일까?"라고 묻자, 왜가리 남자는 "모든 왜가리는 거짓말쟁이다."라며 진실이라고 답했다. 그러자 마히토는 "그 말도 거짓말이지?" 라며 거짓이라고 답한다. 이런 모습을 본 키리코는 둘이 환상의 짝꿍이라며 웃는다.
== 여담 ==
[[2018학년도 대학수학능력시험]] 9월 모의평가 29번~32번에 대한 지문에 거짓말쟁이의 역설이 등장한 바 있다.
[[파일:2018 9 국어 거짓말쟁이 역설.png|width=400]]
[[분류:수리논리학]][[분류:역설]]

2024학년도 [[수능완성]] 국어 160페이지 1번~5번 문제에서 다시 한 번 등장하였다. 

이 문제로 유명한 이야기가 창과 방패이다.
내용을 요약해보자면 장사꾼이 이 창은 어떤 방패든 막을 수 있다고 한다음 이 방패는 어떤 창이든 막을 수 있다고 한 이야기,