逻辑学的新分支--博弈逻辑的的研究现状分析.pdfVIP

(《哲学动态》2005年第2期) 逻辑学的新合支 — 博弈逻辑研究现状分析 张 峰 (中国人民大学哲学系 北京 100872) 1002一8862(2005)02一0019一04 【中图分类号IB81 [文献标识码」A [文章编号] 博弈逻辑(GameLogic)是博弈论和逻辑学相交叉的一个新的研究领域，属于应用逻辑范 畴。纵观20世纪逻辑学的发展，逻辑学已不同程度地向各学科领域渗透，各个学科的发展又 为逻辑学研究提供了许多OR待探索的新问题和新视域。逻辑学正从单一学科逐步形成既相对 独立又有内在联系的诸多学科组成的庞大的学科群体，新的分支不断涌现。而逻辑学与博弈 论的结合，为研究者提供了一个新的领域。本文对博弈逻辑的研究现状做一分析，希望能引起 更多的学者对这一领域的关注，从而使逻辑学这一新的分支学科得以迅速发展。 著名的国际逻辑期刊 《学习逻辑》(StudiaLogica)在2003年11月出版了博弈逻辑的专 刊，发表了系列论文，概述了博弈逻辑的最新研究动态，标志着博弈逻辑作为一个新的研究领 域已在国际学术界得到公认。 一、目前博弈逻辑研究的主流— 结合动态逻辑研究博弈逻辑 1.帕里克的探索。帕里克是纽约城市大学计算机与信息科学系的著名教授，是研究博弈 逻辑的主要代表人物之一。他的主要研究工作是递归函数理论、证明论、形式语言、非标准分 析和动态逻辑。目前主要进行关于知识的推理、信念修正、博弈论和语言哲学的研究。 他在1985年发表了《博弈逻辑及其应用))一文，首次提出了博弈逻辑的概念，认为博弈逻 辑是命题动态逻辑(PDL)的拓展，在命题动态逻辑原有程序算子(;U’)的基础上增加对偶 (dual)算子“来建构复杂的二人博弈。程序可以被看做是没有对手的一人博弈，他把博弈逻 辑拓展到了二人博弈。给定一个博弈G和一个赢得状态X的集合，给集合Y下定义，即Y是 这样的状态集合:参与者I从这一状态开始进行博弈，不管参与者II如何采取行动，他都能确 保到达X集合。那么Y=G(X)作为X的函数在X集合上是单调的，即如果XCX，那么G (X)CG(X)。显然，如果使参与者I获胜是很容易的，可以增加他开始和持续获胜的状态集。 他认为，博弈逻辑能够研究复杂的博弈。每一个博弈都形成了从集合到集合的映射。他初步 探讨了博弈逻辑的语法、语义、公理和推理规则。帕里克结合动态逻辑对博弈逻辑进行的研究 是围绕双主体零和博弈逻辑及有限策略展开的。 2.约翰 ·范 ·本特姆的建树。约翰 ·范 ·本特姆教授多年来致力于模态逻辑、动态逻辑、 范畴语法和类型论、时态逻辑、科学理论的逻辑结构等领域的研究。近年来在研究博弈和逻辑 的联系方面做出了积极的贡献。 约翰 ·范 ·本特姆认为，探究社会中多主体的互动时，描述其过程最好的模型就是博弈。 博弈在许多学科中广泛运用，虽然有人认为博弈的全部数学都已知了，诺贝尔奖颁发给约翰 · 19 万方数据 纳什就是最好的证明。但事实上研究博弈才刚开始。博弈不仅是一种分析工具，而且作为一 种自然活动普遍存在。为此，必须进行深人的认知推理，这种推理很有可能与模拟和学习机制 相联系。博弈为互动的认知过程提供了一种富有成效的模型，对于这种认知过程我们有生动 的直觉。这种模型吸引了对动态信息流、交流和行动感兴趣的逻辑学家，他们一直试图为行动 中的信息流建构模型，并使这种模型超越来自计算机科学的一般的程序模型。博弈也为逻辑 学家提供实验的可能性。可以根据行动和信息流的变化来设计新的博弈，考察人们如何反应。 而且，论辩和其他逻辑活动也有博弈意味。因而，博弈对于逻辑学家意义重大。 约翰 ·范 ·本特姆从1999年起开设关于 “博弈中的逻辑”的电子讲座。近年来，他一