图书介绍

条件句逻辑2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

李小五著著
出版社：北京：人民出版社
ISBN：7010039402
出版时间：2003
标注页数：673页
文件大小：15MB
文件页数：683页
主题词：形式逻辑

PDF下载

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

点击复制MD5值：5760f26c827b7d6a235bf1fbc6ed0d80

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用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