条件句逻辑pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

条件句逻辑PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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