哲學(xué)邏輯研究

定　價：￥59.00

作　者：	張清宇、郭世銘、李小五
出版社：	社會科學(xué)文獻(xiàn)出版社
叢編項：	中國社會科學(xué)院文庫·哲學(xué)宗教研究系列
標(biāo)　簽：	邏輯學(xué)

購買這本書可以去

京東 (￥41.30)

ISBN：	9787802303997	出版時間：	2007-02-01	包裝：	平裝
開本：	16開	頁數(shù)：	435	字?jǐn)?shù)：

內(nèi)容簡介

　　《哲學(xué)邏輯研究》是1993年國家社會科學(xué)基金項目《哲學(xué)邏輯研究》的最后成果，內(nèi)容包括一階邏輯，模態(tài)邏輯，時態(tài)邏輯，條件句邏輯，多值邏輯，相干邏輯，直覺主義邏輯，弗協(xié)調(diào)邏輯和哥德爾不完全性定理?！墩軐W(xué)邏輯研究》全面、系統(tǒng)、準(zhǔn)確地論述了哲學(xué)邏輯領(lǐng)域的重要分支，同時也闡述了作者近年取得的一些新的研究成果，構(gòu)建了若干新的邏輯系統(tǒng)，如不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)，弗協(xié)調(diào)邏輯的一些系統(tǒng)，這些成果達(dá)到了國際邏輯研究水平。它將有助于國內(nèi)讀者對于哲學(xué)邏輯基本理論的掌握和加深對新理論、新成果的了解，也將有助于推動我國深入開展現(xiàn)代邏輯基本理論研究。

作者簡介

暫缺《哲學(xué)邏輯研究》作者簡介

圖書目錄

前言
第1章一階邏輯
第1節(jié) 命題邏輯的證明方法
第2節(jié) 不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)
第3節(jié) 一階邏輯的公理系統(tǒng)
第2章模態(tài)邏輯
第1節(jié) 模態(tài)系統(tǒng)
第2節(jié) 正規(guī)模態(tài)系統(tǒng)
第3節(jié) 模態(tài)謂詞邏輯
第3章時態(tài)邏輯
第1節(jié) 語言
第2節(jié) 解釋
第3節(jié) 形式系統(tǒng)
第4節(jié) 時態(tài)邏輯的完全性
第5節(jié) 禁對稱性和完全性
第6節(jié) 判定問題
第7節(jié) 帶量詞的時態(tài)邏輯
第8節(jié) 時態(tài)邏輯與模態(tài)邏輯
第9節(jié) 其他時態(tài)詞
第4章條件句邏輯
第1節(jié) 形式系統(tǒng)
第2節(jié) 鄰域模型論
第3節(jié) 關(guān)系模型論
第4節(jié) 球形系統(tǒng)模型論
第5節(jié) 擇類函數(shù)模型論
第6節(jié) 諸語義之比較
第7節(jié) 量化條件句邏輯
第5章多值邏輯
第1節(jié) 盧卡西維茨的三值邏輯
第2節(jié) 布奇瓦爾的三值邏輯
第3節(jié) 克利尼的三值邏輯
第4節(jié) 盧卡西維茨的m+1值邏輯
第5節(jié) 盧卡西維茨的無窮值邏輯
第6節(jié) 后承關(guān)系
第7節(jié) 演算
第8節(jié) 多值謂詞邏輯
第9節(jié) 波斯特代數(shù)
第6章相干邏輯
第1節(jié) 純相干蘊(yùn)涵部分
第2節(jié) 相干命題邏輯
第3節(jié) 相干命題邏輯的關(guān)系語義
第7章直覺主義邏輯
第1節(jié) 直覺主義命題邏輯
第2節(jié) 直覺主義謂詞邏輯
第3節(jié) 克里普克語義
第4節(jié) 完全性
第8章弗協(xié)調(diào)邏輯
第1節(jié) 弗協(xié)調(diào)命題邏輯
第2節(jié) 弗協(xié)調(diào)模態(tài)命題邏輯
第3節(jié) 弗協(xié)調(diào)時態(tài)命題邏輯
第9章哥德爾不完全性定理
第1節(jié) 形式算術(shù)
第2節(jié) 遞歸函數(shù)
第3節(jié) 算術(shù)化
第4節(jié) 數(shù)字可表示性
第5節(jié) 哥德爾不完全性定理