A correspondence-theoretic journey in non-classical logic

Inaugural Lecture of Professor Willem Conradie

Professor Willem Conradie from the School of Mathematics, Faculty of Science, will deliver his inaugural lecture titled, A correspondence-theoretic journey in non-classical logic.

Since the rise of modern mathematical logic in the wake of the foundational crisis of the early twentieth century, the field has seen rapid growth and has found application in many areas including mathematics itself, philosophy, theoretical computer science, artificial intelligence, linguistics and the social sciences. This and the different philosophical views on the nature of mathematics has helped stimulate the development of a wide range of non-classical logics including modal logics, intuitionistic logic, substructural logics, hybrid logics and many-valued logics, to name but a few. This lecture will provide a glimpse into the world of these logics and highlight the systematic connections that can be traced between them when viewed through the lenses of duality and correspondence theory.

The lecture will take place online via Zoom.

Add event to calendar