1、逻辑与智能研究中心简报 2016- 1 - 逻辑与智能研究中心西 南 大 学 逻 辑 与 智 能 研 究 中 心简 报中心主任郭美云教授应邀在第三届 -WORKSHOP 上作主题报告2016 年 3 月 26 日，中心主任郭美云教授应会议主办方邀请，前往北京师范大学在第三届 -WORKSHOP 作了题为“试析根岑逻辑演绎思想的主要特征和哲学影响”的主题报告。本次会议由北京师范大学哲学学院和哲学学院逻辑与认知科学研究所主办。报告主要讨论根岑如何从逻辑公理化思想出发，逐步发展并提出自然演绎和矢列演算思想的基础上，总结出根岑逻辑演绎思想的主要特征。报告认为，根岑对联接词引入和消去规则各自角色的深刻理
2、解以及他所采取的树形证明方式引导他发现并证明了切割消去定理。最后对根岑的逻辑演绎思想在证明论语义学和意义理论方面的应用和哲学影响进行了讨论。本次会议一共由来自哲学、数学和计算机三个领域的 6 个主题报告组成，每个报告时间 45 分钟。会议气氛活泼，讨论热烈深入，极大地促进了哲学、数学和计算机三个不同领域间逻辑工作者之间的相互了解和交流，对加强三个领域的理解和合作有重要意义。第 1 期总第 55 期2016中心要闻逻辑与智能研究中心简报 2016- 2 - 逻辑与智能研究中心-WORKSHOP 是于 2015 年由南京大学数学系喻良教授和复旦大学哲学学院郝兆宽教授共同发起，旨在推动国内数学系、哲
3、学系和计算机系的逻辑学研究者之间的交流。学术春雨潜入夜，滋润学子细无声“西南大学逻辑与智能研究中心博士生论坛”纪实2016 年 4 月 8 日 18：30，西南大学逻辑与智能研究中心博士生论坛“逻辑视阈下的信息、理性与决策”在逻辑与智能研究中心会议室隆重举行，中心教师、全体研究生及西南政法大学部分研究生、哲学系部分本科生共 30 余人参加了该论坛。论坛首先由何向东教授致开幕辞。他指出，举行博士生论坛是中心创新人才培养模式的一条新举措，可以为广大博士生提供一个展示学术成果、进行学术交流的平台。在中心成立十周年之际举行该论坛具有重要意义。论坛由郭美云、蒋军利和李章吕等主持。侯丽平、刘明元、李莉、张
4、玉志、刘小山、王善侠、余军成等 7 位博士生分别作了论谎言逻辑、蒯因的逻辑思想与本体论研究、大数据视野下社会选择的研究与应用、社会网络中知识流动研究的困境与出路、不完全信息博弈的认知逻辑分析介绍、非正规时序逻辑的一些模型论方面的研究、论直觉主义谓词逻辑的矢列演算形式的自然演绎系统的报告。何向东教授、唐晓嘉教授、邓辉文教授、陈锐教授、邓辉文教授、马明辉副教授分别做了建设性的点评。阳春三月夜，小雨润如酥。论坛随着唐晓嘉教授热情洋溢的总结和经久不息的掌声徐徐落下帷幕。西南大学逻辑与智能研究中心成立 10周年庆典暨学术研讨会隆重举行在西南大学庆祝组建 10 周年暨办学 110 周年之际，重庆市人文社会
5、科学重点研究基地西南大学逻辑与智能研究中心也迎来了她十周岁的生日。2016学术交流逻辑与智能研究中心简报 2016- 3 - 逻辑与智能研究中心年 4 月 16 日，“西南大学逻辑与智能研究中心成立 10 周年庆典暨学术研讨会”在政治与公共管理学院 3326 会议室隆重举行。本次会议由政治与公共管理学院主办，西南大学逻辑与智能研究中心承办。来自中国社会科学院、北京大学、清华大学、中山大学、南开大学、复旦大学、浙江大学、北京师范大学和西南大学等国内 30 多家高校、逻辑研究机构的代表和校友共 70 多人参加了此次盛会。崔延强副校长代表学校出席庆典并致欢迎辞。他介绍了西南大学百多年的办学历史以及逻
6、辑学专业三十余年的发展历程，对中心十余年的发展成就给予了充分肯定。此外，他还深情地回顾了自己曾在中心从事逻辑教学的经历，并结合自身体会指出，逻辑学对于从事古典哲学、语言哲学、分析哲学以及其它众多学科知识的研究都非常重要，逻辑知识和逻辑思维能力的培养是研究生和本科生培养过程中不可或缺的内容。中心名誉主任何向东教授代表逻辑与智能研究中心致辞，他在回顾中心发展历程的同时，从学科平台建设、科学研究、学术交流、人才培养等方面介绍了中心成立十年来所取得的重大成就，并对学校、学院以及各位嘉宾和校友在中心发展中给予的支持帮助表示最诚挚的谢意。中国逻辑学会秘书长、中国社会科学院哲学所杜国平研究员代表中国逻辑学会
7、致辞，他在充分肯定了中心十年来取得非凡成就的同时，对中心的未来发展提出了宝贵的意见和建议。西南大学政治与公共管理学院院长陈跃教授代表学院参加了庆典并致欢迎辞。逻辑与智能研究中心主任郭美云教授主持了本次庆典。参加此次庆典和研讨会的还有西南大学社会科学处、西南大学哲学系以及西南大学逻辑与智能研究中心的科研人员。本次会议由十周年庆典、学科建设经验交流和学术研讨三部分组成。会议收到了中国逻辑学会、荷兰阿姆斯特丹大学、台湾阳明大学、南开大学、北京师范大学和四川省逻辑学会等国内外三十多家兄弟单位的专家学者和机构发来的的贺信与贺电。这次会议对于推动西南大学逻辑与智能研究中心进一步发展，对于加强西南大学逻辑学学科在国内外的地位和影响有重要作用。（撰稿人：党学哲 2016 年 5 月 5 日）
