數(shù)理邏輯

出版時(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)分、閱讀與下載


    數(shù)理邏輯 PDF格式下載


用戶評(píng)論 (總計(jì)24條)

 
 

  •   為了學(xué)哲學(xué),回頭來(lái)補(bǔ)數(shù)理邏輯的課。
  •   這本書(shū)非常的強(qiáng)調(diào)數(shù)理邏輯基本思想的闡釋,強(qiáng)調(diào)邏輯概念的從直觀到形式化的連續(xù)性。但是沒(méi)有引入公理化的系統(tǒng)有點(diǎn)美中不足。
  •   一本值得一讀的好書(shū)!如果你喜歡邏輯推理,可以讀讀此書(shū)??!
  •   結(jié)構(gòu)安排的和其他邏輯書(shū)不同。
  •   邏輯學(xué)入門必備,請(qǐng)收藏
  •   內(nèi)容還是比較通俗,深度適合普通的人,不錯(cuò)!
  •   書(shū)不錯(cuò),內(nèi)容很豐富,對(duì)學(xué)概率很有幫助!
  •   要看就得用心看
  •   不錯(cuò)的書(shū),很值得一讀
  •   圖書(shū)館發(fā)現(xiàn)之后,果斷入手。
  •   幫同學(xué)買的,考清華北大自招很適用。
  •   書(shū)很不錯(cuò),就是感覺(jué)有點(diǎn)難,題目沒(méi)答案那。
  •   讀研時(shí),沒(méi)學(xué)該課,現(xiàn)在補(bǔ)補(bǔ)習(xí)!
  •   入門的好書(shū)籍 值得大家讀讀
  •   書(shū)還沒(méi)看,聽(tīng)那個(gè)說(shuō)很不錯(cuò),先頂一下
  •   內(nèi)容一般,感覺(jué)用處不大
  •   我自學(xué)過(guò)金岳霖的形式邏輯,感覺(jué)邢滔滔教授寫(xiě)的還是有點(diǎn)專業(yè)(當(dāng)然也許寫(xiě)作者本人也許意識(shí)不到這兒)。
  •   這本書(shū)是北京大學(xué)出版社博雅大學(xué)堂哲學(xué)系列教材的一本,所以對(duì)于文史哲之類的學(xué)生很實(shí)用。對(duì)于理工農(nóng)醫(yī)科的學(xué)生似乎就比較淺了。
  •   我當(dāng)初以為和理學(xué)一樣呢,就買了,買了以后才知道這是哲學(xué)類的書(shū)
  •   書(shū)還不錯(cuò),是北大的講義。適合文科入門。但缺點(diǎn)是習(xí)題沒(méi)解答。
  •   雖然沒(méi)看多少,但是覺(jué)得還不錯(cuò)。要是習(xí)題有答案就好了,或者有配套輔導(dǎo)。。。。
  •   好奇。。。。
  •   學(xué)文科的自學(xué)的確很難,不過(guò)我會(huì)努力攻關(guān)!
  •   偏向文科的!計(jì)算機(jī)專業(yè)的就不要買了!
 

250萬(wàn)本中文圖書(shū)簡(jiǎn)介、評(píng)論、評(píng)分,PDF格式免費(fèi)下載。 第一圖書(shū)網(wǎng) 手機(jī)版

京ICP備13047387號(hào)-7