- 作 者：李小五著
- 出 版 社：北京：人民出版社
- 出版年份：2003
- ISBN：7010039402
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
18
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第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