Switch to: References

Add citations

You must login to add citations.
  1. Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
    Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving conditional expressions in natural language. Although conditional logics have by now been thoroughly studied in a classical context, they have yet to be systematically examined in an intuitionistic context, despite compelling philosophical and technical reasons to do so. This paper addresses this gap by thoroughly examining the basic intuitionistic conditional logic ICK, the intuitionistic counterpart of Chellas’ important classical system CK. I give ICK both worlds (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Possible World Semantics and True-True Counterfactuals.Lee Walters - 2016 - Pacific Philosophical Quarterly 97 (3):322-346.
    The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):125-148.
    This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ‘safe' to do so concerning the factual and conditional knowledge at hand. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Counterfactuals and Historical Possibility.Tomasz Placek & Thomas Müller - 2007 - Synthese 154 (2):173-197.
    We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Stenius' approach to disjunctive permission.David Makinson - 1984 - Theoria 50 (2-3):138-147.
    A critical review of Stenius' account of the logic of disjunctive permissions, leading to a proposal for a closely related approach in terms of "checklist conditionals".
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Plausibility, necessity and identity: A logic of relative plausibility. [REVIEW]Xiaowu Li & Xuefeng Wen - 2007 - Frontiers of Philosophy in China 2 (4):629-644.
    We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.
    Download  
     
    Export citation  
     
    Bookmark  
  • Counterfactual Dependence and Arrow.Thomas Kroedel & Franz Huber - 2012 - Noûs 47 (3):453-466.
    We argue that a semantics for counterfactual conditionals in terms of comparative overall similarity faces a formal limitation due to Arrow’s impossibility theorem from social choice theory. According to Lewis’s account, the truth-conditions for counterfactual conditionals are given in terms of the comparative overall similarity between possible worlds, which is in turn determined by various aspects of similarity between possible worlds. We argue that a function from aspects of similarity to overall similarity should satisfy certain plausible constraints while Arrow’s impossibility (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The miraculous conception of counterfactuals.John F. Halpin - 1991 - Philosophical Studies 63 (3):271 - 290.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Context-indexed counterfactuals and non-vacuous counterpossibles.Mariusz Popieluch - 2019 - Dissertation, The University of Queensland
    The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New York
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations