混合逻辑迷你课程.PDF

⻄南⼤学逻辑与智能研究中⼼ 混合逻辑迷你课程 A Mini Course of Hybrid Logic 主讲⼈：Patrick Blackburn 丹⻨罗斯基勒⼤学哲学教授（Roskilde University, Denmark） 时 间：2017年5⽉19 ⽇19:00-21:00／5⽉26 ⽇19:00-21:00 地 点：政治与公共管理学院3203学术报告厅 混合逻辑简介： 作为命题模态逻辑的扩张，混合逻辑具有更强的表达⼒，但⼜不⾄于像⼀阶逻辑那么强，以⾄于付出 太⼤的计算复杂性。混合逻辑的历史可以追溯到Arthur Prior 在时态逻辑（Tense Logic）上的⼯作。不 像⼀般的模态逻辑，混合逻辑可以将可能世界（或状态 state）作为公式来表达，习惯上称之为 nominals （或可理解为名字），名字通常在且仅在⼀个世界（或状态 state）上为真。基本混合逻辑的 标志性模态算⼦是 @i 的⼀个组合，其中i是⼀个名字。简单⽽⾔：@i p为真当且仅当 p 在唯⼀的⼀个 叫作 i 的世界（或状态）上为真。更多信息参⻅ • /entries/logic-hybrid/ 课程简介： 本课程计划开设两周，⾯向逻辑学专业的研究⽣和博⼠⽣，以及对逻辑有着兴趣的本科⽣，并不预设 系统的模态逻辑的训练（具有⼀定的模态逻辑基础会更易理解），但要求具备⼀定的命题逻辑的知识。 提前预读⼀些混合逻辑的相关⽂献有助于更好地更上以及掌握所学内容，以下为部分参考⽂献： • Blackburn, P. 2000. Representation, reasoning and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8(3):339-365. • Blackburn, P. and Seligman, J., 1995. “Hybrid Languages”, Journal of Logic, Language and Information, 4: 251–271. • Areces, C. and ten Cate, B., 2006. “Hybrid Logics”, in Blackburn, van Benthem, and Wolter (eds.) (2006). • Blackburn, P. and Jørgensen, K.F., 2016a. “Arthur Prior and ‘now’”, Synthese, 193: 3665–3676.