Switch to: References

Add citations

You must login to add citations.
  1. An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic.Grigory Olkhovikov - 2024 - Journal of Philosophical Logic 53 (5).
    We introduce a basic intuitionistic conditional logic \(\textsf{IntCK}\) that we show to be complete both relative to a special type of Kripke models and relative to a standard translation into first-order intuitionistic logic. We show that \(\textsf{IntCK}\) stands in a very natural relation to other similar logics, like the basic classical conditional logic \(\textsf{CK}\) and the basic intuitionistic modal logic \(\textsf{IK}\). As for the basic intuitionistic conditional logic \(\textsf{ICK}\) proposed in Weiss (_Journal of Philosophical Logic_, _48_, 447–469, 2019 ), \(\textsf{IntCK}\) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
    This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.
    Motivated by supplying a new strategy for connexive logic and a better semantics for conditionals so that negating a conditional amounts to negating its consequent under the condition, we propose a new semantics for connexive conditional logic, by combining Kleene’s three-valued logic and a slight modification of Stalnaker’s semantics for conditionals. In the new semantics, selection functions for selecting closest worlds for evaluating conditionals can be undefined. Truth and falsity conditions for conditionals are then supplemented with a precondition that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Counterfactual Assumptions and Counterfactual Implications.Bartosz Więckowski - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 399-423.
    We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of sentence is analysed in terms of counterfactual implication, the latter in terms of factual implication. Derivations in these modal proof systems make use of modes of assumptions which are sensitive to the factuality status of the formula that is to be assumed. This status is determined by means of the reference proof system on top of which a modal proof system (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Intuitionistic Conditional Logics.Ivano Ciardelli & Xinghan Liu - 2020 - Journal of Philosophical Logic 49 (4):807-832.
    Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2. We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these conditions. On the way, we remark how, in the intuitionistic setting, certain classically equivalent principles of conditional logic come apart, and how certain logical connections (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations