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)

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)

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)

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)

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)

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, ...

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)

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.

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 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)

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)

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)

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)

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.

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)

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)

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)

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)

Dalle decisioni algoritmiche alle raccomandazioni sugli acquisti, dai sex robot alla sorveglianza sociale, dalla cybersicurezza all’autonomia operativa dei veicoli e delle armi, l’impatto dell’intelligenza artificiale e della robotica sulla vita delle persone è sempre più ramificato e pervasivo. Il volume offre un quadro d’insieme delle questioni etiche sollevate dall’incontro tra automi e individui nella società contemporanea: la protezione dell’autonomia a fronte della raccolta minuziosa di dati personali, le forme di benessere collettivo da promuovere attraverso l’automazione, la trasparenza e l’equità delle (...) decisioni prese con il supporto di un algoritmo, il ruolo dei sistemi intelligenti nella crisi ambientale. L’automazione non è segno incontrovertibile di sventura, ma nemmeno indizio sicuro di progresso. Cosa sarà delle persone, delle società e della vita sul nostro pianeta dipende in modo cruciale da come sapremo affrontare le sfide etiche dell’età degli automi. (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)

Artificial agents are progressively becoming more present in everyday-life situations and more sophisticated in their interaction affordances. In some specific cases, like Google Duplex, GPT-3 bots or Deep Mind’s AlphaGo Zero, their capabilities reach or exceed human levels. The use contexts of everyday life necessitate making such agents understandable by laypeople. At the same time, displaying human levels of social behavior has kindled the debate over the adoption of Dennett’s ‘intentional stance’. By means of a comparative analysis of the literature (...) on robots and virtual agents, we defend the thesis that approaching these artificial agents ‘as if’ they had intentions and forms of social, goal-oriented rationality is the only way to deal with their complexity on a daily base. Specifically, we claim that this is the only viable strategy for non-expert users to understand, predict and perhaps learn from artificial agents’ behavior in everyday social contexts. Furthermore, we argue that as long as agents are transparent about their design principles and functionality, attributing intentions to their actions is not only essential, but also ethical. Additionally, we propose design guidelines inspired by the debate over the adoption of the intentional stance. (shrink)

@font-face { font-family: "Times New Roman"; }p.MsoNormal, li.MsoNormal, div.MsoNormal { margin: 0cm 0cm 0.0001pt; font-size: 12pt; font-family: "Times New Roman"; }table.MsoNormalTable { font-size: 10pt; font-family: "Times New Roman"; }div.Section1 { page: Section1; } Questo libro offre una lettura di Marx che tratta sia l’origine filosofica del suo pensiero economico che ll’esame approfondito della storiografia scientifica prodottasi in vari periodi. Le principali difficoltà che si incontrano oggi nello studio di Marx e del marxismo sono quelle di trovarsi ben oltre la sua (...) crisi, già manifestatasi da più di venticinque-trenta anni a questa parte, dopo una di dissoluzione e di smantellamento dei “classici” originato dall’azione di una generazione di intellettuali e dirigenti politici socialisti e comunisti che hanno fondamentali principi ispiratori. (shrink)

Recent developments within genetics are encouraging. Many ill people have already been treated with genetic therapy with positive results and virtually no negative side effects. Parallel to this positive prospect, worries have been expressed about the possible application of the new medical techniques for enhancement purposes. The use of genetic technology in the world of sports has been conceived of as especially problematic, since in some cases it might violate the present ban on gene doping. Gene therapy may be applied (...) to re‐engineer a sportperson's body thereby enhancing athletic performance. This chapter presents a brief account of current discussion on the enhancement of human physical capacities, particularly in (elite) sports. First the natural scientific picture is described, followed by a discussion of the ethical implications of enhancement technologies. (shrink)

Much has been written about recidivist punishments, particularly within the area of criminology. However there is a notorious lack of penal philosophical reflection on this issue. This book attempts to fill that gap by presenting the philosopher’s view on this matter as a way of furthering the debate on recidivist punishments.

Many elite athletes try to imitate the effects of high altitude training by using hypoxic air machines. These training devices are thought to boost the oxygen carrying capacity of the blood and the production of red blood cells which are believed to yield an important competitive advantage in endurance sports. Hypoxic air machines do not contravene current antidoping regulations. However, many sports practitioners and some officials have expressed a feeling of uneasiness towards this new training technique, comparing it with traditional (...) doping. And, indeed, the introduction of hypoxic air machines paves the way for allowing doping in a near future.All sports related arguments that have been advanced in defence of these machines also support traditional doping. For instance, some objectors argue that hypoxic air machines render “a chemical advantage” and should therefore be forbidden. A standard defence against this criticism is that “even if it becomes more effective, training is still necessary for users of hypoxic air machines”. The same answer, however, could be given by supporters of lifting the prohibition on doping. In a sense, every training technique yields a chemical process in the body.Consider now fairness in competition …. (shrink)

An original, theoretical work on cross-linguistic word order from a leading syntactician.