作为建模工具的逻辑

逻辑是对不同类型推理的研究. 逻辑也是对各种现象进行优雅建模的工具. 本课程的目的是向您介绍这个工具，并解释如何使用它. 本课程分为三个部分.

我们将介绍经典逻辑，并展示有多少不同的推理系统(逻辑)作为变体出现. 我们将学习学习逻辑的两种基本方法，通过语义学和语法. 后者自然适合建模和自动推理. 我们还将讨论在社会科学中的应用，重点是代理和信息流. 我们将介绍逻辑形式，使我们能够对真理是社会建构的情况进行建模，并发展诸如知识、群体和常识等概念.

处理应用程序的首要主题是类别和分类的概念. 分类是根据事物的相似性或共同标准将物体或想法等事物分类的活动. 我们将正式介绍分类理论, 从亚里士多德的经典理论一直到原型和范例理论. 我们将形式化这些概念，并解释如何使用逻辑工具将模糊性纳入这一理论.

本课程的第三部分使用第1部分的基础开发和第2部分的建模直觉. 我们将介绍形式语言学的研究，其中单词是根据它们在句子结构中的作用进行分类的. 一个词可以分为名词短语、及物动词等. 然后组合句法范畴, 根据队形规则, 构建复杂的表达式. 我们将看到一个语法正确的句子如何通过形式证明或计算过程来捕获，以及不同的阅读如何对应不同的证明.

在本课程结束时，学生将能够:
-理解学习逻辑的意义, 并总结不同的推理系统(逻辑)是如何产生的, 并概述如何研究它们.
-解释证明理论与逻辑的关系.
列出并比较一些不同的逻辑，并说明它们与经典逻辑的区别.
-展示如何使用逻辑来模拟各种现象.
-区分逻辑作为推理的理想形式和建模工具的双重作用.
-在抽象建模和论证方面发展成熟.

课程描述下列出的联系时间可能会有所不同，因为每门课程需要基于讲座和独立工作的组合. CEA CAPA的推荐学分是基于阿姆斯特丹自由大学(VU 阿姆斯特丹)分配的接触时数:15个接触时数等于1个U.S. 信贷