🏛️거짓말쟁이 역설과 메가라학파: 잊힌 논리의 다리

## 🍻 친구의 농담에서 시작된 것

지난달 술자리에서 친구 하나가 대뜸 이런 말을 던졌다. "나는 항상 거짓말만 해." 다들 웃고 넘겼는데 나는 그 말이 머릿속에서 떠나지 않았다. 저 문장이 참이면 그는 방금 거짓말을 한 게 되니 문장은 거짓이어야 하고, 문장이 거짓이면 그는 거짓말만 하는 게 아니니 문장은 참이어야 한다. 취기 오른 자리에서 나 혼자 이 순환을 세 바퀴쯤 돌리다가, 문득 이게 2400년 전에 이미 이름까지 붙어 있던 문제라는 걸 떠올렸다. 거짓말쟁이 역설, 그리고 그걸 처음 정식으로 정리한 사람은 플라톤도 아리스토텔레스도 아닌, 지금은 철학사 교과서에서 한두 줄로 지나가는 [메가라학파 역설](https://warguss.blogspot.com/search?q=메가라학파+역설)의 에우불리데스였다.

메가라학파는 대개 "소크라테스와 스토아 사이 어딘가"로만 취급된다. 그런데 이 학파를 다시 들여다볼수록, 이들이 남긴 건 단순한 말장난이 아니라 논리학이 아직 갖추지 못했던 어휘로 붙잡으려 했던 진짜 균열이라는 생각이 든다.

---

## ⚖️ 유클레이데스, 소크라테스를 논쟁의 기술로 바꾼 사람

메가라학파의 시조 유클레이데스는 소크라테스의 제자였다. 디오게네스 라에르티오스는 《유명한 철학자들의 생애》 2권 106절에서 그를 소개하며, 소크라테스가 죽은 뒤 아테네인들이 메가라인의 입국을 금지했을 때도 유클레이데스가 여자 옷을 입고 밤길로 아테네까지 걸어와 스승의 강의를 들었다는 일화를 전한다. 이 일화가 실제 있었던 일인지는 모르겠지만, 적어도 후대인들이 유클레이데스를 어떤 인물로 기억하고 싶어 했는지는 분명히 보여준다. 논증을 위해서라면 위험도 감수하는 사람으로.

더 중요한 대목은 2권 107절이다. 유클레이데스는 "좋음(善)은 하나이며, 지혜라 불리기도 하고 신이라 불리기도 하고 정신이라 불리기도 한다"고 주장하면서, 비유(analogy)에 의한 논증을 거부하고 오직 이미 인정된 전제로부터의 연역만을 인정했다고 디오게네스는 전한다. 이 한 문장이 메가라학파 전체의 방향을 결정했다고 나는 본다. 비유를 쓰지 않겠다는 건, 논증을 반박하려면 전제 자체를 공격하거나 형식의 타당성을 공격해야 한다는 뜻이다. 소크라테스의 산파술이 상대의 믿음을 흔드는 대화의 기술이었다면, 유클레이데스는 그 산파술에서 대화 상대를 빼고 형식논리의 뼈대만 남긴 셈이다. 메가라학파가 이후 궤변에 가까운 역설 제조기가 된 것은 우연이 아니라, 이 창시자의 방법론적 결단이 낳은 필연적 결과였다.

---

## 🕸️ 에우불리데스의 일곱 함정과 디오도로스의 협박

유클레이데스의 후계자 에우불리데스는 디오게네스 라에르티오스 2권 108절에서 "여러 변증적 논증을 의문문 형태로 처음 만들어냈다"고 소개되며, 거짓말쟁이(pseudomenos), 은폐자(dialanthanon), 엘렉트라, 가면 쓴 자(enkekalymmenos), 더미(sorites), 뿔 달린 자(keratines), 대머리(phalakros), 이렇게 일곱이 나열된다. 더미와 대머리는 사실 같은 구조다. 모래알을 하나씩 빼도 여전히 더미인가, 머리카락을 하나씩 뽑아도 여전히 대머리가 아닌가. 경계가 어디에도 없는데 결론은 명백히 틀렸다는 점에서 둘은 쌍둥이다.

에우불리데스의 제자뻘 되는 디오도로스 크로노스는 여기서 한 발 더 나간다. 그의 "지배자 논변(kyrieuon logos)"은 원본이 남아 있지 않고, 에픽테토스의 《담화록》 2권 19장을 통해서만 전해진다. 에픽테토스에 따르면 디오도로스는 다음 세 명제가 동시에 참일 수 없다고 주장했다. 첫째, 과거에 일어난 모든 일은 필연이다. 둘째, 불가능한 것은 가능한 것에서 따라 나오지 않는다. 셋째, 지금도 앞으로도 결코 참이 아닌 것 중에도 가능한 것이 있다. 셋 다 따로 보면 그럴듯한데, 함께 참으로 두면 모순이 생긴다. 디오도로스는 이걸 근거로 셋째 명제를 부정했다. 실현되지 않을 일은 애초에 가능하지도 않았다는, 상당히 강한 필연론으로 밀고 나간 것이다. 에픽테토스는 이 논변이 당대 철학자들 사이에서 "지배자"라는 별명을 얻을 만큼 위세를 떨쳤다고 적고 있다.

이 계보가 스토아학파로 이어졌다는 증거도 있다. 크리시포스가 스토아 논리학의 실질적 설계자가 된 뒤, 디오게네스 라에르티오스는 7권 180절 부근에서 당대에 떠돌던 말을 전한다. "크리시포스가 없었다면 스토아도 없었을 것이다." 크리시포스가 손댄 조건문·논리 규칙 상당수는 사실 디오도로스와 메가라학파가 이미 갈아놓은 문제의식 위에 서 있다. 메가라학파는 사라진 게 아니라, 스토아 논리학의 재료로 흡수된 것이다.

---

## 🗂️ 콰인의 서랍: 어떤 역설이 진짜 역설인가

이 오래된 퍼즐 더미를 정리할 틀을 나는 콰인의 1962년 에세이 〈역설의 방식들(The Ways of Paradox)〉에서 빌려온다. 콰인은 역설을 세 종류로 나눈다. 베리디컬(veridical) 역설은 결론이 이상하게 들리지만 실제로는 참인 경우, 팔시디컬(falsidical) 역설은 추론 어딘가에 숨은 오류 때문에 결론이 거짓인 경우, 안티노미(antinomy)는 겉보기에 나무랄 데 없는 전제와 규칙에서 출발했는데도 진짜 모순에 도달하는 경우다. 콰인 자신이 거짓말쟁이 역설을 안티노미의 대표 사례로 꼽는다. 어떤 전제도 부정할 수 없고 추론 규칙도 멀쩡한데 모순이 남기 때문이다.

문제는 더미의 역설을 이 서랍 중 어디에 넣을 것이냐다. 이 질문에 답하는 것이 이 글에서 내가 정말로 하고 싶었던 말이다.

---

## ⏳ 더미는 거짓말쟁이의 사촌이다

더미 역설을 형식으로 옮기면 이렇다. 전제 1, 모래 1만 알은 더미다. 전제 2, 어떤 더미에서 모래 한 알을 빼도 여전히 더미다. 이 두 전제에 모두스 포넨스를 1만 번 반복하면 결론은 "모래 0알도 더미다"가 된다. 명백히 거짓이다.

이걸 팔시디컬로 처리하려면 추론 어딘가에서 명확히 틀린 단계를 짚어낼 수 있어야 한다. 팔시디컬의 전형은 0으로 나누기를 숨겨서 "1=2"를 증명하는 가짜 수학 증명 같은 것이다. 그 증명은 몇 번째 줄이 틀렸는지 정확히 지목할 수 있다. 그런데 더미 역설의 전제 2를 보자. "모래 9,999알이 더미면 모래 9,998알도 더미다"라는 개별 명제는 어느 것도 명확히 거짓이라고 말할 수 없다. 알갱이 하나가 더미와 비더미를 가르는 문턱이라는 주장이 오히려 더 이상하게 들린다. 그렇다고 전제 2 전체를 거짓이라 선언하면, 모래알이 정확히 몇 개일 때부터 더미가 아니게 되는지 임의의 숫자를 하나 골라야 하는데 그 자체가 자의적이다.

그래서 나는 더미 역설이 팔시디컬이 아니라 안티노미라고 본다. 콰인의 기준 그대로다. 전제도 규칙도 개별적으로는 흠잡을 수 없는데 결론은 모순이다. 그리고 이 지점에서 거짓말쟁이 역설과 더미 역설은 겉보기보다 훨씬 가까운 사촌이 된다. 거짓말쟁이 역설의 병은 "참"이라는 술어가 자기 자신을 가리킬 때 생기는 자기지시의 문제고, 더미 역설의 병은 "더미"라는 술어가 경계 없이 뭉개진 대상을 가리킬 때 생기는 모호성의 문제다. 원인은 다르지만 증상은 같다. 술어 하나가 논리 규칙과 부딪혀 형식적으로는 반박 불가능한 모순을 뱉어낸다는 것. 에우불리데스가 이 둘을 나란히 자기 목록에 올려놓은 게 우연한 배열이 아니라, 애초에 같은 종류의 함정이라는 걸 직관적으로 알아본 결과였을 수 있다.

친구가 던진 "나는 항상 거짓말만 해"라는 농담으로 돌아가 보면, 나는 이제 그 문장을 풀어야 할 퍼즐이 아니라 인정해야 할 경계로 본다. 논리 규칙을 아무리 정교하게 다듬어도 "참"이나 "더미" 같은 술어는 어느 순간 자기 발밑을 허문다. 2400년 전 메가라의 골목에서 에우불리데스가 붙잡았던 것도, 그날 밤 술자리에서 내가 혼자 세 바퀴 돈 그 순환도, 결국 같은 벽이었던 셈이다. 다만 이제는 그 벽에 이름이 있다. 안티노미.