2013年10月18日，由清华大学哲学系主办的逻辑学研讨会“清华邂逅阿姆斯特丹大学”在甲所会议室顺利召开。会议由清华大学的刘奋荣和阿姆斯特丹大学的SonjaSmets具体组织。该会旨在加强清华大学同阿姆斯特丹大学逻辑、语言和计算机研究所（InstituteforLogic,LanguageandComputation,以下简写为ILLC)的互动与交流，促进双方在逻辑研究领域的共同发展。
阿姆斯特丹大学逻辑、语言和计算研究所主任YdeVenema通过远程视频为会议致开幕辞，他对两校之间在逻辑学领域合作已经取得的成就表示祝贺，也表示希望能够通过正在建立的两校逻辑学联合研究中心展开进一步的合作和交流、与中国和世界的同仁们共同促进逻辑学的发展。他对因突发事件不能出现本次会议深表遗憾。刘奋荣代表清华哲学系对本次会议的召开表示祝贺。清华大学哲学系王路教授委托刘奋荣表达他对来清华参加研讨会的国外学者们的热烈欢迎。来自国内外三十余位学者参加了此次会议、并分享了各自的最新研究成果。
由新西兰奥克兰大学的谢立民（JeremySeligman)开始了本次研讨会的第一场报告一“关于社交网络中的逻辑的一些问题”。他简要阐述了认知逻辑中主体与陈述所构成的二维框架、朋友关系的逻辑以及社会宣告等问题，这是他近年来与刘奋荣、Girard等的合作成果。他进一步分析“认识新朋友(Knowingyourfriends)”这一行为所表示的内涵，重新审议了常识，讨论了提问者与问问题的作用，并论述这些研究对于社交网络中的逻辑所造成的影响。
来自清华大学交叉信息学院的唐平中探讨了一个有趣的话题一“理论经济学中计算机辅助定理的发现”。他通过自动猜想的生成与确证两个步骤，实现计算机辅助定理的发现，从而总结出理论发现的一般框架，并应用于理论经济学中博弈论与社会选择论两个具体的案例分析中。他的报告对跨学科的研究有很大启示。
北京大学计算机系的刘婵娟报告了她同苏开乐、刘奋荣合作的论文“短视博弈的逻辑模型”，他们研究了短视博弈，即，每一位博弈参与者对接下来可能发生的行动的预见仅有有限的几步，看不到所有博弈树。她提出了短视博弈的逻辑体系，给出了语法和语义上的解释以及完全性的证明等，并阐述了这一逻辑体系所能展现的性质。
ILLC的ZoeChristoff带来题为“社交网络与信念融合的通讯协议”的报告。她的工作主要是结合刘奋荣、谢立民等提出的关于社交网络的理论与Baltag和Smets关于信息传递与影响的理论，发展一个关于社交网络的统一的描述框架。
纽约城市大学的俞捃华探究了“自指性的辩护”的问题，讨论了模态逻辑和直觉主义命题演算（IPC)中的自指性问题，深入研究直觉主义命题演算、S4系统以及可证性逻辑（LP)在这一问题上的联系，并论述了一些无自指性的逻辑片段。
拓扑学自诞生起就与数理逻辑有千丝万缕的联系，阿姆斯特丹大学ILLC的NickBezhanishvili集中讨论了这一问题。他报告了与Baltag、Sonja、Ozgun合作的成果“拓扑学语义的认知与信念逻辑”，详细讨论了认知和道义逻辑中的拓扑学，发掘其语义层面上的问题并给出相应的解决思路，同时也涉及到信念逻辑中的一些相关问题。
ILLC的AlexandruBaltag带来了题为“社交网络中的模态逻辑”的报告，介绍其学术团队关于社交网络的逻辑的各个方面的研究，如阀值模型、信息瀑布、认知可及模型（epistemicaccessmodel)、不动点的逻辑等，系统严密、例证详实。
清华大学中文系江铭虎讨论了“自然语言处理和大脑认知”，从认知的角度论述语言自身的特征，比较当代汉字与古代汉字特别是甲骨文的异同及变化，介绍了其甲骨文与现代汉字翻译软件，还讨论了其它多样化的语言表达方式，如肢体语言、盲人语言等。
ILLC的MartinStokhof探究“作为变动概念的意义”，指出概念的意义随着它所处文化环境的变动而变动，这是因为意义的形成本就是自然与社会文化两部分混合而成。所以他认为，自然主义语义学的目的就是要让哲学语义像福柯式的考古学那样运作。Stokhof详细介绍了他在此领域取得的成果，并期望在此问题上展开进一步深入合作。
此外，会议还邀请到荷兰皇家科学院（KNAW)、荷兰国家基金委（NWO)负责中国合作的负责人。他们就中荷学术界开展深入交流、合作的具体工作做了详细介绍，如项目申请、资金来源、现状和未来趋势等。最后，阿姆斯特丹大学的JohnvanBenthem主持了关于未来进一步开展合作的讨论，代表们积极讨论，就可能合作研究领域形成了共识、展开深入的探讨，气氛融洽。
本次会议的举办为清华大学与阿姆斯特丹大学两校在逻辑学领域的紧密合作增添了新的动力，也进一步促进了中荷学术交流的发展。
中国论文网(www.lunwen.net.cn)免费学术期刊论文发表,目录,论文查重入口,本科毕业论文怎么写,职称论文范文,论文摘要,论文文献资料,毕业论文格式,论文检测降重服务。
