The Algebras of Lewis's Counterfactuals
Giuliano Rosella, Sara Ugolini

TL;DR
This paper provides a comprehensive algebraic analysis of Lewis's counterfactual logics, introducing new axiomatizations, exploring their algebraizability, and establishing dualities with topological models to deepen understanding of their mathematical foundations.
Contribution
It introduces novel finite axiomatizations for Lewis's logics, analyzes their algebraizability, and establishes dualities with topological spaces, advancing the mathematical understanding of counterfactual logics.
Findings
Global consequence relation is strongly algebraizable with Boolean algebras.
Local consequence relation is not algebraizable but characterized as degree-preserving logic.
Established dualities with topological models, including sphere models and Stone spaces.
Abstract
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's 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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, programming, and type systems
