高阶量化如何理解?部分与整体的关系如何刻画?我们能否直接谈论多个对象，而不将它们归结为一个集合对象?这些问题将高阶逻辑、分体论与复数逻辑联系起来，也引向关于逻辑表达、本体论承诺与数学基础的深入讨论。本次工作坊聚焦这三个领域的研究进展及其相互关系，通过专题报告与学术评议，探讨不同逻辑框架的理论特点及其哲学意涵。工作坊由兰州大学哲学社会学院主办、中国自然辩证法研究会数学哲学专业委员会协办，将于2026年10月16日至18日在兰州大学举行。

一、会议时间与地点

会期：2026年10月16日至18日

地点：兰州大学会议中心(萃英大酒店)八楼会议室

二、专题安排     

三、组织单位

主办单位：兰州大学哲学社会学院

协办单位：中国自然辩证法研究会数学哲学专业委员会

四、资助说明

本次会议受到兰州大学“中央高校基本科研业务费专项资金”文科振兴计划B类团队项目(青苗工程)“数学哲学视野下物理学的唯名论化策略”(项目号：2024lzujbkyqm011)的资助。

欢迎广大师生及相关领域研究者关注本次工作坊!

兰州大学哲学社会学院

2026年10月13日