어떤 문장이 참인지 말하려면 그 문장을 다시 이름 붙여 말해야 합니다. 그러나 문장과 그 문장의 진리를 설명하는 표현을 한 언어 안에서 제한 없이 섞으면 “이 문장은 참이 아니다” 같은 자기지시가 들어옵니다. 타르스키는 진리의 일상적 직관을 살리면서 이런 역설을 피하려면 무엇을 구분해야 하는지 물었습니다.
연구를 읽는 두 가지 질문
연구 질문과 접근
타르스키의 1944년 논문은 새 실험을 보고한 자료가 아니라 형식 언어에서 진리 정의가 갖춰야 할 조건을 제시한 이론 논문입니다. 연구 질문은 진리를 물리적 성질이나 심리 상태로 환원하지 않으면서도 정확하게 정의할 수 있는가입니다. 논문은 대상언어의 문장을 언급하고 해석하는 더 풍부한 메타언어를 구분하고, 개별 문장에 대해 이른바 T-형식이 따라와야 한다는 적합성 조건을 세웁니다. [1]
핵심 결과
대표 형식은 “‘눈은 희다’가 참이다, 그리고 오직 눈이 흴 때에만”입니다. 왼쪽에는 문장의 이름과 진리 술어가, 오른쪽에는 실제 문장이 놓입니다. 핵심은 따옴표를 지우는 요령이 아니라 대상언어의 표현을 메타언어에서 안전하게 다룬다는 층위 구분입니다. 일정한 형식 언어와 충분히 강한 메타언어에서는 이 조건을 만족하는 진리 정의를 만들 수 있지만, 일상언어 전체에 그대로 적용하는 단일 해법이라고 주장하지는 않습니다. [1]
학술적 의미
이 구상은 “참”이라는 말을 없애기보다, 무엇에 대해 어느 언어에서 말하는지 명시하게 했습니다. 구문론과 의미론, 대상과 그 대상을 설명하는 표현을 구분하는 습관은 형식 논리뿐 아니라 데이터 설명과 AI 평가에서도 중요합니다. 모델의 답과 “그 답이 맞다”라는 평가 문장은 서로 다른 역할을 하므로, 평가 기준과 대상 출력을 한 칸에 섞지 않아야 합니다. [1]
연구를 정확히 읽는 방법
이 글을 읽을 때는 예시 문장의 직관과 형식 체계 안의 정의를 번갈아 확인해야 합니다. 한 예시가 자연스럽다는 이유로 모든 언어에 대한 정리가 되지는 않으며, 반대로 수학적 장치가 낯설다는 이유로 일상적 문제의식이 사라지는 것도 아닙니다. 정의가 허용하는 문장, 판정이 보류되는 문장, 체계 밖에서 말하는 문장을 표시하면 주장 범위를 정확히 잡을 수 있습니다. [1]
문장과 문장에 대한 말을 두 층으로 나누기
LTCT가 만든 예시입니다. 대상언어 문장 P를 “도서관 문이 열려 있다”라고 합시다. 메타언어에서는 “P는 참이다 ↔ 도서관 문이 열려 있다”라고 적을 수 있습니다. 왼쪽의 P는 문장의 이름이고 오른쪽은 세계에 대한 주장입니다.
반면 “이 문장은 거짓이다”는 자신을 다시 가리켜 단순한 두 층 구분을 흔듭니다. 이 도식은 타르스키 논문의 표를 복제한 것이 아니라, 대상언어와 메타언어의 역할을 보여 주려고 LTCT가 재구성한 교육용 그림입니다.
어디까지 말할 수 있을까요?
- 이론은 형식화된 언어의 진리 정의에 초점을 둡니다. 일상언어의 맥락, 모호성, 화자의 의도를 모두 해결하는 실험적 모형은 아닙니다.
- T-형식을 몇 개 확인했다고 전체 이론의 일관성이나 충분성이 자동으로 증명되는 것은 아닙니다. 메타언어의 표현력과 공리 조건을 따로 검토해야 합니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
수업 활동에서는 주장 카드와 그 주장에 대한 평가 카드를 다른 색으로 구분하고, 평가 문장이 어느 대상 문장을 가리키는지 화살표로 표시해 볼 수 있습니다.
채점 시 답안 내용과 채점 기준에 대한 설명을 분리하면 “답이 맞다”와 “근거가 타당하다”를 구별하기 쉽습니다.
“민서의 답은 틀렸다”는 문장은 대상 문제의 답일까요, 답에 대한 평가일까요?
생각을 비교할 해설 펼치기
대개 답에 대한 메타 수준의 평가입니다. 무엇이 틀렸는지를 확인하려면 먼저 민서의 실제 답을 식별하고, 그 답을 판정하는 기준을 별도로 제시해야 합니다. 두 층을 섞으면 평가 기준이 답안의 일부처럼 보일 수 있습니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
진리의 의미론적 구상과 의미론의 기초 (The Semantic Conception of Truth and the Foundations of Semantics)
Alfred Tarski (1944). Philosophy and Phenomenological Research, 4(3), 341–376.
- 자료 성격
- 학술지 이론 논문
- 읽은 버전
- 1944년 학술지 발행본의 Carnegie Mellon University 공개 PDF
- 확인 범위
- 공개 본문 중 진리의 의미론적 구상, T-형식, 대상언어와 메타언어 구분 및 한계
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.