塔斯基定理相关论文
塔斯基算术真之不可定义性定理可表述为:丰富到足以包含算术的一阶语言不可能包含它自身的满足T—模式的真谓词,其证明的基本思想是......
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使......
塔斯基的真之定义理论确定了“实质的恰当性”与“形式的正确性”标准,进而蕴涵了语言分层原则、组合性原则和本质上的丰富性原则......