范畴、语境与博弈：语言逻辑研究新视角

　　目录
　　前言 i
　　Ⅰ 范畴论语义
　　第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
　　Ⅱ 语境内涵语义
　　第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
　　Ⅲ 博弈语义
　　第9章 多主体博弈与多值逻辑 119
　　9.1 扩展式博弈的基本概念 120
　　9.2 三值逻辑的双主体语义博弈 120
　　9.3 n+1值逻辑的n人语义博弈 122
　　第10章 不完全信息博弈与部分逻辑 127
　　10.1 带随机行动的赋值博弈 128
　　10.2 部分逻辑的赋值博弈 129
　　10.3 从IF逻辑到部分逻辑 138
　　10.4 逻辑博弈与博弈逻辑 141
　　参考文献 145
　　主题词表 153
　　符号表 155

　　现代逻辑自诞生起就与语言有着密切的联系。尽管蒙塔古的范畴语法理论引起了语言逻辑的一次革命，但对自然语言内涵性的形式刻画仍然没有得到很好的解决。《范畴、语境与博弈：语言逻辑研究新视角》运用范畴论、代数语义和博弈语义对该问题进行了探索：首先，介绍了范畴论的基本概念和基于范畴论的逻辑语义。运用范畴论语义对内涵推理进行了刻画；其次，通过引入语境和语境同义性思想，给出了若干超内涵逻辑，并针对范畴语法较为灵活的语言给出了一种极小内涵逻辑；*后，《范畴、语境与博弈：语言逻辑研究新视角》通过引入多主体和随机行动的概念，发展了博弈语义。