刘奋荣：现代逻辑前沿

众所周知，在传统逻辑基础上发展起来的现代逻辑及其应用成为当代逻辑学的主流类型。这种发展是一个与哲学、数学、计算机科学、认知科学等学科不断交叉的历程。正是这种学科交叉，赋予逻辑学新的活力，促使其谱写出辉煌篇章。总体而言，现代逻辑的发展主要体现在以下两个研究方向上。

从单主体推理到多主体互动

传统上，现代逻辑关注的是单主体推理，如今，多主体之间的动态互动已经成为当代逻辑学的中心议题。其标志是两个视角转向：一是从单主体推理研究到多主体论证研究的转向；二是从静态的推理片段研究到对动态的互动过程研究。

这一领域近年来取得了十分丰硕的成果。例如，牛津大学伍德里奇教授2009年出版的专著《多主体系统导引》、阿姆斯特丹大学和斯坦福大学范本特姆教授2014年出版的专著《逻辑与博弈》等。这些著作集中研究多主体互动，引领着该领域的发展。

对博弈和论辩的逻辑研究一直是当代多主体互动研究的热点。博弈是两个主体或多个主体之间互动的一个典型实例。在博弈中，面对对手，一个玩家要根据自己所拥有的知识、持有的信念和偏好以及他对对手的判断，做出自己的选择。论辩是多主体互动又一杰出实例。论辩双方积极搜集证据，支持自己的论点，同时反驳对方的观点。

多主体互动是一个动态的过程，主体在互动过程中会不断更新自己的信息，获得新知识，有时需要改变自己的计划、修正自己的信念或改变自己的偏好，等等。这些方面也是多主体互动研究领域的重要内容。在这个领域中，也涌现出了很多新的重要问题：

首先，目前大多数研究都没有关注主体类型这个问题。换句话说，就是不同类型主体之间的互动。现实中的主体不是千篇一律的，每个主体都有自己的特点和个性。我们不能苛求理论研究与现实完全吻合，但对主体的类型进行科学划分，建立研究不同类型主体的推理模式，的确是一个十分重要的理论问题。举例来说，对手是优柔寡断者还是当机立断者，会对玩家的策略选择产生直接影响。美国康奈尔大学哈尔彭教授在一次逻辑学国际会议的发言中明确表示，现行研究中假设的主体都一样，而且太过理想。他号召研究者们要关注对现实主体的研究。

其次，多主体互动的研究近几年与网络的最新发展相结合，出现了很多具有挑战性的新问题。社交网络平台推陈出新，同一个主体常常分属不同的群体。主体之间是如何联系在一起的？显然，社会关系是一个重要的纽带。然而，在以往关于多主体系统的逻辑模型中，社会关系从来没有明确扮演过重要角色。让我们考虑这样一个简单现象：当一个主体知道周遭朋友对某个问题都持有相同的态度时，他会跟从还是会坚持自己的观点？要讨论类似问题，我们就无法回避对社会关系作用的分析。