第一次和第二次清华逻辑论坛综述

从2015年开始,澳门沙金在线平台-阿姆斯特丹大学逻辑学联合研究中心计划开展系列性的小型国际研讨会:清华逻辑论坛。该系列研讨会的宗旨是推动逻辑学领域的研究者与其它领域的研究者深入交流,产生合作。5月16日和17日,第一次和第二次清华逻辑论坛在澳门沙金在线平台人文学院进行。

5月16日的论坛的主题是逻辑、语言和哲学。来自国内外的七位学者分别报告了他们在这几个领域中的研究工作。阿姆斯特丹大学的Frank Veltman教授介绍了如何使用动态语义来处理一些主观性的概念,比如“好吃的”和“丑陋的”;北京语言大学的王欣博士分析了汉语中的“什么...什么...”句的语义和语用;北京师范大学的周士宏博士从信息结构的角度深入剖析了汉语中的“有”字句;阿姆斯特丹大学的Martin Stokhof教授分析了真值语义学和其它语义学之间的争论实质,指出了自然语言语义学的的一些特质;澳门沙金在线平台的周允程教授讨论了涉及贬义词的推理,并提出了自己对于贬义词意义的看法;北京大学的胡旭辉介绍了自己在英语中的Telicity方面的研究结果;中国社会科学院的崔佳悦博士报告了自己在汉语的被动句方面的研究结果。

5月17日的论坛的主题是逻辑、模态和证明。海内外的七位学者介绍了各自在这几个领域中的工作。日本科学和技术高级研究所的Hiroakira Ono 教授介绍了保持子公式性质的 Cut 规则和其对模态逻辑有穷模型性质的影响;台湾国立中正大学的王仁俊博士介绍了模态逻辑构造性语义形式化中一个重要定理证明的新方法;中山大学的林哲博士介绍了扩充了古典命题逻辑的 Lambek 演算的复杂度问题;新西兰奥克兰大学的Jeremy Seligman 教授介绍了用网络博弈为信息交互建模的工作;中国社会科学院的贾青博士介绍了道义逻辑中“an agent ought to do”和“it ought to be that the agent does”二者的区别;北京大学的王彦晶博士介绍了一系列非标准的认知逻辑来刻画“知道是否”、“知道为何”等概念;澳门沙金在线平台的俞珺华博士介绍了“可实例化”领域模态逻辑的一个 Tableau 系统及其应用。

这两次研讨会给每位报告者的时间都比较充分,他们都深入地介绍自己的研究工作,每次报告之后的讨论都非常活跃。应该说,这两次研讨会都取得了预期的效果。

澳门沙金在线平台-阿姆斯特丹大学逻辑学联合研究中心

2015年5月21日

Baidu
sogou