| 수학기초론 Foundations of Mathematics | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 다루는 대상과 주요 토픽 | ||
| 수리논리학 | 논리 · 논증{귀납논증 · 연역논증 · 귀추 · 유추} · 공리 및 공준 · 증명{자동정리증명 · 귀류법 · 수학적 귀납법 · 반증 · 더블 카운팅 · PWW} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문(조각적 정의) · 명제 논리(명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리(존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론 | ||
| 집합론 | 집합(원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계(동치관계 · 순서 관계) · 순서쌍(튜플) · 서수(하세 다이어그램 · 큰 가산서수) · 수 체계 · ZFC(선택공리) · 기수(초한기수) · 절대적 무한 · 모임 | ||
| 범주론 | 범주 · 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 | ||
| 계산가능성 이론 | 계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수 | ||
| 정리 | |||
| 드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리(괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리 | |||
| 기타 | |||
| 예비사항(약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 | |||
| 틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 | }}}}}}}}} | ||
1. 개요
Liar Paradox철학과 논리학에서 패러독스(모순)의 가장 대표적인 예. 자기 언급의 패러독스라고도 한다.
명제: 이 문장은 거짓이다.
1. 이 명제가 사실이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 사실이다.
1. 즉 '이 문장이 거짓이다'라는 게 사실이므로, '이 명제는 거짓'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 사실이다'라는 전제와 모순된다.
1. 이 명제가 거짓이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 거짓이다.
1. 즉 '이 문장은 거짓이다'라는 게 거짓이므로, '이 명제는 사실'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 거짓이다'라는 전제와 모순된다.
이 명제가 사실이다 라는 전제는 이 명제가 거짓이라는 결론으로 이어지며, '이 명제가 거짓이다'라는 전제는 '이 명제가 사실이다'라는 결론으로 이어지는 논리의 무한순환이 이어진다. 말 그대로 답이 없는 문제.1. 이 명제가 사실이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 사실이다.
1. 즉 '이 문장이 거짓이다'라는 게 사실이므로, '이 명제는 거짓'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 사실이다'라는 전제와 모순된다.
1. 이 명제가 거짓이라고 한다면 이 명제가 주장하고 있는 '이 문장은 거짓이다'라는 것은 거짓이다.
1. 즉 '이 문장은 거짓이다'라는 게 거짓이므로, '이 명제는 사실'이라는 결론이 된다. 이는 이 결론을 이끌어낸 '이 명제가 거짓이다'라는 전제와 모순된다.
나는 지금 거짓말을 하고 있다.
- A : A는 거짓
- A가 거짓이면 A는 참
- A가 참이면 A는 거짓
2. 타르스키의 표준적 해결책
수학이나 철학에서 표준적으로 받아들이는 해결책은 현대 모형 이론의 창시자인 알프레트 타르스키(Alfred Tarski)가 1933년에 내놓은 해결책이다. 러셀과 화이트헤드의 분지 유형 이론(ramified type theory)에 영향을 받은 타르스키 이론의 핵심 발상은 다음과 같이 거칠게 요약될 수 있다.1. '참' 술어는 언어-상대적으로 정의된다.
* e.g., 한국어 문장의 '참'과 영어 문장의 '참'은 별개의 술어다.
1. 특정 언어에 적용되는 '참' 술어는 그 언어에 포함되지 않는다.
* e.g., '참이다'라는 술어를 한국어 문장에 붙임으로써 그 문장이 참임을 뜻할 수 있다고 해보자. 그렇다면 '참이다'는 한국어 어휘가 될 수 없다.
1. 대상 언어와 메타 언어는 구분되어야 한다. - 한 대상 언어의 메타 언어는 그 대상 언어를 진부분으로 포함해야 한다.
* e.g., 한국어가 대상 언어일 경우, 한국어의 메타 언어는 한국어를 진부분으로 포함하며 추가적으로 '참이다' 같은 술어 또한 포함한다. 예를 들어 '눈은 하얗다'는 한국어 문장이 될 수도, 한국어의 메타 언어의 문장이 될 수도 있지만, ''눈은 하얗다'는 참이다'는 한국어의 메타 언어의 문장이지만 한국어 문장이 될 수는 없다.
1. 한 대상 언어의 메타 언어는 그 자체로 또다른 메타 언어를 필요로 하며, 이처럼 언어들은 계층을 이룬다.
분지 유형 이론이나 ZFC 공리계에서 러셀의 역설이 조기에 차단되는 것처럼 이런 타르스키식 해결책을 받아들인다면 '이 문장은 거짓이다' 같은 거짓말쟁이 역설은 애초에 발생할 수 없게 된다.* e.g., 한국어 문장의 '참'과 영어 문장의 '참'은 별개의 술어다.
1. 특정 언어에 적용되는 '참' 술어는 그 언어에 포함되지 않는다.
* e.g., '참이다'라는 술어를 한국어 문장에 붙임으로써 그 문장이 참임을 뜻할 수 있다고 해보자. 그렇다면 '참이다'는 한국어 어휘가 될 수 없다.
1. 대상 언어와 메타 언어는 구분되어야 한다. - 한 대상 언어의 메타 언어는 그 대상 언어를 진부분으로 포함해야 한다.
* e.g., 한국어가 대상 언어일 경우, 한국어의 메타 언어는 한국어를 진부분으로 포함하며 추가적으로 '참이다' 같은 술어 또한 포함한다. 예를 들어 '눈은 하얗다'는 한국어 문장이 될 수도, 한국어의 메타 언어의 문장이 될 수도 있지만, ''눈은 하얗다'는 참이다'는 한국어의 메타 언어의 문장이지만 한국어 문장이 될 수는 없다.
1. 한 대상 언어의 메타 언어는 그 자체로 또다른 메타 언어를 필요로 하며, 이처럼 언어들은 계층을 이룬다.
3. 기타
- 에피메니데스의 역설[1]과 혼용되곤 한다. 하지만 에피메니데스의 역설은 논리적으로는 역설이 아니다.[2] 마틴 가드너의 책 "이야기 파라독스"에는 거짓말쟁이 파라독스 바로 다음 장에 등장할 정도이다. "거짓말쟁이의 대상을 바꾸면 해결될까? 아니다." 라며 에피메니데스의 역설을 소개하고 있다.
단, 에피메니데스는 이런 역설을 의도해서 얘기했기보다는 자국을 자조적으로 일컫는, 헬조선과 같은 의미로 사용했을 가능성이 크다.[3] - 이 문장은 거짓이다가 참으로 가정해도 거짓으로 가정해도 가정과 모순되는 것과 다르게 이 문장은 참이다는 참으로 가정해도 모순이 없고 거짓으로 가정해도 모순이 없다.[4]
- 이 역설을 절묘하게 변주한 결과가 바로 쿠르트 괴델의 불완전성 정리다. 간단히 말하면, 괴델은 "이 문장은 증명 불가능하다"라는 문장을 모순이 없도록 구축해내면서 이 정리를 증명했다.
4. 관련 문서
5. 대중매체에서
Portal 2에서 글라도스가 휘틀리에게 이 명제를 이용한 '패러독스 공격'을 가했다.[5] 주변에 있던 기형 큐브터렛은 이 말을 듣자마자 전부 회로가 터졌지만, 정작 휘틀리는 문해력이 너무 딸려서 무슨 말인지 이해하지도 못한 채 "어...참?"이라고 답했다. GLaDOS는 황당해하며 "이건 패러독스야! 정답이 없다고!"라 지적하며 자신에게 관리자 권한을 되돌려주지 않으면 시설 전체가 폭발할 거라고 일갈한다. 그러자 휘틀리가 하는 말 "어... 그건 거짓."이 진국.공각기동대 Stand Alone Complex에서 타치코마들은 오퍼레이터에게 역설을 말해서 무한 루프를 일으키고 오퍼레이터가 지키고 있던 프로토타입을 가져간다. 그리고는 거짓말쟁이의 역설조차 처리하지 못하는 깡통이라고 놀린다.
마음의소리에서는 추리게임을 할 때 거짓말 탐지기를 사용해서 범인을 판별하려 했는데, "거짓말을 하는 놈이 범인"이라는 전제로 탐지기를 썼는데 조석이 탐지기에 손을 대고 내가 범인이라고 했더니 소리가 안 나서 사건이 미궁에 빠지는 개그가 벌어졌다.
2023년 개봉한 '그대들은 어떻게 살 것인가'에서, 등장인물 키리코가 "모든 왜가리는 모두 거짓말쟁이라고 다른 왜가리가 말했다. 그럼 이건 진짜일까, 거짓말일까?"라고 묻자, 왜가리 남자는 "모든 왜가리는 거짓말쟁이다."라며 진실이라고 답했다. 그러자 마히토는 "그 말도 거짓말이지?" 라며 거짓이라고 답한다. 이런 모습을 본 키리코는 둘이 환상의 짝꿍이라며 웃는다.
6. 여담
2018학년도 대학수학능력시험 9월 모의평가 29번~32번에 대한 지문에 거짓말쟁이의 역설이 등장한 바 있다.2024학년도 수능완성 국어 160페이지 1번~5번 문제에서 다시 한 번 등장하였다.
이 문제와 관련하여 동양에서 유명한 이야기가 바로 한비자에 나온 에피소드 모순(창과 방패)이다. 모순 항목 참조.
[1] 고대에도 워낙 유명한 주장이었는지, 성경에도 나온다. "그들 중의 한 사람이 "우리 그레데 사람들은 언제나 거짓말쟁이이고 몹쓸 짐승이고 먹는 것밖에 모르는 게으름뱅이이다." 하고 말하지 않았습니까? 이 말을 한 사람은 바로 그들(그레데 사람)의 예언자라는 사람입니다."(디도서 1:12).[2] 에피메니데스가 한 말인, "모든 크레타 사람은 거짓말쟁이다."를 부정하는 '어떤 크레타 사람은 거짓말쟁이가 아니다.'라는 명제가 '에피메니데스 본인이 거짓말쟁이다'와 상충하지 않기 때문이다.[3] 디도서에서 에피메니데스의 역설을 인용한 사도 바울로 역시 바로 다음 절(디도서 1:13)에서 "이 증언이 참되다"라고 평하였다.[4] 이 문장은 거짓이다가 마치 0×a=3 처럼 불능이라면 이 문장은 참이다는 0×a=0처럼 부정이라고 할 수 있다.[5] 첼과 함께 구 애퍼처 사이언스 시설을 빠져나가는 도중에 기계의 반란 대처법 포스터를 보고 알아낸 아이디어. 이것 말고도 덤으로 러셀의 역설도 적혀 있었다. 이후 휘틀리에게 이 문장을 외칠 때 "This", "sentence" , "is", "false" 하는 식으로 단어를 하나씩 끊어서 말하고 계속 '생각하지 말자...생각하지 말자..."귀엽다하고 자기최면을 거는 것으로 볼 때, 인간의 정신이 베이스임에도 기계의 한계를 회피할 수는 없는 듯.