Automated Influence is the use of Artificial Intelligence to collect, integrate, and analyse people’s data in order to deliver targeted interventions that shape their behaviour. We consider three central objections against Automated Influence, focusing on privacy, exploitation, and manipulation, showing in each case how a structural version of that objection has more purchase than its interactional counterpart. By rejecting the interactional focus of “AI Ethics” in favour of a more structural, political philosophy of AI, we show that (...) the real problem with Automated Influence is the crisis of legitimacy that it precipitates. (shrink)

The mental health crisis and loneliness epidemic have sparked a growing interest in leveraging artificial intelligence (AI) and chatbots as a potential solution. This report examines the benefits and risks of incorporating chatbots in mental health treatment. AI is used for mental health diagnosis and treatment decision-making and to train therapists on virtual patients. Chatbots are employed as always-available intermediaries with therapists, flagging symptoms for human intervention. But chatbots are also sold as stand-alone virtual therapists or as friends and lovers. (...) There is evidence that these uses of AI and chatbots can provide better quality service, improve accessibility, and lower costs. The systems can reduce the stigma and shame of sharing their problems and leverage a mass of biometric and behavioral data to supplement self-reports. As the systems' intelligence rapidly improves, they will need to be rigorously tested for the accuracy and precision of their diagnoses and the quality of their interactions with patients. As chatbots become indistinguishable from humans and leverage their superhuman capacity to detect affect and draw on knowledge of a patient’s life, patients will be drawn to attribute personality to and relationship with the chatbot. Consequently, it will be essential to study what the “therapeutic alliance” with an actual human counselor provides and the risks of patients attributing such a relationship to a one-sided or “parasocial” relationship. (shrink)

Computers are used to make decisions in an increasing number of domains. There is widespread agreement that some of these uses are ethically problematic. Far less clear is where ethical problems arise, and what might be done about them. This paper expands and defends the Ethical Gravity Thesis: ethical problems that arise at higher levels of analysis of an automated decision-making system are inherited by lower levels of analysis. Particular instantiations of systems can add new problems, but not ameliorate (...) more general ones. We defend this thesis by adapting Marr’s famous 1982 framework for understanding information-processing systems. We show how this framework allows one to situate ethical problems at the appropriate level of abstraction, which in turn can be used to target appropriate interventions. (shrink)

Public health scholars and public health officials increasingly worry about health-related misinformation online, and they are searching for ways to mitigate it. Some have suggested that the tools of digital influence are themselves a possible answer: we can use targeted, automated digital messaging to counter health-related misinformation and promote accurate information. In this commentary, I raise a number of ethical questions prompted by such proposals—and familiar from the ethics of influence and ethics of AI—highlighting hidden costs of targeted digital (...) messaging that ought to be weighed against the health benefits they promise. (shrink)

This chapter serves as an introduction to the edited collection of the same name, which includes chapters that explore digital well-being from a range of disciplinary perspectives, including philosophy, psychology, economics, health care, and education. The purpose of this introductory chapter is to provide a short primer on the different disciplinary approaches to the study of well-being. To supplement this primer, we also invited key experts from several disciplines—philosophy, psychology, public policy, and health care—to share their thoughts on what they (...) believe are the most important open questions and ethical issues for the multi-disciplinary study of digital well-being. We also introduce and discuss several themes that we believe will be fundamental to the ongoing study of digital well-being: digital gratitude, automated interventions, and sustainable co-well-being. (shrink)

This chapter serves as an introduction to the edited collection of the same name, which includes chapters that explore digital well-being from a range of disciplinary perspectives, including philosophy, psychology, economics, health care, and education. The purpose of this introductory chapter is to provide a short primer on the different disciplinary approaches to the study of well-being. To supplement this primer, we also invited key experts from several disciplines—philosophy, psychology, public policy, and health care—to share their thoughts on what they (...) believe are the most important open questions and ethical issues for the multi-disciplinary study of digital well-being. We also introduce and discuss several themes that we believe will be fundamental to the ongoing study of digital well-being: digital gratitude, automated interventions, and sustainable co-well-being. (shrink)

