After briefly discussing the relevance of the notions computation and implementation for cognitive science, I summarize some of the problems that have been found in their most common interpretations. In particular, I argue that standard notions of computation together with a state-to-state correspondence view of implementation cannot overcome difficulties posed by Putnam's Realization Theorem and that, therefore, a different approach to implementation is required. The notion realization of a function, developed out of physical theories, is then introduced as a replacement (...) for the notional pair computation-implementation. After gradual refinement, taking practical constraints into account, this notion gives rise to the notion digital system which singles out physical systems that could be actually used, and possibly even built. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

A new computationalist view of the mind that takes into account real-world issues of embodiment, interaction, physical implementation, and semantics.

Making interactions between humans and artificial agents successful is a major goal of interaction design. The aim of this paper is to provide researchers conducting interaction studies a new framework for the evaluation of robot believability. By critically examining the ordinary sense of believability, we first argue that currently available notions of it are underspecified for rigorous application in an experimental setting. We then define four concepts that capture different senses of believability, each of which connects directly to an empirical (...) methodology. Finally, we show how this framework has been and can be used in the construction of interaction studies by applying it to our own work in human–robot interaction. (shrink)

This paper argues against the moral Turing test as a framework for evaluating the moral performance of autonomous systems. Though the term has been carefully introduced, considered, and cautioned about in previous discussions :251–261, 2000; Allen and Wallach 2009), it has lingered on as a touchstone for developing computational approaches to moral reasoning :98–109, 2015). While these efforts have not led to the detailed development of an MTT, they nonetheless retain the idea to discuss what kinds of action and reasoning (...) should be demanded of autonomous systems. We explore the flawed basis of an MTT in imitation, even one based on scenarios of morally accountable actions. MTT-based evaluations are vulnerable to deception, inadequate reasoning, and inferior moral performance vis a vis a system’s capabilities. We propose verification—which demands the design of transparent, accountable processes of reasoning that reliably prefigure the performance of autonomous systems—serves as a superior framework for both designer and system alike. As autonomous social robots in particular take on an increasing range of critical roles within society, we conclude that verification offers an essential, albeit challenging, moral measure of their design and performance. (shrink)

As a way to address both ominous and ordinary threats of artificial intelligence, researchers have started proposing ways to stop an AI system before it has a chance to escape outside control and cause harm. A so-called “big red button” would enable human operators to interrupt or divert a system while preventing the system from learning that such an intervention is a threat. Though an emergency button for AI seems to make intuitive sense, that approach ultimately concentrates on the point (...) when a system has already “gone rogue” and seeks to obstruct interference. A better approach would be to make ongoing self-evaluation and testing an integral part of a system’s operation, diagnose how the system is in error and to prevent chaos and risk before they start. In this paper, we describe the demands that recent big red button proposals have not addressed, and we offer a preliminary model of an approach that could better meet them. We argue for an ethical core that consists of a scenario-generation mechanism and a simulation environment that are used to test a system’s decisions in simulated worlds, rather than the real world. This EC would be kept opaque to the system itself: through careful design of memory and the character of the scenario, the system’s algorithms would be prevented from learning about its operation and its function, and ultimately its presence. By monitoring and checking for deviant behavior, we conclude, a continual testing approach will be far more effective, responsive, and vigilant toward a system’s learning and action in the world than an emergency button which one might not get to push in time. (shrink)

Cooper et al. (this issue) develop an interactive activation model of spatial and imitative compatibilities that simulates the key results from Catmur and Heyes (2011) and thus conclude that both compatibilities are mediated by the same processes since their single model can predict all the results. Although the model is impressive, the conclusions are premature because they are based on an incomplete review of the relevant literature and because the model includes some questionable assumptions. Moreover, a competing model (Scheutz (...) & Bertenthal, 2012) is introduced that suggests the two compatibilities are not mediated by the same processes. We propose that more research is necessary before concluding that spatial and imitative compatibilities are mediated by the same processes. (shrink)

