范畴、语境与博弈 语言逻辑研究新视角PDF电子书下载

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