薄谋,1983年生,山西大同人,复旦大学哲学博士(数学哲学),南开大学数学博士后(数理逻辑)。于2013年6月入职澳门沙金官方网站至今,现任澳门沙金官方网站哲学系副教授。
学术兼职:
1. 学会
a. 中国逻辑学会理事;
b. 中国数学会数理逻辑专业委员会委员;
c. 中国自然辩证法研究会数学哲学专业委员会理事。
2. 期刊
《逻辑学研究》审稿人。
研究领域:数学基础、认知科学
近期关注话题:
1.模态复数集合论(Modal Plural Set Theory)
2. 量子力学的模态解释 (The Modal Interpretation of Quantum Mechanics)
3. 人工智能与数学真理 (Artificial Intelligence and Mathematical Truth)
4. 数学多元主义的认识论难题 (The Epistemological Problems in Mathematical Pluralism)
5. 集合论多宇宙观的认识论难题 (The Epistemological Problems in Set-Theoretical Multiverse)
本科生:数学基础、数理逻辑、人工智能、模态逻辑、认知数学
研究生:数学哲学
发表专业论文10篇,代表性论文如下:
1. 数学工具主义者对弗雷格问题的认识论分析,自然辩证法研究,2020年第3期,单作,CSSCI.
2. 数学工具主义者对归纳问题的认识论分析,科学技术哲学研究,2021年第1期,单作,CSSCI.
3. 数学工具主义者对稀释问题的认识论分析,科学技术哲学研究,2022年第1期,单作,CSSCI.
4. 基于限制版第五基本定律的抽象主义集合论,自然辩证法通讯,2022年第7期,单作,CSSCI.
5. 关于心灵、机器与真理的模态论证,逻辑学研究,2023年第1期,单作,CSSCI.
教材:
现代数学哲学教程(第一册):从哥德尔到赫尔曼,上海人民出版社,2020年5月,单著。
专著:
抽象主义集合论(上卷):从布劳斯到斯塔德,上海人民出版社,2021年10月,单著。
主持国家级课题2项,主持校级课题3项,参与省部级项目1项,代表性项目如下:
1. 主持,集合论及其在弗雷格算术中的应用研究,国家社科基金青年项目,2016.06.16—2020.12.31,1/4.
2. 主持,算术与集合的实在论解释研究,国家社科基金一般项目,2022.09.30—2026.12.31,1/2.
抽象主义集合论(上卷):从布劳斯到斯塔德,甘肃省第十七次哲学社会科学优秀成果评奖,二等奖。