數(shù)理邏輯

前言

　　本書脫胎于北京大學(xué)哲學(xué)系本科“數(shù)理邏輯”課程的講義，書名從課名。原講義在實(shí)際使用中，經(jīng)過了多次刪改與修補(bǔ)，最后成書時(shí)，我們做了進(jìn)一步的加工，重寫了若干部分，增加了一些內(nèi)容，以求能夠滿足更大范圍的讀者的需要?！　∠旅婢捅緯膬?nèi)容及編寫方式做幾點(diǎn)說明?！　〉谝唬@是一本入門教材，針對(duì)邏輯學(xué)的初學(xué)者，尤其是初學(xué)邏輯的學(xué)生，而不要求讀者有數(shù)學(xué)方面的預(yù)備知識(shí)。在內(nèi)容方面，本書只介紹一階邏輯的最基本的知識(shí)和技術(shù)，包括一階語言的語形和語義、一階推演系統(tǒng)、一階邏輯的完全性定理等。這些知識(shí)和技術(shù)已經(jīng)成為邏輯入門的必

內(nèi)容概要

該書分演繹及其證成，真理與悖論，意義與指稱，存在、量化和本體論，休謨問題與歸納邏輯，共五個(gè)部分，對(duì)邏輯哲學(xué)進(jìn)行了全面系統(tǒng)的概論，同時(shí)吸收了近幾年國際邏輯哲學(xué)方面的最新進(jìn)展，每一章后面的思考題和推薦閱讀文獻(xiàn)更是大大方便了教學(xué)和閱讀。作者在國內(nèi)長期教授邏輯課程，也曾經(jīng)寫作過邏輯學(xué)和邏輯哲學(xué)方面的著作，具有深厚的功底和豐富的經(jīng)驗(yàn)。　　本書脫胎于北京大學(xué)哲學(xué)系本科“數(shù)理邏輯”課程的講義，針對(duì)邏輯學(xué)的初學(xué)者，尤其是初學(xué)邏輯的學(xué)生，介紹一階邏輯的最基本的知識(shí)和技術(shù)，包括一階語言的語形和語義、一階推演系統(tǒng)、一階邏輯的完全性定理等。

作者簡介

邢滔滔，北京大學(xué)哲學(xué)系副教授

書籍目錄

第一章　緒論：從直觀到形式　1　從“矛盾”說起　2　直觀上的推理　3　正確推理　4　一階語言　5　推演系統(tǒng)第二章　集合　1　集合（不）是什么？　2　關(guān)系　3　函數(shù)　4　可數(shù)集與不可數(shù)集第三章　一階語言的語形　1　字母表　2　歸納定義　3  項(xiàng)  　4　公式　5　遞歸定義　6  自由和約束代入第四章　經(jīng)典語義學(xué)　1　結(jié)構(gòu)與解釋　2　等詞、量詞和聯(lián)結(jié)詞　3　滿足真　4　語義后承　5　可滿足性有效性語義等值　6　代入引理　7　模型舉例第五章  自然推演系統(tǒng)  1　推理規(guī)則概說  2　聯(lián)結(jié)詞規(guī)則  3　命題推演語形后承  4　量詞和等詞規(guī)則  5　一階推演  6　經(jīng)典與直覺主義邏輯的關(guān)系第六章　可靠性與完全性  1　經(jīng)典可靠性  2　一致性  3　經(jīng)典命題完全性  4　Henkin定理  5　可滿足性定理  6　經(jīng)典完全性  7  緊致性定理與Lowenheim-Skolem定理  8　直覺主義完全性參考文獻(xiàn)

編輯推薦

　　按照許多學(xué)校的安排，在邏輯的入門課之后，還有相應(yīng)的進(jìn)深課程，供有興趣的同學(xué)選修。我們?cè)谡n程設(shè)置上，也采取了這個(gè)策略。在這樣的安排之下，《數(shù)理邏輯》的內(nèi)容，對(duì)應(yīng)于大學(xué)本科的第一門"數(shù)理邏輯"或"符號(hào)邏輯"課程。

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

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

---