條件句邏輯

前言
第1章 緒論
1 預(yù)備知識
2 條件句及其分類
3 什么是條件句邏輯
4 條件句邏輯前史
5 本書內(nèi)容安排
第2章 證明論
1 句子系統(tǒng)的構(gòu)成
2 公理化系統(tǒng)的一般性質(zhì)
3 各系統(tǒng)的推理力及其相互關(guān)系
4 自然推理系統(tǒng)
5 量化系統(tǒng)
第3章 擇類邏輯
0 抽象模型論
1 公式型的擇類邏輯
2 命題型的擇類邏輯
3 外延邏輯
4 擇類謂詞邏輯
第4章 關(guān)系邏輯
1 二元關(guān)系邏輯
2 三元關(guān)系邏輯
第5章 鄰域邏輯
1 一般鄰域邏輯
2 有序鄰域邏輯
3 球系邏輯
第6章 相信修正邏輯
1 Gardenfors的相信修正邏輯
2 Morreau的相信修正邏輯
第7章 代數(shù)邏輯
0 代數(shù)基礎(chǔ)
1 經(jīng)典代數(shù)邏輯
2 半經(jīng)典代數(shù)邏輯
3 有窮表示性定理
4 獨立性定理
第8章 直陳概率邏輯
1 句子邏輯（上）
2 量化邏輯
3 句子邏輯（下）
第9章 虛擬概率邏輯
1 Stalnaker的概率邏輯
2 van Fraassen的概率邏輯
3 Harper的概率邏輯
第10章 一般概率邏輯
……
第11章 可能世界邏輯的恰當(dāng)性
第12章 概率邏輯的恰當(dāng)性
參考文獻(xiàn)
重要記號索引
主題詞索引