Prior to this intervention the site used to be a degraded fiscal property, that functioned as a bus yard, a police legal deposit, and a restaurant parking lot. Underneath it runs the Maldonado stream culvert, covered by a concrete slab at a depth of only -20cm. Next to the site is a 5m high railroad embankment. The plot is strategically located at the end of Juan B. Justo avenue and works as a gateway to the Tres de Febrero park (also (...) known as Bosques de Palermo, the Buenos Aires’s biggest green space designed by Charles Thays in 1875). It is situated in the neighborhood of Palermo, an area that underwent a vertiginous residential and commercial expansion since the late 90´s. -/- The design approach is influenced by the adjacent urban fragments: the grounds of the Sociedad Rural Argentina, the surrounding Avenues Santa Fe-Sarmiento; the opening of Darregueyra street expected for the near future, the implementation of historic preservation guidelines for the Tres de Febrero Park, and the proposal for the development of nearby railroad yards. -/- Specifically, the project seeks to minimize the impact of the fast traffic that runs along Bullrich avenue, improving pedestrian and cycle access to the park. At the same time it defines new landscape features, utilizing the earth made available by the tunneling works of a new subway line. -/- The project comprises the structuring of an existing 800 meter long embankment and the transformation of the sidewalk into a public promenade. This is achieved through a wider sidewalk of 12m on average, which is part of a series of longitudinal stripes ranging from high speed to quiet spaces. The first band of grass and aged tipas (tipuana tipu) buffer pedestrian and cyclist from automotive traffic. Cycle traffic is organized on its own lane. The sidewalk itself contains several bays that act as urban lounges. Next, a continuous concrete bench delimits the beginning of the slope, backed by a stripe of grass that works as a soft extension. Finally, plants for contemplation are arranged as undulating traces. Rhythmic use of retaining gabions defines longitudinal segments of varying slope, unifying the spacial criterion. This series is punctuated by an amphitheater and framed by triangular plazas at the corners. -/- Material choices for hard surfaces are constrained by concerns of durability, low cost, and consistency with other ongoing public works. -/- Hard materials, as well as the plant selection needed to be low-maintenance. The palette was kept to reinforced concrete, granitic slabs, and granite stone in large size –forming retaining gabions- and as loose finishing for pavements. Likewise, the lack of a protective enclosure and of continuous surveillance dictated that urban furniture and fixtures be anti-vandalic. The stealing of these components –from inspection lids, to benches, to plants- is a common problem in urban spaces in many Latin American cities. To prevent this, fixtures must be designed according to precise specifications regarding their weight, fixing and anchoring systems, and mechanical parts. -/- Sidewalks are organized through a 6 meter grid made of granitic white slab, infilled with textured combed nonslip concrete modules. Extended bays and corner squares are finished with white and black slabs respectively. These materials are similar to another used in public spaces under construction, in the believe that it creates a collective identification of themselves along the city. -/- The continuous reinforced concrete bench is 1.10 m wide, in order to allow people to use it in non-conventional ways. Further up on the slope, undulating paths separate plant species and provide access for gardening, but are also open to use by the public. They are paved with 2 meter-long precast concrete slabs (smaller and lighter pieces were avoided to deter robbery). As they reach the gabions they connect with sloping paths covered with loose granitic stones. The gabions themselves allow the creation of varying slopes while contributing to retaining the soil, which is reinforced with geosynthetic fabric in the perimeter to avoid landslides originated by strong rains typical of the region. -/- Urban furniture is featured on the wider bays of the sidewalk and at corner plazas. It includes seats, water fountains, bicycle racks, wastepaper baskets. As a counterpoint to the linear concrete bench, groups of concrete seats are arranged informally. These seats are a reinterpretation of the dynamic BKF chair (also known as Butterfly chair), the classic Argentinean design of the 1930’ by Antonio Bonet, Juan Kurchan, and Jorge Ferrari-Hardoy. A few low concrete tables complete these spaces as authentic urban lounges. Lighting design accompanies the general features of the project and creates a new scenography emphasizing night-time usage. -/- Landscape gardening criteria is set up by a selection of various species of high-resistant pasture (grass). The higher the slope, the higher the grass, increasing the final volumetric result. Based on considering the original tipas line (tipuana tipu, a species from the north of Argentina, yellow flowering) as a vertical wall that frames the view, the horizontal stripes contain a single species each, differing in size, shade and flowering periods –adding, in the middle band, a changing color on the big green plane slope in the same chromatic range. The final configuration of the stripe sequence from bottom to top: bermuda grass, bulbine frutescens, euryops pectinatus. The upper band existing native species is reinforced with new samples: paspalum exaltatum + cortadera selloana and ipomea + thumbergia climbing the railway fence. Each sector between gabions has an automated system of drip irrigation. Near the corner plazas, several palms are planted to provide shade and identity to the street-crossing. -/- The intervention proposes an ambivalent effect on the landscape, trascending the merely ornamental by accompanying the motorist in speed, while conforting the pedestrian with spaces for contemplation and urban relax. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered (...) a variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in (...) such a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

