This paper studies long-term norms concerning actions. In Meyer's Propositional Deontic Logic (PDₑL), only immediate duties can be expressed, however, often one has duties of longer durations such as: "Never do that", or "Do this someday". In this paper, we will investigate how to amend (PDₑL) so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these (...) two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation. (shrink)

In this paper we discuss the social and ethical issues that arise as a result of digitization based on six dominant technologies: Internet of Things, robotics, biometrics, persuasive technology, virtual & augmented reality, and digital platforms. We highlight the many developments in the digitizing society that appear to be at odds with six recurring themes revealing from our analysis of the scientific literature on the dominant technologies: privacy, autonomy, security, human dignity, justice, and balance of power. This study shows that (...) the new wave of digitization is putting pressure on these public values. In order to effectively shape the digital society in a socially and ethically responsible way, stakeholders need to have a clear understanding of what such issues might be. Supervision has been developed the most in the areas of privacy and data protection. For other ethical issues concerning digitization such as discrimination, autonomy, human dignity and unequal balance of power, the supervision is not as well organized. (shrink)

Developers and designers make all sorts of moral decisions throughout an innovation project. In this article, we describe how teams of developers and designers engaged with ethics in the early phases of innovation based on case studies in the SUBCOP project. For that purpose, Value Sensitive Design will be used as a reference. Specifically, we focus on the following two research questions: How can researchers/developers learn about users’ perspectives and values during the innovation process? and How can researchers/developers take into (...) account these values, and related design criteria, in their decision-making during the innovation process? Based on a case study of several innovation processes in this project, we conclude the researchers/developers involved are able to do something similar to VSD, supported by relatively simple exercises in the project, e.g., meetings with potential end-users and discussions with members of the Ethical Advisory Board of the project. Furthermore, we also found—possibly somewhat counterintuitively—that a commercial, with its focus on understanding and satisfying customers’ needs, can promote VSD. (shrink)

Most unmanned systems used in operations today are unarmed and mainly used for reconnaissance and mine clearing, yet the increase of the number of armed military robots is undeniable. The use of these robots raises some serious ethical questions. For instance: who can be held morally responsible in reason when a military robot is involved in an act of violence that would normally be described as a war crime? In this article, we critically assess the attribution of responsibility with respect (...) to the deployment of both non-autonomous and non-learning autonomous lethal military robots. We will start by looking at the role of those with whom responsibility normally lies, the commanders. We argue that this is no different in the case of the above mentioned robots. After that, we will turn to those at the beginning and the end of the causal chain, respectively the manufacturers and designers, and the human operators who remotely control armed military robots from behind a computer screen. (shrink)

In this paper, we develop a formalisation of the main ideas of the work of Van de Poel on responsibility. Using the basic concepts through which the meanings of responsibility are defined, we construct a logic which enables to express sentences like “individual i is accountable for φ”, “individual i is blameworthy for φ” and “individual i has the obligation to see to it that φ”. This formalization clarifies the definitions of responsibility given by Van de Poel and highlights their (...) differences and similarities. It also helps to assess the consistency of the formalisation of responsibility, not only by showing that definitions are not inconsistent, but also by providing a formal demonstration of the relation between three main meanings of responsibility. The formal account can be used to derive new properties of the concepts. With the help of the formalisation, we detect the occurrence of the problem of many hands by defining a logical framework for reasoning about collective and individual responsibility. This logic extends the Coalition Epistemic Dynamic Logic by adding a notion of group knowledge, agent ability and knowing how to its semantics. (shrink)

Organizations can be seen as a collection of interacting agents to achieve a certain task: a collective task. Since such a task is beyond the capacity of an individual agent, the agents have to communicate, cooperate, coordinate, and negotiate with each other, to achieve the collective task. In distributed artificial intelligence (DAI) theories of organizations, it is emphasized that ‘commitment’ is a crucial notion to analyze a collective activity or the structure of an organization. In this paper, we analyze the (...) notion of commitment to gain more insight in the social interactions between the agents in an organization. Many social interactions between agents demand the use of commitments to reach socially efficient or avoid socially inefficient outcomes. Commitments express the desires, goals, or intentions of the agents in an interaction. Using a game-theoretic model, we will show that, depending on the incentive structure, different interactions require different types of commitments to reach socially efficient outcomes. Based on these results, we discuss whether existing (or slightly adapted) logical formalizations are adequate for the description of certain types of commitments and which formalization is suitable for reaching a socially efficient outcome in a specific interaction. (shrink)

