商品详情
书名：范畴语境与博弈：语言逻辑研究新视角
定价：58.0
ISBN：9787030389862
作者：文学锋
版次：1
出版时间：2018-01
内容提要：
现代逻辑自诞生起就与语言有着密切的联系。尽管蒙塔古的范畴语法理论引起了语言逻辑的一次革命，但对自然语言内涵性的形式刻画仍然没有得到很好的解决。本书运用范畴论、代数语义和博弈语义对该问题进行了探索：首先，介绍了范畴论的基本概念和基于范畴论的逻辑语义。运用范畴论语义对内涵推理进行了刻画；其次，通过引入语境和语境同义性思想，给出了若干超内涵逻辑，并针对范畴语法较为灵活的语言给出了一种极小内涵逻辑；最后，本书通过引入多主体和随机行动的概念，发展了博弈语义。
目录：
目录
前言 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
在线试读：
暂无试读
定价：58.0
ISBN：9787030389862
作者：文学锋
版次：1
出版时间：2018-01
内容提要：
现代逻辑自诞生起就与语言有着密切的联系。尽管蒙塔古的范畴语法理论引起了语言逻辑的一次革命，但对自然语言内涵性的形式刻画仍然没有得到很好的解决。本书运用范畴论、代数语义和博弈语义对该问题进行了探索：首先，介绍了范畴论的基本概念和基于范畴论的逻辑语义。运用范畴论语义对内涵推理进行了刻画；其次，通过引入语境和语境同义性思想，给出了若干超内涵逻辑，并针对范畴语法较为灵活的语言给出了一种极小内涵逻辑；最后，本书通过引入多主体和随机行动的概念，发展了博弈语义。
目录：
目录
前言 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
在线试读：
暂无试读