课程将由九次报告组成,涵盖一系列与逻辑学相关的主题。以下为前五次报告的题目与主讲人:
第一次报告
题目:向量空间模型的逻辑(On the Logic of Vector Space Models)
主讲人: Hannes Leitgeb is Chair of Logic and Philosophy of Language at LMU Munich, where he also co-directs the Munich Center of Mathematical Philosophy.
第二次报告
题目: 信念基础集的重新审视(Rethinking Epistemic Logic with Belief Bases)
主讲人: Emiliano Lorini is a senior researcher ("directeur de recherche") at the Centre National de la Recherche Scientifique (CNRS), co-head of the LiLaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT).
第三次报告
题目: STIT理论中的反事实条件句(Counterfactuals in stit with action types)
主讲人: Eric Pacuit is an associate professor in the Department of Philosophy at the University of Maryland.
第四次报告
题目: 混合逻辑的推理与完全性 (Reasoning and Completeness in Hybrid Logic)
主讲人:Patrick Blackburn is a professor of philosophy at Roskilde University (RUC) in Denmark.
第五次报告
题目: 论博弈逻辑(On Game Logics)
主讲人:Sujata Ghosh is an Associate Professor at the Computer Science Unit of the Indian Statistical Institute, Chennai (ISI, Chennai).