2026年4月24日，数学哲学工作坊“数学的本质”在知新楼A1618室顺利举办。本次工作坊邀请了来自北京大学、复旦大学、beat365体育官网平台、武汉大学、兰州大学等多所国内高校的教师参与交流。

杨睿之作了“作为编码系统的数学基础”报告，指出数学基础理论应该被视为提供了一个编码系统，不是一个形而上学基础，寻找数学新公理的工作可转变为寻找并约定更好的编码系统。报告中讨论集合论基础主义的问题，并讨论了超穷序数算术和超现实数算术在编码方案上的潜力。

郝兆宽作了题为“Benacerraf Problem and Woodin Cardinals”的报告，以Woodin基数为例，探讨我们如何认识数学知识的问题。同时讨论了数学客观性的问题，提出“没有基础的客观理论”，认为无需强求数学对象存在的证明与特定认识理论。

薄谋作了题为“ Level Theory and Its Predecessors”的报告，聚焦数学哲学中的Level theory，介绍了为数学找基础的回归策略及直观方法，还讲解了Potter等人对集合的公理化处理技巧，如通过累积、历史定义等相关概念来处理，还提及论坛不同学者在符号使用、公理设定上的差异与优化。

张仑作了题为“数学结构主义的形而上学疑难”的报告，先说明支持实在论式结构主义的优势，接着指出其面临的结构属性、对称同一性等形而上学问题，随后讨论了如何处理这些问题。报告还探讨了范畴论对数学结构主义的价值，最后提出了“世界结构”方案。

王咏诗作了题为“莱布尼茨道路，抑或康德道路？——卡西尔数学哲学问题意识的起源”的报告，指出卡西尔数学哲学问题意识的起源是数学的可应用性这一核心问题。同时以“无限”为例说明了形式科学和构造科学这两种对数学的理解。阐述了卡西尔试图调和两条道路的思考。

高坤作了题为“数概念的自然化”的报告，报告围绕数概念自然化展开，先阐释自然主义立场，探讨数学概念的特异性与表征问题，接着结合认知科学研究，讨论了规范计数的原则、儿童计数能力发展，分析数字的符号本质与程序性概念属性等内容。此外，还阐述了自然主义如何看待数概念的客体化及实无穷概念的习得。

最后，围绕“数学的本质”展开了圆桌讨论。与会者们先是聚焦郝兆宽老师针对数学客观性提出的几点看法进行了深入交流。接着还就数学客观性与实在论、自然主义与物理主义的界限等议题进行了讨论。最终，本次工作坊在热烈交流的氛围中圆满落幕。

文：王晨

图：李斌

审核：张仑