为了推动数学哲学的发展，促进国内外学者对数学哲学研究最新成果的交流和讨论，经商议，定于2025年7月25-27日在兰州大学召开“2025年数学哲学国际学术研讨会”。会议由兰州大学哲学社会学院与中国自然辩证法研究会数学哲学专业委员会联合主办;中山大学《逻辑学研究》编辑部以及兰州大学《科学·经济·社会》编辑部协办。

一、本次会议拟设（但不限于）下列主题：

1. 实在论、怀疑论与多元论

2. 集合论、范畴论、类型论与数学基础

3. 可计算性理论与反推数学

4. 逻辑哲学

5. 机器辅助定理证明、AI与数学基础

6. 东西方数学史

7. 数学哲学其他相关议题

二、会议网址：

http://logic.fudan.edu.cn/event2025/acpomc

三、会议报告征集与推荐刊登：

本次会议公开征集与会议主题相关的学术报告。稿件要求为3页左右的长摘要和参考文献(中文长摘要需附上1页左右的英文短摘要)，可发送至邮箱：yangruizhi@fudan.edu.cn。稿件经初筛后由会议学术委员会组织评审并决定是否录取为会议报告。

录取稿件的作者之一应参会并做报告。本次会议将向《逻辑学研究》以及《科学·经济·社会》推荐符合条件、能够以全文形式刊登的优秀稿件。感谢中山大学《逻辑学研究》编辑部和兰州大学《科学·经济·社会》编辑部的大力支持!

四、会议重要时间节点：

1. 投稿截止日期：2025年5月5日

2. 评审结果通知：2025年6月1日

3. 会议日期：2025年7月25-27日

五、其他说明：

本次会议不收取会务费。参会者食宿、差旅自理。纸质版邀请函请于报到时领取。有关会务事宜可咨询会议联系人陈佳(jiachen@lzu.edu.cn)。

期待您的到来!

兰州大学哲学社会学院

中国自然辩证法研究会数学哲学专业委员会

2025年2月26日