序言:我建立的新邏輯學(xué)體系
1、1980年我在上海《學(xué)術(shù)月刊》發(fā)表論文《論歷史概念集合》,提出了一套新邏輯學(xué)理論建立的構(gòu)想。
這套新邏輯體系我命名其為“泛演化邏輯”UniversalEvolutionlogic/U.E.L.系統(tǒng),泛即普遍性的意思。
當(dāng)時(shí)多數(shù)人不理解我的想法。因?yàn)檫@個(gè)理論對(duì)傳統(tǒng)邏輯(亞里士多德邏輯)具有深刻的超越性意義,過(guò)于超前,與當(dāng)時(shí)國(guó)內(nèi)外邏輯學(xué)領(lǐng)域主流學(xué)派的理論體系存在深刻的矛盾。
但是偉大的錢(qián)學(xué)森院士立刻理解了我這個(gè)新邏輯體系的涵義和價(jià)值。他不僅多次寫(xiě)信給我討論和指教,并且發(fā)表論文和公開(kāi)講話(huà)對(duì)何新邏輯給予高度評(píng)價(jià)。院士命名我的邏輯體系為“何新樹(shù)”--即何新邏輯樹(shù)(“樹(shù)”是一個(gè)數(shù)學(xué)專(zhuān)用名詞)。
錢(qián)學(xué)森院士希望我對(duì)“何新樹(shù)”做進(jìn)一步研究,結(jié)合數(shù)理邏輯實(shí)現(xiàn)符號(hào)化,形式化,算法化,能夠提供給計(jì)算機(jī)作為一套軟件程序建立應(yīng)用,成為具有算力的邏輯智能系統(tǒng)。
2、我花了三十年思考研究這個(gè)錢(qián)學(xué)森課題。但是實(shí)際上當(dāng)時(shí)我的各方面知識(shí)準(zhǔn)備特別是離散數(shù)學(xué)方面的準(zhǔn)備還是遠(yuǎn)遠(yuǎn)不夠的。我必須考慮如何讓我的這套邏輯系統(tǒng),由自然語(yǔ)言表述轉(zhuǎn)為數(shù)理邏輯和實(shí)現(xiàn)算法程序化,然后進(jìn)一步拓?fù)湫问交头懂牷╟ategorification),從而轉(zhuǎn)變成電腦能用的編碼算法系統(tǒng)。
直到最近幾年,借助計(jì)算機(jī)編碼特別是人工智能技術(shù)的進(jìn)步,我終于把這個(gè)事情初步完成了,構(gòu)建成了現(xiàn)在的泛演化PEPC算法系統(tǒng),即Pan-Evolutionary Paraconsistent Calculus 泛演化超協(xié)調(diào)演算(邏輯系統(tǒng))。
本書(shū)即是我關(guān)于這個(gè)新邏輯體系的一系列論文與研究報(bào)告的匯編。
我謹(jǐn)以此書(shū)告慰于當(dāng)年一直關(guān)注和支持我此項(xiàng)研究的已故錢(qián)學(xué)森院士和我尊愛(ài)的父親何炳然先生。
何新
2025年12月26日記
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺(tái)“網(wǎng)易號(hào)”用戶(hù)上傳并發(fā)布,本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.