西南大学逻辑与智能研究中心

逻辑与智能研究中心简报2014-PAGE1-逻辑与智能研究中心第2第2期总第48期2014西南大学逻辑与智能研究中心简报★★学术交流★香港大学DanRobins博士来中心讲学应西南大学逻辑与智能研究中心邀请，香港大学DanRobins博士于2014年6月23日下午3:30-5:00在西南大学逻辑与智能研究中心学术报告厅作“后期墨家唯名论”的学术报告。中心郭美云副教授、马明辉副教授、Jeremy

Seligman教授、加尔各答大学研究生NeethiKonar、逻辑学专业全体博士硕士研究生以及中国哲学专业研究生等20多人参加了此次报告会，报告由郭美云副教授主持。DanRobins博士以风趣幽默的方式、通俗易懂的语言为大家展现其报告内容，主要分为四部分：首先，简要介绍唯名论及其反对者的主要观点，从而提供相关的知识背景；其次，通过解读《墨经》相关章节探讨“法”和“然”，论证后期墨家的知识论是与唯名论一致的；然后，通过解读“坚白之辩”考察后期墨家的形而上学性质，认为墨家在这点上同样是唯名论者；最后，通过阐释《墨经》中对“义利”的定义讨论“定义和先验”，认为《墨经》中的“下定义”是论证后期墨家唯名论的一个优势。总之，他基于A.C.Graham以及Hansen、Geaney、Fraser等人的工作充分解决了论证后期墨家唯名论的难题，捍卫了“后期墨家是唯名论者”这一观点。在随后的提问环节中，在座师生与DanRobins博士展开了近乎半个小时激烈的讨论，充分体现出思维与思维的碰撞，智慧对智慧的挑战。此次学术报告，加深了同学们对中国古代逻辑学的领悟，扩展了同学们的知识结构，加强了我校中国哲学、中国逻辑史等专业与海外专家学者的学术交流。★★学术会议★郭美云副教授出席2014全国现代逻辑学术讨论会

2014年全国现代逻辑学术讨论会于2014年10月24日~26日在北京师范大学隆重举行。此次活动由中国逻辑学会现代逻辑专业委员会与北京师范大学哲学与社会学学院共同举办。来自全国的八十多位逻辑学界的老前辈和年青学者参加了此次会议。

郭美云副教授应邀参加会议并作了题为“证实原则的认知逻辑分析”的学术报告。报告指出，证实原则作为证实主义的一个一般性纲领认为，一个非分析性的有意义的真语句都是可以被经验所证实（因而是可知）的。但用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明，证实原则不仅和信念修正中穆尔语句不能被一致地相信相关，还与动态认知逻辑中一个公式是否总能成功更新有关。在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为，证实原则反映了人类学习和交流互动过程中的精致性和复杂性，这在动态逻辑的具体背景下可以进一步进行更为细致的研究。

此次会议还对中国逻辑学会现代逻辑专业委员会进行了换届选举，在会上郭美云副教授当选为现代逻辑专业委员会副主任。中心副主任唐晓嘉教授和郭美云副教授参加2014年中国逻辑学会学术大会

2014年11月7日至8日由中国逻辑学会主办的2014年中国逻辑学会全国学术大会在湘潭大学正式召开，来自全国的150余位逻辑学者参加了大会。中心副主任唐晓嘉教授和郭美云副教授一同出席大会。郭美云副教授作了题为“博弈困境的两种解决方案”的学术报告。报告以旅行者困境为例，对Halpern&Pass提出的重复后悔度最小化模型和Capraro提出的基于联盟与合作的概率推理模型两种方案进行分析比较，考察它们是如何成功地解释和预测旅行者困境中选手实际博弈行为，并对这两种方案的普适性问题和