刘大为
- 作品数：3 被引量：7H指数：1
- 供职机构：湖南师范大学公共管理学院哲学系更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教自然科学总论更多>>
- 论紧缩真理论的保守性困境
- 2021年
- 紧缩真理论认为"真"是非实质的概念,并得出保守性承诺,即真理论不能比基础理论证明更多的不包含真概念的事实。已有结论则表明,大部分充分的公理化真理论对作为基础理论的形式算术是不保守的,因此紧缩论陷入了保守性困境。但事实上,紧缩论的反对者将讨论局限在形式算术的句法保守性,且做了跳跃论证。通过分析,"PA系统是一致的"和"哥德尔语句G"并不能被视作新的实质算术知识。因此,如果将对句法的保守性扩展到对算术知识的保守性上,可以给夏皮罗论证有力的反驳,那么真理论对算术知识来说依然是保守的,已有困境将得到解决。
- 刘大为
- 关键词：保守性句法
- 哥德尔定理:对卢卡斯-彭罗斯论证的新辨析被引量：6
- 2017年
- 卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器(图灵机),心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在于所谓的"一致性或健全性前提",卢卡斯和彭罗斯坚持回应各种质疑,认为可以知道我们(心灵)是一致的。事实上,卢卡斯-彭罗斯论证需要加上一些理想化的假设,尤其应该对彭罗斯论证中"F是健全的"这一断言予以澄清和补充。费弗曼指出彭罗斯论证的疏忽,试图调和机械论和反机械论的完全对立,并提出开放模式的公理系统表示心灵的数学能力。由对数学实践的分析阐述费弗曼论证存在不足之处后,在借鉴卢卡斯-彭罗斯论证和费弗曼论证的基础上,考虑数学理解力和环境的重要性,尝试提出基于完全开放的数学形式系统的心灵模型。
- 刘大为
- 关键词：哥德尔不完全性定理一致性
- 公理化真与说谎者悖论被引量：1
- 2018年
- 公理化真理论把真看作一个原始谓词,并用一组公理和规则给出真谓词的意义,真首先是语形概念。在公理化真理论的标准模型中,一个定理可解释为真。因此模型真和语形真在概念上需要作出区分。通过不同的技术手段大部分公理化真理论都能较好地处理悖论,但DT和KF系统同时证明"说谎者语句λ"与"λ不是真的",此时语形真和模型真产生了冲突。莫德林和费弗曼等国外学者从哲学解释或技术上对此进行的辩护都存在不足之处,本文通过从语义视角入手建立起一种真对应关系后指出,这一受到质疑的结论既不应归结为形式技术问题,不是一个意外的推论,也不必从其他哲学角度进行辩护,问题是由克里普克语义真理论自身在处理强化说谎者悖论时失效所导致的。KF系统两种真的冲突,反而以形式方法揭示了当内、外逻辑不一致时,真理论所具有的性质。
- 刘大为
