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