數(shù)理邏輯

定　價(jià)：￥58.00

作　者：	余俊偉，趙曉玉，裘江杰，張立英著
出版社：	中國(guó)人民大學(xué)出版社
叢編項(xiàng)：	新編21世紀(jì)哲學(xué)系列教材；中國(guó)人民大學(xué)"十三五"規(guī)劃教材—特色教材
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

京東 (￥52.20)

ISBN：	9787300284392	出版時(shí)間：	2020-08-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	370	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《數(shù)理邏輯（新編21世紀(jì)哲學(xué)系列教材；中國(guó)人民大學(xué)“十三五”規(guī)劃教材—特色教材）》是為了給將來(lái)致力于數(shù)理邏輯研究的讀者奠定堅(jiān)實(shí)基礎(chǔ)而寫(xiě)的。概括地講，第1-4章為基礎(chǔ)內(nèi)容，第5-6章為高階內(nèi)容。具體來(lái)看，第1章從思想史角度講述哲學(xué)之于邏輯的動(dòng)機(jī)催發(fā)，第2章講述命題邏輯的早期簡(jiǎn)史、語(yǔ)法語(yǔ)義、完全性、緊致性等，第3章講述一階邏輯的早期簡(jiǎn)史、語(yǔ)法語(yǔ)義、完全性、緊致性及應(yīng)用、哲學(xué)的應(yīng)用等，第4章講述一階理論的基本性質(zhì)、幾種形式等，第5章講述哥德?tīng)杻蓚€(gè)不完全性定理的數(shù)學(xué)哲學(xué)動(dòng)機(jī)、詳細(xì)證明過(guò)程、一些相關(guān)推論、數(shù)學(xué)哲學(xué)影響等，第6章以模態(tài)邏輯為例說(shuō)明邏輯之于哲學(xué)的實(shí)際應(yīng)用。

作者簡(jiǎn)介

　　余俊偉，中國(guó)人民大學(xué)哲學(xué)院教授，主要研究方向?yàn)檫壿嫼托味蠈W(xué)。趙曉玉，中國(guó)人民大學(xué)哲學(xué)院講師，主要研究方向?yàn)閿?shù)理邏輯、數(shù)學(xué)基礎(chǔ)和數(shù)學(xué)哲學(xué)。裘江杰，中國(guó)人民大學(xué)哲學(xué)院副教授，主要研究方向?yàn)榧险摗⒎治稣軐W(xué)和科學(xué)哲學(xué)。張立英，中央財(cái)經(jīng)大學(xué)文化與傳媒學(xué)院教授，主要研究方向?yàn)檎軐W(xué)邏輯。

圖書(shū)目錄

第1章哲學(xué)緣起
1．1 哲學(xué)之求真
1．2 從哲學(xué)到邏輯
1．2．1 亞里士多德的邏輯與哲學(xué)
1．2．2 弗雷格的邏輯與哲學(xué)
第2章命題邏輯
2．1 導(dǎo)言
2．1．1 什么是命題邏輯
2．1．2 命題邏輯發(fā)展簡(jiǎn)史
2．1．3 本章的基本脈絡(luò)
2．2 語(yǔ)言
2．3 語(yǔ)義
2．3．1 真與真值
2．3．2 組合性
2．3．3 聯(lián)詞與真值表
2．3．4 形式語(yǔ)義
2．3．5 常見(jiàn)重言式
2．4 公理系統(tǒng)
2．4．1 命題演算
2．4．2 證明和內(nèi)定理
2．4．3 演繹規(guī)則
2．4．4 演繹定理
2．4．5 公理的獨(dú)立性
2．5 可靠性和完全性
2．5．1 可靠性證明
2．5．2 完全性證明
2．5．3 廣義完全性定理
2．5．4 公理的獨(dú)立性
2．5．5 緊致性和可判定性
第3章一階邏輯
3．1 導(dǎo)言
3．1．1 問(wèn)題引入
3．1．2 早期簡(jiǎn)史
3．2 語(yǔ)法
3．2．1 基本語(yǔ)法
3．2．2 無(wú)歧義性
3．2．3 遞歸定義
3．2．4 歸納證明
3．2．5 自由變?cè)?br />3．3 語(yǔ)義
3．3．1 結(jié)構(gòu)與賦值
3．3．2 塔斯基語(yǔ)義
3．3．3 合同與代入
3．3．4 重要有效式
3．3．5 公式的范式
3．4 公理系統(tǒng)
3．4．1 公理系統(tǒng)
3．4．2 證明與演繹
3．4．3 重要元定理
3．4．4 演繹規(guī)則
3．4．5 邏輯與理論
3．5 完全性定理
3．5．1 可靠性定理
3．5．2 可滿足定理
3．5．3 可擴(kuò)張定理
3．5．4 完全性定理
……
第4章一階理論
第5章不完全性
第6章模態(tài)邏輯
參考文獻(xiàn)
符號(hào)索引
名稱(chēng)索引
術(shù)語(yǔ)索引