2016年4月28日下午，世界著名逻辑学家约翰•范•本特姆教授做客华东师范大学闵行校区思勉人文高等研究院，以“逻辑、博弈与主体”为题做了精彩的讲座。讲座由华东师大哲学系冯棉教授主持，听众包括哲学系逻辑学专业的教师和研究生，同时也吸引了全校其他专业的师生。
冯棉教授致词对约翰•范•本特姆教授的来访表示热烈的欢迎，并介绍了本特姆教授的学术成就：他是荷兰阿姆斯特丹大学和美国斯坦福大学教授，荷兰皇家科学院和美国科学院院士、也是我国清华大学教授和长江学者。他在国际哲学、逻辑学和认知科学领域享有崇高的学术声誉。其主要研究领域包括模型论、模态逻辑和逻辑在哲学、语言学、计算机科学和认知科学中的应用。本特姆教授的著作颇丰，代表作有《时间的逻辑》（The Logic of Time）、《模态逻辑和经典逻辑》（Modal Logic and Classical Logic）、《博弈逻辑》（Logic in Games）等，他也是包括《模态逻辑手册》（Handbook of Modal Logic）在内的多个权威学术手册的主编。他的很多著作和论文已经被翻译成中文，并汇编成四卷本的系列著作《逻辑之门》。
本特姆教授的讲座从讨论逻辑在世界描述（world description）和结构化的社会活动（structured social activity）上的两种视角开始，引入了所要探讨的主题。通过具体实例和相关重要概念与定理的解释来介绍博弈逻辑和动态逻辑方面的理论与应用。讲座分为四个部分：1、逻辑与博弈：一种自然的组合（Logic and Games: A Natural Combination），2、智能主体的逻辑（Logic of Intelligent Agency），3、周围的图示（Illustrations All Around），4、逻辑遇到现实（Logic Meets Reality）。
讲座探讨了某些与逻辑和主体有关的当前关注的重要论题，并将关注点放在作为统一范例的博弈上，同时，也指出在此背景下我们所面对的一些主要的基本挑战。清楚地表明：自从逻辑学诞生以来，逻辑与人类主体就是其研究的一个天然的领域，如今，来自多学科的影响，从哲学到计算机科学、经济学和认知科学，也在此交汇。讲座深入浅出，图文并茂。
在提问环节中，除了一些师生对零和博弈（zero-sum games）、动态逻辑在论证理论上的前景等比较宏观问题进行了互动交流以外，冯棉教授针对此次讲座的主题提出了一个深刻的问题：在一些博弈中，致胜策略（winning strategy）是和玩家（players）行动的先后顺序相关联的，当处理这种博弈或行动时，是否考虑使用非交换的逻辑推理（non-commutative logical reasoning）？这个问题引起了本特姆教授的注意，并认为值得日后深入讨论。
