%0 Generic %D In Press %T Adaptive Deontic Logics %A Van De Putte, Frederik %A Beirlaen, Mathieu %A Meheus, Joke %B Handbook of Deontic Logic and Normative Systems %7 1 %I College Publications %V 2 %G eng %0 Journal Article %J Journal of Applied Logic %D In Press %T Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible %A Meheus, Joke %A Beirlaen, Mathieu %A Van De Putte, Frederik %A Straßer, Christian %B Journal of Applied Logic %G eng %0 Journal Article %J IfCoLog Journal of Logics and their Applications %D 2019 %T Adaptive Deontic Logics: A Survey %A Van De Putte, Frederik %A Beirlaen, Mathieu %A Meheus, Joke %B IfCoLog Journal of Logics and their Applications %V 6 %P 523-608 %G eng %U http://www.collegepublications.co.uk/downloads/ifcolog00032.pdf %& 523 %0 Journal Article %J Studia Logica %D 2016 %T Adaptive Logic Characterizations of Input/output Logic %A Straßer, Christian %A Beirlaen, Mathieu %A Van De Putte, Frederik %X

We translate the unconstrained and constrained input/output-logics from [17, 18] to reflexive modal logics, using adaptive logics for the constrained case. The resulting reformulation has various advantages. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our modal framework gives naturally rise to useful variants. Finally, the modal logics display a gain in expressive power over their original counterparts in the input/output framework.

%B Studia Logica %V 104 %P 869-916 %G eng %N 5 %& 869 %0 Journal Article %J Journal of Philosophical Logic %D 2013 %T An Inconsistency-Adaptive Deontic Logic for Normative Conflicts %A Beirlaen, Mathieu %A Straßer, Christian %A Meheus, Joke %X

We present the inconsistency-adaptive deontic logic \sys{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. On the other hand, \sys{DP}$^r$ still verifies all intuitively reliable inferences valid in Standard Deontic Logic (\sys{SDL}). \sys{DP}$^r$ interprets a given premise set ‘as normally as possible’ with respect to \sys{SDL}. Whereas some \sys{SDL}-rules are verified unconditionally by \sys{DP}$^r$, others are verified conditionally. The latter are applicable unless they rely on formulas that turn out to behave inconsistently in view of the premises. This dynamic process is mirrored by the proof theory of \sys{DP}$^r$

%B Journal of Philosophical Logic %V 42 %P 285–315 %G eng %R http://dx.doi.org/10.1007/s10992-011-9221-3 %0 Journal Article %J Journal of Logic and Computation %D 2013 %T Non-monotonic reasoning with normative conflicts in multi-agent deontic logic %A Beirlaen, Mathieu %A Straßer, Christian %X

We present two multi-agent deontic logics that consistently accommodate various types of normative conflicts. Its language features modal operators for obligation and permission, and for the realization of individual and collective actions. The logic is non-classical since it makes use of a paraconsistent and paracomplete negation connective. Moreover, it is non-monotonic due to its definition within the adaptive logics framework for defeasible reasoning. The logic is equipped with a defeasible proof theory and semantics.

%B Journal of Logic and Computation %V 24 %P 1179–1207 %G eng %R 10.1093/logcom/exs059 %0 Journal Article %J JOURNAL OF APPLIED LOGIC %D 2013 %T Two adaptive logics of norm-propositions %A Beirlaen, Mathieu %A Straßer, Christian %X

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 (ii). This results in the adaptive logics LNPrLNPr and LNPmLNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPrLNPr and LNPmLNPm are equipped with a preferential semantics and a dynamic proof theory.

%B JOURNAL OF APPLIED LOGIC %V 11 %P 147–168 %G eng %R http://dx.doi.org/10.1016/j.jal.2013.02.001 %0 Conference Proceedings %B 11th International Conference on Deontic Logic in Computer Science, DEON2012 %D 2012 %T An Andersonian deontic logic with contextualized sanctions %A Straßer, Christian %A Beirlaen, Mathieu %E Agotnes, Thomas %E Broersen, Jan %E Elgesem, Dag %X

We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula S B is then for instance interpreted as ldquo B causes a sanctionrdquo or as ldquo B provides a reason for (the applicability of) a sanctionrdquo. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central `paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's `gentle murderer' paradox.

%B 11th International Conference on Deontic Logic in Computer Science, DEON2012 %I Springer %P 151-169 %@ 9783642315695 %G eng %0 Journal Article %J Logique et Analyse %D 2012 %T Tolerating Deontic Conflicts by Adaptively Restricting Inheritance %A Straßer, Christian %A Meheus, Joke %A Beirlaen, Mathieu %X

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 their dynamic proof theory. This way they enable us to have a better insight in the relations between obligations and thus to localize deontic conflicts.

%B Logique et Analyse %V 219 %P 477-506 %G eng %0 Generic %D 2012 %T Tolerating Normative Conflicts in Deontic Logic. %A Beirlaen, Mathieu %I Ghent University %8 September 13 %9 phd %1

Joke Meheus and Christian Straßer

%0 Generic %D 2012 %T Towards More Conflict-Tolerant Deontic Logics %A Beirlaen, Mathieu %E Van Kerkhove, Bart %E Libert, Thierry %E Vanpaemel, Geert %E Marage, Pierre %X

In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for the presence of such conflicts within the logic of ought. In determining the nature of moral conflict, Williams stressed its contingency. In this paper, Williams’ characterization of moral conflict is defended. However, Williams’ solution for consistently allowing for such conflicts within the logic of ought is shown to be too crude. Whereas Williams rejects all applications of the agglomeration rule in the logic of ought, it is shown that a more sophisticated approach is needed. An alternative solution is presented in which the application of the agglomeration rule is made conditional upon the principle that" oughtimplies can."

%B Logic, Philosophy and History of Science in Belgium II %I Koninklijke Vlaamse Academie van België %C Brussel %P 1-8 %G eng %0 Journal Article %J Tijdschrift voor Filosofie %D 2012 %T Understanding Human Agency, by Erasmus Mayr (review; in Dutch) %A Beirlaen, Mathieu %B Tijdschrift voor Filosofie %V 2 %P 383-385 %G eng %0 Generic %D 2012 %T A unifying framework for reasoning about normative conflicts %A Beirlaen, Mathieu %E Pelis, Michal %E Puncochar, Vit %X

First, two context-dependent desiderata are presented for devising calculi of deontic logic that can consistently accommodate normative conflicts. Conflict-tolerant deontic logics (CTDLs) can be evaluated by their treatment of the trade-off between these desiderata. Next, it is argued that CTDLs defined within the standard format for adaptive logics are particularly good at overcoming this trade-off.

%B The logica yearbook 2011 %I College Publications %P 1–14 %@ 9781848900714 %G eng %0 Journal Article %J Tijdschrift voor Filosofie %D 2011 %T Aristotle's Modal Proofs, by Adriane Rini (review; in Dutch) %A Beirlaen, Mathieu %B Tijdschrift voor Filosofie %V 4 %P 749-751 %G eng %0 Journal Article %J Theoretical and applied ethics %D 2011 %T Ethical consistency and the logic of ought %A Beirlaen, Mathieu %X

In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for the presence of such conflicts within the logic of 'ought'. In determining the nature of moral conflict, Williams stressed its contingency. In this paper, Williams’ characterization of moral conflict is defended. However, Williams’ solution for consistently allowing for such conflicts within the logic of 'ought' is shown to be too crude. Whereas Williams rejects all applications of the agglomeration rule in the logic of 'ought', it is shown that a more sophisticated approach is needed. An alternative solution is presented in which the application of the agglomeration rule is made conditional upon the principle that ˝ought implies can˝.

%B Theoretical and applied ethics %V 1 %P 45–51 %G eng %0 Conference Proceedings %B 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) %D 2011 %T A paraconsistent multi-agent framework for dealing with normative conflicts %A Beirlaen, Mathieu %A Straßer, Christian %E Leite, Joao %E Torroni, Paolo %E Agotnes, Thomas %E Boella, Guido %E van der Torre, Leon %X

