The Semantic Conception of Truth and the Foundations of Semantics

타르스키의 진리이론은 진리의 본성에 대한 일반적 설명으로 의도된 것이라기보다는, 형식 언어 내에서 적용되는 진리 술어를 정의하는 한 가지 방식으로 제안된 것이다.

대상언어의 모든 문장 s에 대해, s의 번역인 메타언어의 문장 p를 제시함으로써, 술어 '참이다'의 형식적 정의를 얻고자 함. 그결과가 T-문장:
(T-문장) 's is true in L iff p'
타르스키는 T-문장의 목록이 (대상 언어에서) '참이다'라는 술어을 정의할 수 있다고 주장함.
적절한 이론이라면 대상언어의 모든 문장에 대해 T-문장을 산출할 수 있어야 함.

참고