在世界三大傳統(tǒng)的邏輯史和數(shù)理邏輯史上有一批影響深遠(yuǎn)、恒久流傳的課題,諸如亞里士多德的直言三段論和模態(tài)三段論的本來面目是怎樣的?亞里士多德的邏輯理論、麥加拉-斯多阿邏輯和歐洲中世紀(jì)邏輯對(duì)現(xiàn)代邏輯的發(fā)展有何重大意義?從現(xiàn)代邏輯觀點(diǎn)看《周易》和《墨經(jīng)》,有哪些令人驚嘆的成果?中國(guó)名辯邏輯和印度因明有哪些輝煌成就?中國(guó)老一輩現(xiàn)代邏輯學(xué)家金岳霖、沈有鼎和王憲鈞等對(duì)現(xiàn)代邏輯的發(fā)展有何開創(chuàng)性貢獻(xiàn)?我們應(yīng)當(dāng)用何種方法研究世界三大傳統(tǒng)的邏輯史?公理學(xué)、邏輯演算和集合論是怎樣發(fā)展起來的?20世紀(jì)梳理邏輯三大成果和三大學(xué)派怎樣推動(dòng)了現(xiàn)代邏輯突發(fā)猛進(jìn)的發(fā)展?這些成果對(duì)馬克思主義哲學(xué)產(chǎn)生了哪些重要影響?等等,對(duì)于這些課題本書均給出了別開生面的創(chuàng)新性答案。
自 序
我的研究工作涉及邏輯與哲學(xué)諸領(lǐng)域:傳統(tǒng)邏輯、西方邏輯史、數(shù)理邏輯史、現(xiàn)代邏輯系統(tǒng)的構(gòu)建、中國(guó)邏輯史、因明、現(xiàn)代西方哲學(xué)和邏輯哲學(xué)等。我的學(xué)術(shù)成就概覽有幸入選錢偉長(zhǎng)總主編、汝信主編的國(guó)家重點(diǎn)圖書項(xiàng)目《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽· 哲學(xué)卷》(第三分冊(cè))。 錢偉長(zhǎng)在“總序” 中說:“《概覽》紙書預(yù)計(jì)收錄數(shù)千名海內(nèi)外知名華人科學(xué)技術(shù)和人文社會(huì)科學(xué)專家學(xué)者,展示他們的求學(xué)經(jīng)歷、學(xué)術(shù)成就、治學(xué)方略、價(jià)值觀念,彰顯他們?yōu)榇龠M(jìn)中國(guó)和世界科技發(fā)展、經(jīng)濟(jì)和社會(huì)進(jìn)步所做出的貢獻(xiàn),秉承他們?cè)趦?nèi)憂外患中堅(jiān)韌不拔、追求真理的科學(xué)精神和執(zhí)著、赤誠(chéng)的愛國(guó)傳統(tǒng),激勵(lì)后人見賢思齊、知恥后勇,在新世紀(jì)的大繁榮、大發(fā)展時(shí)期,為中華民族的偉大復(fù)興和全人類的知識(shí)創(chuàng)新而奮發(fā)有為。” 為了更好地達(dá)到錢偉長(zhǎng)先生提出的目標(biāo),我首先編了這部《邏輯史論》,作為我在西方邏輯史、數(shù)理邏輯史、中國(guó)邏輯史和因明等領(lǐng)域?qū)W術(shù)成就的“詳覽”,希望能對(duì)年輕的邏輯工作者和哲學(xué)工作者的學(xué)術(shù)成長(zhǎng)有所啟迪。至于我在邏輯與哲學(xué)其他領(lǐng)域?qū)W術(shù)成就的“詳覽”, 容日后有機(jī)會(huì)再編吧!
最后,以一首《我的墓志銘》結(jié)束本序:
他蒙愛智之神垂青,
一生在邏輯與哲學(xué)諸領(lǐng)域徜徉。
他沒有虛度年華,
也沒有碌碌無為。
他一生追求淡泊和寧?kù)o,
堅(jiān)守正直和善良。
張家龍
2016年9月
于中國(guó)社會(huì)科學(xué)院干面胡同宿舍
張家龍,中國(guó)社會(huì)科學(xué)院哲學(xué)研究所研究員、博士生導(dǎo)師。1961年從北京大學(xué)哲學(xué)系畢業(yè),留校攻讀哲學(xué)系數(shù)理邏輯專業(yè)研究生。1965年8月到中國(guó)社會(huì)科學(xué)院哲學(xué)研究所工作,2002年1月5日退休。享受國(guó)務(wù)院頒發(fā)的特殊津貼。現(xiàn)任中國(guó)邏輯學(xué)會(huì)名譽(yù)會(huì)長(zhǎng)和監(jiān)事長(zhǎng),《邏輯學(xué)研究》雜志顧問。其學(xué)術(shù)成就入選《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽·哲學(xué)卷》(第三分冊(cè))。
自 序
西方邏輯史論
亞里士多德直言命題理論的現(xiàn)代解析
亞里士多德直言三段論的本來面目
亞里士多德的關(guān)系理論探究
亞里士多德對(duì)“偏好”如是說
亞里士多德模態(tài)命題理論的現(xiàn)代解析
亞里士多德模態(tài)三段論的本來面目
論亞里士多德的排中律疑難
麥加拉-斯多阿邏輯
從現(xiàn)代邏輯觀點(diǎn)看中世紀(jì)彼得的語言邏輯理論
中世紀(jì)的模態(tài)命題邏輯系統(tǒng)S及其與路易斯S3系統(tǒng)的比較研究
歸納法和古典歸納邏輯發(fā)展史
數(shù)理邏輯史論
公理學(xué)的歷程
邏輯演算簡(jiǎn)史
從素樸集合論到公理集合論
羅素的邏輯主義及其在數(shù)理邏輯史上的地位
評(píng)數(shù)學(xué)基礎(chǔ)中的直覺主義學(xué)派
論希爾伯特的元數(shù)學(xué)綱領(lǐng)及其哲學(xué)意義
哥德爾不完全性定理——其內(nèi)容、方法和意義
塔爾斯基真之不可定義性定理——兼論其與哥德爾不完全性定理的關(guān)系
可計(jì)算性理論的奠基
論沈有鼎悖論在數(shù)理邏輯史上的地位
中國(guó)邏輯史論和因明論
中國(guó)哲學(xué)中的邏輯和語言
從數(shù)理邏輯觀點(diǎn)看《周易》
論《墨經(jīng)》中侔式推理的有效式
荀子的名辯邏輯
兩漢至近現(xiàn)代時(shí)期中國(guó)名辯邏輯的主要成就
論金岳霖先生的《邏輯》
論沈有鼎的兩個(gè)公孫龍假說
沈有鼎型的認(rèn)知邏輯系統(tǒng)KBT
王憲鈞先生對(duì)中國(guó)數(shù)理邏輯發(fā)展的貢獻(xiàn)
從現(xiàn)代邏輯觀點(diǎn)看印度新因明三支論式
評(píng)陳那新因明體系“除外命題說”
附錄
附錄一 張家龍論著目錄
附錄二 張家龍(《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽×哲學(xué)卷(第三分冊(cè))》條目)