收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

多值逻辑语义博弈

戴细华  
【摘要】: 本文所研究的是逻辑博弈中的语义赋值博弈。即给定一个命题,在相应的模型中如何用博弈语义来定义命题的真值。根据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语义的可靠性和完全性,然后给出其语义赋值博弈。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 梁彪;关于多值逻辑的解释问题[J];现代哲学;1990年04期
2 A.C.卡尔宾柯;周洪仁;张斌峰;;多值逻辑内部的弗协调结构[J];哲学译丛;1990年02期
3 霍书全;;现当代多值逻辑的主要技术成果和语义哲学基础[J];自然辩证法通讯;2007年05期
4 霍书全;;多值逻辑与悖论[J];中国社会科学院研究生院学报;2010年05期
5 卢青山;多值逻辑简介[J];逻辑与语言学习;1982年03期
6 蔡曙山;多值逻辑的哲学意义[J];贵州社会科学;1991年12期
7 梁彪;多值逻辑的解释问题[J];中山大学学报(社会科学版);1996年01期
8 周余;多值逻辑的古典方法[J];数学杂志;1997年02期
9 罗玉忠;;多值逻辑形成探析[J];中山大学研究生学刊(社会科学版);1999年01期
10 贾国恒;;多值逻辑与逻辑直觉——人们陷入了两难?[J];天中学刊;2006年05期
11 陈招万;郭佳宏;;多值逻辑与语义赋值博弈[J];逻辑学研究;2008年01期
12 霍书全;;多值逻辑的思想渊源和产生历程[J];自然辩证法研究;2008年11期
13 陈维振,吴世雄;有关语言模糊性的多值逻辑问题[J];外国语言文学;2004年02期
14 梁彪;罗萨和图尔克特对卢卡西维茨多值逻辑系统的改进[J];中山大学学报论丛;2000年02期
15 赵伶俐;多值逻辑与审美逻辑——论审美认知的逻辑基础[J];西南师范大学学报(人文社会科学版);2003年02期
16 陈勇涛;;浅析多值逻辑证明论[J];求是学刊;2007年06期
17 马巧云;;多值逻辑系统中的否定度理论[J];西安文理学院学报(自然科学版);2009年04期
18 谭红艳,李永礼,谢福鼎;判定多值逻辑推导问题的代数方法[J];兰州大学学报;1995年02期
19 霍书全;;多值逻辑蕴涵的解读[J];哲学动态;2011年11期
20 周文英;现代普通逻辑提纲(二)[J];江西教育学院学报(社会科学);1994年03期
中国重要会议论文全文数据库 前5条
1 霍书全;;一类函数完全的n值逻辑联结词及其特点[A];2003年逻辑研究专辑[C];2003年
2 龚志伟;刘任任;;关于部分四值逻辑中3元正则可离关系的分类[A];2006年全国理论计算机科学学术年会论文集[C];2006年
3 潘中良;;多值逻辑电路测试的敏化路径法研究[A];第二届全国信息获取与处理学术会议论文集[C];2004年
4 张念诗;;多值Fuzzy逻辑中的谓词公式的一点补充[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
5 刘定一;;N值逻辑消除了Hempel渡鸦悖论[A];改革开放以来逻辑的历程——中国逻辑学会成立30周年纪念文集(上卷)[C];2009年
中国博士学位论文全文数据库 前1条
1 戴细华;多值逻辑语义博弈[D];中山大学;2006年
中国硕士学位论文全文数据库 前7条
1 曾小旁;基于多值逻辑的电压型高信息密度单元电路研究[D];宁波大学;2010年
2 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年
3 邵晓丽;多值逻辑代数中若干问题的研究[D];陕西师范大学;2007年
4 肖凡;部分多值逻辑中Sheffer函数的判定[D];湘潭大学;2002年
5 关晓红;多值逻辑系统H_α与偏蕴涵代数[D];陕西师范大学;2007年
6 李蕙;基于神经MOS管的多值逻辑电路设计和研究[D];浙江大学;2006年
7 雷晶;基于标准CMOS工艺的电压型多值逻辑电路设计[D];浙江大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978