多值逻辑在人们的现实生活中获得广泛的应用,但一直未能寻找到一个让人们满意的、符合人们直觉的语义解释。特征函数语义、代数语义、可能世界语义从多值逻辑的数学性质构建多值逻辑语义模型,这些模型预设了语义解释的唯一性,却忽视了人们把握和理解多值逻辑语言的过程,破坏了语义解释的现实基础。本书主要探讨多值逻辑的语义解释问题,从多主体之间的语义互动出发,以博弈论作为工具,构建多值逻辑一般化的语义模型,为人们理解和把握多值逻辑的语言提供理论支撑。
样章试读
目录
- 目录
丛书序
前言
第一章 博弈语义的哲学背景 1
第一节 语言普遍观 3
第二节 语言的演算观 8
第三节 从语言游戏到语义博弈 11
第二章 多值逻辑的发展 17
第一节 多值逻辑的历史 18
第二节 多值逻辑的句法与语义 28
第三节 塔斯基语义的局限 31
第三章 博弈论 33
第一节 策略博弈 34
第二节 零和博弈 36
第三节 扩展博弈 38
第四章 一阶逻辑的博弈语义 43
第一节 一阶逻辑语义博弈的策略形式 43
第二节 一阶逻辑语义博弈的扩展形式 47
第三节 一阶逻辑语义博弈的修正 52
第四节 一阶逻辑语义博弈的扩充 58
第五章 多值逻辑的语义博弈 64
第一节 多值逻辑二人语义博弈 64
第二节 多值逻辑博弈化 67
第三节 多值逻辑 n人语义博弈 70
第六章 多值逻辑的语义赋值博弈 76
第一节 基本思路 76
第二节 多值逻辑的语义赋值博弈 79
第三节 多值逻辑的博弈化 82
第四节 相关工作比较 87
第七章 IF逻辑及其博弈语义 91
第一节 一阶逻辑的逻辑优先性 91
第二节 IF一阶逻辑语义博弈的扩展形式 96
第三节 IF一阶逻辑语义博弈的策略形式 99
第四节 IF模态逻辑 102
第五节 IF命题逻辑 108
第八章 IF多值逻辑 111
第一节 IF多值逻辑的语义赋值博弈 112
第二节 IF多值逻辑的博弈化 116
第三节 相关工作的比较 125
第九章 IF多值逻辑可选择的语义 129
第一节 IF多值逻辑的霍奇斯语义 130
第二节 IF多值逻辑完全信息的语义赋值博弈 132
第三节 IF逻辑的霍奇斯语义和完全信息的语义赋值博弈 136
第十章 模糊逻辑的博弈语义 141
第一节 卢卡斯维奇逻辑语义博弈的扩展形式 141
第二节 卢卡斯维奇逻辑的讨价还价语义博弈 148
第三节 IF模糊逻辑及其语义博弈 154
第十一章 IF多值逻辑的性质与表达力 156
第一节 IF多值逻辑的性质 156
第二节 IF一阶逻辑的表达力 159
第三节 IF一阶逻辑与“真”的定义 161
第四节 IF多值逻辑与赋值函数 163
参考文献 169