塔斯基的真理论与符合论

塔斯基的语义真理论常被当作符合论。通过区分塔斯基式真定义的普遍特征和具体的定义形式,并对不同语言构造具有不同语义特征的定义实例,揭示出塔斯基所持的是一种语义工具论。塔斯基的真理论并不是符合论。

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真的语义学定义和逻辑后承的里程碑式的著作是对现代语义学研究最重要的贡献。塔斯基用满足和归纳的方式给出的真的递归定义,循序渐进的句法定义,语义模型的概念,逻辑真和逻辑后承的概念等一系列理论和方法构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理和思想。

塔斯基的真定义、语义学与逻辑后承

塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。

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

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

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

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