거짓말쟁이 역설과 의미론적 역설

'이 문장은 거짓이다'라는 문장에는 일관된 진리값을 할당할 수 없으며, 이로 인해 발생하는 거짓말쟁이 역설은 현대 진리론의 발전을 이끌었습니다.

Definition

의미론적 역설은 자체 진리 술어를 포함하는 언어가 자기 참조적인 문장(예: 자신이 거짓이라고 말하는 문장)을 허용할 때 발생하며, 이러한 문장의 평가는 모순으로 이어집니다.

Scope

이 주제는 거짓말쟁이 역설과 진리 술어(truth predicate)를 자기 참조(self-reference)와 결합할 때 발생하는 의미론적 역설(커리 역설, 강화된 거짓말쟁이 역설, 진리-말하는 자 역설 등)들을 다룹니다. 주요 대응 방안으로는 타르스키의 대상 언어-메타 언어 위계론, 크립키의 진리값 공백을 포함하는 고정점 이론, 비일관성(변증법적) 및 수정 이론적 접근 방식, 그리고 제안된 해결책에 대해 강화된 버전이 역설을 재현하는 보복(revenge) 문제의 지속성을 다룹니다.

Core questions

• 문장이 어떻게 일관되게 자신이 거짓이라고 말할 수 있는가?
• 진리 술어를 제한해야 하는가(타르스키) 아니면 진리값 공백을 허용해야 하는가(크립키)?
• 어떤 해결책이 자신을 직접 겨냥하는 '보복' 역설을 피할 수 있는가?
• 역설은 일부 모순이 참이라는 것을 보여주는가?

Key concepts

• 자기 참조
• T-스키마
• 진리값 공백과 과잉
• 타르스키 위계
• 근거성
• 보복 역설

Key theories

타르스키 위계

타르스키는 어떤 언어도 명확하게 자체 적용 가능한 진리 술어를 가질 수 없다고 주장함으로써 거짓말쟁이 역설을 차단하며, 진리를 대상 언어와 메타 언어의 위계로 계층화하여 '참'은 항상 더 높은 수준에서 적용되도록 합니다.

고정점 (공백) 이론

크립키는 단일한 자체 적용 가능한 진리 술어를 허용하지만, 역설적인 문장이 근거가 없고 진리값 공백에 빠지게 되는 고정점 구성을 사용하여 위계 없이 모순을 피합니다.

History

거짓말쟁이 역설은 고대(에우불리데스)까지 거슬러 올라갑니다. 타르스키의 1930-40년대 연구는 진리의 정의 불가능성을 통해 이를 진단하고 위계론을 제안했습니다. 크립키의 1975년 고정점 이론은 공백을 가진 단일 진리 술어를 부활시켰고, 이후 수정 이론(굽타-벨납), 비일관성 접근 방식(프리스트), 그리고 필드의 2008년 공백 기반 논리는 보복 문제를 극복하고자 했습니다.

Debates

보복 없이 거짓말쟁이 역설을 해결할 수 있는가?

진리에 대한 어떤 일관된 설명이 해결책이 도입하는 개념(예: '참이 아님' 또는 '공백')을 사용하여 역설을 재현하는 강화된 '보복' 버전 없이 거짓말쟁이 역설을 다룰 수 있는지, 아니면 참된 모순을 수용하는 변증법적 접근(dialetheism)만이 유일하게 안정적인 선택지인지에 대한 논쟁입니다.

Key figures

• Alfred Tarski
• Saul Kripke
• Hartry Field
• Graham Priest
• Anil Gupta

Seminal works

• tarski1944
• kripke1975
• field2008

Frequently asked questions

보복 역설이란 무엇인가?

보복 역설은 제안된 해결책이 의존하는 바로 그 개념들을 사용하여 구성된 강화된 거짓말쟁이 역설입니다. 만약 거짓말쟁이 역설을 '참도 거짓도 아니다'라고 말함으로써 해결한다면, '이 문장은 참이 아니다'라는 문장은 '참이 아님'이라는 개념을 사용하여 모순을 다시 불러일으킵니다. 보복은 거짓말쟁이 역설에 대한 어떤 이론이든 직면하는 핵심적인 장애물입니다.