哲學(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é) 純相干蘊涵部分
第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é) 哥德爾不完全性定理