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

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

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

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

責(zé)編：張穎

編輯：時(shí)雨