關于我發(fā)明的新邏輯工具PEPC系統(tǒng)簡介
1/我1980年發(fā)明了一套邏輯,最初我命名這個系統(tǒng)為“歷史概念集合”(發(fā)表于《學術月刊》1980年第11期,上海的一個門檻很高的人文雜志)。后來又陸續(xù)發(fā)表了一系列后續(xù)論文,我把我的這套新邏輯系統(tǒng)命名為“泛演化邏輯”(U n i v e r s a l E v o l u t i o n l o g i c / U . E . L . 系 統(tǒng) )。
但是這一組論文發(fā)表后應者寥寥,事實上多數(shù)人看不懂,甚至一些專業(yè)人士也很少人懂,因為其觀念太超前,而且與當時的主流學派(羅素邏輯斯蒂派和維也納學派)的基礎理論存在矛盾。
但是偉大的錢學森院士閱讀我的論文后,立刻理解了這個新邏輯理論系統(tǒng)的涵義和價值。他給我寫信高度評價并且為這個系統(tǒng)(歷史概念集合)命名為“何新樹”,即何新邏輯樹。所謂“樹”是數(shù)學拓撲學的一個專用名詞。
錢學森希望我對我發(fā)明的新邏輯,做深入的進一步研究,結合數(shù)理邏輯和現(xiàn)代數(shù)學理論實現(xiàn)符號化,形式化,算法化,未來能夠提供給計算機作為軟件程序應用,使之成為強大的具有算力可以實用的人工預測系統(tǒng)——偉大的遠見和設想!為此錢學森同志給我寫了多封信。信中提出了重要的設想、建議和希望,并且他在第一次全國思維科學大會的發(fā)言中,向與會者介紹了我的工作和“何新樹”。
2/此后四十多年我一直在深入思考研究這個錢學森課題。但是當時我的各方面準備知識和基礎理論是遠遠不夠的。我必須考慮如何讓我提出的這套邏輯系統(tǒng),由自然語言表述實現(xiàn)數(shù)理邏輯化,形式化和程序化。然后如何轉(zhuǎn)變成電腦能用的編碼算法系統(tǒng)。
直到最近幾年,借助計算機編碼特別是人工智能的偉大技術進步,我終于把這個事情初步完成了。現(xiàn)在終于初步建成了“何新泛演化邏輯PEPC”算法及預測系統(tǒng),實現(xiàn)了這個重大的邏輯算法發(fā)明,并且使之初步實驗了應用。算完成了錢學森院士生前對我的諄諄交代。
3/我在 2005年出版的《泛演化邏輯引論》一書序言中曾經(jīng)說:
“在亞里士多德創(chuàng)立古典形式邏輯,培根創(chuàng)立“新工具”(歸納實驗邏輯),布爾、弗雷格創(chuàng)立布爾代數(shù)和數(shù)理(符號)邏輯以后,作為一個中國學者,我為自己能建立一種新的邏輯工具而感到欣慰。”
——事實上,我也許多少還可以有一點小小的自豪(?)。是為序
何新
2026年1月30日于上海
【附注】此文是我最新著作《何新樹:泛演化邏輯系統(tǒng)UEL及PEPC通論》的序言。
何新邏輯著作(按出版時間排序)
何新. 何新集[M]. 哈爾濱: 黑龍江教育出版社, 1988.
何新. 思辨邏輯引論:一種新邏輯的探索[M]. 哈爾濱: 黑龍江教育出版社, 2001.
何新. 哲學思考: 上下卷[M]. 北京: 時事出版社, 2001.
何新. 泛演化邏輯引論——思維邏輯學的本體論基礎[M]. 北京: 時事出版社, 2005.
何新. 我的邏輯與方法[M]. 北京: 時事出版社, 2008.
何新. 新邏輯主義哲學[M]. 編撰本. 北京: 同心出版社, 2013.
何新.《何新樹:泛演化邏輯系統(tǒng)UEL及PEPC通論》,2026.(待出版)
附錄:
何新與錢學森通信[G]//錢學森書信集: 第一卷. 北京: 國防工業(yè)出版社, 2011.
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布,本平臺僅提供信息存儲服務。
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.