Results 51 to 60 of about 13,493 (213)
On Automating the Doctrine of Double Effect [PDF]
, 2017 The doctrine of double effect ($\mathcal{DDE}$) is a long-studied ethical principle that governs when actions that have both positive and negative effects are to be allowed. The goal in this paper is to automate $\mathcal{DDE}$.
Bringsjord, Selmer +1 more
core +1 more source
Why Paternalism Is Wrong (When It Is Wrong)
Philosophy and Phenomenological Research, EarlyView.ABSTRACT This paper proposes a novel reinterpretation of the familiar, if inchoate, thought that paternalism offends against an ideal of personal sovereignty. The central idea is that (competent) persons have a particular kind of normative power. Just as each of us has the right to control how others are permitted to use our bodies or property, we each
Jonathan Parry
wiley +1 more source
A Paraconsistentist Approach to Chisholm's Paradox
Principia: An International Journal of Epistemology, 2009 The Logics of Deontic (In)Consistency (LDI’s) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency.
Marcelo Esteban Coniglio +1 more
doaj
A controlled language for the specification of contracts [PDF]
, 2010 Controlled natural languages have been used to enable the direct translation from natural language specifications into a formal description. In this paper we make a case for such an approach to write contracts, and translating into a temporal deontic ...
Pace, Gordon J. +2 more
core +1 more source
Journal of Engineering Education, Volume 115, Issue 2, April 2026.Abstract Background The complexity of engineering practice highlights the need to make students aware of their responsibility as future professionals. However, integrating this concept into the engineering curricula remains a challenge. Purpose The study explores how engineering students conceptualize their responsibilities as future professionals and ...
Diana Adela Martin, Gunter Bombaerts
wiley +1 more source
On Quantified Modal Theorem Proving for Modeling Ethics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.
Naveen Sundar Govindarajulu +2 more
doaj +1 more source
Risto Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings
Crítica, 2018 ...
Álvaro Rodríguez Tirado
doaj +1 more source
Deontic ‘cocktail’ according to E. Mally’s receipt [PDF]
, 2013 In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms.
Elena, Lisanyuk
core
, 2014 In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and ...
Calardo E. +6 more
core +1 more source
Formalising responsibility modelling for automatic analysis [PDF]
, 2015 Modelling the structure of social-technical systems as a basis for informing software system design is a difficult compromise. Formal methods struggle to capture the scale and complexity of the heterogeneous organisations that use technical systems ...
Simpson, Robert, Storer, Tim
core +1 more source