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