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

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