条件句逻辑PDF电子书下载

第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