‘이 문장은 거짓이다’라는 문장을 참으로 두면 거짓이 되고, 거짓으로 두면 참이 됩니다. 그래서 모든 문장에 처음부터 참 또는 거짓을 강제로 붙이면 역설이 생깁니다. Saul Kripke는 진리 술어를 쓰는 언어에서도 평가를 한 번에 끝내지 않고, 이미 근거가 정해진 문장부터 단계적으로 참·거짓을 부여하는 방법을 제안했습니다. 핵심은 모르는 값을 실패가 아니라 아직 근거가 닿지 않은 상태로 다루는 데 있습니다.
연구를 읽는 두 가지 질문
진리 값은 어떤 순서로 안정되는가?
Kripke는 부분적으로 정의된 진리 술어와 강한 Kleene 평가를 사용합니다. 먼저 진리 술어를 포함하지 않는 기초 사실을 평가하고, 그 사실을 말하는 ‘문장 A는 참이다’ 같은 문장을 다음 단계에서 평가합니다. 이 과정을 반복하면 이전 단계에서 얻은 값은 보존되고, 더 이상 새 값이 생기지 않는 고정점에 도달합니다. 기초 사실까지 유한한 의존 사슬을 가진 문장은 바닥이 있는 grounded 문장으로 안정될 수 있습니다. [1]
미정은 단순히 세 번째 진리 값인가?
원 논문에서 미정 상태는 모든 문장에 고정적으로 붙는 또 하나의 평범한 값이라기보다, 선택한 고정점에서 참·거짓 어느 쪽에도 들어가지 않은 상태를 나타냅니다. 거짓말쟁이처럼 자기 자신을 순환 참조하는 문장은 최소 고정점에서 끝내 판정되지 않을 수 있습니다. 그렇다고 일상 언어의 모든 자기언급이 무의미하다는 뜻은 아닙니다. 어떤 고정점을 택하고 어떤 의미론적 장치를 쓰는지에 따라 범위가 달라집니다. [1]
학교 게시판 문장의 의존 사슬
LTCT 가상 게시판에 A ‘오늘 도서관은 연다’, B ‘A는 참이다’, C ‘B는 참이다’, L ‘L은 거짓이다’가 적혀 있습니다. 운영표로 A를 확인하면 B와 C는 차례로 안정되지만 L은 자기 자신만 돌아봅니다.
아래 활동에서 기초 사실 A와 자기지시 문장 포함 여부를 바꾸면 각 단계에서 판정되는 문장 수가 달라집니다. 숫자는 원 논문의 실험값이 아니라 고정점 구성을 설명하는 교육용 계산입니다.
학생은 각 문장 옆에 참·거짓만 쓰기 전에 ‘무엇을 확인해야 이 값을 정할 수 있는가’를 화살표로 표시합니다. 순환과 긴 의존 사슬을 같은 것으로 보지 않고, 기초 사실에 닿는지를 확인합니다.
평가에서는 마지막 답뿐 아니라 판정 순서와 보류 이유를 봅니다. 미정을 무조건 오답으로 처리하면 정보 부족과 논리적 순환을 구분하는 능력을 측정하기 어렵습니다.
기초 사실과 자기지시를 바꾸어 판정 단계를 확인해 보세요
기초 사실과 자기지시 포함 여부를 바꾸면 판정 단계가 다시 계산됩니다.
| 단계 | 문장 | 판정 |
|---|---|---|
| 0 | 기초 사실 A | 참 |
| 1 | ‘A는 참’ B | 참 |
| 2 | ‘B는 참’ C | 참 |
근거 있는 문장 3개 · L 미정 · 자기지시 L은 최소 고정점에서 참·거짓 어느 쪽에도 들어가지 않습니다.
어디까지 말할 수 있을까요?
- 이 글은 Kripke의 전체 형식 체계와 다양한 고정점을 최소 고정점의 교육 예시로 좁혀 설명합니다.
- 자연언어의 의미·맥락 문제를 진리 의존 그래프 하나로 모두 해결할 수 없습니다.
- 미정 상태가 현실 판단에서 책임 회피를 정당화하는 것은 아닙니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
다른 문장의 참·거짓에 기대는 문장 카드를 연결하고 먼저 판정할 수 있는 카드부터 처리합니다. 학생은 각 단계에서 새로 판정한 문장과 아직 보류한 문장을 표시합니다.
서로만 의존하는 순환 카드와 단순히 자료가 부족한 카드를 비교합니다. 교사는 보류 이유를 구분하게 하고, 모든 문장을 억지로 참이나 거짓에 넣었을 때 생기는 문제를 설명하도록 합니다.
끝까지 미정인 문장은 거짓이라고 처리하면 안 되나요?
생각을 비교할 해설 펼치기
그렇게 하면 ‘거짓’과 ‘아직 어느 쪽에도 속하지 않음’을 합쳐 역설을 다시 만들 수 있습니다. 어떤 의미론을 쓰는지 먼저 밝혀야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
진리 이론의 개요 (Outline of a Theory of Truth)
Saul A. Kripke (1975). The Journal of Philosophy, 72(19), 690–716.
- 자료 성격
- 동료심사 학술지 논문 · 공개 PDF
- 읽은 버전
- 1975년 학술지 판본 PDF
- 확인 범위
- 전문에서 부분 진리 술어, 강한 Kleene 평가, 단계적 구성, 최소 고정점과 grounded 문장 논의를 확인
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.