Brain Computer Interfaces (BCIs) enable one to control peripheral ICT and robotic devices by processing brain activity on-line. The potential usefulness of BCI systems, initially demonstrated in rehabilitation medicine, is now being explored in education, entertainment, intensive workflow monitoring, security, and training. Ethical issues arising in connection with these investigations are triaged taking into account technological imminence and pervasiveness of BCI technologies. By focussing on imminent technological developments, ethical reflection is informatively grounded into realistic protocols of brain-to-computer communication. In particular, (...) it is argued that human-machine adaptation and shared control distinctively shape autonomy and responsibility issues in current BCI interaction environments. Novel personhood issues are identified and analyzed too. These notably concern (i) the “sub-personal” use of human beings in BCI-enabled cooperative problem solving, and (ii) the pro-active protection of personal identity which BCI rehabilitation therapies may afford, in the light of so-called motor theories of thinking, for the benefit of patients affected by severe motor disabilities. (shrink)

Epistemic limitations concerning prediction and explanation of the behaviour of robots that learn from experience are selectively examined by reference to machine learning methods and computational theories of supervised inductive learning. Moral responsibility and liability ascription problems concerning damages caused by learning robot actions are discussed in the light of these epistemic limitations. In shaping responsibility ascription policies one has to take into account the fact that robots and softbots - by combining learning with autonomy, pro-activity, reasoning, and planning - (...) can enter cognitive interactions that human beings have not experienced with any other non-human system. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

Robots are being extensively used for the purpose of discovering and testing empirical hypotheses about biological sensorimotor mechanisms. We examine here methodological problems that have to be addressed in order to design and perform “good” experiments with these machine models. These problems notably concern the mapping of biological mechanism descriptions into robotic mechanism descriptions; the distinction between theoretically unconstrained “implementation details” and robotic features that carry a modeling weight; the role of preliminary calibration experiments; the monitoring of experimental environments for (...) disturbing factors that affect both modeling features and theoretically unconstrained implementation details of robots. Various assumptions that are gradually introduced in the process of setting up and performing these robotic experiments become integral parts of the background hypotheses that are needed to bring experimental observations to bear on biological mechanism descriptions. (shrink)

The ethical monitoring of brain-machine interfaces (BMIs) is discussed in connection with the potential impact of BMIs on distinguishing traits of persons, changes of personal identity, and threats to personal autonomy. It is pointed out that philosophical analyses of personhood are conducive to isolating an initial thematic framework for this ethical monitoring problem, but a contextual refinement of this initial framework depends on applied ethics analyses of current BMI models and empirical case-studies. The personal autonomy-monitoring problem is approached by identifying (...) various ways in which the inclusion of a robotic controller in the motor pathway of an output BMI may limit or jeopardize personal autonomy. (shrink)

Cybernetics promoted machine-supported investigations of adaptive sensorimotor behaviours observed in biological systems. This methodological approach receives renewed attention in contemporary robotics, cognitive ethology, and the cognitive neurosciences. Its distinctive features concern machine experiments, and their role in testing behavioural models and explanations flowing from them. Cybernetic explanations of behavioural events, regularities, and capacities rely on multiply realizable mechanism schemata, and strike a sensible balance between causal and unifying constraints. The multiple realizability of cybernetic mechanism schemata paves the way to principled (...) comparisons between biological systems and machines. Various methodological issues involved in the transition from mechanism schemata to their machine instantiations are addressed here, by reference to a simple sensorimotor coordination task. These concern the proper treatment of ceteris paribus clauses in experimental settings, the significance of running experiments with correct but incomplete machine instantiations of mechanism schemata, and the advantage of operating with real machines ??? as opposed to simulated ones ??? immersed in real environments. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

The import of computational learning theories and techniques on the ethics of human-robot interaction is explored in the context of recent developments of personal robotics. An epistemological reflection enables one to isolate a variety of background hypotheses that are needed to achieve successful learning from experience in autonomous personal robots. The conjectural character of these background hypotheses brings out theoretical and practical limitations in our ability to predict and control the behaviour of learning robots in their interactions with humans. Responsibility (...) ascription problems, which concern damages caused by learning robot actions, are analyzed in the light of these epistemic limitations. Finally, a broad framework is outlined for ethically motivated scientific inquiries, which aim at improving our capability to understand, anticipate, and selectively cope with harmful errors by learning robots. (shrink)

