Switch to: References

Add citations

You must login to add citations.
  1. An Expressivist Analysis of the Indicative Conditional with a Restrictor Semantics.John Cantwell - 2021 - Review of Symbolic Logic 14 (2):487-530.
    A globally expressivist analysis of the indicative conditional based on the Ramsey Test is presented. The analysis is a form of ‘global’ expressivism in that it supplies acceptance and rejection conditions for all the sentence forming connectives of propositional logic (negation, disjunction, etc.) and so allows the conditional to embed in arbitrarily complex sentences (thus avoiding the Frege–Geach problem). The expressivist framework is semantically characterized in a restrictor semantics due to Vann McGee, and is completely axiomatized in a logic dubbed (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Theorem proving for conditional logics: CondLean and GOALD U CK.Nicola Olivetti & Gian Luca Pozzato - 2008 - Journal of Applied Non-Classical Logics 18 (4):427-473.
    In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous manner. CondLean also comprises a graphical interface written in Java. Furthermore, we introduce a goal-directed proof search mechanism, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Difference-making conditionals and the relevant Ramsey test.Hans Rott - 2022 - Review of Symbolic Logic 15 (1):133-164.
    This article explores conditionals expressing that the antecedent makes a difference for the consequent. A ‘relevantised’ version of the Ramsey Test for conditionals is employed in the context of the classical theory of belief revision. The idea of this test is that the antecedent is relevant to the consequent in the following sense: a conditional is accepted just in case the consequent is accepted if the belief state is revised by the antecedent and the consequent fails to be accepted if (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Idealizations, intertheory explanations and conditionals.Hans Rott - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 59–75.
    Drawing inspiration from Lakatos’s philosophy of science, the paper presents a notion of intertheory explanation that is suitable to explain, from the point of view of a successor theory, its predecessor theory’s success (where it is successful) as well as the latter’s failure (where it fails) at the same time. A variation of the Ramsey-test is used, together with a standard AGM belief revision model, to give a semantics for open and counterfactual conditionals and ’because’-sentences featuring in such intertheory explanations. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Changing minds about climate change: Belief revision, coherence, and emotion.Paul Thagard & Scott Findlay - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 329--345.
    Download  
     
    Export citation  
     
    Bookmark   5 citations