多值逻辑语义博弈

论文摘要

本文所研究的是逻辑博弈中的语义赋值博弈。即给定一个命题,在相应的模型中如何用博弈语义来定义命题的真值。根据J. Hintikka和G.. Sandu [18]的分类,至少存在4种不同的博弈方式。采用不同的方式可构造不同的博弈论语义学（Game-theoretical semantics）。本文致力于研究其中的一种:语义博弈(（Semantical games）。这是一种采用维护/攻击博弈方法发展起来的博弈论语义学,它的目标是用博弈的方式来确定语句的真值。C.S. Peirce用解释者和回答者的两人博弈说明量词的语义,从而成为这一理论的先驱。在二十世纪六十年代, Hintikka将语义解释与博弈结合起来,在经典逻辑的基础上建立了一阶语言的语义赋值博弈（Semantical evaluation games）,由此创立了这一理论。在此之后出现了所谓的逻辑语义学博弈化趋势[23],相对于各种不同语义系统的语义博弈理论纷纷出现。在这里所谓的博弈化是指:根据给定的语义理论,设计一种维护/攻击博弈方法,利用该方法可确定某一语句在某一赋值下的真值。本文的主要工作是在文献[18][19][24]的基础上,描述语义博弈的一般结构,建立多值逻辑语义博弈的一般理论。首先,我们综述了已有的几种主要逻辑博弈类型,在比较各种博弈类型共同点的基础上,抽象出我们所关注的语义博弈中的一般概念,从形式上给出它们的定义,为对语义博弈的一般结构进行讨论奠定基础。这些博弈虽然形式不一,但有许多共同点。第一,有两个参与者;第二,有一个命题;第三,这个命题有两种可能结果（真和假）;第四,在这两种结果下有评判胜负的标准。其次,在一般概念的基础上重点讨论多值逻辑语义博弈的一般结构,将多值逻辑进行博弈化,从三值逻辑到m值逻辑。本文推广了J.V. Benthem （2000）的二值逻辑语义博弈,详细给出了三值及m值逻辑系统中的公式在模型中的语义博弈,通过博弈的结果定义命题的真值,并与Tarski真值定义进行比较。并指出:与经典二值逻辑语义博弈不同,多值逻辑语义博弈中,一方没有必胜策略并不能得出另一方一定有必胜策略。它与前面所述的二值逻辑语义博弈有许多不同之处。主要做法是:在每个公式前面增加一个标记得到标记公式,利用辩论双方对所辩公式的态度将博弈分成两种博弈类型,激进博弈和保守博弈;在激进博弈中有一个子博弈转换,它是不同于二值语义博弈的。我们给出了证伪者在保守博弈与激进博弈中必胜的不同充分必要条件。我们还给出了利用支付函数判断必胜策略的定理。在文中将表明,我们的方法可包含二值逻辑博弈情况。依据我们的模型,任意一个多值逻辑系统都可得到类似的博弈。最后,本文在一般结构的基础上给出了几个具体的语义赋值博弈模型。将Lukasiewicz,Kleene三值逻辑理论博弈化。此外我们给出了OPS逻辑系统的语义博弈。OPS是我们基于开放世界假设构造的一个新的逻辑系统,它是一个三值逻辑系统的二值化。我们首先证明它相对于Tarski语义的可靠性和完全性,然后给出其语义赋值博弈。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 第二章 主要逻辑博弈类型
• 第一节 语义赋值博弈
• 第二节 对话博弈
• 第三节 Ehrenfeucht-Fraisse 模型比较博弈
• 第四节 Hintikka 自然语言博弈
• 第五节 语义后承关系的博弈
• 第三章 语义博弈的一般概念
• 第一节 博弈树，策略和力迫集
• 第二节 多值语义博弈的类型
• 第三节 博弈的开始,结束和胜负
• 第四节 博弈的支付函数
• 第四章 多值语义博弈一般结构
• 第一节 三值逻辑语义博弈
• 第二节 表列演算与语义博弈
• 第三节 m+1 值逻辑语义博弈
• 第四节 语义后承博弈规则
• 第五章 一个开放命题逻辑系统 及其博弈化
• 第一节 引 言
• 第二节 OPS 逻辑系统
• 第三节 OPS 的语义博弈
• 第六章 结论和展望
• 附录1:博弈论的基本概念
• 附录2:多值逻辑中的有关概念
• 参考文献