哲學(xué)邏輯

內(nèi)容概要

本書是《布萊克韋爾哲學(xué)指導(dǎo)叢書》的哲學(xué)邏輯分冊。本書權(quán)威地介紹了哲學(xué)邏輯的20個核心領(lǐng)域，包括經(jīng)典邏輯、模態(tài)邏輯、相干邏輯等其他一些邏輯，并且嚴(yán)密地考察了關(guān)鍵的邏輯概念。在本書的各章節(jié)中，國際杰出的邏輯學(xué)家、哲學(xué)家、計算機(jī)科學(xué)家、語言學(xué)家提供了廣泛的研究成果，這些成果涉及各相關(guān)專題領(lǐng)域中的概念、研究動因、方法、形式系統(tǒng)、主要結(jié)果及其應(yīng)用。    本書可以作為哲學(xué)邏輯一般課程的基礎(chǔ)文獻(xiàn)，也可以作為某些研究專題的輔助資源和參考文獻(xiàn)；既定位于一般性讀者，又定位于有經(jīng)驗(yàn)的邏輯學(xué)家。本書為進(jìn)一步的學(xué)習(xí)研究提供了堅實(shí)的基礎(chǔ)。

作者簡介

羅·格勃爾，威勒密特大學(xué)哲學(xué)教授。著有《道德義務(wù)的概念》和《適用與合乎邏輯——新道義邏輯的哲學(xué)基礎(chǔ)》，并在《哲學(xué)邏輯雜志》、《邏輯分析》、《圣母大學(xué)形式邏輯雜志》以及其他哲學(xué)期刊卜發(fā)表了大茸的哲學(xué)玀輯論文。

書籍目錄

本書作者介紹序  引言第1章  經(jīng)典邏輯Ⅰ：一階邏輯第2章  經(jīng)典邏輯Ⅱ：高階邏輯第3章  集合論第4章  哥德爾的不完全性定理第5章  真第6章  邏輯推論第7章  模態(tài)邏輯第8章  道義邏輯第9章  認(rèn)知邏輯第10章  時間邏輯第11章  直覺主義邏輯第12章  自由邏輯第13章  相干邏輯第14章  多值邏輯第15章  非單調(diào)邏輯第16章  概率、邏輯、概率邏輯第17章  條件句邏輯第18章  否定第19章  量詞第20章  邏輯和自然語言索引

章節(jié)摘錄

第1章　經(jīng)典邏輯I：一級邏輯1.1　一階語言本章標(biāo)題中“邏輯”一詞，有不同的含義?！斑壿嫛钡牡谝环N含義，是指一組關(guān)系密切的人工語言。有些語言，我們稱之為一階語言，它們在一起構(gòu)造了一階邏輯。類似的，一些稱之為模態(tài)語言的關(guān)系密切的語言構(gòu)造了模態(tài)邏輯。同樣，另有一些語言構(gòu)造了二階邏輯、道義邏輯等等?！斑壿嫛钡牡诙N也是較為古老的含義，是指對可靠論證的規(guī)則的研究。一階語言可以作為一種框架用以研究論證的規(guī)則，運(yùn)用這種方式的邏輯稱為一階邏輯。許多大學(xué)邏輯課程的內(nèi)容是上述第二種含義上的一階邏輯。本章所討論的一階邏輯，是基于第一種含義，即指的是一種特定的人工語言。在霍季斯l983中，我比本章更為詳細(xì)地討論了一階語言。那部分內(nèi)容的目的是給一階邏輯作個導(dǎo)引，因此，我是從英語論證開始，逐步地引進(jìn)一階邏輯的各種性質(zhì)。對于初學(xué)者來說，這樣做可能是最合適的，但我懷疑對于那些對一階邏輯的哲學(xué)感興趣的人來說，這是否是最好的方法；我擔(dān)心上述這樣的逐步引進(jìn)的方法，會使人不易把握難點(diǎn)及其區(qū)別。因此，在本章中，我采取了不同的方法，直接討論一階句子。以后的章節(jié)會較多地談到和日常英語的聯(lián)系。一階語言是在19世紀(jì)主要由布爾（G．Boole）、弗雷格（G．Frege）和皮爾斯（C．S．Peirce）創(chuàng)立的，但這種語言成為大眾知識則是相當(dāng)近的事，其標(biāo)志是教科書（希爾伯特[D．Hilbert]和阿克曼[w．Ackermann]1950），這本書于1928年首次出版，它的內(nèi)容基于希爾伯特自1917年至1922年的講演。（因此，一階邏輯只流行了約70年，而亞里士多德[Aris—totle]的三段論已有2000多年的歷史。

編輯推薦

　　閱讀統(tǒng)領(lǐng)考研，囊括全部Section 1&Section 2題型。精解精練完形填空，閱讀理解，閱讀理解新題型，英譯漢四部分，選用多篇真題作為范例講解，全面，實(shí)用，提供大量練習(xí)與模擬題，難度適當(dāng)。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    哲學(xué)邏輯 PDF格式下載

---