“이 문장은 거짓이다”를 참이라고 두면 거짓이 되고, 거짓이라고 두면 참이 되는 듯합니다. 그래서 모든 문장이 처음부터 참 또는 거짓이어야 한다는 가정을 잠시 내려놓으면 어떨까요? 크립키는 이미 판정된 문장에서 출발해 진리 술어의 적용 범위를 단계적으로 늘리고, 더 늘어나지 않는 지점에서 멈추는 구상을 제시했습니다.
연구를 읽는 두 가지 질문
연구 질문과 방법
크립키의 1975년 논문은 자기 언급을 포함할 수 있는 언어에서 진리 술어를 어떻게 해석할지 제안하는 형식 의미론 연구입니다. 먼저 진리 술어를 포함하지 않아 바로 평가할 수 있는 문장을 바닥 단계에 놓습니다. 다음 단계에서는 앞 단계에서 참 또는 거짓이 정해진 문장을 가리키는 진리 문장들을 평가합니다. 이 연산을 반복해 더 이상 판정 집합이 변하지 않는 고정점을 구성합니다. [1]
핵심 결과
“눈은 희다”가 참이라면 “‘눈은 희다’는 참이다”도 다음 단계에서 참이 됩니다. 반면 거짓말쟁이 문장은 어느 단계에서도 안정된 참·거짓을 얻지 못해 진리값 공백에 남을 수 있습니다. 이는 모든 문장을 거짓으로 밀어 넣는 방식과 다릅니다. 논문은 최소 고정점을 비롯한 여러 고정점과 ‘근거를 가진’ 문장, 역설적 문장을 구분하며 자연언어의 진리 술어를 다룰 형식적 구조를 제공합니다. [1]
학술적 의미
크립키의 접근은 미정 상태를 오류나 거짓과 동일시하지 않는 정교한 방법을 보여 줍니다. 데이터가 부족한 판단, 아직 검증되지 않은 AI 출력, 상호 참조하는 규칙에서도 “현재 판정 불가”와 “거짓”을 분리할 필요가 있습니다. 다만 이것은 모든 불확실성을 확률로 나타내는 이론이 아니라 진리 술어의 자기적용을 다루는 의미론입니다. [1]
연구를 정확히 읽는 방법
이 글을 읽을 때는 예시 문장의 직관과 형식 체계 안의 정의를 번갈아 확인해야 합니다. 한 예시가 자연스럽다는 이유로 모든 언어에 대한 정리가 되지는 않으며, 반대로 수학적 장치가 낯설다는 이유로 일상적 문제의식이 사라지는 것도 아닙니다. 정의가 허용하는 문장, 판정이 보류되는 문장, 체계 밖에서 말하는 문장을 표시하면 주장 범위를 정확히 잡을 수 있습니다. [1]
바닥 문장에서 고정점까지
LTCT 예시에서 S0은 “창문이 열려 있다”처럼 진리 술어가 없는 관찰 문장입니다. S1은 “S0은 참이다”, S2는 “S1은 참이다”입니다. S0이 사실이면 판정은 S0→S1→S2 순으로 확장됩니다.
L은 “L은 참이 아니다”라고 자신에게 돌아옵니다. 그림의 고리는 L이 거짓이라는 결론이 아니라, 단순한 단계 확장에서 안정된 값을 얻지 못함을 나타냅니다.
어디까지 말할 수 있을까요?
- 진리값 공백을 허용하는 것만으로 모든 자연언어 역설이 해결되는 것은 아닙니다. 어떤 의미론과 평가 규칙을 택하는지에 따라 결과가 달라질 수 있습니다.
- 고정점 구성은 시간에 따라 사람이 실제로 판단하는 심리 과정의 모형이 아닙니다. 단계는 수학적 정의를 위한 순서입니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
학습 기록에서 미응답·정보 부족·모순·오답을 하나의 0점으로 합치지 않고 상태를 나누어 표시하는 평가안을 검토할 수 있습니다.
서로를 참조하는 규칙 문제에서는 기초 사실에서 시작해 어느 결론이 몇 단계에서 정해지는지 표시하게 할 수 있습니다.
아직 판정되지 않은 문장을 곧바로 거짓으로 두면 어떤 문제가 생길까요?
생각을 비교할 해설 펼치기
다음 단계의 정보로 참이 될 수 있는 문장까지 거짓으로 고정할 수 있습니다. 크립키식 구분에서는 ‘거짓’과 ‘아직 값이 없음’을 달리 취급하므로, 무엇이 근거를 얻었는지 추적할 수 있습니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
진리 이론의 개요 (Outline of a Theory of Truth)
Saul Kripke (1975). The Journal of Philosophy, 72(19), 690–716.
- 자료 성격
- 학술지 이론 논문
- 읽은 버전
- 1975년 학술지 발행본의 CUNY Academic Commons 공개 PDF
- 확인 범위
- 공개 본문 중 부분 진리 술어, 평가 단계, 고정점, 근거 있는 문장과 역설적 문장
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.