期刊文章详细信息
禁止使用自指代命题——说谎者悖论的排除和哥德尔定理的讨论
The Prohibition of Self-reference & Substitution Propositions——The Elimination of the Liar Paradox and Discussion of Godel's Incompleteness Theorem
文献类型:期刊文章
机构地区:[1]中国人民大学现代逻辑研究所,北京100875
年 份:2006
卷 号:30
期 号:5
起止页码:13-20
语 种:中文
收录情况:BDHX、BDHX2004、CSSCI、CSSCI2006_2007、NSSD、RWSKHX、核心刊
摘 要:应把“自指代命题”从“自指命题”中区分出来,前者违反同一律,作代换还可能违反矛盾律,因此禁止使用自指代命题。对内容不明的自指命题作真假对错的评判,不可能给出确定的结论,但也不会出现矛盾。说谎者悖论是一个佯悖。它被称为悖论,是因为推理者混淆了思维的层次,构造了自指代命题并进行代换才导致矛盾。哥德尔不完全性定理所构造的自指代命题的可证性存在矛盾的双重标准,定理的证法中共用了矛盾的双重标准,其结论值得商榷。结论中的“不可判定”命题,现在有三种不同的错误解释:是非不可分辨的命题(三值)、是非可分辨但不确定的命题(二值)、除自指代命题之外的是非都不可证的其他命题,它们都不是哥德尔的证法所支持的结论。它导致“真理丧失说”和“数学丧失了确定性”缺乏依据。
关 键 词:自指命题 自指代命题 说谎者悖论 哥德尔定理
分 类 号:B815]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...