123,123

內(nèi)容簡(jiǎn)介

　　在世界三大傳統(tǒng)的邏輯史和數(shù)理邏輯史上有一批影響深遠(yuǎn)、恒久流傳的課題，諸如亞里士多德的直言三段論和模態(tài)三段論的本來(lá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ā)展起來(lái)的？20世紀(jì)梳理邏輯三大成果和三大學(xué)派怎樣推動(dòng)了現(xiàn)代邏輯突發(fā)猛進(jìn)的發(fā)展？這些成果對(duì)馬克思主義哲學(xué)產(chǎn)生了哪些重要影響？等等，對(duì)于這些課題本書均給出了別開生面的創(chuàng)新性答案。

作者簡(jiǎn)介

　　張家龍，中國(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ā)的特殊津貼?，F(xiàn)任中國(guó)邏輯學(xué)會(huì)名譽(yù)會(huì)長(zhǎng)和監(jiān)事長(zhǎng)，《邏輯學(xué)研究》雜志顧問(wèn)。其學(xué)術(shù)成就入選《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽·哲學(xué)卷》（第三分冊(cè)）。

圖書目錄

自序
西方邏輯史論
亞里士多德直言命題理論的現(xiàn)代解析
亞里士多德直言三段論的本來(lái)面目
亞里士多德的關(guān)系理論探究
亞里士多德對(duì)“偏好”如是說(shuō)
亞里士多德模態(tài)命題理論的現(xiàn)代解析
亞里士多德模態(tài)三段論的本來(lái)面目
論亞里士多德的排中律疑難
麥加拉－斯多阿邏輯
從現(xiàn)代邏輯觀點(diǎn)看中世紀(jì)彼得的語(yǔ)言邏輯理論
中世紀(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é)中的邏輯和語(yǔ)言
從數(shù)理邏輯觀點(diǎn)看《周易》
論《墨經(jīng)》中侔式推理的有效式
荀子的名辯邏輯
兩漢至近現(xiàn)代時(shí)期中國(guó)名辯邏輯的主要成就
論金岳霖先生的《邏輯》
論沈有鼎的兩個(gè)公孫龍假說(shuō)
沈有鼎型的認(rèn)知邏輯系統(tǒng)KBT
王憲鈞先生對(duì)中國(guó)數(shù)理邏輯發(fā)展的貢獻(xiàn)
從現(xiàn)代邏輯觀點(diǎn)看印度新因明三支論式
評(píng)陳那新因明體系“除外命題說(shuō)”
附錄
附錄一張家龍論著目錄
附錄二張家龍(《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽×哲學(xué)卷（第三分冊(cè)）》條目）