This seminar introduces students to the emerging field of computational philosophy, where philosophical reasoning is explored through the lens of formal methods and artificial intelligence. We will examine how informal philosophical arguments- e.g. those found in ethics, epistemology, or metaphysics - can be encoded in AI frameworks, and how such formalizations allow us to test, refine, and sometimes even challenge long-standing debates.

Alongside practical exercises, we will reflect on broader questions: What is lost and what is gained in formalization? Can machines meaningfully contribute to philosophical inquiry? What does this process reveal about the nature of argumentation itself?

Informationen in UnivIS

Semester: 2025/26 Wintersemester