Human instructors often refer to objects and actions involved in a task description using both linguistic and non-linguistic means of communication. Hence, for robots to engage in natural human-robot interactions, we need to better understand the various relevant aspects of human multi-modal task descriptions. We analyse reference resolution to objects in a data collection comprising two object manipulation tasks and find that 78.76% of all referring expressions to the objects relevant in Task 1 are verbally underspecified and 88.64% of all (...) referring expressions are verbally underspecified in Task 2. The data strongly suggests that a language processing module for robots must be genuinely multi-modal, allowing for seamless integration of information transmitted in the verbal and the visual channel, whereby tracking the speaker’s eye gaze and gestures as well as object recognition are necessary preconditions. (shrink)

Although Ross & Spurrett (R&S) successfully fend off the threat of Kim's “supervenience argument” by showing that it conflates different notions of causation, their proposal for a dynamic systems answer to the mind-body problem is itself yet another supervenience claim in need of an explanation that justifies it. The same goes for their notion of “multiple supervenience.”.

Any discussion comparing different models with respect to their quality qua models must presuppose a notion of model, that is, what it is to be a model. While Webb provides seven criteria to assess the quality of various proposed biorobotic models, she does not clarify the very notion of “model of animal behavior” itself.

Soft robots promise an exciting design trajectory in the field of robotics and human–robot interaction (HRI), promising more adaptive, resilient movement within environments as well as a safer, more sensitive interface for the objects or agents the robot encounters. In particular, tactile HRI is a critical dimension for designers to consider, especially given the onrush of assistive and companion robots into our society. In this article, we propose to surface an important set of ethical challenges for the field of soft (...) robotics to meet. Tactile HRI strongly suggests that soft-bodied robots balance tactile engagement against emotional manipulation, model intimacy on the bonding with a tool not with a person, and deflect users from personally and socially destructive behavior the soft bodies and surfaces could normally entice. (shrink)

This paper addresses ethical challenges posed by a robot acting as both a general type of system and a discrete, particular machine. Using the philosophical distinction between “type” and “token,” we locate type-token ambiguity within a larger field of indefinite robotic identity, which can include networked systems or multiple bodies under a single control system. The paper explores three specific areas where the type-token tension might affect human–robot interaction, including how a robot demonstrates the highly personalized recounting of information, how (...) a robot makes moral appeals and justifies its decisions, and how the possible need for replacement of a particular robot shapes its ongoing role. We also consider how a robot might regard itself as a replaceable token of a general robotic type and take extraordinary actions on that basis. For human–robot interaction robotic type-token identity is not an ontological problem that has a single solution, but a range of possible interactions that responsible design must take into account, given how people stand to gain and lose from the shifting identities social robots will present. (shrink)

Even though morally competent artificial agents have yet to emerge in society, we need insights from empirical science into how people will respond to such agents and how these responses should inform agent design. Three survey studies presented participants with an artificial intelligence agent, an autonomous drone, or a human drone pilot facing a moral dilemma in a military context: to either launch a missile strike on a terrorist compound but risk the life of a child, or to cancel the (...) strike to protect the child but risk a terrorist attack. Seventy-two percent of respondents were comfortable making moral judgments about the AI in this scenario and fifty-one percent were comfortable making moral judgments about the autonomous drone. These participants applied the same norms to the two artificial agents and the human drone pilot. However, people ascribed different patterns of blame to humans and machines as a function of the agent’s decision of how to solve the dilemma. These differences in blame seem to stem from different assumptions about the agents’ embeddedness in social structures and the moral justifications those structures afford. Specifically, people less readily see artificial agents as embedded in social structures and, as a result, they explained and justified their actions differently. As artificial agents will perform many actions with moral significance, we must heed such differences in justifications and blame and probe how they affect our interactions with those agents. (shrink)

