A structured argumentation framework for detaching conditional obligations

We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by considering reasons for and against its detachment. For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics. We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature.Comment: This is our submission to DEON 2016, including the technical appendi

Deontic logic as a study of conditions of rationality in norm-related activities

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic

Constraint rule-based programming of norms for electronic institutions

Peer reviewedPostprin

The emergence of norms from conflicts over just distributions

Why is it that well-intentioned actions can create persistent conflicts? While norms are widely regarded as a source for cooperation, this article proposes a novel theory in which the emergence of norms can be understood as a bargaining process in which normative conflicts explain the finally emerging norm. The theory is tested with a dynamical experiment on conflicts over the consideration of equality, effort or efficiency for the distribution of joint earnings. Normative conflict is measured by the number of rejected offers in a recursive bargaining game. The emerging normative system is analyzed by feedback cycles between micro- and macro-level. It is demonstrated that more normative cues cause more normative conflict. Further, under the structural conditions of either simple or complex situations, the convergence towards a simple and widely shared norm is likely. In contrast, in moderately complex situations, convergence is unlikely and several equally reasonable norms co-exist. The findings are discussed with respect to the integration of sociological conflict theory with the bargaining concept in economic theory.social norms, normative conflict, bargaining, cooperation, experiment

Contract Formation through Preemptive Normative Conflict Resolution

Publisher PD

Adaptive logic characterizations of input/output logic

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 (dynamic) 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