5月6日晚，清华大学金岳霖讲席教授做客清华逻辑线上研讨第十讲，发表题为“函数依赖的最小逻辑”的报告。

范丙申基于其与巴塔赫副教授（Alexandru Baltag）的最新研究成果，首先介绍了依赖性这一在科学研究和日常生活中普遍存在的概念，以及一些已经存在的对依赖性模型的解读方法。然后他通过向经典命题逻辑添加依赖原子和依赖量词，提出了一种用于分析依赖性推理的可判定的函数依赖逻辑（LFD），并向大家展示这一逻辑语言所具有的属性、表达力、及完整的公理系统。此外，他还讨论了非依赖逻辑的不可判定性，并简要说明了LFD在更具体的情形，如向量空间、动态系统和博弈中的应用。最后，他与大家讨论了LFD与以往逻辑的区别与联系，同时分享了他在研究LFD时的思路与想法。

研讨会由哲学系石辰威博士主持，清华校内外师生60余人参加，在热烈的线上讨论中落下帷幕。至此，本学期清华逻辑与海外学者开办的线上系列研讨会圆满结束。

系列报告内容已在清华学堂在线推出，并处于不断更新中。

课程页面：https://next.xuetangx.com/course/thu1208355002894/3987757

范丙申，阿姆斯特丹大学的大学教授（University professor）、斯坦福大学Henry Waldgrave Stuart 教授、清华大学金岳霖讲席教授、荷兰皇家科学院院士、欧洲科学院院士、 国际哲学学院院士。1996年获荷兰国家级斯宾诺莎奖，这是荷兰自然科学和社会科学领域的最高奖项。在上世纪90年代，他创建了阿姆斯特丹大学的逻辑、语言与计算研究所（ILLC），并长期指导该研究所的工作。ILLC是当今国际顶尖、规模最大、专门从事逻辑与语言学、计算机科学、认知科学等交叉领域研究的逻辑学研究中心。到目前为止，他撰写了9部专著和约450篇论文，主编了4部具有权威性的逻辑手册，他的著作已被翻译成俄语、西班牙语、汉语等出版，在世界范围内影响广泛。他培养了70名博士研究生、50名硕士研究生，其中有40名博士毕业生已在世界上各国的大学成功获得了永久职位。此外，他还在很多国际组织兼职，任多个重要英文杂志的主编或编委。