公共知识的逻辑分析

出版时间：2012-8  出版社：中国社会科学出版社  作者：周章买  页数：203  

内容概要

　　《云南财经大学哲学前沿研究丛书：公共知识的逻辑分析》分析了运用逻辑的形式化公理化方法对公共知识进行形式刻画的尝试及成果，找出在实践中公共知识形成的困难及原因，探索公共知识的弱化形式及其应用。主张用弱化的公共知识解决现实博弈问题，并通过实验进行了研究。提出了新的认知概念（弱公共信念），论证了用公共p-信念解决协同攻击难题的方法。将公共文化背景引入博弈论的分析当中，拓宽了博弈论的研究视野。呼吁学界重视公共知识及其弱化形式在互动决策等领域的应用价值。

作者简介

周章买，2010年毕业于南京大学哲学系，获哲学博士学位。现任教于云南财经大学马克思主义学院，南京大学现代逻辑与逻辑应用研究所兼职研究人员，主要从事逻辑学与博弈论方面的研究。

书籍目录

第一章导言 第一节公共知识概念的发源及其概念体系 一公共知识概念的发源 二公共知识的概念体系 第二节公共知识理论体系及发展脉络 一认知逻辑发展脉络 二公共知识的研究脉络 第三节公共知识的研究概况 一国外研究概况 二国内研究概况 三与公共知识相关理论的研究 第四节本书的主要内容 第五节本书的创新点 第二章公共知识的形式特征 第一节对知识进行形式刻画的两种基本方法 一基于逻辑的方法与基于事件的方法 二两种方法之间的关系 第二节基于逻辑方法的公共知识形式分析 一刘易斯等人的层级解释 二哈曼—巴威斯的定义 第三节基于事件方法的公共知识形式分析 一奥曼的解释 二吉尔伯特对刘易斯和奥曼定义的整合 第四节公共知识特征分析 一公共知识层级的无限性 二公共知识的固定点特征 三公共知识的共享情境解释 四三种解释之间的关系 第三章公共知识公理系统 第一节包含固定点公理的系统 一公共知识逻辑系统的建立 二形式语言 三公理、推理规则及相关公理系统 第二节公共知识公理系统的可靠性和完全性 一克里普克结构 二可靠性和完全性 第三节公共信念的逻辑 一个体信念的公理和推理规则 二公共信念的公理和推理规则 三克里普克语义学中的公共信念 第四节含算子CDE的形式系统S5m（CDE） 一S5m（CDE）的语言Lm 二S5m（CDE）的演绎基础 第五节博弈逻辑 第四章公共知识形成难题 第一节公共知识应用中遇到的问题 一协同攻击难题的数学归纳法证明 二协同攻击难题的逻辑证明 第二节协同攻击中信息传递的同时性及可靠性 一公共知识与同时性问题 二延时性条件下的群体认知结构 三协同攻击难题中信息传递的可靠性 第三节公共知识的弱化 一公共知识的弱化方式 二弱化公共知识的形态 第五章弱化公共知识与协同攻击难题 第一节协同攻击难题的解决方案探索 一严格的同时性只能由假定获得 二博弈视野下的协同攻击难题 三协同攻击博弈的一般模型 第二节公共p—信念对协同攻击难题的解决 一公共p—信念的引入 二公共p-信念对协同攻击难题的解决 三公共p-信念的解题意义 第六章弱化公共知识与协调博弈 第一节一个关于协调博弈的实验 一协调博弈 二关于协调博弈的数字实验 三协调博弈的聚点——实验结果分析 第二节不同文化背景下协调博弈聚点的变迁 一谢林的实验 二数字协调博弈显示的不同结果 第三节弱公共信念的现实依据 一弱公共信念的现实意义 二公共文化背景下弱公共信念的形成 第七章结语 索引 参考文献 英文参考文献 中文参考文献 后记

章节摘录

版权页：   插图：   下面要论证的命题是，即使所有的确认信息都收到，对于delivered的公共知识却不成立。 证明的第一步是定义一类语境。可以把一个解释环境（γ，π）称为一个信息传递语境，如果它满足如下假设： •环境和／或一些主体具备我们所指定的信息传递行动；直观地，这些行动导致信息被传递到主体。 •γ是一个记录语境，使得环境的状态包括目前已经发生的行动合取式的序列，τ适当地更新状态。 •语言包括命题delivered。如果至少一条信息已经被传递，我们意指delivered是真的。也就是说，如果至少一个信息传递行动已经完成。因为环境的状态包括已经完成的行动合取式的序列，很容易定义π来加强它。 为了使结论尽可能一般化，关于这些语境的假定越少越好。特别地，在主体的内心活动或者他们的局部状态构成方面不做任何假定。同样，在假定信息传递事件能够发生，并且系统环境能够记录发生的事件的基础上，也不对环境状态和行动做任何假定。 第二步，用一个语境去描述一类系统。定义一个信息传递系统Irep（P，γ，π），（γ，π）是一个信息传递语境，P是一个可以在语境γ下运行的通信协议。在一个信息传递系统里，我们可以讨论信息传递和主体知道信息传递的情况。 一个信息传递活动被称为一个运行，公式delivered在一个运行的开始必然是假的（因为在时间0的时候没有信息被传递）。很快就可以得出结论在时间0的时候delivered不可能是公共知识。现在要表明的，即使在同步系统中，delivered永远不可能成为公共知识，只要信息传递充分地不可靠。 信息传递“充分地不可靠”的意思直观来讲就是，它表示可能存在无限信息传递，于是它可以取任意时长为信息送达的时间。因此，一个主体（不是信息接收者）能够找到的关于确认信息成功传一递的唯一方法是通过接收另外一条信息。特别地，如果R具有无限信息传递功能，i在R中在时间点（r，l）上收到一条信息，并且在第r回合在时间l和m之间没有主体收到来自i的信息，那么所有其他的主体将会考虑，在时间m的时候i还没有收到信息是可能的（因为他们没有理由相信别的情况）。

编辑推荐

《云南财经大学哲学前沿研究丛书:公共知识的逻辑分析》由中国社会科学出版社出版。