尊敬的           女士/先生： 

    为了推动我国数学哲学的发展，促进国内学者对数学哲学研究最新成果的交流和讨论，经多方协商，定于2021年11月6-7日在兰州大学召开“2021年全国数学哲学学术研讨会”。会议由兰州大学哲学社会学院与中国自然辩证法研究会数学哲学专业委员会联合主办，兰州大学哲学社会学院与《科学经济社会》杂志社承办。
    本次会议拟设（但不限于）下列主题：
        1.弗雷格与哥德尔
        2.实在论与自然主义
        3.集合论与数学基础
        4.可计算性与反推数学
        5.数学哲学其他相关议题
    会议诚邀相关领域专家就上述专题做主题报告或参与研讨，特别欢迎对数学哲学感兴趣的其他领域（现象学、形而上学、古希腊、德国古典哲学、数学史、科学哲学等）的研究者参会研讨。鉴于您在数学哲学及其相关领域的学术贡献和学术影响力，特邀请您届时莅临会议。受疫情影响，我们由线下会议改为线上会议。
    会议地点：腾讯会议
    会议时间：2021年11月6日—7日
    会议联系人：许涤非 difeixu@163.com    杨睿之 yangruizhi@fudan.edu.en    薄谋 bomou@lzu.edu.cn

 

                                                         中国自然辩证法研究会数学哲学专业委员会
                                                                   兰州大学哲学社会学院
                                                                  《科学经济社会》杂志社
                                                                                                                                                           2021年11月2日




附会议日程：

2021年11月6日上午     腾讯会议ID：748 990 379     会议密码：202111

8:30—8:50 开幕式 主持人：康仕慧
8:30—8:40 陈声柏 代表兰州大学 致欢迎词
8:40—8:50 杨睿之 代表中国自然辩证法学会数学哲学专业委员会 致开幕词
8:50—9:40 大会报告 报告人：丁龙云；题目：等价关系与波莱尔归约；主持人：喻良
10:00—10:50 大会报告 报告人：熊明；题目：Solovay Functions and Paradoxes；主持人：俞珺华
10:50—11:40 大会报告 报告人：王彦晶；题目：What is Intuitionistic Truth? 主持人：王轶

2021年11月6日下午       腾讯会议ID：748 990 379     会议密码：202111

14:30—16:30 主持人：叶峰
14:30—15:10 报告人：杨睿之；题目：形式主义与多宇宙观
15:10—15:50 报告人：高坤；题目：哥德尔纲领的实现能支持数学实在论吗？
15:50—16:30 报告人：江峰；题目：From Set-Theoretic Geology to the Generic Multiverse

2021年11月7日上午    腾讯会议ID：517 106 566     会议密码：202111

8:30—9:50 主持人：沈榆平
8:30—9:10 报告人：康孝军；题目：从实用主义看反推数学
9:10—9:50 报告人：萧浩健；题目：点、间隔与含数字句子真值
10:10—11:30 主持人：康仕慧
10:10—10:50 报告人：寇亮；题目：反映公理作为大基数内在辩护的不可行性
10:50—11:30 报告人：梁德柱；题目：数学中的“无穷”——论严格有限主义及其挑战