- 作 者：文学锋著
- 出 版 社：北京：科学出版社
- 出版年份：2013
- ISBN：9787030389862
- 标注页数：155 页
- PDF页数：166 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源166 ≥155页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
Ⅰ范畴论语义 5
第1章 范畴论基础 5
1.1基本概念 5
1.2重要范畴 17
1.3范畴论的应用 22
第2章 逻辑语言的范畴论语义 23
2.1一阶谓词演算的范畴论语义 24
2.2 λ演算的范畴论语义 25
2.3子结构逻辑的范畴论语义 26
2.4模态逻辑与范畴论 28
第3章 自然语言的范畴论语义 31
3.1范畴论视野下的元素、对象和性质 31
3.2三段论的内涵语义 32
3.3否定的范畴论解释 36
3.4组合性与语境性的范畴论解释 39
第4章 基于范畴论的内涵推理 41
4.1预群语法 41
4.2分布语义 43
4.3组合性分布语义 44
4.4从意义相似性到内涵推理 45
Ⅱ语境内涵语义 49
第5章 内涵逻辑 49
5.1内涵逻辑的哲学动机 50
5.2内涵逻辑的语义思想 52
5.3内涵逻辑的语形思想 54
5.4内涵逻辑与超内涵问题 56
第6章 超内涵逻辑 67
6.1外延主义超内涵逻辑 68
6.2内涵主义超内涵逻辑 72
6.3超内涵逻辑的问题 77
6.4内涵语境主义 80
第7章 语境超内涵逻辑 83
7.1基本思想 83
7.2非弗雷格逻辑与SCI 85
7.3语境符号作为公式的超内涵逻辑CHIL 89
第8章 极小内涵逻辑 105
8.1作为原型的IMA语言 106
8.2 IMA语言的逻辑 107
8.3 IMA逻辑的扩充 111
Ⅲ 博弈语义 119
第9章 多主体博弈与多值逻辑 119
9.1扩展式博弈的基本概念 120
9.2三值逻辑L2的双主体语义博弈 120
9.3 n+1值逻辑Ln的n人语义博弈 122
第10章 不完全信息博弈与部分逻辑 127
10.1带随机行动的赋值博弈 128
10.2部分逻辑的赋值博弈 129
10.3从IF逻辑到部分逻辑 138
10.4逻辑博弈与博弈逻辑 141
参考文献 145
主题词表 153
符号表 155