{"id":5256,"date":"2024-10-24T14:41:11","date_gmt":"2024-10-24T12:41:11","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5256"},"modified":"2024-11-21T19:33:47","modified_gmt":"2024-11-21T18:33:47","slug":"lira-session-johan-van-benthem-5","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2024\/10\/lira-session-johan-van-benthem-5\/","title":{"rendered":"LIRa session: Johan van Benthem"},"content":{"rendered":"<p>Speaker: <a href=\"https:\/\/staff.fnwi.uva.nl\/j.vanbenthem\/\">Johan van Benthem<\/a> (ILLC, University of Amsterdam &amp; Department of Philosophy, Stanford University)<\/p>\n<p>Date and Time: Thursday, November&nbsp;21st 2024, 16:30-18:00<\/p>\n<p>Venue: ILLC seminar room F1.15 in Science Park 107\u00a0<strong>and<\/strong>\u00a0<a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/guidelines-for-online-sessions\/\">online<\/a>.<\/p>\n<p>Title:\u00a0<strong>Connecting Different Logics: Translation, Reduction, Tracking<\/strong><\/p>\n<p><em>Abstract.<\/em> This talk is not about proposing new logical systems, but about connecting or even &#8216;identifying&#8217; 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 \u2018under the hood\u2019 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.<\/p>\n<p>Handout: <a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/files\/2024-11-21-LIRa--Johan_van_Benthem_Translation.pdf\">2024-11-21-LIRa&#8211;Johan_van_Benthem_Translation.pdf<\/a><\/p>\n<p><a href=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/files\/2024-11-21-LIRa%E2%80%93Johan_van_Benthem_Translation_Board.jpg\" target=\"_blank\" rel=\"noopener\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-medium\" src=\"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/files\/2024-11-21-LIRa%E2%80%93Johan_van_Benthem_Translation_Board.jpg\" alt=\"Blackboard\" width=\"2000\" height=\"1001\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Johan van Benthem (ILLC, University of Amsterdam &amp; Department of Philosophy, Stanford University)<br \/>\nDate and Time: Thursday, November&nbsp;21st 2024, 16:30-18:00<br \/>\nVenue: ILLC seminar room F1.15 in Science Park 107\u00a0and\u00a0online.<br \/>\nTitle:\u00a0Connecting Different Logics: Translation, Reduction, Tracking<br \/>\nAbstract. This talk is not about proposing new logical systems, but about connecting or even &#8216;identifying&#8217; existing logical systems. Members of the cornucopia [&#8230;]<\/p>\n","protected":false},"author":16,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-5256","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5256","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=5256"}],"version-history":[{"count":6,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5256\/revisions"}],"predecessor-version":[{"id":5289,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5256\/revisions\/5289"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5256"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5256"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5256"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}