可以不失表达力而又避免说谎者悖论吗?  

作　　者：赵震[1] 

机构地区：[1]北京大学哲学系,北京100871

出　　处：《湖北大学学报（哲学社会科学版）》2014年第2期22-27,共6页Journal of Hubei University(Philosophy and Social Science)

摘　　要：为提出一个有效的解悖方案,我们可以建构一个逻辑LCQ,进而证明LCQ的可靠性和完全性,以及它与一阶逻辑之间的关系,从而证明LCQ的表达力并不比一阶逻辑的表达力弱。在此基础上,构造一个真理论TCQT,并证明TCQT的一致性。在TCQT中,通常的(T)模式的表达形式改变了,但是其本质并未改变。通过编码我们可以建构自指的句子和对角线定理,但是(T)模式并不能应用于编码名字,因此避免了说谎者悖论。(T)模式可以应用于特殊常项,但是根据语言的建构和推理规则,自指和对角线定理不成立,因此也避免了说谎者悖论。与此同时,塔尔斯基的(T)模式的本质被保留了。

关 键 词：说谎者悖论 (T)模式 表达力 

分 类 号：B81[哲学宗教—逻辑学]