대상언어의 문장을 한 단계 높은 메타언어가 평가하도록 층을 나눈 타르스키식 구도를 단순화했다.
생각그림 14 · 대상언어의 문장을 한 단계 높은 메타언어가 평가하도록 층을 나눈 타르스키식 구도를 단순화했다.
그림에서 무엇을 볼까요?
생각그림 14 · 대상언어의 문장을 한 단계 높은 메타언어가 평가하도록 층을 나눈 타르스키식 구도를 단순화했다.
알프레트 타르스키의 계층적 접근은 대상언어의 문장을 평가하는 ‘참’ 술어를 한 단계 높은 메타언어에 둔다. 한 언어가 자기 문장 전체에 대한 참을 마음대로 말하지 못하게 하여 L이 만들어지는 통로를 제한한다. 이 방법은 형식화된 언어에서 강력하지만, 일상어처럼 자신의 표현을 다시 말할 수 있는 언어를 어떻게 설명할지는 추가 과제로 남는다. 언어의 층을 나누는 해법은 자기 평가의 고리를 구조적으로 끊는다.
한 문장의 참 판정이 거짓으로, 거짓 판정이 다시 참으로 이어지는 순환을 펼쳤다.
기원전 4세기의 에우불리데스, 후대의 기록, 오늘의 표준 문장을 서로 다른 층에 배치했다.
진리의 뜻, 문장의 자기지시, 추론 규칙이 한 논쟁의 장에서 만나는 모습을 그렸다.