This book highlights some of the most pressing safety, ethical, legal and societal issues related to the diverse contexts in which robotic technologies apply. Focusing on the essential concept of well-being, it addresses topics that are fundamental not only for research, but also for industry and end-users, discussing the challenges in a wide variety of applications, including domestic robots, autonomous manufacturing, personal care robots and drones.

Eleven pairs of newly commissioned essays face off on opposite sides of fundamental problems in current theories of knowledge. Brings together fresh debates on eleven of the most controversial issues in epistemology. Questions addressed include: Is knowledge contextual? Can skepticism be refuted? Can beliefs be justified through coherence alone? Is justified belief responsible belief? Lively debate format sharply defines the issues, and paves the way for further discussion. Will serve as an accessible introduction to the major topics in contemporary epistemology, (...) whilst also capturing the imagination of professional philosophers. (shrink)

Was macht das Besondere der menschlichen Lebensform aus? Wie können wir es verstehen, dass unsere Art wie alle anderen natürlich evolviert ist und dennoch als einzige Art die Fähigkeit entwickelt hat, unter dem Anspruch der Freiheit und in reflexiver Distanz zu handeln, damit aber die Umwelt auf eine Welt hin zu transzendieren? Jung argumentiert, dass sich diese Fragen nur beantworten lassen, wenn man philosophische, evolutionstheoretische und kognitionswissenschaftliche Ansätze aufeinander bezieht. Der Schlüssel hierfür ist der Begriff der Bedeutung. Alle Lebewesen erfassen (...) ihre Umwelt im praktischen Umgang mit ihr als bedeutsam. Auch der Geist des Menschen ist essentiell verkörpert und basiert auf erlebten Bedeutsamkeiten. Die Fähigkeit zur symbolischen Artikulation und kulturellen Weiterentwicklung solcher Lebensbedeutungen erlaubt es ihm aber auch, die lokale Umwelt zu transzendieren und dabei Werte, Normen und objektive Geltungsansprüche zu entwickeln. Eine zeitgemäße Anthropologie muss in der Lage sein, diese qualitativen Besonderheiten des menschlichen Geistes als Resultate von Naturprozessen verständlich zu machen. Sie verbindet methodischen Naturalismus mit Offenheit für die Transzendenz des Geistes über die Umwelt. Damit leistet der Autor einen wichtigen Beitrag zu einem nichtreduktionistischen Verständnis des Menschen, das Leib und Geist nicht dualistisch trennt, sondern ihre spannungsvolle Einheit sichtbar macht. (shrink)

When I take a sip from the coffee in my cup, I can taste that it is sweet. When I hold the cup with my hands, I can feel that it is hot. Why does the experience of feeling that the cup is hot give me justification for believing that the cup is hot?And why does the experience of tasting that the coffee is sweet give me justification for believing that the coffee is sweet?In general terms: Why is it that (...) a sense experience that P is a source of justification—a reason—for believing that P? Call this the Question. I will discuss various answers to the Question, and defend the one I myself favor. (shrink)

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call “validity (...) drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

Background Teamwork in emergency medical services is a very important factor in efforts to improve patient safety. The potential differences of staff gender on communication, patient safety, and teamwork were omitted. The aim of this study is to evaluate these inadequately examined areas. Methods A descriptive and anonymous study was conducted with an online questionnaire targeting emergency physicians and paramedics. The participants were asked about teamwork, communication, patient safety and handling of errors. Results Seven hundred fourteen prehospital professionals from all (...) over Germany participated. A total of 65.7% of the women harmed a patient (men 72.9%), and 52.6% were ashamed when mistakes were made (men 31.7%). 19.0% of the female participants considered their communication skills to be very good, compared to 81% of the men. More women than men did not want to appear incompetent (28.4%, 15.5%) and therefore did not speak openly about mistakes. Both genders saw the character of their colleagues as a reason for poor team communication (women 89.4%, men 84.9.%). Under high stress, communication decreased (women 35.9%, men 31.0%) and expression became inaccurate (women 18.7%, men 20.1%). Conclusions Team communication problems and teamwork in rescue services are independent of gender. Women seem to have more difficulty with open communication about mistakes because they seem to be subject to higher expectations. Work organization should be adapted to women’s needs to enable more effective error management. We conclude that it is necessary to promote a positive error and communication culture to increase patient safety. (shrink)

