Logic as a Tool for Modelling, Short Course | Vrije Universiteit Amsterdam | Amsterdam, Netherlands
14 days
1100 EUR/full
1100 EUR/full
Tuition fee
Apply date
Start date


 Using Logic as a Tool for Modelling course from Vrije Universiteit Amsterdam will encourage the participants to think about how logic can be applied to their fields of interest.


Key facts

  • 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.

Larning Objectives

By the end of  Using Logic as a Tool for Modelling course from Vrije Universiteit Amsterdam, students will be able to:

  • Understand what is meant by the study of logic, and summarise how different systems of reasoning(logics) come about, and outline how they can be studied.
  • Explain the relationship of proof theory and logic.
  • List and compare a number of different logics, and illustrate how they differ from classical logic.
  • Show how logic can be used to model diverse phenomena.
  • Distinguish the dual role of logic as an idealised form of reasoning and a modelling tool.
  • Develop a maturity concerning abstract modelling and argumentation.

Programme Structure

Course include:

  • 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.

Key information


  • Full-time
    • 14 days

Start dates & application deadlines

More details





On Campus

Academic requirements

We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.

Student insurance

Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items, so make sure your student insurance ticks all the following:

  • Additional medical costs (i.e. dental)
  • Repatriation, if something happens to you or your family
  • Liability
  • Home contents and baggage
  • Accidents
  • Legal aid

We partnered with Aon to provide you with the best affordable student insurance, for a carefree experience away from home.

Get your student insurance now

Starting from €0.53/day, free cancellation any time.

Remember, countries and universities may have specific insurance requirements. To learn more about how student insurance work at Vrije Universiteit Amsterdam and/or in Netherlands, please visit Student Insurance Portal.

Other requirements

General requirements

  • Our target audience are students from any background who have some exposure to mathematical reasoning, academic maturity, and cross-disciplinary interests. We do not presuppose any subject knowledge. Specifically, we aim for advanced Bachelors students and Masters students from fields such as mathematics, computer science, economics, philosophy, finance, accounting, linguistics.
  • Apart from Bachelor's and Master's students, we also welcome PhD candidates and professionals to apply to the course.

Tuition Fee

To always see correct tuition fees
  • International

    1100 EUR/full
    Tuition Fee
    Based on the tuition of 1100 EUR for the full programme during 14 days.
  • EU/EEA

    1100 EUR/full
    Tuition Fee
    Based on the tuition of 1100 EUR for the full programme during 14 days.
  • Students, PhD students and employees of VU Amsterdam, Amsterdam UMC or an Aurora Network Partner: €735
    • Students at Partner Universities of VU Amsterdam: €995
    • Students and PhD candidates at non-partner universities of VU Amsterdam: €1100
    • Professionals: €1310

Living costs for Amsterdam

1000 - 1500 EUR /month
Living costs

The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.


Other interesting programmes for you

Our partners

Logic as a Tool for Modelling
Vrije Universiteit Amsterdam
Logic as a Tool for Modelling
Vrije Universiteit Amsterdam


Go to your profile page to get personalised recommendations!