Course "Using Logic as a Tool for Modelling" at the Vrije Universiteit Amsterdam summer school

Logic is not merely the study of different forms of reasoning, but also a powerful tool for representing and analyzing diverse phenomena. This course, at the summer school of the Vrije Universiteit Amsterdam, provides an introduction to logic and its application to a variety of fields, from computer science to linguistics and the social sciences. 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.