Ⅰ范畴论语义 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