This course will introduce you to classical logic and the different systems of reasoning that arise as variations. Explore how logical formalisms can be used to model diverse phenomena spanning from social sciences to natural languages and the notion of categories and categorisation in the handling of applications. Learn to model knowledge, agency, and language with logical tools.
Course overview
- Course dates: 6-17 July 2026 (excluding arrival and departure days)
- Attendance: In-person
- Forms of tuition: Lectures, guest lectures, demonstrations
- Forms of assessment: Homework, presentation
- See the course curriculum
Course level
- Level: Advanced bachelor's
- English language requirement: B2 level or higher (equivalent to IELTS 6.5)
- See the entry requirements
Workload
- Credits: Equivalent to 3 ECTS
- Contact hours: 45
Lecturers
Guest Lecturers