15 July 2023
Using Logic as a Tool for Modelling
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.
Coordinating lecturer: Giuseppe Greco, Apostolos Tzimoulis
Other lecturer: Sabine Fritella, guest lecturer
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.
By the end of this course, 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.
Contact Hours: 45
Do you want to make the most out of your summer? You can combine this course with a course in session 2 to create a 4-week Summer School in Amsterdam.
EUR 1050: Tuition fees one-week course
VU Students/PhD candidates and employees of VU Amsterdam* or an Aurora Network Partner €500
Students at Partner Universities of VU Amsterdam €650
Students and PhD candidates at non-partner universities of VU Amsterdam €750
Early Bird offer
Applications received before 15 March (14 March CET 23:59) receive €50 Early Bird discount!
VU Amsterdam Summer School offers two kinds of scholarships: the Equal Access Scholarship and the Photographer Scholarship. More information can be found on the VU Amsterdam Summer School website.