內容簡介
哲學邏輯研究《哲學邏輯研究》是1993年國家社會科學基金項目《哲學邏輯研究》的最後成果，內容包括一階邏輯，模態邏輯，時態邏輯，條件句邏輯，多值邏輯，相干邏輯，直覺主義邏輯，弗協調邏輯和哥德爾不完全性定理。《哲學邏輯研究》全面、系統、準確地論述了哲學邏輯領域的重要分支，同時也闡述了作者近年取得的一些新的研究成果，構建了若干新的邏輯系統，如不用聯結詞和量詞的一階邏輯系統，弗協調邏輯的一些系統，這些成果達到了國際邏輯研究水平。它將有助於國內讀者對於哲學邏輯基本理論的掌握和加深對新理論、新成果的了解，也將有助於推動我國深入開展現代邏輯基本理論研究。
編輯推薦
《哲學邏輯研究》有助於國內讀者對於哲學邏輯基本理論的掌握和加深對新理論、新成果的了解，也將有助於推動我國深入開展現代邏輯基本理論研究。邏輯學是研究推理的一門基礎學科，它描述推理實踐，也編制推理系統，伴隨科學、技術和生產的發展，現代邏輯科學發展極其迅速，在科學技術和哲學學科的洪流中不斷革新內容，開拓領域。
目錄
第1章 一階邏輯
第1節命題邏輯的證明方法
邏輯第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節 哥德爾不完全性定理
邏輯與哲學方面的書籍
| 哲學，就是研究客觀世界上的一切普遍規律的科學，就是研究自然界和人類社會發展中的一切普遍規律的科學，就是通過研究自然界、人類認識、人類種族和人類社會發展中的一切普遍規律，為人類認識、人類種族和人類社會的發展提供一切普遍適用的科學的認識方法和實踐方法的科學。 |