When many people are involved in an activity, it is often difficult, if not impossible, to pinpoint who is morally responsible for what, a phenomenon known as the ‘problem of many hands.’ This term is increasingly used to describe problems with attributing individual responsibility in collective settings in such diverse areas as public administration, corporate management, law and regulation, technological development and innovation, healthcare, and finance. This volume provides an in-depth philosophical analysis of this problem, examining the notion of moral (...) responsibility and distinguishing between different normative meanings of responsibility, both backward-looking and forward-looking. Drawing on the relevant philosophical literature, the authors develop a coherent conceptualization of the problem of many hands, taking into account the relationship, and possible tension, between individual and collective responsibility. This systematic inquiry into the problem of many hands pertains to discussions about moral responsibility in a variety of applied settings. (shrink)

Aim of the present paper is to provide a formal characterization of various different notions of responsibility within groups of agents (Who did that? Who gets the blame? Who is accountable for that? etc.). To pursue this aim, the papers proposes an organic analysis of organized collective agency by tackling the issues of organizational structure, role enactment, organizational activities, task-division and task-allocation. The result consists in a semantic framework based on dynamic logic in which all these concepts can be represented (...) and in which various notions of responsibility find a formalization. The background motivation of the work consists in those responsibility-related issues which are of particular interest for the theory and development of multi-agent systems. (shrink)

One way to allocate tasks to agents is by ascribing them obligations. From obligations to be, agents are able to infer what are the forbidden, permitted and obligatory actions they may perform, by using the well-known Meyer’s reduction from obligations to be to obligations to do. However, we show through an example that this method is not completely adequate to guide agents’ decisions. We then propose a solution using, instead of obligations, the concept of ‘responsibility’. To formalise responsibility we use (...) a multiagent extension of propositional dynamic logic as framework, and then we define some basic concepts, such as ‘agent ability’, also briefly discussing the problem of uniform strategies and a possible solution. In the last part, we show that our framework can be used in the specification of normative multiagent systems, by presenting an extensive running example. (shrink)

Web mining refers to the whole of data miningand related techniques that are used toautomatically discover and extract informationfrom web documents and services. When used in abusiness context and applied to some type ofpersonal data, it helps companies to builddetailed customer profiles, and gain marketingintelligence. Web mining does, however, pose athreat to some important ethical values likeprivacy and individuality. Web mining makes itdifficult for an individual to autonomouslycontrol the unveiling and dissemination of dataabout his/her private life. To study thesethreats, we (...) distinguish between `content andstructure mining' and `usage mining.' Webcontent and structure mining is a cause forconcern when data published on the web in acertain context is mined and combined withother data for use in a totally differentcontext. Web usage mining raises privacyconcerns when web users are traced, and theiractions are analysed without their knowledge.Furthermore, both types of web mining are oftenused to create customer files with a strongtendency of judging and treating people on thebasis of group characteristics instead of ontheir own individual characteristics and merits(referred to as de-individualisation). Althoughthere are a variety of solutions toprivacy-problems, none of these solutionsoffers sufficient protection. Only a combinedsolution package consisting of solutions at anindividual as well as a collective level cancontribute to release some of the tensionbetween the advantages and the disadvantages ofweb mining. The values of privacy andindividuality should be respected and protectedto make sure that people are judged and treatedfairly. People should be aware of theseriousness of the dangers and continuouslydiscuss these ethical issues. This should be ajoint responsibility shared by web miners (bothadopters and developers), web users, andgovernments. (shrink)