Autonomous and automatic weapons would be fire and forget: you activate them, and they decide who, when and how to kill; or they kill at a later time a target you’ve selected earlier. Some argue that this sort of killing is always wrong. If killing is to be done, it should be done only under direct human control. (E.g., Mary Ellen O’Connell, Peter Asaro, Christof Heyns.) I argue that there are surprisingly many kinds of situation where this is false and (...) where the use of Automated Weapons Systems would in fact be morally required. These include cases where a) once one has activated a weapon expected then to behave lethally, it would be appropriate to let it continue because this is part of a plan whose goodness one was best positioned to evaluate before activating the weapon; b) one expects better long-term consequences from allowing it to continue; c) allowing it to continue would express a decision you made to be resolute, a decision that could not have advantaged you had it not been true that you would carry through with it; d) the weapon is mechanically not recallable, so that, to not allow it to carry through, you would have had to refrain from activating it in the first place, something you expected would have disastrous consequences; e) you must deputize necessary killings to autonomous machines in order to protect yourself from guilt you shouldn’t have to bear; f) it would be morally better for the burden of responsibility for the killing to be shared among several agents, and the agents deputizing killing to machines can do this, especially where it’s not predictable which machine will be successful; g) a killing would be morally better done with elements of randomness and lack of deliberation, and a (relatively stupid) machine could do this where a person could not; h) the machine would be acting as a Doomsday Device, so that it could not have had its hoped for deterrent effect had you not ensured that you would be unable to recall it if enemy action activated it; i) letting it carry through is a necessary part of its own learning process, and you expect that this learning will have salutary effects later on; j) human intervention in the machine’s operation would disastrously impair its precision, or its speed and efficiency; k) using non-automated methods would require human resources you just don’t have in a task that nevertheless must be done (e.g., using land-mines to protect remote installations); l) the weapon has such horrible and indiscriminate power that it is doubtful whether it could be actually used in ways compatible with International Humanitarian Law and the Laws of War, which require that weapons be used only in ways respecting distinctness, necessity and proportionality, but its threat of use could respect these principles in affording deterrence provided human error cannot lead to their accidental deployment, this requiring that they be controlled by carefully designed autonomous and automatic systems. I then consider objections based on conceptions of human dignity and find that very often dignity too is best served by autonomous machine killing. Examples include saving your village by activating a robot to kill invading enemies who would inflict great indignity on your village, using a suicide robot to save yourself from a less dignified death at enemy hands, using a robotic drone to kill someone otherwise not accessible in order to restore dignity to someone this person killed and to his family, and using a robot to kill someone who needs killing, but the killing of whom by a human executioner would soil the executioner’s dignity. I conclude that what matters in rightful killing isn’t necessarily that it be under the direct control of a human, but that it be under the control of morality; and that could sometimes require use of an autonomous or automated device. (This paper was formerly called "Fire and Forget: A Defense of the Use of Autonomous Weapons in War" on Philpapers; the current title is the title of the published version.). (shrink)

The Internet of Things (IoT) infrastructure forms a gigantic network of interconnected and interacting devices. This infrastructure involves a new generation of service delivery models, more advanced data management and policy schemes, sophisticated data analytics tools, and effective decision making applications. IoT technology brings automation to a new level wherein nodes can communicate and make autonomous decisions in the absence of human interventions. IoT enabled solutions generate and process enormous volumes of heterogeneous data exchanged among billions of nodes. This (...) results in Big Data congestion, data management, storage issues and various inefficiencies. Fog Computing aims at solving the issues with data management as it includes intelligent computational components and storage closer to the data sources. Often, an IoT-enabled infrastructure is shared among many users with various requirements. Sharing resources, sharing operational costs and collective decision making (consensus) among many stakeholders is frequently neglected. This research addresses an essential requirement for adaptive, autonomous and consensus-based Fog computational solutions which are able to support distributed and in-network schemes and policies. These network schemes and policies need to meet the requirements of many users. In this work, innovative consensus-based computational solutions are investigated. These proposed solutions aim to correlate and organise data for effective management and decision making in Fog. Instead of individual decision making, the algorithms aim to aggregate several decisions into a consensus decision representing a collective agreement, benefiting from the individuals variant knowledge and meeting multiple stakeholders requirements. In order to validate the proposed solutions, hybrid research methodology is involved that includes the design of a test-bed and the execution of several experiments. In order to investigate the effectiveness of the paradigm, three experiments were designed and validated. Real-life sensor data and synthetic statistical data was collected, processed and analysed. Bayesian Machine Learning models and Analytics were used to consolidate the design and evaluate the performance of the algorithms. In the Fog environment, the first scenario tests the Aggregation by Distribution algorithm. The solution contribute in achieving a notable efficiency of data delivery obtained with a minimal loss in precision. The second scenario validates the merits of the approach in predicting the activities of high mobility IoT applications. The third scenario tests the applications related to smart home IoT. All proposed Consensus algorithms use statistical analysis to support effective decision making in Fog and enable data aggregation for optimal storage, data transmission, processing and analytics. The final results of all experiments showed that all the implemented consensus approaches surpass the individual ones in different performance terms. Formal results also showed that the paradigm is a good fit in many IoT environments and can be suitable for different scenarios when applying data analysis to correlate data with the design. Finally, the design demonstrates that Fog Computing can compete with Cloud Computing in terms of accuracy with an added preference of locality. (shrink)

Rapid advances in AI-based automation have led to a number of existential and economic concerns. In particular, as automating technologies develop enhanced competency they seem to threaten the values associated with meaningful work. In this article, we focus on one such value: the value of achievement. We argue that achievement is a key part of what makes work meaningful and that advances in AI and automation give rise to a number achievement gaps in the workplace. This could limit people’s ability (...) to participate in meaningful forms of work. Achievement gaps are interesting, in part, because they are the inverse of the (negative) responsibility gaps already widely discussed in the literature on AI ethics. Having described and explained the problem of achievement gaps, the article concludes by identifying four possible policy responses to the problem. (shrink)

