本書是《布萊克韋爾哲學指導叢書》的哲學邏輯分冊。本書權威地介紹了哲學邏輯的20個核心領域,包括經典邏輯、模態邏輯、相干邏輯等其他一些邏輯,並且嚴密地考察了關鍵的邏輯概念。在本書的各章節中,國際杰出的邏輯學家、哲學家、計算機科學家、語言學家提供了廣泛的研究成果,這些成果涉及各相關專題領域中的概念、研究動因、方法、形式系統、主要結果及其應用。
本書可以作為哲學邏輯一般課程的基礎文獻,也可以作為某些研究專題的輔助資源和參考文獻;既定位于一般性讀者,又定位于有經驗的邏輯學家。本書為進一步的學習研究提供了堅實的基礎。
目錄
本書作者介紹
序
引言
第1章 經典邏輯Ⅰ︰一階邏輯
第2章 經典邏輯Ⅱ︰高階邏輯
第3章 集合論
第4章 哥德爾的不完全性定理
第5章 真
第6章 邏輯推論
第7章 模態邏輯
第8章 道義邏輯
第9章 認知邏輯
第10章 時間邏輯
第11章 直覺主義邏輯
第12章 自由邏輯
第13章 相干邏輯
第14章 多值邏輯
第15章 非單調邏輯
第16章 概率. 邏輯. 概率邏輯
第17章 條件句邏輯
第18章 否定
第19章 量詞
第20章 邏輯和自然語言
索引
序
引言
第1章 經典邏輯Ⅰ︰一階邏輯
第2章 經典邏輯Ⅱ︰高階邏輯
第3章 集合論
第4章 哥德爾的不完全性定理
第5章 真
第6章 邏輯推論
第7章 模態邏輯
第8章 道義邏輯
第9章 認知邏輯
第10章 時間邏輯
第11章 直覺主義邏輯
第12章 自由邏輯
第13章 相干邏輯
第14章 多值邏輯
第15章 非單調邏輯
第16章 概率. 邏輯. 概率邏輯
第17章 條件句邏輯
第18章 否定
第19章 量詞
第20章 邏輯和自然語言
索引
序
《布萊克韋爾哲學指導叢書》的這一分冊介紹了哲學邏輯的諸多領域,恐怕我只能說諸多,而不能說全部,因為這是做不到的。盡管如此,本書20章的內容還是構成了當今哲學邏輯的核心,為深人的研究提供了堅實的基礎。在引言部分我將進一步闡述什麼是哲學邏輯,以及這些章節是如何選擇和安排的。
每一章都是由相關專題的杰出學者為本書新撰寫的。他們的目標是為讀者提供有關當前哲學邏輯該專題領域的基礎知識,包括相關的概念、問題、方法和主要結果,甚至還包括應用。各章之間是相互獨立的,可以按任意的順序閱讀,也可以按不同的興趣選擇。盡管如此,由于一些專題在內容上有交叉,我還是為這些章節提供了交叉參考文獻。(各章的寫作也是相互獨立的,因此對某個共同的問題不同的作者可能有不同的觀點。)
對哲學邏輯感興趣的讀者,不管是不是專家,都可以理解本書並有所得益。本書可以作為哲學邏輯一般課程的基礎文獻,它也可以作為某些研究專題的輔助資源和參考文獻。在本書中,有經驗的邏輯學家會發現他們感興趣的豐富資料,而僅僅想知道什麼是哲學邏輯的一般讀者,也會得到一個明確的介紹。哲學邏輯不僅僅是面向哲學家和邏輯學家的。目前,在計算機科學、認知科學、人工智能(AI)和理論語言學的研究中,哲學邏輯同樣顯示出極大的重要性。另外,和所有的邏輯一樣,哲學邏輯同樣和數學有極為密切的關系。
邏輯學是一門技術性的學科,有它特定的語言、符號和方法。因此,如果修過形式邏輯的入門課程,或者在多不勝數的基礎課程中學過任何一門,因而對邏輯學家的語言和技術有所熟悉,那對理解本書顯然是有益的。即使如此,本書的各章對此不作假設而多作解釋。因此,本書對那些未受專門訓練的讀者照樣能開卷有益。
邏輯學家的語言使用許多專門的符號。但說明相同的目的,不同的邏輯學家經常用不同的符號;而說明不同的目的,不同的邏輯學家有時又會用相同的符號。我沒有嘗試用統一的符號來表達本書的形式概念,我相信,對于一個學習邏輯的人來說,熟悉各種類型的符號有好處,因為這些符號在閱讀本書以外的文獻時會經常遇到。但是本書各章的作者在引入他們的符號時都會注意作出自己的解釋,讀者在理解和接觸新類型的符號時不會有什麼困難。
和本書的作者們一起工作使我受益匪淺,我們的合作對我來說經常是一種享受,從他們每個人身上我都學到了很多東西,我相信讀者一定也會有同感。我由衷地感激他們。我是主編,但本書更是他們的成果。在本項目的運作和完成過程中,我曾與之探討的每一位的熱情鼓勵和慷慨幫助,都使我非常滿意。除了本書的作者以外,我要特別感謝N.貝爾納普、J‧範‧本特姆、M.布朗、B.車拉斯、M.鄧恩、J.埃切門第、D.蓋貝、E.里樸、P.馬戴、D.努特、A.烏庫哈特、B‧範‧弗拉森。我也要向布萊克韋爾發行人S.史密斯和B.萊姆斯,向啟動本項目的斯迪夫,向為本項目的最終完成付出了才智和耐心的貝斯致謝。同時也感謝J.羅森和她的一流工作人員的出色工作。
這里,我所欠最多的,恐怕是A‧羅斯‧安德林和N.貝爾納普,正是他們,在很久以前,把哲學邏輯的諸多領域介紹給了我。
每一章都是由相關專題的杰出學者為本書新撰寫的。他們的目標是為讀者提供有關當前哲學邏輯該專題領域的基礎知識,包括相關的概念、問題、方法和主要結果,甚至還包括應用。各章之間是相互獨立的,可以按任意的順序閱讀,也可以按不同的興趣選擇。盡管如此,由于一些專題在內容上有交叉,我還是為這些章節提供了交叉參考文獻。(各章的寫作也是相互獨立的,因此對某個共同的問題不同的作者可能有不同的觀點。)
對哲學邏輯感興趣的讀者,不管是不是專家,都可以理解本書並有所得益。本書可以作為哲學邏輯一般課程的基礎文獻,它也可以作為某些研究專題的輔助資源和參考文獻。在本書中,有經驗的邏輯學家會發現他們感興趣的豐富資料,而僅僅想知道什麼是哲學邏輯的一般讀者,也會得到一個明確的介紹。哲學邏輯不僅僅是面向哲學家和邏輯學家的。目前,在計算機科學、認知科學、人工智能(AI)和理論語言學的研究中,哲學邏輯同樣顯示出極大的重要性。另外,和所有的邏輯一樣,哲學邏輯同樣和數學有極為密切的關系。
邏輯學是一門技術性的學科,有它特定的語言、符號和方法。因此,如果修過形式邏輯的入門課程,或者在多不勝數的基礎課程中學過任何一門,因而對邏輯學家的語言和技術有所熟悉,那對理解本書顯然是有益的。即使如此,本書的各章對此不作假設而多作解釋。因此,本書對那些未受專門訓練的讀者照樣能開卷有益。
邏輯學家的語言使用許多專門的符號。但說明相同的目的,不同的邏輯學家經常用不同的符號;而說明不同的目的,不同的邏輯學家有時又會用相同的符號。我沒有嘗試用統一的符號來表達本書的形式概念,我相信,對于一個學習邏輯的人來說,熟悉各種類型的符號有好處,因為這些符號在閱讀本書以外的文獻時會經常遇到。但是本書各章的作者在引入他們的符號時都會注意作出自己的解釋,讀者在理解和接觸新類型的符號時不會有什麼困難。
和本書的作者們一起工作使我受益匪淺,我們的合作對我來說經常是一種享受,從他們每個人身上我都學到了很多東西,我相信讀者一定也會有同感。我由衷地感激他們。我是主編,但本書更是他們的成果。在本項目的運作和完成過程中,我曾與之探討的每一位的熱情鼓勵和慷慨幫助,都使我非常滿意。除了本書的作者以外,我要特別感謝N.貝爾納普、J‧範‧本特姆、M.布朗、B.車拉斯、M.鄧恩、J.埃切門第、D.蓋貝、E.里樸、P.馬戴、D.努特、A.烏庫哈特、B‧範‧弗拉森。我也要向布萊克韋爾發行人S.史密斯和B.萊姆斯,向啟動本項目的斯迪夫,向為本項目的最終完成付出了才智和耐心的貝斯致謝。同時也感謝J.羅森和她的一流工作人員的出色工作。
這里,我所欠最多的,恐怕是A‧羅斯‧安德林和N.貝爾納普,正是他們,在很久以前,把哲學邏輯的諸多領域介紹給了我。
網路書店
類別
折扣
價格
-
新書87折$417