Control is typically accepted as a necessary condition for moral responsibility. Thus, humans are morally responsible for their actions only if we can realise the right kind of control. Are there good reasons to think that humans can psychologically realise control? This paper is an attempt to address this question by establishing choice and agenthood as separate but interconnected aspects of control. I consider two challenges to the claim that humans can realise the kind of control required for moral (...) responsibility. First, an empirical challenge from cognitive neuroscience provides a familiar way to argue against the realisation of the choice aspect by human psychology. Second, a more formidable conceptual challenge to the aspect of agenthood presents us with scepticism about the kind of explanations that psychology can provide. The second challenge suggests that, in psychological accounts of choice, the agent disappears. Drawing on recent empirical models of cognitive control and philosophical accounts of agency, I conclude that the psychological explanation of choice is consistent with the aspect of agenthood being realised by human psychology. (shrink)

An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two useful (...) kinds of gradient of abstraction – disjoint and nested – are identified. It is then argued that in any discrete (as distinct from analogue) domain of discourse, a complex phenomenon may be explicated in terms of simple approximations organised together in a gradient of abstractions. Thus, the method replaces, for discrete disciplines, the differential and integral calculus, which form the basis for understanding the complex analogue phenomena of science and engineering. The result formalises an approach that is rather common in computer science but has hitherto found little application in philosophy. So the philosophical value of the method is demonstrated by showing how making the LoA of discourse explicit can be fruitful for phenomenological and conceptual analysis. To this end, the method is applied to the Turing Test, the concept of agenthood, the definition of emergence, the notion of artificial life, quantum observation and decidable observation. It is hoped that this treatment will promote the use of the method in certain areas of the humanities and especially in philosophy. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

The use of "levels of abstraction" in philosophical analysis (levellism) has recently come under attack. In this paper, we argue that a refined version of epistemological levellism should be retained as a fundamental method, which we call the method of abstraction. After a brief introduction, in section two we make clear the nature and applicability of the (epistemological) method of levels of abstraction. In section three, we show the fruitfulness of the new method by applying it to five case studies: (...) the concept of agenthood, the Turing test, the definition of emergence, quantum observation and decidable observation. In section four, we further characterise and support the method by distinguishing it from three other forms of "levellism": (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In this context, we also briefly address the problems of relativism and antirealism. In the conclusion, we indicate some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)