The early examples of self-directing robots attracted the interest of both scientific and military communities. Biologists regarded these devices as material models of animal tropisms. Engineers envisaged the possibility of turning self-directing robots into new “intelligent” torpedoes during World War I. Starting from World War II, more extensive interactions developed between theoretical inquiry and applied military research on the subject of adaptive and intelligent machinery. Pioneers of Cybernetics were involved in the development of goal-seeking warfare devices. But collaboration occasionally turned (...) into open dissent. Founder of Cybernetics Norbert Wiener, in the aftermath of World War II, argued against military applications of learning machines, by drawing on epistemological appraisals of machine learning techniques. This connection between philosophy of science and techno-ethics is both strengthened and extended here. It is strengthened by an epistemological analysis of contemporary machine learning from examples; it is extended by a reflection on ceteris paribus conditions for models of adaptive behaviours. (shrink)

Abstract. The rapid developments of robotics technologies in the last twenty years of the XX century have greatly encouraged research on the use of robots for surgery, diagnosis, rehabilitation, prosthetics, and assistance to disabled and elderly people. This chapter provides an overview of robotic technologies and systems for health care, focussing on various ethical problems that these technologies give rise to. These problems notably concern the protection of human physical and mental integrity, autonomy, responsibility, ...

Leibniz's overall view of the relationship between reasoning and computation is discussed on the basis of two broad claims that one finds in his writings, concerning respectively the nature of human reasoning and the possibility of replacing human thinking by a mechanical procedure. A joint examination of these claims enables one to appreciate the wide scope of Leibniz's interests for mechanical procedures, concerning a variety of philosophical themes further developed both in later logical investigations and in methodological contributions to cognitive (...) psychology. (shrink)

Psychological attitudes towards service and personal robots are selectively examined from the vantage point of psychoanalysis. Significant case studies include the uncanny valley effect, brain-actuated robots evoking magic mental powers, parental attitudes towards robotic children, idealizations of robotic soldiers, persecutory fantasies involving robotic components and systems. Freudian theories of narcissism, animism, infantile complexes, ego ideal, and ideal ego are brought to bear on the interpretation of these various items. The horizons of Human-robot Interaction are found to afford new and fertile (...) grounds for psychoanalytic theorizing beyond strictly therapeutic contexts. (shrink)

Ethics and robotics in the fourth industrial revolution The current industrial revolution, characterised by a pervasive spread of technologies and robotic systems, also brings with it an economic, social, cultural and anthropological revolution. Work spaces will be reshaped over time, giving rise to new challenges for human‒machine interaction. Robotics is hereby inserted in a working context in which robotic systems and cooperation with humans call into question the principles of human responsibility, distributive justice and dignity of work. In particular, the (...) responsibilities for using a robotic system in a surgical context will be discussed, along with possible problems of medium- or long-term technological unemployment to be tackled on the basis of shared concepts of distributive justice. Finally, the multiple dimensions of human dignity in the working context are dealt with in terms of dignity of work, dignity at work and dignity in human‒machine interaction. (shrink)

The notion of loop seems to be ubiquitous in the study of organisms, the human mind and symbolic systems. With the possible exception of quantum-mechanical approaches, the treatments of consciousness we are acquainted with crucially appeal to the concept of loop. The uses of loops in this context fall within two broad classes. In the first one, loops are used to express the control of the organism’s interaction with the environment; in the second one, they are used to express self-reference. (...) Both classes are tied with investigations which aim at accounting for symbolic capabilities, and ultimately for subjectivity. Neurophysiological research detects loops in the animal nervous system since its very inception (e.g., all the work on the reflex arc). Recently, Gray proposed a model purporting to explain the mechanism supporting the contents of consciousness in the human CNS, in ways that are practically indistinguishable from models formulated within the cybernetical point of view. Both types of models apply loops in strikingly similar ways. While there is no conclusive evidence that loops are necessary to support consciousness, they are nonetheless as good a candidate as today can be found for inclusion in the list of essential ingredients for subjectivity to arise. In the first two sections we discuss the above mentioned uses by means of significant examples. In the third section, we compare Gray’s recent model to MacKay’s early cybernetical model of a selfobserving system, in the setting of a broader discussion on loops for consciousness. (shrink)

