图书介绍
条件句逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- 李小五著 著
- 出版社： 北京：人民出版社
- ISBN：7010039402
- 出版时间：2003
- 标注页数：673页
- 文件大小：15MB
- 文件页数：683页
- 主题词：形式逻辑
PDF下载
下载说明
条件句逻辑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