普特南对塔斯基真之定义的批判为何不能成立?

塔斯基的真之理论是历史上极具影响力的形式化真之理论,促成了当代公理化真之理论与紧缩主义真之理论研究的潮流。普特南对塔斯基的真之定义提出诸多质疑,拷问T模式、指称和翻译等语义概念与真概念之间的关系。立足于塔斯基真之理论的相关文献,借助语言哲学中的诸多理论,反驳普特南对塔斯基真之理论的批判,并点明这一议题具有的理论价值。

真谓词的不可定义性问题的根源

塔斯基的真之定义理论确定了“实质的恰当性”与“形式的正确性”标准,进而蕴涵了语言分层原则、组合性原则和本质上的丰富性原则。虽然为了证明无穷阶的普遍类理论语言或一阶皮亚诺算术语言的真谓词的不可定义性定理,塔斯基借助了循环性悖论,但真谓词的不可定义性定理并不局限于悖论性或循环性的语言。造成其真谓词不可定义的真正根源在于它们的元语言不符合真之定义理论的标准,尤其是“本质上的丰富性”原则。

塔斯基、哥德尔与真概念的不可定义性

哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑可以通过三个方面得到消除:首先,哥德尔只能"发现"而塔斯基却能给出严格的形式证明,原因在于塔斯基提出了严格的真之定义理论。其次,这个理论同样对哥德尔的工作具有重要意义,它提供的T-语句和T-约定使得哥德尔定理的证明不必再回避使用真概念,使得语义证明成为可能。最后,塔斯基的真之定义理论还可以导出一系列不可定义性的推论,即"广义的塔斯基定理"。这些推论超出了哥德尔的发现,对于真之问题的研究有着极为重要的哲学意义。