Results for 'Conditional Logic'

1000+ found
Order:
  1.  55
    A Conditional Logic for Abduction.Mathieu Beirlaen & Atocha Aliseda - 2014 - Synthese 191 (15):3733-3758.
    We propose a logic of abduction that (i) provides an appropriate formalization of the explanatory conditional, and that (ii) captures the defeasible nature of abductive inference. For (i), we argue that explanatory conditionals are non-classical, and rely on Brian Chellas’s work on conditional logics for providing an alternative formalization of the explanatory conditional. For (ii), we make use of the adaptive logics framework for modeling defeasible reasoning. We show how our proposal allows for a more natural (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Basic Conditional Logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.
  3.  42
    Conditional Logic.Donald Nute - 1989 - Journal of Symbolic Logic 54 (4):1477-1479.
  4.  79
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  28
    Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
    The object of this paper is to examine half and full connexive extensions of the basic regular conditional logic CR. Extensions of this system are of interest because it is among the strongest well-known systems of conditional logic that can be augmented with connexive theses without inconsistency resulting. These connexive extensions are characterized axiomatically and their relations to one another are examined proof-theoretically. Subsequently, algebraic semantics are given and soundness, completeness, and decidability are proved for each (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  96
    Conditional Logics Accommodating Stalnaker's Thesis.Andrew Bacon - manuscript
  7.  31
    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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  29
    Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. A Semantic Analysis of Conditional Logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.
  10.  30
    Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
    A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Conditional Logic and the Principle of Entropy.Wilhelm Rödder - 2000 - Artificial Intelligence 117 (1):83-106.
  12.  79
    Notes on Conditional Logic.Krister Segerberg - 1989 - Studia Logica 48 (2):157 - 168.
    This paper consists of some lecture notes in which conditional logic is treated as an extension of modal logic. Completeness and filtration theorems are provided for some basis systems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  13.  51
    A Nonmonotonic Conditional Logic for Belief Revision.Hans Rott - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Berlin: Springer. pp. 135–181.
    Using Gärdenfors's notion of epistemic entrenchment, we develop the semantics of a logic which accounts for the following points. It explains why we may generally infer `If ~A then B´ if all we know is AvB while must not generally infer `If ~A then B´ if all we know is {AvB, A}. More generally, it explains the nonmonotonic nature of the consequence relation governing languages which contain conditionals, and it explains how we can deduce conditionals from premise sets without (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  14.  26
    A Conditional Logic for Iterated Belief Revision.Valentina Gliozzi - 2002 - Studia Logica 70 (1):23-47.
    In this paper we (Laura Giordano, Nicola Olivetti and myself) propose a conditional logic to represent iterated belief revision systems. We propose a set of postulates for belief revision which are a small variant of Darwiche and Pearl's ones.The resulting conditional logic has a standard semantics in terms of selection function models, and provides a natural representation of epistemic states. A Representation Theorem establishes a correspondence between iterated belief revision systems and conditional models. Our Representation (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  83
    Conditional Logic and the Significance of Tooleys Example.Charles B. Cross - 2006 - Analysis 66 (4):325–335.
    In "Backward causation and the Stalnaker-Lewis approach to counterfactuals," Analysis 62 (2002): 191–97, Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker-Lewis style comparative world similarity account of the truth conditions of counterfactuals cannot be sound. Tooley’s target is one particular type of semantics, but, as I show, the significance of Tooley’s example goes well beyond its consequences for any one semantics for the conditional.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  24
    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, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  27
    Conditional Logic.B. H. Slater - 1992 - Australasian Journal of Philosophy 70 (1):76 – 81.
  18.  2
    Conditional Logic of Actions and Causation.Laura Giordano & Camilla Schwind - 2004 - Artificial Intelligence 157 (1-2):239-279.
  19.  21
    Topics in Conditional Logic.Gary M. Hardegree - 1982 - Mind 91 (361):136-138.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  20.  3
    A First-Order Conditional Logic for Prototypical Properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.
  21.  3
    Conditionals: Logic, Linguistics and Psychology.Stefan Kaufmann, Over David & Ghanshyam Sharma (eds.) - 2022 - Palgrave-Macmillan.
    This edited book examines conditionals from a number of interdisciplinary perspectives, drawing on research from fields as diverse as linguistics, psychology, philosophy and logic. Across 13 chapters, the authors not only investigate and examine various commonly-held perceptions about conditionals, but they also challenge many of the assumptions underpinning current conditionals scholarship, setting an agenda for future research. Based in part on the papers presented at a unique international summer school - Conditionals in Paris - this volume represents the cutting (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. A Geo-Logical Solution to the Lottery Paradox, with Applications to Conditional Logic.Hanti Lin & Kevin Kelly - 2012 - Synthese 186 (2):531-575.
    We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geo-logic, which fills the entire unit (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  23.  77
    Some Embedding Theorems for Conditional Logic.Ming Xu - 2006 - Journal of Philosophical Logic 35 (6):599-619.
    We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proof.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Topics in Conditional Logic.Donald Nute - 1988 - Studia Logica 47 (2):175-176.
     
    Export citation  
     
    Bookmark   22 citations  
  25.  36
    Belief Revision, Conditional Logic and Nonmonotonic Reasoning.Wayne Wobcke - 1995 - Notre Dame Journal of Formal Logic 36 (1):55-103.
    We consider the connections between belief revision, conditional logic and nonmonotonic reasoning, using as a foundation the approach to theory change developed by Alchourrón, Gärdenfors and Makinson (the AGM approach). This is first generalized to allow the iteration of theory change operations to capture the dynamics of epistemic states according to a principle of minimal change of entrenchment. The iterative operations of expansion, contraction and revision are characterized both by a set of postulates and by Grove's construction based (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  4
    Conditional Logic is Complete for Convexity in the Plane.Johannes Marti - forthcoming - Review of Symbolic Logic:1-21.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    Embedding and Automating Conditional Logics in Classical Higher-Order Logic.Christoph Benzmüller, Dov Gabbay, Valerio Genovese & Daniele Rispoli - 2012 - Annals of Mathematics and Artificial Intelligence 66 (1-4):257-271.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  3
    Topics in Conditional Logic.Donald Nute - 1980 - Boston, MA, USA: Reidel.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  43
    Revision Algebra Semantics for Conditional Logic.John Pais - 1992 - Studia Logica 51 (2):279 - 316.
    The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  10
    Foundations of Conditional Logic.Johan Van Benthem - 1984 - Journal of Philosophical Logic 13 (3):303-349.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  31. The Logic of Conditionals: An Application of Probability to Deductive Logic.Ernest Wilcox Adams - 1996 - Dordrecht, Netherland: D. Reidel Pub. Co..
    THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   253 citations  
  32. Hidden variables in conditional logic.Bas C. van Fraassen - 1974 - Theoria 40 (3):176.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  33.  4
    Topics in Conditional Logic.Gary M. Hardegree - 1982 - Journal of Symbolic Logic 47 (3):713-714.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  34.  1
    On First-Order Conditional Logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.
  35.  51
    Boethius' Thesis and Conditional Logic.Claudio Pizzi - 1977 - Journal of Philosophical Logic 6 (1):283 - 302.
  36. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  34
    A Gentzen System for Conditional Logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
    Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andfut. In this paper we give a Gentzen type axiomatization for conditional logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  12
    Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.
    We propose a family of Labelled Deductive Conditional Logic systems by defining a Labelled Deductive formalisation for the propositional conditional logics of normality proposed by Boutilier and Lamarre. By making use of the Compilation approach to Labelled Deductive Systems we define natural deduction rules for conditional logics and prove that our formalisation is a generalisation of the conditional logics of normality.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  16
    Sufficient Conditions, Conditional Logic, and Transitivity.Yakir Levin - 2003 - Kriterion - Journal of Philosophy 17 (1):15-22.
    In a series of publications E.J. Lowe has advocated an attractive alternative to the orthodox view about conditionals embodied in the Stalnaker-Lewis approach. One alleged advantage of Lowe’s approach over its rival is that it offers the prospect of a simpler conditional logic. Another related advantage is that it appears to treat inference by transitivity more plausibly than does the Stalnaker-Lewis approach. One central goal of this paper is to call into question Lowe’s success in providing an account (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  55
    Iterated Belief Revision and Conditional Logic.Laura Giordano, Valentina Gliozzi & Nicola Olivetti - 2002 - Studia Logica 70 (1):23-47.
    In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl''s ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors'' Triviality Result.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  42
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  66
    A Sequent Formulation of Conditional Logic Based on Belief Change Operations.Peter Roeper - 2004 - Studia Logica 77 (3):425 - 438.
    Peter Gärdenfors has developed a semantics for conditional logic, based on the operations of expansion and revision applied to states of information. The account amounts to a formalisation of the Ramsey test for conditionals. A conditional A > B is declared accepted in a state of information K if B is accepted in the state of information which is the result of revising K with respect to A. While Gärdenfors's account takes the truth-functional part of the (...) as given, the present paper proposes a semantics entirely based on epistemic states and operations on these states. The semantics is accompanied by a syntactic treatment of conditional logic which is formally similar to Gentzen's sequent formulation of natural deduction rules. Three of David Lewis's systems of conditional logic are represented. The formulations are attractive by virtue of their transparency and simplicity. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  13
    A Paraconsistent Conditional Logic.Minghui Ma & Chun-Ting Wong - 2020 - Journal of Philosophical Logic 49 (5):883-903.
    We develop a paraconsistent logic by introducing new models for conditionals with acceptive and rejective selection functions which are variants of Chellas’ conditional models. The acceptance and rejection conditions are substituted for truth conditions of conditionals. The paraconsistent conditional logic is axiomatized by a sequent system \ which is an extension of the Belnap-Dunn four-valued logic with a conditional operator. Some acceptive extensions of \ are shown to be sound and complete. We also show (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  42
    Foundations of Conditional Logic.Johan Benthem - 1984 - Journal of Philosophical Logic 13 (3):303 - 349.
  45. First-Order Conditional Logic for Default Reasoning Revisited.Nir Friedman, Joseph Halpern, Koller Y. & Daphne - 2000 - Acm Trans. Comput. Logic 1 (2):175--207.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  46. Sequent Systems for Lewis' Conditional Logics.Björn Lellmann & Dirk Pattinson - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 320--332.
  47. Logical Form and Truth-Conditions.Andrea Iacona - 2013 - Theoria 28 (3):439-457.
    This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form that has been defended in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report.James P. Delgrande - 1988 - Artificial Intelligence 36 (1):63-90.
  49.  45
    Nute Donald. Conditional Logic. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, Pp. 387–439. [REVIEW]Charles B. Cross - 1989 - Journal of Symbolic Logic 54 (4):1477-1479.
  50.  19
    Chapter Four. Conditional Logic.John P. Burgess - 2009 - In Philosophical Logic. Princeton University Press. pp. 71-98.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000