2026年3月28日至29日，由陕西科技大学马克思主义学院主办的“形式化哲学”学术研讨会在该校圆满落幕。来自全国的百余名专家学者及知名期刊编辑齐聚一堂，围绕马克思主义诠释学、符号学与形式化、逻辑与形式化、数学哲学、认知科学中的形式化等议题展开深度对话。
会上，陕西省社科联特聘研究员赵临龙教授作题为《数学与哲学的形式化：社会问题解决的一种重要思想方式》的大会报告，引发强烈反响。报告从语言基石的符号化与公理化、逻辑骨架的演绎与证明、结构蓝图的抽象与模型、终极目标的本质与文化等维度四个维度，系统阐释了数学形式化如何从“语言工具”升华为“思维范式”。赵临龙教授创新性地以数学视角解读中国革命与建设的经典论述，揭示其中蕴含的“线性与非线性”“优化与系统”逻辑，论证数学形式化在国家战略演进中已从“方法论支撑”跃升为“元生产力引擎”。此外，他结合我国数学家华罗庚、陈省身、陈景润等典型事例，强调数学精神与科学家精神对科技自立自强与国家战略的支撑价值。
此外，赵临龙教授还担任论坛点评嘉宾。他紧扣“国家十五五发展纲要”与《教育强国建设规划纲要》，立足“两个结合”要求，对参会论文提出针对性建议：理论研究需在扎实文献分析基础上，强化创新点提炼，升化理论纵深；应用研究应锚定国家发展需求，直面实践痛点，为社会进步提供可操作的理论支撑。他还强调，马克思主义学院应在高校“大思政教育”中发挥引领作用，推动学术研究切实服务国家战略需要。
此次研讨会不仅深化了学界对数学形式化的哲学认知，也为跨学科融合服务社会发展提供了新思路。（供稿：安康学院）
责编：张颖
编辑：时雨