To deal with the question about the ethic monitoring of the Brain Interfaces Machine this article analyses the potential impact of BMI on the conditions which guarantee a status of personal identity, by re-discussing some crucial points of the philosophical debate about the human being related to the ways of improving these BMI systems. It is under discussion the matter of the autonomy of human beings related to mutual control between humans and machines in BMI systems.

An understanding of the functional repertoire of neural circuits and their plasticity requires knowledge of neural connectivity diagrams and their dynamical evolution. However, one must additionally take into account the fast and reversible functional effects induced by neuromodulatory mechanisms which do not alter neural circuit diagrams. Neuromodulators contribute crucially to determine the performativity of a neural circuit, that is, its ability to change behavior, and especially behavioral changes occurring under temporal constraints that are incompatible with the longer time scales of (...) Hebbian learning and other forms of neural learning. This paper focuses on two properties of neuromodulatory action that have been relatively neglected so far. These properties are the functional soundness of neuromodulated circuits and the robustness of neuromodulatory action. Both properties are analyzed here as sources of functional specifications for the computational modeling of neural circuit performativity. In particular, taking dynamical systems that are based on CTRNNs as an exemplary class of computational models, it is argued that robustness is suitably modeled there by means of a hysteresis process, and functional soundness by means of a multiplicity of stable fixed points. (shrink)

This article examines ethical implications of the growing AI carbon footprint, focusing on the fair distribution of prospective responsibilities among groups of involved actors. First, major groups of involved actors are identified, including AI scientists, AI industry, and AI infrastructure providers, from datacenters to electrical energy suppliers. Second, responsibilities of AI scientists concerning climate warming mitigation actions are disentangled from responsibilities of other involved actors. Third, to implement these responsibilities nudging interventions are suggested, leveraging on AI competitive games which would (...) prize research combining better system accuracy with greater computational and energy efficiency. Finally, in addition to the AI carbon footprint, it is argued that another ethical issue with a genuinely global dimension is now emerging in the AI ethics agenda. This issue concerns the threats that AI-powered cyberweapons pose to the digital command, control, and communication infrastructure of nuclear weapons systems. (shrink)

For a general formulation of the undecidability and incompleteness theorems one has to characterize precisely the notion of formal system. Such a characterization is provided by the proposal to identify the intuitive concept of effectively calculable function with that of partial recursive function. A proper understanding of this identification, which is known under the name of "Church's thesis", is crucial for a philosophical assessment of these metamathematical results. The undecidability and incompleteness theorems suggest one major but certainly not the only (...) reason for interest in Church's thesis. The thesis provides a sharp characterization of a concept that has played an epistemologically motivated role in many logical and foundational investigations and that has been appealed to in methodological discussions concerning computational approaches in cognitive psychology. ;In spite of these various motives of interest a detailed philosophical analysis of the meaning and the epistemological status of Church's thesis has been neglected; a thorough and balanced presentation of arguments for it is lacking. This seems to me to be due to two widespread views of the thesis, both tending to discourage analytical work. According to the first of these views, Church's thesis is unproblematic because the classical arguments for the identification are convincing. According to the second view, it is hopeless to try to evaluate the adequacy of a proposed mathematical characterization of effectiveness, because the intuitive notion is too vague. The analysis undertaken in this thesis conflicts with both views. ;I All classical arguments for Church's thesis, including Turing's, have unconvincing aspects. ;II Some generalizations of Turing's work show that unconvincing aspects of Turing's argument can be dispensed with and provide conceptually significant contributions to the problem of a "natural" mathematical characterization of the mechanically calculable functions. ;III One can isolate meanings of effectiveness conceptually more inclusive than mechanical calculability and distinguish between corresponding interpretations of Church's thesis. ;The analytical work supporting these claims bears significantly on the philosophical issues mentioned above: it plays a crucial role in a philosophical evaluation of the undecidability and incompleteness theorems and in a clarification of the conceptual background of computational approaches in cognitive psychology. (shrink)

This contribution analyzes present applications of temporal logics that are meaningfully related to Hans Reichenbach's groundbreaking work on verbal tenses and their underlying logical structure. Specifically, some formal methods in theoretical computer science will be discussed that enable one to advance empirical hypotheses and to make predictions about the temporal evolution of computing system’s behaviors.