123,123

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

　　在世界三大傳統(tǒng)的邏輯史和數(shù)理邏輯史上有一批影響深遠(yuǎn)、恒久流傳的課題，諸如亞里士多德的直言三段論和模態(tài)三段論的本來(lái)面目是怎樣的？亞里士多德的邏輯理論、麥加拉－斯多阿邏輯和歐洲中世紀(jì)邏輯對(duì)現(xiàn)代邏輯的發(fā)展有何重大意義？從現(xiàn)代邏輯觀(guān)點(diǎn)看《周易》和《墨經(jīng)》，有哪些令人驚嘆的成果？中國(guó)名辯邏輯和印度因明有哪些輝煌成就？中國(guó)老一輩現(xiàn)代邏輯學(xué)家金岳霖、沈有鼎和王憲鈞等對(duì)現(xiàn)代邏輯的發(fā)展有何開(kāi)創(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ì)于這些課題本書(shū)均給出了別開(kāi)生面的創(chuàng)新性答案。

作者簡(jiǎn)介

　　張家龍，中國(guó)社會(huì)科學(xué)院哲學(xué)研究所研究員、博士生導(dǎo)師。1961年從北京大學(xué)哲學(xué)系畢業(yè)，留校攻讀哲學(xué)系數(shù)理邏輯專(zhuān)業(yè)研究生。1965年8月到中國(guó)社會(huì)科學(xué)院哲學(xué)研究所工作，2002年1月5日退休。享受?chē)?guó)務(wù)院頒發(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è)）。

圖書(shū)目錄

自序
西方邏輯史論
亞里士多德直言命題理論的現(xiàn)代解析
亞里士多德直言三段論的本來(lái)面目
亞里士多德的關(guān)系理論探究
亞里士多德對(duì)“偏好”如是說(shuō)
亞里士多德模態(tài)命題理論的現(xiàn)代解析
亞里士多德模態(tài)三段論的本來(lái)面目
論亞里士多德的排中律疑難
麥加拉－斯多阿邏輯
從現(xiàn)代邏輯觀(guā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ǔ)中的直覺(jué)主義學(xué)派
論希爾伯特的元數(shù)學(xué)綱領(lǐng)及其哲學(xué)意義
哥德?tīng)柌煌耆远ɡ怼鋬?nèi)容、方法和意義
塔爾斯基真之不可定義性定理——兼論其與哥德?tīng)柌煌耆远ɡ淼年P(guān)系
可計(jì)算性理論的奠基
論沈有鼎悖論在數(shù)理邏輯史上的地位
中國(guó)邏輯史論和因明論
中國(guó)哲學(xué)中的邏輯和語(yǔ)言
從數(shù)理邏輯觀(guān)點(diǎn)看《周易》
論《墨經(jīng)》中侔式推理的有效式
荀子的名辯邏輯
兩漢至近現(xiàn)代時(shí)期中國(guó)名辯邏輯的主要成就
論金岳霖先生的《邏輯》
論沈有鼎的兩個(gè)公孫龍假說(shuō)
沈有鼎型的認(rèn)知邏輯系統(tǒng)KBT
王憲鈞先生對(duì)中國(guó)數(shù)理邏輯發(fā)展的貢獻(xiàn)
從現(xiàn)代邏輯觀(guān)點(diǎn)看印度新因明三支論式
評(píng)陳那新因明體系“除外命題說(shuō)”
附錄
附錄一張家龍論著目錄
附錄二張家龍(《20世紀(jì)中國(guó)知名科學(xué)家學(xué)術(shù)成就概覽×哲學(xué)卷（第三分冊(cè)）》條目）