In psychiatry, pharmacological research has played a crucial role in the formulation, revision, and refinement of neurobiological theories of psychopathology. Besides being utilized as potential treatments for various mental disorders, pharmacological drugs play an important epistemic role as experimental instruments that help scientists uncover the neurobiological underpinnings of mental disorders (Tsou, 2012). Interventions with psychiatric patients using pharmacological drugs provide researchers with information about the neurobiological causes of mental disorders that cannot be obtained in other ways. This important source (...) of evidence for the biological causes of mental disorder is often overlooked in philosophical analyses of psychiatry, especially in skeptical analyses that debase the biological aspects of psychopathology (e.g., Szasz, 1960; Scheff, 1963; Laing, 1967). In discussing pharmacological interventions as a form of evidence for the physical basis of mental disorders, this paper aims to clarify the nature, reliability, and limitations of this evidence. In addition, it illustrates the central role that pharmacological findings in applied clinical contexts play in the acquisition of neurobiological knowledge in research contexts. (shrink)

Human obsolescence is imminent. We are living through an era in which our activity is becoming less and less relevant to our well-being and to the fate of our planet. This trend toward increased obsolescence is likely to continue in the future, and we must do our best to prepare ourselves and our societies for this reality. Far from being a cause for despair, this is in fact an opportunity for optimism. Harnessed in the right way, the technology that hastens (...) our obsolescence can open us up to new utopian possibilities and enable heightened forms of human flourishing. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, (...) we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

The article explores the problem of preferable technological changes in the context of work. To this end, it addresses the ‘why’ (motives and values) and the ‘how’ (organizational forms) of automation from a normative perspective. Concerning the ‘why,’ automation processes are currently mostly driven by values of economic efficiency. Yet, since automation processes are part of the basic structure of society, as is the division of labor, considerations of justice apply to them. As for the ‘how,’ the article suggests ‘fair (...) hybrid cooperation’ as an alternative ideal to guide automation priorities. It is achieved when the division of labor between humans and machines does not hinder, and preferably enables, workers’ experience of certain primary qualities in their work activity. By analogy with Rawls’ primary goods, these are qualities that it is necessary for every worker to experience in order to pursue their life plans: security, self-direction, self-development, dignity, and recognition. According to this criterion, the tasks to automate first are those hindering these contributive primary qualities. This provides us with a normative vocabulary and a standard to orient automation decisions but also to assess existing organizational forms and envisage alternative cooperative imaginaries. To illustrate how the ideal may play out in the real world, the article concludes with a ‘fair hybrid cooperation test’ and a nurse bots case for meaningful work. (shrink)

Automated influence, delivered by digital targeting technologies such as targeted advertising, digital nudges, and recommender systems, has attracted significant interest from both empirical researchers, on one hand, and critical scholars and policymakers on the other. In this paper, we argue for closer integration of these efforts. Critical scholars and policymakers, who focus primarily on the social, ethical, and political effects of these technologies, need empirical evidence to substantiate and motivate their concerns. However, existing empirical research investigating the effectiveness of (...) these technologies (or lack thereof), neglects other morally relevant effects—which can be felt regardless of whether or not the technologies "work" in the sense of fulfilling the promises of their designers. Drawing from the ethics and policy literature, we enumerate a range of questions begging for empirical analysis—the outline of a research agenda bridging these fields—and issue a call to action for more empirical research that takes these urgent ethics and policy questions as their starting point. (shrink)

A recent wave of academic and popular publications say that utopia is within reach: Automation will progress to such an extent and include so many high-skill tasks that much human work will soon become superfluous. The gains from this highly automated economy, authors suggest, could be used to fund a universal basic income (UBI). Today's employees would live off the robots' products and spend their days on intrinsically valuable pursuits. I argue that this prediction is unlikely to come true. (...) Historical precedent speaks against it, but the main problem is that the prediction fundamentally misunderstands how capitalism works—its incentives to increase or decrease production, its principles of income allocation, and the underlying conception of merit. (shrink)

Automated influence is one of the most pervasive applications of artificial intelligence in our day-to-day lives, yet a thoroughgoing account of its associated individual and societal harms is lacking. By far the most widespread, compelling, and intuitive account of the harms associated with automated influence follows what I call the control argument. This argument suggests that users are persuaded, manipulated, and influenced by automated influence in a way that they have little or no control over. Based on (...) evidence about the effectiveness of targeted advertising as well as empirical results about the nature of attentional control, I provide reasons to reject this argument. In turn, I use C. Thi Nguyen’s theory of value collapse to develop a new account of the harmfulness of automated influence. (shrink)

This work offers an analysis of all the legal and moral issues surrounding humanitarian intervention: the deaths of innocent persons and the Doctrine of Double Effect Governmental legitimacy - The Doctrine of Effective Political Control; UN Charter and evaluation of the Nicaragua ruling; The Morality of not intervening; US-led invasion of Iraq; Humanitarian intervention authorised by the UN Security Council - Iraq, Somalia, Haiti, Rwanda, and Bosnia among others highlight NATO's intervention in Kosovo; The Nicaragua Decision; and The precedents of (...) Panama, Liberia and Sierra Leone. The book's features include: a new framework based on the doctrine of double effect; basic principles of international ethics; outline of the moral argument for humanitarian intervention; explores the morality and legality of military action to end tyranny or anarchy; arguments in a much more detailed and complete fashion than in previous editions; in-depth examination of philosophy of international law; the relationship between custom and moral theory; new discussion of the question of right authority; and a full analysis of recent interventions in Kosovo and Iraq. book addresses a broad interdisciplinary audience of international lawyers, philosophers, and political scientists. In this new edition, the author responds to critics while updating the discussion in the light of the momentous events that took place at the beginning of the new millennium. (shrink)

