Speaker: Johan van Benthem (ILLC, University of Amsterdam & Department of Philosophy, Stanford University)
Date and Time: Thursday, November 21st 2024, 16:30-18:00
Venue: ILLC seminar room F1.15 in Science Park 107 and online.
Title: Connecting Different Logics: Translation, Reduction, Tracking
Abstract. This talk is not about proposing new logical systems, but about connecting or even ‘identifying’ existing logical systems. Members of the cornucopia of modern logical systems look very different qua syntax and semantics, but how much unity do we find when we look ‘under the hood’ of their engines? I discuss this general issue in a variety of aspects: telling examples and their uses, general theory of translations, open problems, and philosophical repercussions.