Problems and results for logics about imperatives

Hansen, Jörg

doi:10.1016/j.jal.2004.01.003

Cited by 16 publications

(18 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…21 Horty (2012) discusses good reason, van der Torre and Tan (2000) discusses phase-1 obligations, Horty (2003) discusses prima facie obligations. Brown (1999) and Hansen (2004) make similar distinctions. 22 There are four kinds of views about conflicting 'ought's that do not have this structure.…”

Section: The Structure Of Agglomerationmentioning

confidence: 97%

See 1 more Smart Citation

Conflicting reasons, unconflicting ‘ought’s

Nair¹

2015

Philos Stud

View full text Add to dashboard Cite

One of the popular albeit controversial ideas in the last century of moral philosophy is that what we ought to do is explained by our reasons. And one of the central features of reasons that accounts for their popularity among normative theorists is that they can conflict. But I argue that the fact that reasons conflict actually also poses two closely related problems for this popular idea in moral philosophy. The first problem is a generalization of a problem in deontic logic concerning the existence of conflicting obligations. The second problem arises from a tension between the fact that reasons can conflict and a model of how reasons explain 'ought's that has been widely accepted. Having presented each of these problems, I develop a unified solution to them that is informed by results in both ethics and deontic logic. An important implication of this solution is that we must distinguish between derivative and nonderivative reasons and revise our conception how it is that reasons explain 'ought's .

show abstract

Section: The Structure Of Agglomerationmentioning

confidence: 97%

“…And see the helpful collectionGowans (1987a). For more recent discussion that bears particularly on the issues discussed in this section seeHansen (2004),McNamara (2004), van der Torre and Tan(2000), and especiallyGoble (2009Goble ( , 2013 andHorty (2003).…”

mentioning

confidence: 99%

Conflicting reasons, unconflicting ‘ought’s

Nair¹

2015

Philos Stud

View full text Add to dashboard Cite

show abstract

“…One should, for instance, also allow for deontic conflicts that involve more than two obligations, such as OA, OB, and O(¬A ∨ ¬B) (see below for a discussion of this kind of conflicts). Remarkably, hardly any attention was paid to such conflicts (some exceptions where the possibility of conflicts between more than two obligations is considered are [13], [14], and [15]). …”

Section: A More General Approach To Normative Conflictsmentioning

confidence: 99%

“…The second class of solutions consists of bimodal systems, where aggregation is restricted to obligations for one of the two ought-operators-see, for instance, [17] and [15]. Goble argues convincingly that, although these logics avoid explosion, they seem far-fetched from the viewpoint of everyday deontic reasoning.…”

Section: Restricting Aggregationmentioning

confidence: 99%

Avoiding Deontic Explosion by Contextually Restricting Aggregation

Meheus

Beirlaen

Putte

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1 r , that is based on Goble's logic SDLaPe-a bimodal extension of Goble's logic P that invalidates aggregation for all prima facie obligations. The logic P2.1 r has several advantages with respect to SDLaPe. 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 SDLaPe. The logic 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.

show abstract

“…Thus, the MAS field must pay more attention to recent work on deontic logics such as: the logic of imperatives [Han04] or normative systems [MWD98]. Regarding the expressiveness requirements, there is a lack of logics for norms which are aimed at groups.…”

Section: Open Issues For a Logic Of Normative Systemsmentioning

confidence: 99%

Using Norms To Control Open Multi-Agent Systems

Criado¹

View full text Add to dashboard Cite

A mi familia iii AcknowledgmentsNo os podéis imaginar lo muchísimo que me ha costado escribir estas líneas. Es imposible dar las gracias a todas aquellas personas que me han ayudado a realizar esta tesis en tan poco espacio.En primer lugar, quisiera agradecer a mis directores todo el tiempo, dedicación y afecto que me han ofrecido durante estos años. A Vicent quiero agradecerle el haberme dado la oportunidad de formar parte del GTI así como tantas otras oportunidades que me han permitido crecer como investigadora y docente. También quisiera agradecer a Fanny todo el tiempo y esfuerzo que ha realizado para revisar minuciosamente el trabajo que he realizado durante esta tesis. Finalmente, me gustaría agradecer a Pablo su dedicación durante mi estancia en el IIIA, pero sobre todo, sus consejos sobre como orientar mi tesis. Ha sido un placer trabajar con todos vosotros.I would like to thank Michael Luck for hosting me at King's College. I would also like to express my deep gratitude to Mike and Liz for the valuable time they have devoted to me during my stay.También me gustaría agradecer a todos los miembros del GTI los buenos momentos que hemos pasado durante estos años. Ha sido una autentica suerte poder formar parte de un equipo comoéste. Me gustaría agradecer especialmente a mis compañeros de laboratorio el haberme alegrado el día a día. Me lo he pasado fenomenal con vosotros.Porúltimo quisiera agradecer a mis amigos y mi familia todo el apoyo ý animos que me han dado en los momentos más difíciles. Gracias a las sabias y consortes por tantas birras o "lo que queráis". Gracias especialmente a mi hermana por haber pasado tanto frío cuando ha venido a verme en mis estancias. Tambien me gustaría agradecer a mis padres su apoyo, sus consejos y el cariño que me han dado. Porúltimo, gracias a Jose por ayudarme y apoyarme en todo. Sin susánimos no sé si habría terminado esta tesis. v vi AbstractInternet is, maybe, the most relevant scientific advance of our days. It has also allowed the evolution of traditional computational paradigms into the paradigm of distributed computation over an open network of machines. Multi-Agent systems (MAS) have been proposed as a suitable technology for addressing challenges motivated by these open distributed systems. MAS applications are formed by agents which may be designed independently according to different goals and motivations. Therefore, no assumption about their behaviours can be made a priori. Because of this, control, coordination and cooperation mechanisms are needed in MAS for ensuring social order and avoiding conflicts. Norms are descriptions of acceptable behaviours and help to define this kind of mechanisms.The notion of norm covers mainly two different dimensions: i) norms as an instrument for guiding citizens when performing actions and activities, so norms define which procedures, or protocols must be followed in a concrete situation; and ii) norms as orders or prohibitions supported by threats of sanction, thus norms are means to prevent or punish certain actions. I...

show abstract

Problems and results for logics about imperatives

Cited by 16 publications

References 16 publications

Conflicting reasons, unconflicting ‘ought’s

Conflicting reasons, unconflicting ‘ought’s

Avoiding Deontic Explosion by Contextually Restricting Aggregation

Using Norms To Control Open Multi-Agent Systems

Contact Info

Product

Resources

About