2026年3月28日至29日，由陜西科技大學(xué)馬克思主義學(xué)院主辦的“形式化哲學(xué)”學(xué)術(shù)研討會在該校圓滿落幕。來自全國的百余名專家學(xué)者及知名期刊編輯齊聚一堂，圍繞馬克思主義詮釋學(xué)、符號學(xué)與形式化、邏輯與形式化、數(shù)學(xué)哲學(xué)、認(rèn)知科學(xué)中的形式化等議題展開深度對話。

會上，陜西省社科聯(lián)特聘研究員趙臨龍教授作題為《數(shù)學(xué)與哲學(xué)的形式化：社會問題解決的一種重要思想方式》的大會報告，引發(fā)強烈反響。報告從語言基石的符號化與公理化、邏輯骨架的演繹與證明、結(jié)構(gòu)藍(lán)圖的抽象與模型、終極目標(biāo)的本質(zhì)與文化等維度四個維度，系統(tǒng)闡釋了數(shù)學(xué)形式化如何從“語言工具”升華為“思維范式”。趙臨龍教授創(chuàng)新性地以數(shù)學(xué)視角解讀中國革命與建設(shè)的經(jīng)典論述，揭示其中蘊含的“線性與非線性”“優(yōu)化與系統(tǒng)”邏輯，論證數(shù)學(xué)形式化在國家戰(zhàn)略演進中已從“方法論支撐”躍升為“元生產(chǎn)力引擎”。此外，他結(jié)合我國數(shù)學(xué)家華羅庚、陳省身、陳景潤等典型事例，強調(diào)數(shù)學(xué)精神與科學(xué)家精神對科技自立自強與國家戰(zhàn)略的支撐價值。

此外，趙臨龍教授還擔(dān)任論壇點評嘉賓。他緊扣“國家十五五發(fā)展綱要”與《教育強國建設(shè)規(guī)劃綱要》，立足“兩個結(jié)合”要求，對參會論文提出針對性建議：理論研究需在扎實文獻(xiàn)分析基礎(chǔ)上，強化創(chuàng)新點提煉，升華理論縱深；應(yīng)用研究應(yīng)錨定國家發(fā)展需求，直面實踐痛點，為社會進步提供可操作的理論支撐。他還強調(diào)，馬克思主義學(xué)院應(yīng)在高?！按笏颊逃敝邪l(fā)揮引領(lǐng)作用，推動學(xué)術(shù)研究切實服務(wù)國家戰(zhàn)略需要。

此次研討會不僅深化了學(xué)界對數(shù)學(xué)形式化的哲學(xué)認(rèn)知，也為跨學(xué)科融合服務(wù)社會發(fā)展提供了新思路。（來源：陜南鄉(xiāng)村振興研究中心 ）

責(zé)編：張穎

編輯：時雨