Speaker: Giuliano Rosella (University of Turin)<\/p>\n
Date and Time: Thursday, October 3rd 2024, 16:30-18:00<\/p>\n
Venue: online<\/p>\n
Title:\u00a0The algebra of Lewis\u2019s counterfactuals and their duality theory<\/strong><\/p>\n Abstract.<\/em> The logico-algebraic study of Lewis\u2019s hierarchy of variably strict conditional logics has been essentially unexplored,\u00a0 hindering our understanding of their mathematical foundations, and the connections with other logical systems. This\u00a0 work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis\u2019s logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis\u2019s logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly algebraizable in terms of a specific class of Boolean algebras with a binary operator representing the counterfactual implication. In contrast, we show that the local consequence relation is generally not algebraizable, although it can be characterized as the degree-preserving logic over the same algebraic models. Further, we delve into the algebraic semantics of Lewis\u2019s logics, developing two dual equivalences with respect to particular topological spaces. In more details, we show a duality with respect to the topological version of Lewis\u2019s sphere models, and also with respect to Stone spaces with a selection function; using the latter, we demonstrate the strong completeness of Lewis\u2019s logics with respect to sphere models. Finally, we draw some considerations concerning the limit assumption over sphere models.<\/p>\n","protected":false},"excerpt":{"rendered":" Speaker: Giuliano Rosella (University of Turin)
\nDate and Time: Thursday, October 3rd 2024, 16:30-18:00
\nVenue: online
\nTitle:\u00a0The algebra of Lewis\u2019s counterfactuals and their duality theory
\nAbstract. The logico-algebraic study of Lewis\u2019s hierarchy of variably strict conditional logics has been essentially unexplored,\u00a0 hindering our understanding of their mathematical foundations, and the connections with other logical systems. This\u00a0 work aims to fill […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-5191","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\/5191","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\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=5191"}],"version-history":[{"count":2,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5191\/revisions"}],"predecessor-version":[{"id":5223,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5191\/revisions\/5223"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5191"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5191"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5191"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}