Course Details
Country:
Netherlands
Institution:
Free University of Amsterdam Summer School
Course Title:
Logic as a Tool for Modelling
Course Number:
Course Description:
Logic is the study of different types of reasoning. Logic is also 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 and show how many different systems of reasoning (logics) arise as variations. We will study two fundamental ways of studying 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.
Language:
English
Approved Equivalent:
PHIL 173
Attachment Files:
Syllabus Logic as a Tool for Modelling VUASS 2024.pdf
