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.
Please note: final course details, dates, and tuition fees for the Summer 2027 programme will be published on this website by the end of November.
Course overview
- Course dates: TBA for 2027
- 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