거짓말쟁이의 역설
덤프버전 :
1. 개요[편집]
Liar Paradox
철학과 논리학에서 패러독스(모순)의 가장 대표적인 예. 자기 언급의 패러독스라고도 한다.
이 명제가 사실이다 라는 전제는 이 명제가 거짓이라는 결론으로 이어지며, '이 명제가 거짓이다'라는 전제는 '이 명제가 사실이다'라는 결론으로 이어지는 논리의 무한순환이 이어진다. 말 그대로 답이 없는 문제.명제: 이 문장은 거짓이다.
1. 이 명제가 사실이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 사실이다.
1. 즉 '이 문장이 거짓이다'라는 게 사실이므로, '이 명제는 거짓'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 사실이다'라는 전제와 모순된다.
1. 이 명제가 거짓이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 거짓이다.
1. 즉 '이 문장은 거짓이다'라는 게 거짓이므로, '이 명제는 사실'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 거짓이다'라는 전제와 모순된다.
나는 지금 거짓말을 하고 있다.
- A : A는 거짓
- A가 거짓이면 A는 참
- A가 참이면 A는 거짓
2. 타르스키의 표준적 해결책[편집]
수학이나 철학에서 표준적으로 받아들이는 해결책은 현대 모형 이론의 창시자인 알프레트 타르스키(Alfred Tarski)가 1933년에 내놓은 해결책이다. 러셀과 화이트헤드의 분지 유형 이론(ramified type theory)에 영향을 받은 타르스키 이론의 핵심 발상은 다음과 같이 거칠게 요약될 수 있다.
분지 유형 이론이나 ZFC 공리계에서 러셀의 역설이 조기에 차단되는 것처럼 이런 타르스키식 해결책을 받아들인다면 '이 문장은 거짓이다' 같은 거짓말쟁이 역설은 애초에 발생할 수 없게 된다.1. '참' 술어는 언어-상대적으로 정의된다.
* e.g., 한국어 문장의 '참'과 영어 문장의 '참'은 별개의 술어다.
1. 특정 언어에 적용되는 '참' 술어는 그 언어에 포함되지 않는다.
* e.g., '참이다'라는 술어를 한국어 문장에 붙임으로써 그 문장이 참임을 뜻할 수 있다고 해보자. 그렇다면 '참이다'는 한국어 어휘가 될 수 없다.
1. 대상 언어와 메타 언어는 구분되어야 한다. - 한 대상 언어의 메타 언어는 그 대상 언어를 진부분으로 포함해야 한다.
* e.g., 한국어가 대상 언어일 경우, 한국어의 메타 언어는 한국어를 진부분으로 포함하며 추가적으로 '참이다' 같은 술어 또한 포함한다. 예를 들어 '눈은 하얗다'는 한국어 문장이 될 수도, 한국어의 메타 언어의 문장이 될 수도 있지만, ''눈은 하얗다'는 참이다'는 한국어의 메타 언어의 문장이지만 한국어 문장이 될 수는 없다.
1. 한 대상 언어의 메타 언어는 그 자체로 또다른 메타 언어를 필요로 하며, 이처럼 언어들은 계층을 이룬다.
3. 기타[편집]
- 에피메니데스의 역설[1] 과 혼용되곤 한다. 하지만 에피메니데스의 역설은 논리적으로는 역설이 아니다.[2] 단, 에피메니데스는 이런 역설을 의도해서 얘기했기보다는 자국을 자조적으로 일컫는, 헬조선과 같은 의미로 사용했을 가능성이 크다.[3]
- 이 문장은 거짓이다가 참으로 가정해도 거짓으로 가정해도 가정과 모순되는 것과 다르게 이 문장은 참이다는 참으로 가정해도 모순이 없고 거짓으로 가정해도 모순이 없다.[4]
- 이 역설을 절묘하게 변주한 결과가 바로 쿠르트 괴델의 불완전성 정리다. 간단히 말하면, 괴델은 "이 문장은 증명 불가능하다"라는 문장을 모순이 없도록 구축해내면서 이 정리를 증명했다.
4. 관련 문서[편집]
5. 대중매체에서[편집]
Portal 2에서 글라도스가 휘틀리에게 이 명제를 이용한 '패러독스 공격'을 가했다.[5] 주변에 있던 기형 큐브터렛은 이 말을 듣자마자 전부 회로가 터졌지만, 정작 휘틀리는 너무 지능이 낮아서 이해하지도 못하고 멀쩡한 채로 "어...참?"이라고 답했다. 글라도스가 황당해하며 "이건 패러독스야! 참이나 거짓이 없다고!"라 지적한다. 그러자 휘틀리가 하는 말. '어 그럼 거짓.'
공각기동대 Stand Alone Complex에서 타치코마들은 오퍼레이터에게 역설을 말해서 무한 루프를 일으키고 오퍼레이터가 지키고 있던 프로토타입을 가져간다. 그리고는 거짓말쟁이의 역설조차 처리하지 못하는 깡통이라고 놀린다.
마음의소리에서는 추리게임을 할 때 거짓말 탐지기를 사용해서 범인을 판별하려 했는데, "거짓말을 하는 놈이 범인"이라는 전제로 탐지기를 썼는데 조석이 탐지기에 손을 대고 내가 범인이라고 했더니 소리가 안 나서 사건이 미궁에 빠지는 개그가 벌어졌다.
2023년 개봉한 '그대들은 어떻게 살 것인가'에서, 등장인물 키리코가 "모든 왜가리는 모두 거짓말쟁이라고 다른 왜가리가 말했다. 그럼 이건 진짜일까, 거짓말일까?"라고 묻자, 왜가리 남자는 "모든 왜가리는 거짓말쟁이다."라며 진실이라고 답했다. 그러자 마히토는 "그 말도 거짓말이지?" 라며 거짓이라고 답한다. 이런 모습을 본 키리코는 둘이 환상의 짝꿍이라며 웃는다.
6. 여담[편집]
2018학년도 대학수학능력시험 9월 모의평가 29번~32번에 대한 지문에 거짓말쟁이의 역설이 등장한 바 있다.
2024학년도 수능완성 국어 160페이지 1번~5번 문제에서 다시 한 번 등장하였다.
이 문제로 유명한 이야기가 창과 방패이다.
내용을 요약해보자면 장사꾼이 이 창은 어떤 방패든 막을 수 있다고 한다음 이 방패는 어떤 창이든 막을 수 있다고 한 이야기,