Frontiers of Conditional Logic

Dissertation, The Graduate Center, City University of New York (2019)
  Copy   BIBTEX


Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations.



    Upload a copy of this work     Papers currently archived: 86,412

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
Some Embedding Theorems for Conditional Logic.Ming Xu - 2006 - Journal of Philosophical Logic 35 (6):599-619.
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
Lewis-Style Semantics for Conditional Logic of Obligation.Timothy Bowen Patrick - 1992 - Dissertation, University of Missouri - Columbia
From onions to broccoli: generalizing Lewis' counterfactual logic.Patrick Girard - 2007 - Journal of Applied Non-Classical Logics 17 (2):213-229.
Counterfactuals in Temporal Alethic-Deontic Logic.Rönnedal Daniel - 2016 - South American Journal of Logic 2 (1):57-81.
The Logic of Conditional Assertions.Daniel Harry Cohen - 1983 - Dissertation, Indiana University
Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
Semantics for Counterpossibles.Yale Weiss - 2017 - Australasian Journal of Logic 14 (4):383-407.
Remarks on counterpossibles.Berit Brogaard & Joe Salerno - 2013 - Synthese 190 (4):639-660.


Added to PP

96 (#154,105)

6 months
8 (#128,018)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yale Weiss
CUNY Graduate Center

Citations of this work

Intuitionistic Conditional Logics.Ivano Ciardelli & Xinghan Liu - 2020 - Journal of Philosophical Logic 49 (4):807-832.
Context-indexed Counterfactuals.Mariusz Popieluch - 2022 - Studia Semiotyczne 35 (2):89-123.

Add more citations

References found in this work

The Philosophy of Philosophy.Timothy Williamson - 2007 - Malden, MA: Wiley-Blackwell.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Naming and Necessity.Saul Kripke - 1980 - Critica 17 (49):69-71.

View all 141 references / Add more references