8 found
Sort by:
See also:
Profile: Mathieu Beirlaen (Universidad Nacional Autonoma de Mexico)
  1. Mathieu Beirlaen, Christian Strasser & Joke Meheus (forthcoming). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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, (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. Christian Straßer, Mathieu Beirlaen & Joke Meheus (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique Et Analyse 55 (219):477.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. 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  
     
    My bibliography  
     
    Export citation  
  7. 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  
     
    My bibliography  
     
    Export citation