Counterfactual Logic: A Modern Overview
dc.contributor.advisor | Bauer, Kristine | |
dc.contributor.advisor | Zach, Richard | |
dc.contributor.author | Rios Flores, Mohamar | |
dc.contributor.committeemember | Cunningham, Clifton | |
dc.contributor.committeemember | Payette, Gillman | |
dc.date | 2024-05 | |
dc.date.accessioned | 2024-01-30T19:23:05Z | |
dc.date.available | 2024-01-30T19:23:05Z | |
dc.date.issued | 2024-01-26 | |
dc.description.abstract | Lewis (1973) described a family of logics for reasoning about counterfactual statements. These logics also contained additional connectives for reasoning about comparative possibility statements and modalities. Moreover, Lewis described a possible world semantics involving a ``sphere system'' that effectively lets you talk about some worlds being more ``similar'' to a given world than others. The resulting theory is very powerful and flexible in many ways similar to the theory of normal modal logics. Unfortunately, Lewis provided an extremely terse formal description of the theory with many important theorems, definitions, and details omitted or described vaguely. There are no other resources that present a complete formal description of this theory. Without this formal description one is unable to propose new logics in this family and prove soundness and completeness theorems for them. To remedy this, we present a reformulation of Lewis' theory using modern methods and notation. All definitions are described formally and all core results are proven in explicit detail. We include an informal overview of the different kinds of statements associated with each connective. The semantics is reformulated in terms of frames. The syntax includes additional rules and theorems to make it easier to use. Both the soundness and the strong soundness theorems are proven. The completeness theorem uses canonical models and the entire construction is shown explicitly. The first edition of Counterfactuals (Lewis, 1973) had an error exposed by Krabbe (1978) that led to the second edition (Lewis, 2001) having a more complex definition. So we present a reformulation of Krabbe's construction within our modernized setting. | |
dc.identifier.citation | Rios Flores, M. (2024). Counterfactual logic: a modern overview (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. | |
dc.identifier.uri | https://hdl.handle.net/1880/118138 | |
dc.identifier.uri | https://doi.org/10.11575/PRISM/42982 | |
dc.language.iso | en | |
dc.publisher.faculty | Graduate Studies | |
dc.publisher.institution | University of Calgary | |
dc.rights | University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. | |
dc.subject | counterfactual logic | |
dc.subject | counterfactuals | |
dc.subject | David Lewis | |
dc.subject | comparative possibility | |
dc.subject | possible world semantics | |
dc.subject | modal logic | |
dc.subject | logic | |
dc.subject | sphere semantics | |
dc.subject.classification | Mathematics | |
dc.title | Counterfactual Logic: A Modern Overview | |
dc.type | master thesis | |
thesis.degree.discipline | Mathematics & Statistics | |
thesis.degree.grantor | University of Calgary | |
thesis.degree.name | Master of Science (MSc) | |
ucalgary.thesis.accesssetbystudent | I do not require a thesis withhold – my thesis will have open access and can be viewed and downloaded publicly as soon as possible. |