University:

Email Address:

Phone Number:

Using Logic as a Tool for Modelling Interdisciplinary Studies Program Summer 2023 Early July 2-Week - Amsterdam

Flight Credit Get a Flight Credit worth up to $1,000 when you apply with code* by February 17, 2023

Using Logic as a Tool for Modelling

Using Logic as a Tool for Modelling Course Overview

OVERVIEW

CEA Partner Institution: Vrije Universiteit Amsterdam
Location: Amsterdam, Netherlands
Primary Subject Area: Philosophy
Instruction in: English
Course Details: Level 300
Recommended Semester Credits: 3
Contact Hours: 45

DESCRIPTION

Logic is the study of different types of reasoning. Logic is also a technology, a tool for elegantly modelling diverse phenomena. The aim of the course is to introduce you to this tool and to explain how it can be used. The course is divided into 3 parts.

We will introduce Classical Logic as the starting point, and show how many different systems of reasoning (logics) arise as variations. We will introduce two fundamental ways of studying a logic, via semantics and syntax. The latter is naturally suited to modelling and automated reasoning.We will also discuss applications in the social sciences focussing on agency and information flow. We will introduce logical formalisms that allow us to model situations in which truth is socially constructed and develop notions such as knowledge and group and common knowledge.

The overarching theme in the handling of applications is the notion of categories and categorisation. Categorisation is the activity of placing things such as objects or ideas into categories based on their similarities or common criteria. We will formally introduce categorisation theory, starting from the classical theory of Aristotle right up to prototype and exemplar theory. We will formalise these notions and explain how the tools of logics could be used to incorporate vagueness in this theory.

The third part of the course uses the foundational development from Part 1 and the modelling intuitions from Part 2. We will introduce the study of formal linguistics where words are classified in terms of the role they play in the sentence formation. A word can be categorised as a noun phrase, a transitive verb, etc. Syntactic categories are then combined, accordingly to rules of formation, to build complex expressions. We will see how a grammatically correct sentence can then be captured by a formal proof or a process of computation and how different readings correspond to different proofs.

At Vrije Universiteit Amsterdam (VU), credits are awarded based on the ECTS system (2 ECTS credits equals 1 U.S. credit therefore, 6 ECTS credits is equivalent to 3 U.S. credits). Summer courses at Vrije Universiteit Amsterdam (VU) meet for a minimum of 45 U.S. contact hours and are awarded at 3 U.S. credits.

Receive a $1,000 Flight Credit when you apply by February 17, 2023

Get your flight credit code and access to Passbook in two easy steps. With Passbook, you can track your favorite programs and courses, save flight credits, and watch videos on the destination you're interested in.

Apply Now

Step 1 of 2

Step 2 of 2


*By providing your mobile number, you agree to receive recurring text messages from CEA Study Abroad notifying you of important program deadlines. Message and data rates may apply.

Privacy Policy   |   Mobile Terms   |   Flight Credit Rules

Your flight credit has been added to your Passbook. Apply now or view your Passbook to begin the next step in your journey.

LET'S CHAT