关于心灵、机器与真理的模态论证

摘要：

卢卡斯和彭罗斯认为,人们从哥德尔不完全性定理出发可以推断"心灵不能被机械化"的论题.这是一个强论断.弱论断是由哥德尔提出的.他认为从自己的不完全性定理出发,人们只能推断或者"心灵不能被机械化"成立或者"存在不可判定的数学命题"成立.该析取式论断等价于"如果理想化人类心灵是理想化有限机器,那么人们无法判定某些数学命题的真或假".哥德尔建议人们从解决内涵悖论入手,证明反机械主义论题成立.科尔纳在机械主义论题上取得的成功,激发斯特恩尝试从可替代真理论出发,证明反机械主义论题成立.科尔纳表明斯特恩的论证无效.斯特恩尝试改进他的论证.我们也表明斯特恩的改进方案无效.斯特恩两次尝试均无法取得成功,这实际上源于人们无法认清楚理想化人类心灵概念即绝对可证明性概念.

关键词：绝对可证明性、免类型真理论、数学真理、数学认知

所属期刊栏目：16

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金22BZX128

在线出版日期：2023-03-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：80-92