出版時(shí)間:2008-8 出版社:北京大學(xué)出版社 作者:邢滔滔 頁(yè)數(shù):273
Tag標(biāo)簽:無(wú)
前言
本書(shū)脫胎于北京大學(xué)哲學(xué)系本科“數(shù)理邏輯”課程的講義,書(shū)名從課名。原講義在實(shí)際使用中,經(jīng)過(guò)了多次刪改與修補(bǔ),最后成書(shū)時(shí),我們做了進(jìn)一步的加工,重寫(xiě)了若干部分,增加了一些內(nèi)容,以求能夠滿足更大范圍的讀者的需要?! ∠旅婢捅緯?shū)的內(nèi)容及編寫(xiě)方式做幾點(diǎn)說(shuō)明。 第一,這是一本入門教材,針對(duì)邏輯學(xué)的初學(xué)者,尤其是初學(xué)邏輯的學(xué)生,而不要求讀者有數(shù)學(xué)方面的預(yù)備知識(shí)。在內(nèi)容方面,本書(shū)只介紹一階邏輯的最基本的知識(shí)和技術(shù),包括一階語(yǔ)言的語(yǔ)形和語(yǔ)義、一階推演系統(tǒng)、一階邏輯的完全性定理等。這些知識(shí)和技術(shù)已經(jīng)成為邏輯入門的必
內(nèi)容概要
該書(shū)分演繹及其證成,真理與悖論,意義與指稱,存在、量化和本體論,休謨問(wèn)題與歸納邏輯,共五個(gè)部分,對(duì)邏輯哲學(xué)進(jìn)行了全面系統(tǒng)的概論,同時(shí)吸收了近幾年國(guó)際邏輯哲學(xué)方面的最新進(jìn)展,每一章后面的思考題和推薦閱讀文獻(xiàn)更是大大方便了教學(xué)和閱讀。作者在國(guó)內(nèi)長(zhǎng)期教授邏輯課程,也曾經(jīng)寫(xiě)作過(guò)邏輯學(xué)和邏輯哲學(xué)方面的著作,具有深厚的功底和豐富的經(jīng)驗(yàn)?! ”緯?shū)脫胎于北京大學(xué)哲學(xué)系本科“數(shù)理邏輯”課程的講義,針對(duì)邏輯學(xué)的初學(xué)者,尤其是初學(xué)邏輯的學(xué)生,介紹一階邏輯的最基本的知識(shí)和技術(shù),包括一階語(yǔ)言的語(yǔ)形和語(yǔ)義、一階推演系統(tǒng)、一階邏輯的完全性定理等。
作者簡(jiǎn)介
邢滔滔,北京大學(xué)哲學(xué)系副教授
書(shū)籍目錄
第一章 緒論:從直觀到形式 1 從“矛盾”說(shuō)起 2 直觀上的推理 3 正確推理 4 一階語(yǔ)言 5 推演系統(tǒng)第二章 集合 1 集合(不)是什么? 2 關(guān)系 3 函數(shù) 4 可數(shù)集與不可數(shù)集第三章 一階語(yǔ)言的語(yǔ)形 1 字母表 2 歸納定義 3 項(xiàng) 4 公式 5 遞歸定義 6 自由和約束代入第四章 經(jīng)典語(yǔ)義學(xué) 1 結(jié)構(gòu)與解釋 2 等詞、量詞和聯(lián)結(jié)詞 3 滿足真 4 語(yǔ)義后承 5 可滿足性有效性語(yǔ)義等值 6 代入引理 7 模型舉例第五章 自然推演系統(tǒng) 1 推理規(guī)則概說(shuō) 2 聯(lián)結(jié)詞規(guī)則 3 命題推演語(yǔ)形后承 4 量詞和等詞規(guī)則 5 一階推演 6 經(jīng)典與直覺(jué)主義邏輯的關(guān)系第六章 可靠性與完全性 1 經(jīng)典可靠性 2 一致性 3 經(jīng)典命題完全性 4 Henkin定理 5 可滿足性定理 6 經(jīng)典完全性 7 緊致性定理與Lowenheim-Skolem定理 8 直覺(jué)主義完全性參考文獻(xiàn)
編輯推薦
按照許多學(xué)校的安排,在邏輯的入門課之后,還有相應(yīng)的進(jìn)深課程,供有興趣的同學(xué)選修。我們?cè)谡n程設(shè)置上,也采取了這個(gè)策略。在這樣的安排之下,《數(shù)理邏輯》的內(nèi)容,對(duì)應(yīng)于大學(xué)本科的第一門"數(shù)理邏輯"或"符號(hào)邏輯"課程。
圖書(shū)封面
圖書(shū)標(biāo)簽Tags
無(wú)
評(píng)論、評(píng)分、閱讀與下載
250萬(wàn)本中文圖書(shū)簡(jiǎn)介、評(píng)論、評(píng)分,PDF格式免費(fèi)下載。 第一圖書(shū)網(wǎng) 手機(jī)版