塔尔斯基的真之语义定义

On Tarski's Semantic Definition of Truth

"真"是逻辑和语言哲学中无法绕开的语义概念。塔尔斯基为真所提供的语义说明对逻辑语义学和语言哲学的核心理论都产生了巨大影响,体现了逻辑技术对解决哲学问题的不凡助力。有的研究文献对其主要成果的通俗表述容易使人混淆一些概念。本文将对照塔尔斯基关于真之定义的两篇著名论文,澄清塔尔斯基所说的"本质丰富"的意思,以此展示对真之语义说明起关键作用的语言分层级的思想。这一思想方法还有助于我们理解哥德尔不完全性定理。

The semantic conception of truth was crucial for logic and philosophy of language. The semantic explanation of truth that Tarski made imposed great effect on the foundations of semantics of logic and philosophy of language, which reflected that logic technique was helpful for resolving the problems in philosophy. However, some papers on Tarski's important results confused some conceptions. This paper would clarify the meaning of 'essentially richer' by comparing two famous papers of Tarski on the concept of truth, and emphasize that the idea of hierarchy of language played a role in the semantic definition of truth. And this idea improved our understanding of the Incompleteness Theorem.