關(guān)于我發(fā)明的新邏輯工具PEPC系統(tǒng)簡介

1/我1980年發(fā)明了一套邏輯，最初我命名這個(gè)系統(tǒng)為“歷史概念集合”（發(fā)表于《學(xué)術(shù)月刊》1980年第11期，上海的一個(gè)門檻很高的人文雜志）。后來又陸續(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ā)表后應(yīng)者寥寥，事實(shí)上多數(shù)人看不懂，甚至一些專業(yè)人士也很少人懂，因?yàn)槠溆^念太超前，而且與當(dāng)時(shí)的主流學(xué)派（羅素邏輯斯蒂派和維也納學(xué)派）的基礎(chǔ)理論存在矛盾。
但是偉大的錢學(xué)森院士閱讀我的論文后，立刻理解了這個(gè)新邏輯理論系統(tǒng)的涵義和價(jià)值。他給我寫信高度評(píng)價(jià)并且為這個(gè)系統(tǒng)（歷史概念集合）命名為“何新樹”，即何新邏輯樹。所謂“樹”是數(shù)學(xué)拓?fù)鋵W(xué)的一個(gè)專用名詞。
錢學(xué)森希望我對(duì)我發(fā)明的新邏輯，做深入的進(jìn)一步研究，結(jié)合數(shù)理邏輯和現(xiàn)代數(shù)學(xué)理論實(shí)現(xiàn)符號(hào)化，形式化，算法化，未來能夠提供給計(jì)算機(jī)作為軟件程序應(yīng)用，使之成為強(qiáng)大的具有算力可以實(shí)用的人工預(yù)測(cè)系統(tǒng)——偉大的遠(yuǎn)見和設(shè)想！為此錢學(xué)森同志給我寫了多封信。信中提出了重要的設(shè)想、建議和希望，并且他在第一次全國思維科學(xué)大會(huì)的發(fā)言中，向與會(huì)者介紹了我的工作和“何新樹”。

2/此后四十多年我一直在深入思考研究這個(gè)錢學(xué)森課題。但是當(dāng)時(shí)我的各方面準(zhǔn)備知識(shí)和基礎(chǔ)理論是遠(yuǎn)遠(yuǎn)不夠的。我必須考慮如何讓我提出的這套邏輯系統(tǒng)，由自然語言表述實(shí)現(xiàn)數(shù)理邏輯化，形式化和程序化。然后如何轉(zhuǎn)變成電腦能用的編碼算法系統(tǒng)。
直到最近幾年，借助計(jì)算機(jī)編碼特別是人工智能的偉大技術(shù)進(jìn)步，我終于把這個(gè)事情初步完成了。現(xiàn)在終于初步建成了“何新泛演化邏輯PEPC”算法及預(yù)測(cè)系統(tǒng)，實(shí)現(xiàn)了這個(gè)重大的邏輯算法發(fā)明，并且使之初步實(shí)驗(yàn)了應(yīng)用。算完成了錢學(xué)森院士生前對(duì)我的諄諄交代。

3/我在 2005年出版的《泛演化邏輯引論》一書序言中曾經(jīng)說：
“在亞里士多德創(chuàng)立古典形式邏輯，培根創(chuàng)立“新工具”（歸納實(shí)驗(yàn)邏輯），布爾、弗雷格創(chuàng)立布爾代數(shù)和數(shù)理（符號(hào)）邏輯以后，作為一個(gè)中國學(xué)者，我為自己能建立一種新的邏輯工具而感到欣慰。”
——事實(shí)上，我也許多少還可以有一點(diǎn)小小的自豪（？）。是為序

何新
2026年1月30日于上海

【附注】此文是我最新著作《何新樹：泛演化邏輯系統(tǒng)UEL及PEPC通論》的序言。

何新邏輯著作（按出版時(shí)間排序）

何新. 何新集[M]. 哈爾濱: 黑龍江教育出版社, 1988.

何新. 思辨邏輯引論：一種新邏輯的探索[M]. 哈爾濱: 黑龍江教育出版社, 2001.

何新. 哲學(xué)思考: 上下卷[M]. 北京: 時(shí)事出版社, 2001.

何新. 泛演化邏輯引論——思維邏輯學(xué)的本體論基礎(chǔ)[M]. 北京: 時(shí)事出版社, 2005.

何新. 我的邏輯與方法[M]. 北京: 時(shí)事出版社, 2008.

何新. 新邏輯主義哲學(xué)[M]. 編撰本. 北京: 同心出版社, 2013.

何新.《何新樹：泛演化邏輯系統(tǒng)UEL及PEPC通論》，2026.（待出版）
附錄：
何新與錢學(xué)森通信[G]//錢學(xué)森書信集: 第一卷. 北京: 國防工業(yè)出版社, 2011.