According to a number of influential views in penal theory, 1 one of the primary goals of the criminal justice system is to rehabilitate offenders. Rehabilitativemeasures are commonly included as a part of a criminal sentence. For example, in some jurisdictions judges may order violent offenders to attend anger management classes or to undergo cognitive behavioural therapy as a part of their sentences. In a limited number of cases, neurointerventions — interventions that exert a direct biological effect on the (...) brain — have been used as aids to rehabilitation, typically being imposed as part of criminal sentences, separate treatment orders, or conditions of parole. Examples of such interventions include medications intended to attenuate addictive desires in substance-abusing offenders and agents intended to suppress libido in sex offenders.This chapter reviews some of the ethical issues raised by the use of neurointerventions as aids to rehabilitation. (shrink)

Advances in AI are powering increasingly precise and widespread computational propaganda, posing serious threats to national security. The military and intelligence communities are starting to discuss ways to engage in this space, but the path forward is still unclear. These developments raise pressing ethical questions, about which existing ethics frameworks are silent. Understanding these challenges through the lens of “cognitive security,” we argue, offers a promising approach.

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...) of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

Important decisions that impact humans lives, livelihoods, and the natural environment are increasingly being automated. Delegating tasks to so-called automated decision-making systems can improve efficiency and enable new solutions. However, these benefits are coupled with ethical challenges. For example, ADMS may produce discriminatory outcomes, violate individual privacy, and undermine human self-determination. New governance mechanisms are thus needed that help organisations design and deploy ADMS in ways that are ethical, while enabling society to reap the full economic and social (...) benefits of automation. In this article, we consider the feasibility and efficacy of ethics-based auditing as a governance mechanism that allows organisations to validate claims made about their ADMS. Building on previous work, we define EBA as a structured process whereby an entity’s present or past behaviour is assessed for consistency with relevant principles or norms. We then offer three contributions to the existing literature. First, we provide a theoretical explanation of how EBA can contribute to good governance by promoting procedural regularity and transparency. Second, we propose seven criteria for how to design and implement EBA procedures successfully. Third, we identify and discuss the conceptual, technical, social, economic, organisational, and institutional constraints associated with EBA. We conclude that EBA should be considered an integral component of multifaced approaches to managing the ethical risks posed by ADMS. (shrink)

This book offers a systematic and thorough philosophical analysis of the ways in which driving automation crosses path with ethical values. Upon introducing the different forms of driving automation and examining their relation to human autonomy, it provides readers with in-depth reflections on safety, privacy, moral judgment, control, responsibility, sustainability, and other ethical issues. Driving is undoubtedly a moral activity as a human act. Transferring it to artificial agents such as connected and automated vehicles necessarily raises many philosophical questions. (...) When driving is automated, what happens to its ethical dimensions? Could artificial agents accomplish ethical objectives on our behalf, take moral decisions in our place, and drive us into a more ethical transportation future? In doing so, would they be “moral” as we are or in a way that is similar to, but also remarkably different from, our own? And what role is yet to be played by human responsibility and commitment? The book addresses these questions with the aim of stimulating an interdisciplinary dialogue between different stakeholders. They include automotive engineers, computer scientists, and moral philosophers, as well as industry representatives, policymakers, regulators, transportation experts, and the general public. Indeed, connected and automated vehicles will not take the high road for us . We must drive them there. (shrink)

What words we use, and what meanings they have, is important. We shouldn't use slurs; we should use 'rape' to include spousal rape (for centuries we didn’t); we should have a word which picks out the sexual harassment suffered by people in the workplace and elsewhere (for centuries we didn’t). Sometimes we need to change the word-meaning pairs in circulation, either by getting rid of the pair completely (slurs), changing the meaning (as we did with 'rape'), or adding brand new (...) word-meaning pairs (as with 'sexual harassment'). A problem, though, is how to do this. One might worry that any attempt to change language in this way will lead to widespread miscommunication and confusion. I argue that this is indeed so, but that's a feature, not a bug of attempting to change word-meaning pairs. The miscommunications and confusion such changes cause can lead us, via a process I call transformative communicative disruption, to reflect on our language and its use, and this can be further, rather than hinder, our goal of improving language. (shrink)

Background Implicit biases are present in the general population and among professionals in various domains, where they can lead to discrimination. Many interventions are used to reduce implicit bias. However, uncertainties remain as to their effectiveness. -/- Methods We conducted a systematic review by searching ERIC, PUBMED and PSYCHINFO for peer-reviewed studies conducted on adults between May 2005 and April 2015, testing interventions designed to reduce implicit bias, with results measured using the Implicit Association Test (IAT) or sufficiently (...) similar methods. -/- Results 30 articles were identified as eligible. Some techniques, such as engaging with others’ perspective, appear unfruitful, at least in short term implicit bias reduction, while other techniques, such as exposure to counterstereotypical exemplars, are more promising. Robust data is lacking for many of these interventions. -/- Conclusions Caution is thus advised when it comes to programs aiming at reducing biases. This does not weaken the case for implementing widespread structural and institutional changes that are multiply justified. (shrink)