In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.

%B 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) %I Springer %P 312-329 %@ 9783642223587 %G eng %U http://dx.doi.org/10.1007/978-3-642-22359-4 %0 Conference Paper %B Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010) %D 2010 %T Avoiding Deontic Explosion by Contextually Restricting Aggregation %A Meheus, Joke %A Beirlaen, Mathieu %A Van De Putte, Frederik %E Governatori, Guido %E Sartor, Giovanni %X

In this paper, we present an adaptive logic for deontic conflicts, called \sys{P2.1}$^r$, that is based on Goble's logic \sys{SDL}$a$\sys{P}$e$–-a bimodal extension of Goble's logic \sys{P} that invalidates aggregation for all \emph{prima facie} obligations. The logic \sys{P2.1}$^r$ has several advantages with respect to \sys{SDL}$a$\sys{P}$e$. For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of obligations, it validates aggregation ``as much as possible''. It thus leads to a richer consequence set than \sys{SDL}$a$\sys{P}$e$. The logic \sys{P2.1}$^r$ avoids Goble's criticisms against other non-adjunctive systems of deontic logic. Moreover, it can handle all the `toy examples' from the literature as well as more complex ones.

%B Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010) %I Springer %C Dordrecht %G eng %R http://dx.doi.org/10.1007/978-3-642-14183-6\_12 %0 Journal Article %J The Reasoner %D 2010 %T Report LRR10: Logic, reasoning and rationality %A Beirlaen, Mathieu %A Gauderis, Tjerk %A Gervais, Raoul %A Kosolosky, Laszlo %B The Reasoner %V 4 %P 165–166 %G eng %U http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol4/TheReasoner-4(11).pdf %0 Report %D 2010 %T Towards more conflict-tolerant deontic logics by relaxing the interdefinability between obligations and permissions %A Straßer, Christian %A Beirlaen, Mathieu %X

While conflict-tolerant logics (CTDLs) usually allow for obligation- obligation conflicts, they fall short of tolerating obligation-permission con- flicts (OP-conflicts) of the type OA &\#8743; P&\#172; A. Moreover, for the sake of conflict-tolerance these logics usually do not validate the very intuitive principle (D), OA &\#8835; PA. We demonstrate in this paper that by relaxing the interdefinability between obligations and permission PA =df &\#172;O&\#172;A that is characteristic for most deontic logics, the logics get more conflict-tolerant since they allow for OP-conflicts. Moreover, this way they can be equipped with (D) without the need to sacrifice conflict-tolerance. In this paper we offer a generic procedure that transforms a given CTDL into a logic that tolerates OP-conflicts and validates (D).

%G eng