The algebras of Lewis's Counterfactuals: duality theory
This paper explores the mathematical connections between the algebraic and relational semantics of Lewis’s logics for counterfactual conditionals. Specifically, we introduce topological variants of Lewis’s well-known possible-worlds semantics—based on spheres, selection functions, and orders—and est...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2026 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:dnet:digitalcsic_::b2c3654357fe6c412441f432e36f0817 |
| Acceso en línea: | http://hdl.handle.net/10261/431741 https://api.elsevier.com/content/abstract/scopus_id/105026088413 |
| Access Level: | acceso abierto |
| Palabra clave: | Counterfactuals Conditionals Duality theory Boolean algebras with operators |
| Sumario: | This paper explores the mathematical connections between the algebraic and relational semantics of Lewis’s logics for counterfactual conditionals. Specifically, we introduce topological variants of Lewis’s well-known possible-worlds semantics—based on spheres, selection functions, and orders—and establish duality results with respect to varieties of Boolean algebras equipped with a counterfactual operator, which serve as the equivalent algebraic semantics of Lewis’s main systems. These results aim to provide a solid mathematical foundation for the study of Lewis’s logics, and offer a new perspective on the most well-known possible worlds-based models. In particular, we write explicit proofs for several results that are often assumed without proof in the literature. Leveraging these duality results, we also derive alternative proofs of strong completeness for Lewis’s variably strict conditional logics with respect to their intended models, and clarify the role of the limit assumption in sphere semantics. |
|---|