Methods Fellows Series | Medieval Logic and Computational Methods

New

This course looks at how modern computational techniques in logic can be used to approach historical questions in the history of logic while also reflecting on the differences and similarities between historical and modern approaches to logic.

Historically, the course will focus on two authors’ approaches to modal logic, the branch of logic that deals with possibility, necessity, and contingency. Ibn Sina (9th century) and John Buridan (14th century). Using these two authors and their discussions of logic as a starting place, we will look at how their logical systems can be represented and formalised using contemporary computational methods, as well as reflecting on the similarities and differences between historical approaches to analysing validity and its relationship to modern notions of algorithms.

The overarching aim of the course is to develop the framework that allows us to computationally show that Buridan and Ibn Sina are working with the same modal logic under two different presentations.

This workshop is open to graduate students and staff at the University of Cambridge. Places are limited and all applicants are requested to complete an information gathering form for a place to be secured.

Participants are requested to complete the further information form before attendance onto this course.

Number of sessions: 4