Results for 'Conditional Logic'

962 found
Order:
  1.  29
    Externalism, Internalism and Moral Scepticism.Conditional Logic - 1991 - International Philosophical Quarterly 31 (4).
  2. 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  
  3.  57
    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)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. 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  
  5.  55
    Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  57
    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   6 citations  
  7.  26
    Conditional Logic is Complete for Convexity in the Plane.Johannes Marti - 2023 - Review of Symbolic Logic 16 (2):529-552.
    We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting the antecedent satisfy the consequent. Equivalently, a conditional is true if the antecedent is contained in the convex hull of the points that satisfy both the antecedent and consequent. Our result is then that every consistent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  54
    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   6 citations  
  9. Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.
  10.  81
    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  
  11.  71
    A nonmonotonic conditional logic for belief revision.Hans Rott - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. 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  
  12.  53
    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   4 citations  
  13. Conditional Logics Accommodating Stalnaker's Thesis.Andrew Bacon - manuscript
  14.  53
    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  
  15.  40
    Conditional logic.B. H. Slater - 1992 - Australasian Journal of Philosophy 70 (1):76 – 81.
  16. Laura Giordano Iterated Belief Revision.Nicola Olivetti & Conditional Logic - 2002 - Studia Logica 70:23-47.
  17. 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  
  18.  22
    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  
  19.  22
    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  
  20.  15
    Conditional logic of actions and causation.Laura Giordano & Camilla Schwind - 2004 - Artificial Intelligence 157 (1-2):239-279.
  21.  42
    A first-order conditional logic for prototypical properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.
  22.  67
    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  
  23.  11
    Conditional logic and the Principle of Entropy.Wilhelm Rödder - 2000 - Artificial Intelligence 117 (1):83-106.
  24.  62
    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  
  25.  42
    Sufficient Conditions, Conditional Logic, and Transitivity.Yakir Levin - 2003 - Kriterion - Journal of Philosophy 1 (17):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 (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  78
    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  
  27.  36
    Topics in Conditional Logic.Gary M. Hardegree - 1982 - Mind 91 (361):136-138.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  28.  64
    Boethius' thesis and conditional logic.Claudio Pizzi - 1977 - Journal of Philosophical Logic 6 (1):283 - 302.
  29.  94
    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   20 citations  
  30.  30
    Foundations of Conditional Logic.Johan Van Benthem - 1984 - Journal of Philosophical Logic 13 (3):303-349.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  31. 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.
  32.  28
    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)  
     
    Export citation  
     
    Bookmark  
  33.  60
    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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34. First-order conditional logic for default reasoning revisited.Nir Friedman, Joseph Halpern, Koller Y. & Daphne - 2000 - Acm Trans. Comput. Logic 1 (2):175--207.
     
    Export citation  
     
    Bookmark   2 citations  
  35.  23
    Language for a causal conditional logic foundations and objectives.Pierre Basso - 1988 - Journal of Indian Philosophy 16 (2):123-166.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  44
    First-order probabilistic conditional logic and maximum entropy.J. Fisseler - 2012 - Logic Journal of the IGPL 20 (5):796-830.
  37.  26
    (1 other version)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  
  38.  34
    An incompleteness theorem for conditional logic.Donald Nute - 1978 - Notre Dame Journal of Formal Logic 19 (4):634-636.
  39.  16
    Topics in Conditional Logic.Donald Nute - 1980 - Boston, MA, USA: Reidel.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40. A semantic analysis of conditional logic.Robert C. Stalnaker & Richmond H. Thomason - 1970 - Theoria 36 (1):23-42.
  41.  45
    A Many-Valued Probabilistic Conditional Logic.François Lepage - 2000 - In Niall Shanks & Robert B. Gardner (eds.), Logic, Probability and Science. Atlanta: Rodopi. pp. 36.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  33
    Automated Reasoning for Conditional Logics: the Theorem Prover Condlean 3.1.Nicola Olivetti & Gian Luca Pozzato - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica.
  43.  25
    Chapter Four. Conditional Logic.John P. Burgess - 1969 - In J. W. Davis (ed.), Philosophical logic. Dordrecht,: D. Reidel. pp. 71-98.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  62
    Foundations of conditional logic.Johan Benthem - 1984 - Journal of Philosophical Logic 13 (3):303 - 349.
  45.  18
    The possibility of a conditional logic.James R. Bode - 1979 - Notre Dame Journal of Formal Logic 20 (1):147-154.
  46.  19
    On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.
  47. The logic of conditionals: an application of probability to deductive logic.Ernest Wilcox Adams - 1996 - Boston: 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   277 citations  
  48. 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  
  49. The Logic of the Evidential Conditional.Eric Raidl, Andrea Iacona & Vincenzo Crupi - 2022 - Review of Symbolic Logic 15 (3):758-770.
    In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  50.  46
    Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1):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 (...) knowledge at hand. It is for instance not safe if the given information describes exceptional circumstances: although birds usually fly, penguins are exceptional to this rule. The two adaptive standard strategies are shown to correspond to different intuitions, a skeptical and a credulous reasoning type, which manifest themselves in the handling of so-called floating conclusions. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 962