통합검색

한 언어 안에서, 그 언어의 참을 모두 정의할 수 있을까요?

알프레트 타르스키의 《Pojęcie prawdy w językach nauk dedukcyjnych》(1933)를 따라, 대상언어와 메타언어를 나누고 만족 관계에서 진리 정의와 자기진리의 한계를 세우는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Alfred Tarski, Pojęcie prawdy w językach nauk dedukcyjnych (1933)

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

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

The Semantic Conception of Truth and the Foundations of Semantics

대상언어의 문장을 한 단계 높은 메타언어가 평가하도록 층을 나눈 타르스키식 구도를 단순화했다.

생각그림 14 · 대상언어의 문장을 한 단계 높은 메타언어가 평가하도록 층을 나눈 타르스키식 구도를 단순화했다.

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

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