薄谋
- 作品数：10 被引量：3H指数：2
- 供职机构：兰州大学哲学社会学院更多>>
- 发文基金：国家社会科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教自然科学总论文化科学交通运输工程更多>>
- 关于心灵、机器与真理的模态论证
- 2023年
- 卢卡斯和彭罗斯认为,人们从哥德尔不完全性定理出发可以推断“心灵不能被机械化”的论题。这是一个强论断。弱论断是由哥德尔提出的。他认为从自己的不完全性定理出发,人们只能推断或者“心灵不能被机械化”成立或者“存在不可判定的数学命题”成立。该析取式论断等价于“如果理想化人类心灵是理想化有限机器,那么人们无法判定某些数学命题的真或假”。哥德尔建议人们从解决内涵悖论入手,证明反机械主义论题成立。科尔纳在机械主义论题上取得的成功,激发斯特恩尝试从可替代真理论出发,证明反机械主义论题成立。科尔纳表明斯特恩的论证无效。斯特恩尝试改进他的论证。我们也表明斯特恩的改进方案无效。斯特恩两次尝试均无法取得成功,这实际上源于人们无法认清楚理想化人类心灵概念即绝对可证明性概念。
- 薄谋
- 关键词：数学真理数学认知
- 从逻辑的观点看专名
- 2015年
- 在对专名的理解上,弗雷格和罗素的态度是一样的,他们都是从语境定义出发去解释专名。随后,弗雷格让涵义统治指称,罗素把专名理解为摹状词。然而,从克里普克可能世界语义学的角度出发,专名是不能等价于摹状词的。
- 薄谋
- 关键词：专名涵义摹状词
- 数学工具主义者对稀释问题的认识论分析
- 2022年
- 希尔伯特工具主义者希望用理想数学替换实在数学,但这样的元数学替换策略会导致稀释问题,也就是理想证明量上的增加会引起实在证明中质上的减少。为了解决稀释问题,需要对有限主义进行深入的研究。这是有限证明的必要性。对哥德尔主义标准论证的反驳使得有限证明变得可能,这是有限证明的充分性。在反驳标准论证的过程中,也使得解决稀释问题变得可能。
- 薄谋
- 基于限制版第五基本定律的抽象主义集合论
- 2022年
- 布劳斯使用大小限制观念改造弗雷格的第五基本定律,由此引发了各种各样的限制第五基本定律的策略。我们的目的在于比较三种限制第五基本定律的策略,并对比基于限制版第五基本定律的两种集合论。我们的贡献在于:首先,我们找到了伯吉斯放弃达米特的不定可扩充性而坚持布劳斯路线的原因;其次,我们也找到了夏皮罗放弃复数逻辑重述集合论公理的原因;最后,我们察觉到夏皮罗改造伯奈斯—布劳斯集合论的关键要素。
- 薄谋
- 结构主义视野下的模态性和本体论
- 2017年
- 在当代数学哲学实在论与反实在论的较量中,我们希望通过考察模态性来引出反实在论者的各种归约本体论的方案。首先考察了菲尔德的模态虚构主义,然后依次是赫尔曼的模态结构主义、千原的新构造主义和布勒斯的复数量词。最后我们从结构主义的角度对这些方案进行考察和评价,希望能对模态性和本体论有一个更好的理解。
- 薄谋
- 关键词：结构主义
- 数学工具主义者对弗雷格问题的认识论分析被引量：2
- 2020年
- 在数学哲学实在论和反实在论对抗的大背景下,德特勒夫森复活了希尔伯特的有限主义。他把自己的思想称为希尔伯特工具主义,这是一种改良版的实在论。通过对弗雷格问题的解决,我们看到希尔伯特工具主义者是如何既承认抽象对象的存在,又发展出关于抽象对象的认识论。通过在有限思维中加入抽象的元素,他解决了抽象对象存在的问题。通过复制主义策略和证明模式认识论,他解决了认识抽象对象的问题。这种实在论既不同于弗雷格的实在论,也不同于菲尔德的唯名论,它是一种介于实在论和唯名论间的新形式。
- 薄谋
- 关键词：唯名论实在论
- Set theory and its applications to Frege arithmetic
- In Part 1,I will introduce Frege theorem and Frege arithmetic,then I will give some models of Frege arithmetic...
- 薄谋
- 《算术基本规律》序言
- 2014年
- 弗雷格在两卷本的《算术基本规律》中以严格形式化的方式完成了逻辑主义的任务,即用逻辑符号定义算术符号,然后从逻辑公理推出算术公理。在该书的序言中,弗雷格首先重申了逻辑主义的目标及其哲学意蕴;其次,他介绍了《算术基本规律》一书的主要内容和阅读方法,并且说明了他的形式系统从《概念文字》到《算术基本规律》的转变过程;最后,他以埃德曼的《逻辑学》一书为靶子,激烈地批判了逻辑学中的心理主义思潮。
- G.弗雷格刘靖贤李啉(校)薄谋
- 关键词：弗雷格逻辑主义概念文字心理主义
- 数学工具主义者对归纳问题的认识论分析被引量：2
- 2021年
- 在数学证明的过程中,人们经常使用的方法是数学归纳法。数学归纳法体现的是从有限上升到无穷的过程。根据希尔伯特的术语,有限体现的是实在数学,无穷体现的是理想数学。希尔伯特工具主义者坚持用理想数学替代实在数学,这就是元数学替换策略。但这种策略在归纳上有两个亟待解决的问题。首先是归纳的地位问题。这是数学哲学中的认识论问题,人们需要在有限思维中确定归纳的位置。其次是元数学替换策略是一种非直谓主义,这就招致了庞加莱的反对。庞加莱持一种直谓主义的观点,他认为希尔伯特的元数学使用了循环论证。希尔伯特工具主义者通过对证明模式的分析,解决了第一个问题。通过区分两种不同归纳,解决了第二个问题。通过对庞加莱问题的解决,希尔伯特工具主义者引出了他们的改良实在论,也就是在抽象元素中加入具体事物,而在有限思维中加入抽象对象。这就为我们提供了一种解决贝纳塞拉夫问题的方案。
- 薄谋
- 关键词：数学归纳法