Currently, there are many advocacy interventions aimed at reducing animal consumption. We report results from a lab (N = 267) and a field experiment (N = 208) exploring whether, and to what extent, some of those educational interventions are effective at shifting attitudes and behavior related to animal consumption. In the lab experiment, participants were randomly assigned to read a philosophical ethics paper, watch an animal advocacy video, read an advocacy pamphlet, or watch a control video. In the (...) field experiment, we measured the impact of college classes with animal ethics content versus college classes without animal ethics content. Using a pretest, post-test matched control group design, humane educational interventions generally made people more knowledgeable about animals used as food and reduced justifications and speciesist attitudes supporting animal consumption. None of the interventions in either experiment had a direct, measurable impact on self-reported animal consumption. These results suggest that while some educational interventions can change beliefs and attitudes about animal consumption, those same interventions have small impacts on animal consumption. (shrink)

Many of the benefits and burdens we might experience in our lives — from bank loans to bail terms — are increasingly decided by institutions relying on algorithms. In a sense, this is nothing new: algorithms — instructions whose steps can, in principle, be mechanically executed to solve a decision problem — are at least as old as allocative social institutions themselves. Algorithms, after all, help decision-makers to navigate the complexity and variation of whatever domains they are designed for. In (...) another sense, however, this development is startlingly new: not only are algorithms being deployed in ever more social contexts, they are being mechanically executed not merely in principle, but pervasively in practice. Due to recent advances in computing technology, the benefits and burdens we experience in our lives are now increasingly decided by automata, rather than each other. How are we to morally assess these technologies? In this chapter, I propose a preliminary conceptual schema for identifying and locating the various injustices of automated, algorithmic social decision systems, from a broadly liberal perspective. (shrink)

The paper critically discusses an empirical study by Mizrahi & Dickinson 2020, which analyzes in a huge data base (JSTORE) the incidence of three types of philosophical arguments. Their results are: 1. Deductive arguments were the most commeon type of argument in philosophy until the end of the 20th century. 2. Around 2008 a shift in methodology occurred, such that the indcutive arguments outweigh other types of argument. The paper, first, criticizes the empirical study as grossly false and considers the (...) - very limited - possibilities of recognition of argument types by present computer programs. (shrink)

In psychiatry, pharmacological drugs play an important experimental role in attempts to identify the neurobiological causes of mental disorders. Besides being developed in applied contexts as potential treatments for patients with mental disorders, pharmacological drugs play a crucial role in research contexts as experimental instruments that facilitate the formulation and revision of neurobiological theories of psychopathology. This paper examines the various epistemic functions that pharmacological drugs serve in the discovery, refinement, testing, and elaboration of neurobiological theories of mental disorders. I (...) articulate this thesis with reference to the history of antipsychotic drugs and the evolution of the dopamine hypothesis of schizophrenia in the second half of the twentieth century. I argue that interventions with psychiatric patients through the medium of antipsychotic drugs provide researchers with information and evidence about the neurobiological causes of schizophrenia. This analysis highlights the importance of pharmacological drugs as research tools in the generation of psychiatric knowledge and the dynamic relationship between practical and theoretical contexts in psychiatry. (shrink)

The study’s goal was to provide an educational intervention in Algebra through GeoGebra that would boost students’ confidence, improve their learning, and correct their most minor mastered skills, allowing them to improve their Algebra performance. The research design was quasi-experimental, with 40 nonrandomly chosen participants comprising the GeoGebra and control groups. Mean and standard deviation was employed to describe the algebra performance and confidence of the respondents. At the same time, independent and dependent t-tests were used to determine the students’ (...) significant difference in algebra performance and confidence in the pre-and post-test between the control and GeoGebra groups. GeoGebra effectively improved algebra confidence, enhanced learning, and remedied the students’ least mastered skills. GeoGebra is recommended as an instructional material in teaching and learning Algebra and can be extended to other mathematics content areas. (shrink)

Suppose that state A attacks state D without warrant. The ensuing military conflict threatens international peace and security. State D (I assume) has a justification for defending itself by means of military force. Do third parties have a justification for intervening in that conflict by such means? To international public lawyers, the well-rehearsed and obvious answer is “yes.” Threats to international peace and security provide one of two exceptions to the legal and moral prohibition (as set out in Article 2[4] (...) of the UN Charter) on using force as a means for resolving interstate disputes. Just war theorists are not as verdictive. Compared to the ethics of humanitarian intervention and the ethics of national self-defense, the ethics of third-party military involvement in interstate conflicts remains underdeveloped in contemporary just war theory. This essay begins to fill that gap. I argue that to defend such interventions is tantamount to defending preventive military force, deterrent military force, and the resort to force in more cases than standardly thought. I then provide an account and limited defense of the deterrence argument. I show that deterrence is morally justified in relatively few cases and examine two problems with the argument: deterrence failures and the level of uncertainty under which leaders who use deterrent force operate. I conclude that we should take seriously the possibility that nonintervention, construed as the rejection of the direct use of military force, is the morally correct response to the most serious threats to international peace and security. (shrink)

