*타르스키의 「진리와 증명」을 정리한 내용입니다. 이 논문은 일반인을 대상으로 한 텍스트라 글이 쉽고 분량도 많지 않아요. 타르스키의 진리 이론에 입문하려는 분들이 읽어보시면 좋은 글입니다. 또 '거짓말쟁이의 이율배반'이 현대논리학에서 어떠한 의미를 지니는지에 대해 관심이 있는 분들도 흥미롭게 읽어볼 수 있을 거예요. 타르스키는 거짓말쟁이의 이율배반에 빠지지 않는 진리 이론을 구성하는 과정에서 형식화된 언어가 '증명할 수 없는 참인 문장'을 언제나 포함한다는 결론을 도출하거든요. 이러한 논의는 괴델의 제1불완전성 정리와 자주 비교되기도 하고, 타르스키 본인도 논문에서 괴델을 살짝 언급하고 있기도 해요. 개인적으로, 언젠가 타르스키와 괴델의 논의 사이의 공통점과 차이점을 엄밀하게 비교해보고 싶네요.
링크