While in many countries the use of unmanned systems is still in its infancy, other countries, most notably the US and Israel, are much ahead. Most of the systems in operation today are unarmed and are mainly used for reconnaissance and clearing improvised explosive devices. But over the last years the deployment of armed military robots is also on the increase, especially in the air. This might make unethical behavior less likely to happen, seeing that unmanned systems are immune to (...) what are considered to be main causes of misconduct on the battlefield: frustration, boredom, and anger. The use of robots raises some ethical questions, though, and this paper attempts to give an overview of issues at stake, such as the role of emotions, civilian casualties, just war theory, and responsibility. (shrink)

Virtue accounts of innovation ethics have recognized the virtue of creativity as an admirable trait in innovators. However, such accounts have not paid sufficient attention to the way creativity functions as a collective phenomenon. We propose a collective virtue account to supplement existing virtue accounts. We base our account on Kieran’s definition of creativity as a virtue and distinguish three components in it: creative output, mastery and intrinsic motivation. We argue that all of these components can meaningfully be attributed to (...) innovation groups. This means that we can also attribute the virtue of creativity to group agents involved in innovation. Recognizing creativity as a collective virtue in innovation is important because it allows for a more accurate evaluation of how successful innovation generally happens. The innovator who takes a collective virtue account of creativity seriously will give attention to the facilitation of an environment where the group can flourish collectively, rather than only nurturing the individual genius. (shrink)

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

Das Grab des Königs Ninetjer in Saqqara: Architektonische Entwicklung frühzeitlicher Grabanlagen in Ägypten. By Claudia M. Lacher-Raschdorff. Deutsches Archäologisches Institut Kairo, Archäologische Veröffentlichungen, vol. 125. Wiesbaden: Harrassowitz Verlag, 2014. Pp. 295, 44 pls., plans. €247.

For more than fifty years, Sterling M. McMurrin served as one of the preeminent intellectual voices of the LDS community. From his beginnings as an Institute of Religion instructor to U.S. Commissioner of Education, and from a professor of philosophy to U.S. Envoy to Iran, he showed by example how personal and institutional morality can be defended.In a series of candid discussions with Jack Newell, McMurrin reveals his ability to reconcile freedom and conscience. In a spirit of repartee and friendship, (...) writes Boyer Jarvis in the foreword, Newell probes, challenges, and constantly draws McMurrin out as he... reflects upon his wide-ranging ideas and experiences. Rich in insight and humor, this remarkable dialogue captures the sweep and depth of McMurrin's thoughts as Newell engages him in discussing his approaches to philosophy, education, and religion.Among the qualities that characterized McMurrin's life and mind, explains Newell, perhaps the most notable is the freedom with which he has spoken his views on both the sacred and the profane. His intellectual integrity -- coupled as it almost always is with his humane instincts and innate fairness -- has simultaneously confounded and earned the respect of critics. (shrink)

This is the first of a series of commentaries on the works of the latest Heidegger; all of Heidegger's works published by Neske of Pfullingen since 1954 will be presented and interpreted in the series. The expository plan announced in the editor's preface calls for three-part commentaries, with the first part summarizing the work in question, the second presenting glosses of lines or paragraphs as required by their respective importance, and the third giving philological exegesis of texts also as required (...) in the judgment of the editors. The interpretative inspiration is generally traditional, with more emphasis given to themes with echoes in medieval and modern rationalism and in Italian and French ontologism. The editors adopt Heidegger's characteristic attitude in his latter period, his relinquishing of all objective or subjective idealistic presuppositions. Ontology thus becomes the unveiling of the conditions of possibility of Dasein's speech as truth-making. In Being and Time these conditions of possibility were given in the fundamental ontology and reached their existential expression in resolve. In Gelassenheit Dasein has become a mere instrumentality for the ultimate sense of Being to come to pass. The conditions of possibility of the new Dasein are well understood and highlighted by Landolt. Their existential expression is a new temporal tension within the Dasein, that of Warten or attending. If resolve was the modal intentionality of authentic Dasein, attending is the modal intentionality of poetic symbolic Dasein. Landolt does not seem to have been sufficiently critical of the reflective character of this new intentionality. Can it adequately ground essence, fact and freedom? The techniques of this commentary often depart from hermeneutical respect for the text.--A. M. (shrink)