This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories without function (...) symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

This chapter sets the scene for the subsequent philosophical discussions by surveying a number of biological interventions that have been used, or might in the future be used, for the purposes of crime prevention. These interventions are pharmaceutical interventions intended to suppress libido, treat substance abuse or attention deficit-hyperactivity disorder (ADHD), or modulate serotonin activity; nutritional interventions; and electrical and magnetic brain stimulation. Where applicable, we briefly comment on the historical use of these interventions, and (...) in each case we discuss the evidence that they are effective, or might become so with further refinement. The chapter concludes with a comment on some potentially significant differences between the varieties of intervention that we canvass. (shrink)

This book provides a critical reflection on automated science and addresses the question whether the computational tools we developed in last decades are changing the way we humans do science. More concretely: Can machines replace scientists in crucial aspects of scientific practice? The contributors to this book rethink and refine some of the main concepts by which science is understood, drawing a fascinating picture of the developments we expect over the next decades of human-machine co-evolution. The volume covers examples (...) from various fields and areas, such as molecular biology, climate modeling, clinical medicine, and artificial intelligence. The explosion of technological tools and drivers for scientific research calls for a renewed understanding of the human character of science. This book aims precisely to contribute to such a renewed understanding of science. (shrink)

In a recent article, Madelaine Ley evaluates the future of work, specifically robotised workplaces, via the lens of care ethics. Like many proponents of care ethics, Ley draws on the approach and its emphasis on relationality to understand ethical action necessary for worker wellbeing. Her paper aims to fill a research gap by shifting away from the traditional contexts in which care ethics is employed, i.e., health and care contexts and instead appropriates the approach to tackle the sociotechnicity of robotics (...) and how caring should be integrated into non-traditional contexts. This paper comments on that of Ley’s, making the case that the author does, in fact, achieve this end while still leaving areas of potential future research open to buttressing the approach she presents. (shrink)

In his influential book 'Making Things Happen' and in other places, Jim Woodward has noted some affinities between his own account of causation and that of Menzies and Price, but argued that the latter view is implausibly ‘subjective’. In this piece I discuss Woodward’s criticisms. I argue that the Menzies and Price view is not as different from Woodward’s own account as he believes, and that in so far as it is different, it has some advantages whose importance Woodward misses; (...) but also that the Menzies and Price view lacks some elements whose importance Woodward rightly stresses. When properly characterized, however, the ‘subjectivity’ survives unscathed. (shrink)

In the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is (...) the appropriate balance between explicitly coded algorithms and implicit reasoning involved, for instance, in the packaging of input evidence? In short: What is the optimal degree of ‘automation’? On the positive side: We propose the ability to perform an adequate robustness analysis as the focal criterion, primarily because it directs efforts to what is most important, namely, the structure of the algorithm and the appropriate extent of automation. Moreover, where there are resource constraints on the aggregation process, one must also consider what balance between volume of evidence and accuracy in the treatment of individual evidence best facilitates inference. There is no prerogative to aggregate the total evidence available if this would in fact reduce overall accuracy. (shrink)

This book reports on theoretical and practical analyses of the ethical challenges connected to driving automation. It also aims at discussing issues that have arisen from the European Commission 2020 report “Ethics of Connected and Automated Vehicles. Recommendations on Road Safety, Privacy, Fairness, Explainability and Responsibility”. Gathering contributions by philosophers, social scientists, mechanical engineers, and UI designers, the book discusses key ethical concerns relating to responsibility and personal autonomy, privacy, safety, and cybersecurity, as well as explainability and human-machine interaction. (...) On the one hand, it examines these issues from a theoretical, normative point of view. On the other hand, it proposes practical strategies to face the most urgent ethical problems, showing how the integration of ethics and technology can be achieved through design practices. All in all, this book fosters a multidisciplinary approach where philosophy, ethics, and engineering are integrated, rather than just juxtaposed. It is meant to inform and inspire an audience of philosophers of technology, ethicists, engineers, developers, manufacturers, and regulators, among other interested readers. (shrink)

As automating technologies are increasingly integrated into workplaces, one concern is that many of the human workers who remain will be relegated to more dull and less positively impactful work. This paper considers two rival theories of meaningful work that might be used to evaluate particular implementations of automation. The first is achievementism, which says that work that culminates in achievements to workers’ credit is especially meaningful; the other is the practice view, which says that work that takes the form (...) of an open-ended practice is especially meaningful. Of the two, the practice view is the better tool for assessing the future of meaningful work, because achievementism is explanatorily inadequate in two ways. Moreover, the practice view can explain why the most meaningful forms of work cannot be automated. A procedure can only be automated as long as the steps are defined, whereas, in such work, which steps to take is indefinitely open to redefinition. This reveals the real threat to meaningful work to be a political-economic one. The relevant ethical questions there have to do with how much creative control workers retain in crafting their own jobs, when those jobs involve meaningful work in collaboration with machines; and how to liberate workers from jobs that do not involve meaningful work, which should be left to machines anyway. (shrink)

