逻辑作为建模工具
Vrije University - Summer & Winter graduate programs
关键信息
校园位置
Amsterdam, 荷兰
语言
英语
学习形式
在校园
期间
2 周
步伐
全职
学费
EUR 735 *
报名截止日期
请求信息
最早开始日期
21 Jul 2024
* 似曾相识的学生
介绍
在整个课程中,我们将鼓励参与者思考如何将逻辑应用于他们感兴趣的领域。
逻辑是对不同类型推理的研究。逻辑也是一种技术,一种对各种现象进行优雅建模的工具。本课程的目的是向您介绍此工具并说明如何使用它。课程分为3个部分。
我们将介绍经典逻辑作为起点,并展示有多少不同的推理系统(逻辑)作为变体出现。我们将介绍通过语义和句法研究逻辑的两种基本方法。后者自然适合建模和自动推理。我们还将讨论在社会科学中的应用,重点是代理和信息流。我们将介绍逻辑形式主义,使我们能够对真理是社会建构的情况进行建模,并发展知识、群体和常识等概念。
处理申请的首要主题是类别和分类的概念。分类是根据事物的相似性或共同标准将事物(例如对象或想法)归类的活动。我们将正式介绍范畴化理论,从亚里士多德的经典理论开始,一直到原型和范例理论。我们将形式化这些概念并解释如何使用逻辑工具来将模糊性纳入该理论。
本课程的第三部分使用第 1 部分的基础开发和第 2 部分的建模直觉。我们将介绍形式语言学的研究,其中单词根据它们在句子形成中所扮演的角色进行分类。一个词可以被归类为名词短语、及物动词等。然后根据形成规则组合句法类别以构建复杂的表达式。我们将看到一个语法正确的句子如何被形式证明或计算过程捕获,以及不同的阅读如何对应于不同的证明。
画廊
理想学生
我们的目标受众是来自任何背景、接触过数学推理、学术成熟度和跨学科兴趣的学生。我们不预设任何学科知识。具体来说,我们的目标对象是数学、计算机科学、经济学、哲学、金融、会计和语言学等领域的高级学士和硕士生。
除了学士和硕士生外,我们还欢迎博士生和专业人士申请该课程。
招生
奖学金和资助
平等机会奖学金
应用程序
申请截止日期已过。不再可以申请平等机会奖学金。
很高兴您有兴趣申请平等机会奖学金。您可以通过此链接(已过期)申请2 月 1 日至 4 月 1 日期间的奖学金。请注意,只能选择一门课程。
奖学金评选结果将于5月中旬公布。由于我们为大量申请者提供的奖学金数量有限,因此我们建议 - 如果可能的话! - 在申请课程时完成付款,以保证您在课程中的位置。不过,如果你没有奖学金而无法来的话,你可以等待通知。如果您想来,无论您是否会获得奖学金,最好通过我们的常规申请表完成付款以确保您在课程中的位置。如果获得奖学金,学费和住宿费将得到报销。
提交平等机会奖学金申请的截止日期: 3 月 31 日(欧洲中部时间 23:59)。
摄影师奖学金
您喜欢用智能手机/相机捕捉瞬间、人物和周围环境吗?您是否拥有良好的编辑技巧和对社交媒体的热情?成为我们的暑期学校摄影师!该摄影师奖学金仅提供给那些参加为期两周的课程或参加我们两个课程的人。
我们提供什么:
- 学费折扣 €500
- 多项免费社交活动(暑期团队分配,要求:必须拍照)
我们对您的期望是什么:
- 您在阿姆斯特丹自由大学暑期学校的照片(同学、阿姆斯特丹、短途旅行和社交活动的照片)
- 在 VU 阿姆斯特丹 Instagram 帐户上创建内容/故事接管
- 参与社交活动(免费且视情况而定)
- 参加摄影师启动会议
应用程序*
请将介绍您自己的短视频(约 30 秒 - 1 分钟)和一些摄影作品示例发送至 [email protected],请使用“摄影师奖学金”作为主题行。使用自己的智能手机或相机非常重要。申请截止日期: 5 月 14 日 23:59(欧洲中部时间)。
由于摄影师申请截止日期在课程注册截止日期之后,因此请务必在5 月 1 日申请截止日期之前申请并支付您感兴趣的课程。如果您最终赢得奖学金,您将获得奖学金所提供的 500 欧元补偿。如果您没有获得奖学金并且在没有部分补助的情况下无法参加课程,那么您仍然可以在 5 月 16 日之前获得全额退款。如果您在没有资助的情况下无法加入,那么您也可以决定等到获奖者宣布后 - 因此不提前申请课程 - 但是,这可能意味着您感兴趣的课程不再可用。我们,因此。如果可能的话,强烈建议您在正式课程注册截止日期之前通过我们的申请页面进行申请。
*如果您是夏季交换生或大学合作伙伴提名人(课程费用和/或住宿由您的大学资助),那么不幸的是,您不适合获得该奖学金。
课程
课程将于 7 月 4 日星期一至 7 月 15 日星期五举行。一般来说,上课时间为每周上午 9 点至晚上 17 点(请考虑到例外情况)。周三下午和周末将休息,进行可选的社交活动或个人时间。需要注意的是,您需要在私人时间(晚上和周末)进行自学。 7 月 2 日星期六和 7 月 16 日星期六是抵达和离开日(如果您通过我们的住宿服务安排住宿)。更多详细信息将在课程大纲中分享,课程大纲将于六月与参与者分享。
计划成果
在本课程结束时,学生将能够:
- 理解逻辑研究的含义,总结不同的推理(逻辑)系统是如何产生的,并概述如何研究它们。
- 解释证明论和逻辑的关系。
- 列出并比较许多不同的逻辑,并说明它们与经典逻辑有何不同。
- 展示如何使用逻辑来模拟不同的现象。
- 区分逻辑作为理想化推理形式和建模工具的双重角色。
- 培养抽象建模和论证的成熟度。