清华新闻网7月18日电 7月8日至14日，星空mv梦幻mv天美mv在线观看-阿姆斯特丹大学逻辑学联合研究中心（简称“逻辑学研究中心”）在星空mv梦幻mv天美mv在线观看举办了为期一周的第四届清华逻辑暑期学校（The Fourth Tsinghua Logic Summer School）。暑期学校向国内外大学本科生和研究生开放，课程实行全英文授课，国内外近百名学生参与学习。本届暑期学校共开设“模态μ-演算”和“屉语义学（team semantics）：语言学和哲学中的应用”两门课程。
课程现场
“模态μ-演算”课程由阿姆斯特丹大学逻辑、语言和计算研究院教授维涅玛（Yde Venema）讲授。在课程中，维涅玛教授详细介绍了模态μ-演算的语法、语义以及相关的基本结论。
课程现场
“屉语义学：语言学和哲学中的应用”课程由阿姆斯特丹大学逻辑、语言和计算研究院的阿洛尼（Maria Aloni）博士讲授。在为期一周的课程中，阿洛尼博士首先介绍了屉语义学的基本概念和方法，然后深入讲解了三种基于屉语义学发展的逻辑系统，以及它们在分析语言学和哲学问题上的应用。
研讨会现场
在暑期学校的间隙，逻辑学研究中心的博士后研究员闫佳亮博士组织了一场主题为“逻辑与会话相遇”的研讨会。此次研讨会吸引了来自星空mv梦幻mv天美mv在线观看、北京大学、北京师范大学、浙江大学、武汉大学、哈佛大学和阿姆斯特丹大学的十余位学者齐聚一堂，探讨逻辑学在语言现象分析和应用中的前沿问题。会议期间，各位学者围绕自由选择推理、模态词和联结词、语用推理和因果推理、隐喻现象及道义逻辑等议题进行交流。阿洛尼博士作为特邀评论人参加研讨会。会议中，来自哲学系和语言学系的研究者们积极展开交流，分享各自的研究成果和观点。