This chapter considers how the adoption of autonomous weapons systems (AWS) may affect jus ad bellum principles of warfare. In particular, it focuses on the use of AWS in non-international armed conflicts (NIAC). Given the proliferation of NIAC, the development and use of AWS will most likely be attuned to this specific theater of war. As warfare waged by modernized liberal democracies (those most likely to develop and employ AWS at present) increasingly moves toward a model of individualized warfare, how, (...) if at all, will the principles by which we measure the justness of the commencement of such hostilities be affected by the introduction of AWS, and how will such hostilities stack up to current legal agreements surrounding their more traditional engagement? This chapter claims that such considerations give us reason to question the moral and legal necessity of ad bellum proper authority. (shrink)

Since approval of the EU General Data Protection Regulation (GDPR) in 2016, it has been widely and repeatedly claimed that the GDPR will legally mandate a ‘right to explanation’ of all decisions made by automated or artificially intelligent algorithmic systems. This right to explanation is viewed as an ideal mechanism to enhance the accountability and transparency of automated decision-making. However, there are several reasons to doubt both the legal existence and the feasibility of such a right. In contrast (...) to the right to explanation of specific automated decisions claimed elsewhere, the GDPR only mandates that data subjects receive meaningful, but properly limited, information (Articles 13-15) about the logic involved, as well as the significance and the envisaged consequences of automated decision-making systems, what we term a ‘right to be informed’. Further, the ambiguity and limited scope of the ‘right not to be subject to automated decision-making’ contained in Article 22 (from which the alleged ‘right to explanation’ stems) raises questions over the protection actually afforded to data subjects. These problems show that the GDPR lacks precise language as well as explicit and well-defined rights and safeguards against automated decision-making, and therefore runs the risk of being toothless. We propose a number of legislative and policy steps that, if taken, may improve the transparency and accountability of automated decision-making when the GDPR comes into force in 2018. (shrink)

Automated decision making for sentencing is the use of a software algorithm to analyse a convicted offender’s case and deliver a sentence. This chapter reviews the moral arguments for and against employing automated decision making for sentencing and finds that its use is in principle morally permissible. Specifically, it argues that well-designed automated decision making for sentencing will better approximate the just sentence than human sentencers. Moreover, it dismisses common concerns about transparency, privacy and bias as unpersuasive (...) or inapplicable. The chapter also notes that moral disagreement about theories of just sentencing are plausibly resolved by applying the principle of maximising expected moral choiceworthiness, and that automated decision making is better suited to the resulting ensemble model. Finally, the chapter considers the challenge posed by penal populism. The dispiriting conclusion is that although it is in theory morally desirable to use automated decision-making for criminal sentencing, it may well be the case that we ought not to try. (shrink)

Artificial intelligence (AI) technologies are used in various domains of human activities, and one of these domains is scientific research. Now, researchers in many scientific areas try to apply AI technologies to their research and automate it. These researchers claim that the ‘automation of science’ will liberate people from non-creative tasks in scientific research, and radically change the overall state of science and technology so that large-scale innovation results. As I see it, the automation of science is remarkable in another (...) respect: since science is one of the most distinctive human activities, the tendency of automating it prompts us to reconsider the aspects of our humanity itself. One of these aspects is concerned with human creativity, on which this article focuses. In this article, I address two questions concerning the automation of science: first, ‘Can AI makes creative discovery?’; second, ‘What implications may the automation of science have on science and society?’. Scientific discovery is said to be one of the most creative phases of scientific research. I show that, though there are no reasons in principle why AI could not make creative discovery, we do not at present have enough knowledge how to realize it. If the automation of science nevertheless proceeds, the cultural values science as a creative activity has might be reduced, and it might alter the state of scientific community and its relationship with society in some undesirable way. Therefore, I conclude, we need to specify desirable ways of introducing AI technologies into science and devise measures against demerits of automating science. (shrink)

Using automated systems to avoid the need for human discretion in government contexts – a scenario we call ‘rule by automation’ – can help us achieve the ideal of a free and equal society. Drawing on relational theories of freedom and equality, we explain how rule by automation is a more complete realization of the rule of law and why thinkers in these traditions have strong reasons to support it. Relational theories are based on the absence of human domination (...) and hierarchy, which automation helps us achieve. Nevertheless, there is another understanding of relational theories where what matters is the presence of valuable relationships with those in power. Exploring this further might help us see when and why we should accept human discretion. (shrink)

One recent priority of the U.S. government is developing autonomous robotic systems. The U.S. Army has funded research to design a metric of evil to support military commanders with ethical decision-making and, in the future, allow robotic military systems to make autonomous ethical judgments. We use this particular project as a case study for efforts that seek to frame morality in quantitative terms. We report preliminary results from this research, describing the assumptions and limitations of a program that assesses the (...) relative evil of two courses of action. We compare this program to other attempts to simulate ethical decision-making, assess possibilities for overcoming the trade-off between input simplification and output reliability, and discuss the responsibilities of users and designers in implementing such programs. We conclude by discussing the implications that this project highlights for the successes and challenges of developing automated mechanisms for ethical decision making. (shrink)