本書熔羅素的數(shù)理邏輯與哲學理論為一爐、將羅素的邏輯與哲學有機結(jié)合起來,全面系統(tǒng)地闡述羅素在20世紀的邏輯學和哲學發(fā)展中的地位和作用。羅素是數(shù)理邏輯的奠基人,是以往數(shù)理邏輯發(fā)展的集大成者,在數(shù)理邏輯史上起了承先啟后的里程碑式的作用。羅素提出了邏輯與數(shù)學等同的邏輯主義論題,并且進行了從邏輯演算推出數(shù)學的科學實踐,為厘清邏輯與數(shù)學的關(guān)系建立了殊勛。羅素提出邏輯是哲學的本質(zhì),將邏輯分析方法應(yīng)用于他的各種哲學理論,是20世紀分析哲學和語言哲學的奠基人。羅素的哲學沒有一個統(tǒng)一的體系,其特點是多變性和不變性的統(tǒng)一。本書以馬克思主義哲學為指導,認為在羅素哲學中有很多合理內(nèi)核,對豐富和發(fā)展馬克思主義哲學有重要意義。
張家龍,中國社會科學院哲學研究所研究員、博士生導師。1938年6月6日生,江蘇江都人。1961年7月在北京大學哲學系本科畢業(yè)。畢業(yè)后留系攻讀數(shù)理邏輯專業(yè)研究生,1965年2月研究生畢業(yè)。1965年8月到中國科學院哲學研究所(現(xiàn)中國社會科學院哲學研究所)工作,2002年1月5日退休。1992年起享受國務(wù)院政府特殊津貼。研究方向是現(xiàn)代邏輯、邏輯哲學與邏輯史。歷任哲學研究所邏輯學研究室主任、職稱評委會副主任、學位委員會副主席。曾兼任中國邏輯學會會長、國家社會科學基金哲學評審組成員,F(xiàn)任中國邏輯學會名譽會長和監(jiān)事長。已出版專著10部,合著13部;譯著多部;已發(fā)表中英論文及其他文章一百余篇。其學術(shù)成就入選錢偉長總主編、汝信主編的《20世紀中國知名科學家學術(shù)成就概覽?哲學卷(第三分冊)》(科學出版社2014年版)。退休后的學術(shù)成就入選劉紅等主編的《皓首丹心中國社會科學院老專家風采》(中國社會科學出版社2019年版)。
章 羅素的生平及其邏輯與哲學著作
邏輯篇
第二章 羅素的數(shù)理邏輯建立前的歷史背景與邏輯發(fā)展概覽
節(jié) 數(shù)理邏輯產(chǎn)生的歷史背景
第二節(jié) 萊布尼茨創(chuàng)建數(shù)理邏輯的指導思想
一 邏輯演算
二 普遍語言
第三節(jié) 邏輯演算建立前邏輯學與數(shù)學的成果
一 邏輯代數(shù)
二 關(guān)系邏輯
三 分析的算術(shù)化
四 弗雷格的邏輯演算
五 皮亞諾的符號體系
第三章 羅素的數(shù)理邏輯其內(nèi)容和方法
節(jié) 從《關(guān)系邏輯》到《數(shù)學原理》
一 《關(guān)系邏輯》
二 《數(shù)學的原則》
三 《論指稱》
四 《以類型論為基礎(chǔ)的數(shù)理邏輯》
五 《數(shù)學原理》
第二節(jié) 命題演算和謂詞演算
第三節(jié) 摹狀詞的形式處理
一 含有摹狀詞的命題的真假條件
二 摹狀詞存在的定義
三 摹狀詞的重要定理
第四節(jié) 類和關(guān)系的邏輯
一 類邏輯
二 關(guān)系邏輯
第四章 邏輯演算的發(fā)展
節(jié) 命題演算和謂詞演算的不同系統(tǒng)
第二節(jié) 邏輯演算的元理論
一 命題演算的元理論
二 謂詞演算的一致性與獨立性
三 哥德爾完全性定理
第五章 羅素的邏輯主義及其在數(shù)理邏輯史上的地位
節(jié) 數(shù)學概念與數(shù)學定理的推導
第二節(jié) 邏輯類型論
第三節(jié) 邏輯主義的歷史地位
哲學篇
第六章 羅素哲學的分期及其特點
第七章 對新黑格爾主義的信奉與背棄
節(jié) 布拉德雷的內(nèi)在關(guān)系說與羅素的外在關(guān)系說
第二節(jié) 評論
一 關(guān)于無窮倒退
二 關(guān)于事物的簡單位移改變事物的性質(zhì)
三 關(guān)于同一性或相似性只存在于整體中
四 關(guān)于關(guān)系三階段論
五 內(nèi)在關(guān)系說也不能適用于對稱關(guān)系
六 評陳啟偉對羅素觀點的兩點異議
第八章 摹狀詞理論分析哲學的奠基