Amsterdam, Netherlands

Using Logic as a Tool for Modelling

when 17 July 2021 - 24 July 2021
language English
duration 1 week
credits 3 EC
fee EUR 850

NOTE: Given the insecurity about the development of covid-19 and its influence on on-campus (offline) activities, all –then applicable- guidelines from the Dutch government will be followed. On 1 May, we will decide whether this course can run on-campus or if it will be given online.

Logic is the study of different forms of reasoning. It can also be a useful tool for modelling diverse phenomena. This course starts with the basics, as we explain what is meant by logic and illustrate how we can use symbolic language to convey meaning more efficiently than natural language. We will introduce two core approaches to studying logic. The first is through semantics (meaning), and the second is through syntax. This way, we will demonstrate the power of logic as a tool, reinforced with concrete examples. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and peers based on the information in the tutorials.

Course leader

Dr Giuseppe Greco, Dr Revantha Ramanayake, Dr Apostolos Tzimoulis

Target group

This course is intended for Advanced Bachelors’ students, Masters’ students, and PhD students from fields such as mathematics, computer science, economics, philosophy, finance, accounting, linguistics. However, students from any discipline interested in mathematical reasoning and adopting a cross-disciplinary approach to learning are more than welcome to sign up for the course.
Prior subject knowledge isn’t necessary for this course. If you have doubts about your eligibility for the course, please let us know. Our courses are multi-disciplinary and therefore are open to students with a wide variety of backgrounds.

Course aim

By the end of this course, students will be able to:
• Understand what is meant by the study of logic, and summarise how the different systems of reasoning work.
• Explain the relationship between proof theory and logic.
• List and compare several forms of logic, 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 both an idealised form of reasoning and a modelling tool.
• Develop a keen understanding of abstract modelling and argumentation.

Credits info

3 EC
Contact Hours: 45
Do you want to make the most out of your summer? You can combine this course with a course in session 1 to create a 4-week Summer School in Amsterdam.

Fee info

EUR 850: The tuition fee of a two-week course depends on your situation and ranges from €850-1150. This tuition fee includes:
- Two week course;
- Exclusive content for a limited number of students;
- Transcript of records with a maximum of 3 ECTS (European study credits);
- Certificate of attendance after completing the course;
- Individual/group guidance from professor;
- Interactive classes;
- Full support from the summer school team;
- For on-campus courses: airport pick-up and welcome activities.


VU Amsterdam Summer School offers three kinds of scholarships: the Academic Scholarship, the Photographer Scholarship and the Vlogger/Videographer Scholarship. More information can be found on the VU Amsterdam Summer School website.

Register for this course
on course website