逸仙逻辑讲坛第三十一期预告｜Jeremy Seligman：逻辑学家的数独游戏

第三十一期  逸仙逻辑讲坛

题目：逻辑学家的数独游戏（Sudoku for Logicians）

主讲人：Jeremy Seligman（谢立民）

新西兰奥克兰大学哲学系教授、清华大学金岳霖讲席教授

主持人：刘虎  教授

中山大学哲学系逻辑与认知研究所

时   间：4月25日（周五）上午 9:00

地   点：中山大学锡昌堂 708 室

主办方：中山大学逻辑与认知研究所

主讲人简介 

       Jeremy Seligman（谢立民）1986年本科毕业于牛津大学数学与哲学专业，1991年获英国爱丁堡大学认知科学方向哲学博士。在情境理论、混合逻辑、中国先秦逻辑与哲学、社交网络的逻辑等领域有创造性贡献。

内容简介 

       逻辑谜题中包含了范丙申所称的“数独挑战”，即当解决方案由谜题本身所蕴涵时，需对推理的知识论作出解释。在抽象层面上，这属于知识闭合问题。理性主体知道其知识所蕴涵的一切——这是大多数知识逻辑系统都符合的一条原则，但却难以解释为何付出推理的代价却无法获得知识增益。本次讲座中我将向听众展示，对数独解法更为深入的观察，可以为演绎推理带来更为丰富认识论观点，特别是数独变种中附加的规则可以催生出很多新的解决策略。本次讲座还将与多主体系统这一主题结合起来！

       Logic puzzles present what Johan van Benthem has called "the Sudoku challenge", namely, to account for the epistemology of inference when the solution is entailed by the puzzle itself. At an abstract level, this is the problem of epistemic closure. Most systems of epistemic logic validate the principle that a rational agent knows whatever is entailed by their knowledge, and yet this renders it difficult to account for the epistemic gain afforded by inference. In this talk I will try to show how a closer look at Sudoku solving presents a much richer view of the epistemology of deductive reasoning, especially when one considers Sudoku variants in which additional rules create the possibility of many new strategies. I'll also attempt to make this relevant to multi-agent systems!