2026年3月28日至29日，由陕西科技大学马克思主义学院主办，社会科学文献出版社等期刊单位协办的“2026年形式化哲学学术论坛”在陕西科技大学举行。来自全国的百余名专家学者及知名期刊编辑齐聚一堂，围绕马克思主义诠释学、符号学与形式化、逻辑与形式化、数学哲学、认知科学中的形式化等议题展开深度对话。

我中心赵临龙教授作为特邀嘉宾，出席会议并作了题为《数学与哲学的形式化：社会问题解决的一种重要思想方式》的大会报告。报告从语言基石的符号化与公理化、逻辑骨架的演绎与证明、结构蓝图的抽象与模型、终极目标的本质与文化等维度四个维度，系统阐释了数学形式化如何从“语言工具”升华为“思维范式”。赵教授创新性地以数学视角解读中国革命与建设的经典论述，揭示其中蕴含的“线性与非线性”“优化与系统”逻辑，论证数学形式化在国家战略演进中已从“方法论支撑”跃升为“元生产力引擎”，并结合我国数学家华罗庚、陈省身、陈景润等典型事例，强调数学精神与科学家精神对科技自立自强与国家战略的支撑价值。

报告引起较大反响，陕西时代网（2026年3月30日）以题《数学形式化赋能战略思维》进行报道。同时，新华网客户端（2026-04-02）以题《2026形式化哲学学术论坛在陕西科技大学召开》进行报道。