M ar 2 00 9 A semantics for obligations - Local and global properties of obligations ∗
نویسنده
چکیده
We analyze a number of properties obligations have or should have. We will not present a definite answer what an obligation “is”, but rather point out the numerous possibilities to consider, as well as some of their interrelations.
منابع مشابه
ar X iv : 0 81 1 . 27 54 v 1 [ m at h . L O ] 1 7 N ov 2 00 8 A semantics for obligations ∗
We attack two problems here: First, we want to combine a modal accessibility relation with a preferential relation in a modal language. This problem is solved by adding a complementary modality. Second, we want to characterize obligations syntactically and semantically. This problem is solved sytactically by suitable disjunctions of conjunctions but not negations. Semantically, we define a Hamm...
متن کاملProof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency
The B formal method has been successfully used in large projects and is not reserved to experts. The main correctness criterion of B is that every piece of code must preserve invariant properties. In this article, we brieey introduce the basic notions of B. We then concentrate on the proof obligations. After introducing them, we show how the sum of local proofs makes a global consistency. We be...
متن کاملHuman Rights Discourse in the Sustainable Development Agenda Avoids Obligations and Entitlements; Comment on “Rights Language in the Sustainable Development Agenda: Has Right to Health Discourse and Norms Shaped Health Goals?”
Our commentary on Forman et al paper explores their thesis that right to health language can frame global health policy responses. We examined human rights discourse in the outcome documents from three 2015 United Nations (UN) summits and found rights-related terms are used in all three. However, a deeper examination of the discourse finds the documents do not convey the obligations and entitle...
متن کامل'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
We study logical properties that concern the preservation of future directed obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy propagation properties, without losing too much of the basic properties of the product. We arrive at a semantics in which we...
متن کاملنسبت «تکالیف طبیعی» و «تکالیف شهروندی»
The relationship between “rights” and “obligations” is one of an inseparable nature. In the same way that “human rights” are perceived as being distinct from “citizenship rights”, “duties” and “obligations” of individuals as human beings are distinguishable from their obligations as citizens. The present paper presupposes the ties between rights and obligations to apply to any individual and “s...
متن کامل