11 found
Order:
See also:
Profile: Mathieu Beirlaen (Ruhr-Universität Bochum)
  1.  14
    Mathieu Beirlaen & Atocha Aliseda (2014). A Conditional Logic for Abduction. 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 reading of explanatory relations, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  54
    Mathieu Beirlaen & Christian Straßer (2013). Two Adaptive Logics of Norm-Propositions. Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte (forthcoming). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica:1-48.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  9
    Mathieu Beirlaen, Christian Strasser & Joke Meheus (forthcoming). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  3
    Mathieu Beirlaen & Matthieu Fontaine (2016). Inconsistency-Adaptive Dialogical Logic. Logica Universalis 10 (1):99-134.
    Even when inconsistencies are present in our premise set, we can sensibly distinguish between good and bad arguments relying on these premises. In making this distinction, the inconsistency-adaptive approach of Batens strikes a particularly nice balance between inconsistency-tolerance and inferential strength. In this paper, we use the machinery of Batens’ approach to extend the paraconsistent approach to dialogical logic as developed by Rahman and Carnielli. In bringing these frameworks closer together, we obtain a dynamic mechanism for the systematic study of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  7
    Mathieu Beirlaen (2015). A Regress Objection to Thagard’s Theory of Deductive Coherence. Erkenntnis 80 (5):975-986.
    Paul Thagard’s theory of deductive coherence, as set out in his Coherence in Thought and Action, faces a regress objection. Thagard’s method of solving deductive coherence problems presupposes some notion of logical consequence. The problem of specifying which logic to use to this end is itself a deductive coherence problem, so we would expect Thagard’s theory to be able to solve it. However, on pain of regress, the theory of deductive coherence cannot reach such a solution.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  7
    Christian Straßer, Mathieu Beirlaen & Joke Meheus (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique Et Analyse 55 (219):477.
  8.  34
    Mathieu Beirlaen, Christian Straßer & Joke Meheus (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic 42 (2):285-315.
    We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given premise set ‘as normally (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  9.  10
    Mathieu Beirlaen (2011). A Unifying Framework for Reasoning About Normative Conflicts. In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications 1--14.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  11
    Mathieu Beirlaen & Christian Straßer (2013). Two Adaptive Logics of Norm-Propositions. Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    Christian Strasser, Mathieu Beirlaen & Joke Meheus (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique Et Analyse 219:477-506.
    In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DPM) that are characterized by a restriction of the inheritance principle. While they approximate the deductive power of standard deontic logic, they do so only if the user adds certain statements to the premises. By adaptively strengthening the DPM logics, this paper presents logics that overcome this shortcoming. Furthermore, they are capable of modeling the dynamic and defeasible aspect of our normative reasoning by (...)
    Direct download  
     
    Export citation  
     
    My bibliography