邏輯史論

自 序
西方邏輯史論
亞里士多德直言命題理論的現(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é)卷（第三分冊）》條目）