版權資訊
書 名: 哲學邏輯研究
哲學邏輯研究作 者：李小五張清宇
出版時間： 2007
開本： 16
定價: 59.00 元
內容簡介
本書是1993年國家社會科學基金項目《哲學邏輯研究》的最後成果，內容包括一階邏輯，模態邏輯，時態邏輯，條件句邏輯，多值邏輯，相干邏輯，直覺主義邏輯，弗協調邏輯和哥德爾不完全性定理。本書全面、系統、準確地論述了哲學邏輯領域的重要分支，同時也闡述了作者近年取得的一些新的研究成果，構建了若干新的邏輯系統，如不用聯結詞和量詞的一階邏輯系統，弗協調邏輯的一些系統，這些成果達到了國際邏輯研究水平。它將有助於國內讀者對於哲學邏輯基本理論的掌握和加深對新理論、新成果的了解，也將有助於推動我國深入開展現代邏輯基本理論研究。
目錄
前言
第1章一階邏輯
第1節命題邏輯的證明方法
第2節不用聯結詞和量詞的一階邏輯系統
第3節一階邏輯的公理系統
第2章模態邏輯
第1節模態系統
第2節正規模態系統
第3節模態謂詞邏輯
第3章時態邏輯
第1節語言
第2節解釋
第3節形式系統
第4節時態邏輯的完全性
第5節禁對稱性和完全性
第6節判定問題
第7節帶量詞的時態邏輯
第8節時態邏輯與模態邏輯
第9節其他時態詞
第4章條件句邏輯
第1節形式系統
第2節鄰域模型論
第3節關係模型論
第4節球形系統模型論
第5節擇類函式模型論
第6節諸語義之比較
第7節量化條件句邏輯
第5章多值邏輯
第1節盧卡西維茨的三值邏輯
第2節布奇瓦爾的三值邏輯
第3節克利尼的三值邏輯
第4節盧卡西維茨的m+1值邏輯
第5節盧卡西維茨的無窮值邏輯
第6節後承關係
第7節演算
第8節多值謂詞邏輯
第9節波斯特代數
第6章相干邏輯
第1節純相干蘊涵部分
第2節相干命題邏輯
第3節相干命題邏輯的關係語義
第7章直覺主義邏輯
第1節直覺主義命題邏輯
第2節直覺主義謂詞邏輯
第3節克里普克語義
第4節完全性
第8章弗協調邏輯
第1節弗協調命題邏輯
第2節弗協調模態命題邏輯
第3節弗協調時態命題邏輯
第9章哥德爾不完全性定理
第1節形式算術
第2節遞歸函式
第3節算術化
第4節數字可表示性
第5節哥德爾不完全性定理
……
