논리학 기초

문장의 참을 말하려면 왜 한 단계 높은 언어가 필요할까?

“눈이 희다”와 “‘눈이 희다’는 참이다”를 같은 층위에서 뒤섞을 때 생기는 문제를 타르스키의 의미론적 진리 구상으로 살펴봅니다.

그림에서 무엇을 볼까요?

아래 대상언어의 문장 P가 위 메타언어의 P는 참이다라는 표현과 연결되고, 오른쪽의 실제 조건과 동치로 이어지는 두 층 구조.

LTCT가 만든 예시입니다. 대상언어 문장 P를 “도서관 문이 열려 있다”라고 합시다. 메타언어에서는 “P는 참이다 ↔ 도서관 문이 열려 있다”라고 적을 수 있습니다. 왼쪽의 P는 문장의 이름이고 오른쪽은 세계에 대한 주장입니다.

반면 “이 문장은 거짓이다”는 자신을 다시 가리켜 단순한 두 층 구분을 흔듭니다. 이 도식은 타르스키 논문의 표를 복제한 것이 아니라, 대상언어와 메타언어의 역할을 보여 주려고 LTCT가 재구성한 교육용 그림입니다.

이론은 형식화된 언어의 진리 정의에 초점을 둡니다. 일상언어의 맥락, 모호성, 화자의 의도를 모두 해결하는 실험적 모형은 아닙니다.

T-형식을 몇 개 확인했다고 전체 이론의 일관성이나 충분성이 자동으로 증명되는 것은 아닙니다. 메타언어의 표현력과 공리 조건을 따로 검토해야 합니다.

“민서의 답은 틀렸다”는 문장은 대상 문제의 답일까요, 답에 대한 평가일까요?