Negative subjective reports such as “I didn’t see the stimulus” can be interpreted as indicating either that the subject didn’t see the stimulus, or as indicating that, while the subject did see the stimulus, the strength of sensory signals associated with the stimulus fell below a conservative criterion for answering “seen”. Determining which of these two interpretations is correct is the criterion problem. I present two ways in which researchers can solve this problem. But there’s more. What I call the (...) “new criterion problem” consists in determining whether criteria effects reflect perceptual changes, or changes in response strategy. Through case studies, I argue that this new version of the problem can be solved as well, although there is currently no systematic way to solve it. I conclude that criterion problems do not constitute good reasons for skepticism about the scientific study of consciousness. (shrink)

English summary: Ordinary, unmethodical experience forms our lives. It accumulates when we interact with our environment as living beings, and combines cognitive, affective and volitional elements. In it, questions of meaning and value and issues of knowledge become strongly interdependent. In a normative sense, modern culture has tremendously upgraded the status of ordinary people's experience. However, at the same time, our world is increasingly determined by the methodological experience of the (natural) sciences and by the technology they have made possible. (...) Will scientific experience now replace ordinary experience, or will it complement and regulate it? How do facts and values relate to one another and what does this mean for our understanding of democracy? Matthias Jung starts by developing an integrated approach to ordinary experience, taking into account insights from areas including hermeneutics, phenomenology, pragmatism and cognitive science. As a result, three main areas of discussion emerge: knowledge, values and ideology, all of which are covered in their respective individual chapters. German description: Gewohnliche, unmethodische Erfahrung formt unser Leben. Sie vollzieht sich, wenn wir als lebendige Wesen mit unserer Umwelt interagieren, und verbindet jeweils kognitive, affektive und willentliche Dimensionen. Fragen nach Sinn und Wert und Wissensfragen sind in ihr eng aufeinander bezogen. Normativ hat die Kultur der Moderne die Erfahrung gewohnlicher Menschen enorm aufgewertet, doch gleichzeitig wird unsere Welt immer starker von der methodischen Erfahrung der (Natur-)Wissenschaften und der von ihr ermoglichten Technik bestimmt. Ersetzt nun wissenschaftliche die gewohnliche Erfahrung oder erganzt und korrigiert sie diese? Wie verhalten sich Fakten und Werte zueinander und was ergibt sich daraus fur unser Verstandnis von Demokratie? Matthias Jung entwickelt zunachst ein integriertes Konzept gewohnlicher Erfahrung und nimmt dabei Einsichten u.a. aus Hermeneutik, Phanomenologie, Pragmatismus und Kognitionswissenschaften auf. Daraus ergeben sich drei exemplarische Problemfelder: Wissen, Werte und Weltanschauung. Ihnen sind jeweils eigene Kapitel gewidmet. (shrink)

Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.

Focusing on his essays “New value‐free sociology” and “Remarks on social conflict today,” this chapter discusses Adorno's assessments of how Karl Mannheim, Georg Simmel, Lewis Coser, and Ralf Dahrendorf have addressed the tensions and conflicts that beset contemporary society. The chapter draws on these sociologists' works and on Adorno's reading of them to elucidate core arguments in his critique of both their conceptions of the social world and their sociological modes of procedure. Particular emphasis is placed on Adorno's notion of (...) the potential of a sociological approach that is more suitable for gaining insight into the antagonistic capitalist condition. The key components of such an approach, notably experience, its interplay with theory, and sociology's response to appearance, are further illuminated with reference to passages that illustrate their operations in sociological research. (shrink)