21 found
Order:
See also
Mathieu Beirlaen
University of Ghent
  1.  67
    An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Straßer & Joke Meheus - 2013 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  51
    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 reading of explanatory relations, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  22
    Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Straßer, Mathieu Beirlaen & Joke Meheus - 2012 - Logique Et Analyse 55 (219):477.
  4. Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  15
    Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
    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  
     
    Bookmark   2 citations  
  6.  1
    Structured Argumentation with Prioritized Conditional Obligations and Permissions.Mathieu Beirlaen, Christian Straßer & Jesse Heyninck - 2018 - Journal of Logic and Computation 29 (2):187-214.
    We present a formal argumentation system for dealing with the detachment of prioritized conditional obligations and permissions. In the presence of facts and constraints, we answer the question whether an unconditional obligation or permission is detachable by considering arguments for and against its detachment. For the evaluation of arguments in favour of detachment, we use a Dung-style argumentation-theoretical semantics. We illustrate how violations and contrary-to-duty scenarios are dealt with in our framework and pay special attention to conflict-resolution via priorities.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  16
    Inconsistency-Adaptive Dialogical Logic.Mathieu Beirlaen & Matthieu Fontaine - 2016 - 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  
     
    Bookmark   1 citation  
  8.  27
    An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Strasser & Joke Meheus - forthcoming - Journal of Philosophical Logic.
  9.  1
    A Structured Argumentation Framework for Detaching Conditional Obligations.Mathieu Beirlaen & Christian Straßer - 2016 - In A. Tamminga O. Roy & M. Willer (eds.), Proceedings of Deon 2016. College Publications. pp. 32--48.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. A Critical Assessment of Pollock’s Work on Logic-Based Argumentation with Suppositions.Mathieu Beirlaen, Jesse Heyninck & Christian Straßer - 2018 - In Proceedings of the Nmr. pp. 63--72.
  11. A Critical Assessment of Pollock’s Work on Logic-Based Argumentation with Suppositions.Mathieu Beirlaen, Jesse Heyninck & Christian Straßer - 2018 - In Proceedings of Argumentation and Philosophy.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  46
    A Logic for the Discovery of Deterministic Causal Regularities.Mathieu Beirlaen, Bert Leuridan & Frederik Van De Putte - 2018 - Synthese 195 (1):367-399.
    We present a logic, \, for the discovery of deterministic causal regularities starting from empirical data. Our approach is inspired by Mackie’s theory of causes as INUS-conditions, and implements a more recent adjustment to Mackie’s theory according to which the left-hand side of causal regularities is required to be a minimal disjunction of minimal conjunctions. To derive such regularities from a given set of data, we make use of the adaptive logics framework. Our knowledge of deterministic causal regularities is, as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  3
    A Paraconsistent Multi-Agent Framework for Dealing with Normative Conflicts.Mathieu Beirlaen & Christian Straßer - 2011 - In Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814. Berlin, Germany: Springer. pp. 312–329.
  14.  25
    A Regress Objection to Thagard’s Theory of Deductive Coherence.Mathieu Beirlaen - 2015 - 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Argument Strength in Formal Argumentation.Mathieu Beirlaen, Jesse Heyninck, Pere Pardo & Christian Straßer - 2018 - Journal of Applied Logics-Ifcolog Journal of Logics and Their Applications 5 (3):629--675.
  16.  18
    A Unifying Framework for Reasoning About Normative Conflicts.Mathieu Beirlaen - 2011 - In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications. pp. 1--14.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Reasoning by Cases in Structured Argumentation.Mathieu Beirlaen, Jesse Heyninck & Christian Straßer - 2017 - In Sung Y. Shin (ed.), Proceedings of the Symposium on Applied Computing - Sac ’17.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  13
    A Logic for the Discovery of Deterministic Causal Regularities.Frederik Putte, Bert Leuridan & Mathieu Beirlaen - 2018 - Synthese 195 (1):367-399.
    We present a logic, $$\mathbf {ELI^r}$$ ELI r, for the discovery of deterministic causal regularities starting from empirical data. Our approach is inspired by Mackie’s theory of causes as INUS-conditions, and implements a more recent adjustment to Mackie’s theory according to which the left-hand side of causal regularities is required to be a minimal disjunction of minimal conjunctions. To derive such regularities from a given set of data, we make use of the adaptive logics framework. Our knowledge of deterministic causal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. An Andersonian Deontic Logic with Contextualized Sanctions.Christian Straßer & Mathieu Beirlaen - 2012 - In International Conference on Deontic Logic in Computer Science. pp. 151--169.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  19
    Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Strasser, Mathieu Beirlaen & Joke Meheus - 2012 - Logique Et Analyse 55 (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  
     
    Bookmark  
  21. Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Straßer, Joke Meheus & Mathieu Beirlaen - 2012 - Logique Et Analyse 219:477--506.
     
    Export citation  
     
    Bookmark   1 citation