国际研讨会会议总结范文

国际研讨会会议总结范文

　　X年11月2日至4日，由XX大学逻辑与认知研究所与澳大利亚墨尔本大学哲学系联合主办的2009年逻辑与认知国际会议与XX大学南校区隆重召开。XX大学逻辑认知研究所所长鞠实儿及墨尔本大学哲学系教授Greg Restall担任本次会议的主席。逻辑与认知国际会议自2002年开始每年举办一次，本次会议强调加强亚太地区逻辑学研究人员之间的合作与交流，邀请了来自澳大利亚、日本、新西兰、印度、中国台湾及中国香港等地的学者参加。

　　本次会议的主题包括：逻辑与认知科学、逻辑与计算机科学。哲学逻辑、逻辑与文化。会议共收到国内外论文13篇，其中国内包括台湾、香港5篇，国外学者论文8篇。

　　日本著名逻辑学家Hiroakira Ono教授作了题为“Completions, distributivity and algebraic completeness”的报告。探究完全格扩充的性质，特别是何种形式的分配律在这种完全性下是被保持的，并以此来证明非经典谓词逻辑的代数完全性。该论文在计算机科学及数理逻辑的研究具有重要意义。

　　墨尔本大学教授Greg Restall的论文题目为“Derivation and Definition”。从证明论的角度重新来考察证明的`概念。在次基础上考察一阶逻辑、二阶逻辑的界限，指示及虚拟推理及探究证明的更合适的逻辑定义。作为逻辑基础问题的探究，该文章做了很多的工作。

　　印度加尔各答大学数学系M. K. Chakraborty教授的报告题为“Discerning levels: a study in the metalogical notions in somelogics of vagueness”，在元逻辑的层次上讨论模糊性及多值的概念。并且重新对逻辑的基本概念如后承、完全性、一致进行分级定义。该文章的意义在于在元语言的层次上考察模糊性而不是对象语言。并在次基础上来定义不同的逻辑。

　　来自西澳大利亚大学Mark Reynolds教授的报告题为“Dense Time Temporal Logic”，在稠密的实数时间模型上考察时态逻辑。威灵顿维多利亚大学Edwin Mares教授做了题为“Information and Relevance”的报告，他将逻辑后承关系定义在信息保持而非保真的概念上，从而考察相干逻辑等的性质。奥克兰大学Jerry Seligman教授的报告为“The Logic of Relative Certainty”，他借鉴概率论的思想提出在定义有效性时的相对确定，并给出了一个关于相对确定的逻辑。

　　在本次会议上，XX大学逻辑与认知研究所的老师和学生也积极参与讨论。逻辑所副教授刘虎做了题为“Simulative Belief Logics”，考察了用逻辑刻画主体如何模拟他人的信念。逻辑所讲师文学锋的报告“偏逻辑的语义博弈”给出了偏逻辑的一个博弈语义，并考察了它的性质。另外香港城市大学王莹莹博士后原逻辑所博士做了题为动态语境中的条件句。逻辑所硕士生做了“开放世界和信息更新”的报告。

　　三天的会议取得了圆满成功。国内外学者就诸多逻辑学的前沿问题进行了深入的交流和探讨。特别是对我所的年轻学者及学生来说，拓宽了研究思路，有利于把握最新的学术前沿问题，为将来的研究工作注入新的活力。