거짓말쟁이 역설 (Liar Paradox)
쉽게 풀면
'이 문장은 거짓이다'라는 문장을 생각해보자. 만약 이 문장이 참이라면, 그 내용대로 이 문장은 거짓이어야 한다. 반대로 이 문장이 거짓이라면, '이 문장은 거짓이다'라는 말 자체가 틀렸으니 이 문장은 참이어야 한다. 참이라고 해도 거짓이라고 해도 모순에 빠지는 것이 거짓말쟁이 역설이다.
왜 중요한가
'이 문장은 거짓이다'라는 문장이 참이면 거짓이 되고 거짓이면 참이 되는 거짓말쟁이 역설로, 자기지시적 문장이 고전논리의 진리조건과 충돌하는 대표적 사례로 진리이론과 논리학의 핵심 문제로 다뤄진다. 이 역설은 진리 술어를 포함하는 언어가 자기 자신을 지시할 수 있을 때 필연적으로 발생하는 문제라는 점에서, 괴델의 불완전성 정리가 사용한 자기지시 기법과도 구조적으로 연결된다.
논문에서는 이렇게 쓰입니다
타르스키가 진리를 정의하는 언어와 그 정의 대상이 되는 언어를 엄격히 분리함으로써, 자기 자신의 참거짓을 스스로 언급하는 문장이 애초에 형성되지 못하도록 막아 이 역설을 회피하려 한 전략을 설명한다.
역설의 여러 변형을 통해 기존 해법들의 적용 범위를 검토한 논리학 연구 사례이다.
조금 더 깊게 보면
타르스키의 언어계층 구분부터 크립키의 진리치갭 이론까지 다양한 해법이 제시됐지만, 어느 하나도 모든 관련 역설을 완전히 해소하지 못해 여전히 진리론의 중심 난제로 남아 있다. 이 역설의 강화형인 '강거짓말쟁이 역설'은 '이 문장은 참이 아니다'처럼 진리치갭(참도 거짓도 아님)을 허용하는 해법조차 무력화시켜, 진리이론 논쟁을 더 어렵게 만든다. 크립키는 고정점 이론을 통해 일부 문장에 진리값을 아예 부여하지 않는 방식으로 대응했지만, 강화된 역설 앞에서는 이 접근도 한계를 보인다.
주의할 점
거짓말쟁이 역설은 단순한 언어 유희가 아니라, 진리 술어를 포함한 언어 체계가 자기 지시를 허용할 때 필연적으로 마주치는 근본적인 논리적 문제로 진지하게 다뤄진다는 점을 유의해야 한다. 거짓말쟁이 역설의 해법은 하나로 수렴되지 않았으며, 타르스키식 언어 위계, 크립키의 고정점 이론, 모순의 참을 일부 허용하는 프리스트의 양진주의(초일관 논리) 등 서로 양립하기 어려운 접근들이 경쟁하고 있다는 점을 알아두어야 한다.