第1章 绪论 1
1 预备知识 1
2 条件句及其分类 8
3 什么是条件句逻辑 20
4 条件句逻辑前史 27
5 本书内容安排 31
第2章 证明论 34
1 句子系统的构成 35
2 公理化系统的一般性质 51
3 各系统的推理力及其相互关系 63
4 自然推理系统 112
5 量化系统 127
第3章 择类逻辑 138
0 抽象模型论 139
1 公式型的择类逻辑 148
2 命题型的择类逻辑 167
3 外延逻辑 181
4 择类谓词逻辑 188
第4章 关系逻辑 204
1 二元关系逻辑 205
2 三元关系逻辑 218
第5章 邻域逻辑 236
1 一般邻域逻辑 237
2 有序邻域逻辑 248
3 球系逻辑 261
第6章 相信修正逻辑 265
1 G？rdenfors的相信修正逻辑 267
2 Morreau的相信修正逻辑 290
第7章 代数逻辑 304
0 代数基础 305
1 经典代数逻辑 310
2 半经典代数逻辑 323
3 有穷表示性定理 330
4 独立性定理 343
第8章 直陈概率逻辑 350
1 句子逻辑(上) 352
2 量化逻辑 397
3 句子逻辑(下) 408
第9章 虚拟概率逻辑 421
1 Stalnaker的概率逻辑 422
2 van Fraassen的概率逻辑 431
3 Harper的概率逻辑 451
第10章 一般概率逻辑 477
0 缩写符号与一般性定义 478
1 绝对概率逻辑 480
2 条件概率逻辑 503
第11章 可能世界逻辑的恰当性 524
1 Stalnaker的恰当性理论 526
2 Lewis的恰当性理论 537
3 Gabbay的恰当性理论 550
4 Nute的恰当性理论 559
5 Delgrande的恰当性理论 566
6 再论恰当性 575
第12章 概率逻辑的恰当性 582
1 Stalnaker的恰当性理论 583
2 Adams的恰当性理论 588
3 Lewis的恰当性理论 595
4 Nute的恰当性理论 603
参考文献 614
重要记号索引 642
主题词索引 655