Dear all,
We will have our next LIRa session tomorrow, on Thursday, 21 November 16:30.
To attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723)
You can find the details of the talk below.
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.
Hope to see you there!
The LIRa team