Abstract
dc:description.abstractLewis (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.
Degree
thesis:*- Name thesis:degree_name
- Master of Science (MSc)
- Discipline thesis:degree_discipline
- Mathematics & Statistics
- Grantor dc:publisher.institution
- Graduate Studies
- Year dc:date.issued
- 2024
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Rios Flores, Mohamar
- Advisors dc:contributor.advisor
-
- Bauer, Kristine
- Zach, Richard
- Committee members dc:contributor.committeemember
-
- Cunningham, Clifton
- Payette, Gillman
Subjects
dc:subject × 8Rights
dc:rights- Statement 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.
- Language dc:language.iso
- en
Identifiers
dc:identifier.*- OAI identifier oai:identifier
- oai:ucalgary.scholaris.ca:1880/118138