Projects in Previous Years

1st Semester 2010/11: Dialogical Logic

Sara Uckelman
If you are interested in this project, please contact Sara by email.
Dialogical logic was developed by Lorenzen and Lorenz in the 1960s and 1970s as an alternative semantics for intuitionistic logic. Since then, it has been extended to provide semantics for classical logic as well as various types of modal, relevance, and connexive logics. More recently, the dialogical logic framework has been used to generate wholly new logics. This project will comprise in the first half lectures introducing the students to the relevant historical material, and then in the second half the students will both read more recent papers and produce a paper of their own on some relevant topic. There will be individual meetings to discuss the papers and, depending on the number of students, a day devoted to presenting the paper topics.