06. 이 문장은 거짓이다: 논리의 붕괴, 패러독스(Paradox)
1. 학습 목표 (Learning Objectives)
- 논리학의 치밀한 톱니바퀴가 서로 맞물리다가 스스로 모순을 일으켜 산산조각이 나버리는 뇌 정지의 순간, ‘역설(Paradox)’의 본질을 체험합니다.
- 크레타 섬의 철학자 에피메니데스의 거짓말쟁이 역설을 통해, 왜 현대 논리학과 컴퓨터 공학이 무한 루프 에러를 경계해야 하는지 파악합니다.
2. 참도 거짓도 아니라고?!
우리는 맨 첫 챕터인 ‘00. 명제’에서 분명히 이렇게 선언했습니다.
명제의 절대 룰: “모든 문장은 누구나 100% 명백하게 참(True) 이거나 혹은 거짓(False) 이어야만 명제 취급을 받는다.”
그런데 수천 년 전, 고대 그리스의 괴짜 철학자들은 이 절대 룰조차 뚫어버리는 악성 해킹 코드 같은 문장 하나를 던집니다.
악성 코드: “이 문장은 거짓이다.”
자, 논리회로 CPU를 가동시켜서 이 문장이 ‘참’인지 ‘거짓’인지 판독해 볼까요?
- 참(True)이라고 판독할 경우: “이 문장은 거짓이다”라는 내용이 진실이라는 뜻. 그럼 그 내용대로 이 문장은 거짓말을 하고 있는 셈이므로… 앗? 진실이라더니 결론은 거짓(False)이 되어버립니다!
- 거짓(False)이라고 판독할 경우: “이 문장은 거짓이다”라는 주장이 새빨간 뻥(거짓)이라는 뜻. 그러면 이 문장은 거짓이 아니므로… 결국 참(True)이라는 결론 도출?!
참이라고 하면 거짓이 되고, 거짓이라고 하면 참으로 뒤바뀌며 머릿속에서 컴퓨터 오류 알람이 울려 퍼집니다. 끝없는 무한 루프 뫼비우스의 띠에 갇혀버렸습니다!
3. 거짓말쟁이의 역설: 에피메니데스의 미궁
이 소름 돋는 무한 루프 논리 오류를 처음 발견한 사람은 기원전 6세기 크레타 섬에 살던 예언가이자 철학자인 에피메니데스(Epimenides) 입니다.
그가 마을 광장에서 외쳤습니다.
“모든 크레타 사람들은 밥 먹듯이 100% 새빨간 거짓말만 하는 거짓말쟁이들이다!”
자세히 생각해 보면 소름이 돋습니다. 에피메니데스 본인도 ‘크레타 사람’이기 때문입니다! 만약 그의 말이 참(진실) 이라면, 모든 크레타 인은 구라 쟁이이므로 에피메니데스 본인도 거짓말을 하고 있다는 뜻이고, 따라서 방금 그가 한 저 말도 거짓이 됩니다. 이처럼 전제가 결론을 파괴하고 결론이 다시 전제를 뒤집는 현상을 수학과 철학에서는 ‘역설(Paradox, 패러독스)’ 이라고 부릅니다.
4. 논리학을 정교하게 제련한 망치
이러한 패러독스는 단순한 말장난이 아닙니다. 1900년대 영국의 천재 수학자 버트런드 러셀(Bertrand Russell)은 “스스로를 포함하지 않는 모든 집합들의 집합”이라는 수학 공리계의 거대한 역설(러셀의 역설)을 터뜨리며 그 당시 논리학 수학자들의 세계를 산산조각 내버렸습니다. 이 충격적인 해킹 공격(패러독스)을 방어하기 위해 수학자들은 집합과 논리의 룰(공리)을 아주 복잡하고 빈틈없이 새로 고쳐 쓰게 되었고, 그렇게 튼튼해지고 버그가 사라진 논리 기반 코어가 오늘날의 완벽한 0과 1의 컴퓨터 회로 구조(앨런 튜링의 설계)를 탄생시키는 거름이 되었습니다!
5. 학습 정리 (Summary)
- 패러독스 (역설): 겉모습은 참과 거짓을 판별할 수 있는 명제처럼 보이나, 논리의 실을 풀어나가다 보면 ‘참이라고 하면 거짓이 되고, 거짓이라고 하면 다시 참이 되어버리는’ 자기모순의 끝없는 무한 루프에 빠지는 논리적 오류 문장입니다.
- 위대한 학자들은 이 패러독스라는 논리적 틈새(버그)를 분석하고 방어 체계를 구축하는 과정에서 수학과 컴퓨터 사이언스를 비약적으로 진보시켰습니다.