Vrije University - Summer graduate programs
逻辑作为建模工具
Amsterdam, 荷兰
暑期课程
期间
2 周
语言
英语
步伐
全职
报名截止日期
15 May 2026
最早开始日期
06 Jul 2026
学费
EUR 1,500 *
学习形式
在校园
* 似曾相识的学生
在整个课程中，我们将鼓励参与者思考如何将逻辑应用于他们感兴趣的领域。
逻辑是对不同类型推理的研究。逻辑也是一种技术，一种对各种现象进行优雅建模的工具。本课程的目的是向您介绍此工具并说明如何使用它。课程分为3个部分。
我们将介绍经典逻辑作为起点，并展示有多少不同的推理系统（逻辑）作为变体出现。我们将介绍通过语义和句法研究逻辑的两种基本方法。后者自然适合建模和自动推理。我们还将讨论在社会科学中的应用，重点是代理和信息流。我们将介绍逻辑形式主义，使我们能够对真理是社会建构的情况进行建模，并发展知识、群体和常识等概念。
处理申请的首要主题是类别和分类的概念。分类是根据事物的相似性或共同标准将事物（例如对象或想法）归类的活动。我们将正式介绍范畴化理论，从亚里士多德的经典理论开始，一直到原型和范例理论。我们将形式化这些概念并解释如何使用逻辑工具来将模糊性纳入该理论。
本课程的第三部分使用第 1 部分的基础开发和第 2 部分的建模直觉。我们将介绍形式语言学的研究，其中单词根据它们在句子形成中所扮演的角色进行分类。一个词可以被归类为名词短语、及物动词等。然后根据形成规则组合句法类别以构建复杂的表达式。我们将看到一个语法正确的句子如何被形式证明或计算过程捕获，以及不同的阅读如何对应于不同的证明。
本课程主要面向对逻辑如何应用于建模各种现象感兴趣的本科二年级学生和硕士研究生——尤其侧重于信息流起核心作用的多智能体场景。此外，本课程也适合希望拓展逻辑建模工具应用理解的博士生和专业人士。
本课程设计灵活，可根据不同背景学员的需求进行调整。虽然没有特定的先修课程要求，但具备一定的推理、论证或形式证明知识将有所帮助。
最后的申请机会！
上午9:30至11:00为讲座，11:15至12:00为习题课。下午的安排相同：13:30至15:00为讲座，15:15至16:00为习题课。第一周的周三，我们安排了一场互动式客座讲座。讲座内容很可能是演示交互式证明助手或构建形式本体的工具。届时，学生需自带笔记本电脑。当天下午没有课程。第二周的周三和周四下午没有课程。第二周的周四安排了一场关于更高级主题的客座讲座。第二周的周五是学生报告日。
在本课程结束时，学生将能够：
- 理解逻辑研究的含义，总结不同推理系统（逻辑）的产生方式，并概述如何研究它们。
- 解释证明论和逻辑的关系。
- 列举并比较几种不同的逻辑，并说明它们与经典逻辑有何不同。
- 展示如何使用逻辑来模拟不同的现象。
- 区分逻辑作为理想化推理形式和建模工具的双重作用。
- 培养抽象建模和论证的成熟度。
学生必须参加所有课程讲座。学生需提交两份作业，分别在第一周和第二周结束时提交。此外，学生还需阅读一篇（部分）与课堂主题相关的学术文章或书籍章节，并在学期最后一天进行一个简短的报告（约15分钟），讨论他们阅读的文章。我们会提供一份附件，列出课程主题和建议阅读材料，但学生也可以自行寻找与课程主题更相关的文章。