의미론적 진리론 (Semantic Theory of Truth)
한 줄 정의: 타르스키가 형식언어에 대해 제시한 이론으로, '눈은 하얗다'가 참인 것은 오직 눈이 실제로 하얀 경우일 때뿐이라는 T-도식을 통해 진리 술어를 엄밀하게 정의하는 진리 이론이다.
쉽게 풀면
의미론적 진리론은 '문장 P가 참이다'가 정확히 무슨 뜻인지를 아주 엄밀한 형식논리적 방식으로 정의하려는 시도이다. 타르스키는 이를 위해 'p가 참이다 iff p'라는 형식(T-도식)을 제안했는데, 예를 들어 '눈은 하얗다가 참이다 iff 눈은 하얗다'처럼 표현된다.
논문에서는 이렇게 쓰입니다
"타르스키의 진리 정의는 대상언어와 메타언어를 구분함으로써 거짓말쟁이 역설과 같은 의미론적 역설을 회피하고자 한다."
알프레드 타르스키가 진리를 정의하는 언어(메타언어)와 그 정의의 대상이 되는 언어(대상언어)를 엄격히 구분함으로써, 자기 지시로 인해 발생하는 거짓말쟁이 역설 같은 문제를 피하려 한 전략을 설명한다.
주의할 점
타르스키의 이론은 형식적으로 엄밀한 정의를 제공하지만, 그 자체가 대응설을 완전히 대체하는지 아니면 대응설을 정교화한 것인지에 대해서는 철학자들 사이에 해석이 갈린다는 점에 유의해야 한다.