In the propositional modal treatment of two-variable first-order logic equality is modelled by a ‘diagonal’ constant, interpreted in square products of universal frames as the identity relation. Here we study the decision problem of products of two arbitrary modal logics equipped with such a diagonal. As the presence or absence of equality in two-variable first-order logic does not influence the complexity of its satisfiability problem, one might expect that adding a diagonal to product logics in general is similarly harmless. We (...) show that this is far from being the case, and there can be quite a big jump in complexity, even from decidable to the highly undecidable. Our undecidable logics can also be viewed as new fragments of first-order logic where adding equality changes a decidable fragment to undecidable. We prove our results by a novel application of counter machine problems. While our formalism apparently cannot force reliable counter machine computations directly, the presence of a unique diagonal in the models makes it possible to encode both lossy and insertion-error computations, for the same sequence of instructions. We show that, given such a pair of faulty computations, it is then possible to reconstruct a reliable run from them. (shrink)

Rapid developments in Artificial Intelligence are leading to an increasing human reliance on machine decision making. Even in collaborative efforts with Decision Support Systems (DSSs), where a human expert is expected to make the final decisions, it can be hard to keep the expert actively involved throughout the decision process. DSSs suggest their own solutions and thus invite passive decision making. To keep humans actively ‘on’ the decision-making loop and counter overreliance on machines, we propose a ‘reflection machine’ (...) (RM). This system asks users questions about their decision strategy and thereby prompts them to evaluate their own decisions critically. We discuss what forms RMs can take and present a proof-of-concept implementation of a RM that can produce feedback on users’ decisions in the medical and law domains. We show that the prototype requires very little domain knowledge to create reasonably intelligent critiquing questions. With this prototype, we demonstrate the technical feasibility to develop RMs and hope to pave the way for future research into their effectiveness and value. (shrink)

Within biology and in society, living creatures have long been described using metaphors of machinery and computation: ‘bioengineering’, ‘genes as code’ or ‘biological chassis’. This paper builds on Lakoff and Johnson’s argument that such language mechanisms shape how we understand the world. I argue that the living machines metaphor builds upon a certain perception of life entailing an idea of radical human control of the living world, looking back at the historical preconditions for this metaphor. I discuss how design (...) is perceived to enable us to shape natural beings to our will, and consider ethical, epistemological and ontological implications of the prevalence of this metaphor, focusing on its use within synthetic biology. I argue that we urgently need counter-images to the dominant metaphor of living machines and its implied control and propose that artworks can provide such counter-images through upsetting the perception of life as controllable. This is argued through discussion of artworks by Oron Catts and Ionat Zurr, by Tarsh Bates and by Ai Hasegawa, which in different ways challenge mechanistic assumptions through open-ended engagement with the strangeness and messiness of life. (shrink)

This paper revisits the often debated question Can machines think? It is argued that the usual identification of machines with the notion of algorithm has been both counter-intuitive and counter-productive. This is based on the fact that the notion of algorithm just requires an algorithm to contain a finite but arbitrary number of rules. It is argued that intuitively people tend to think of an algorithm to have a rather limited number of rules. The paper will (...) further propose a modification of the above mentioned explication of the notion of machines by quantifying the length of an algorithm. Based on that it appears possible to reconcile the opposing views on the topic, which people have been arguing about for more than half a century. (shrink)

One is occasionally reminded of Foucault's proclamation in a 1970 interview that "perhaps, one day this century will be known as Deleuzian." Less often is one compelled to update and restart with a supplementary counter-proclamation of the mathematician, David Lindley: "the twenty-first century would be a Bayesian era..." The verb tenses of both are conspicuous. // To critically attend to what is today often feared and demonized, but also revered, deployed, and commonly referred to as algorithm(s), one cannot avoid (...) the mathematical and philosophical legacies of probability. // But attending to these probabilistic or Bayesian legacies must include an undeniable theological legacy in which they remain entangled. // We are not, today, discovering quirky theological metaphors in contemporary technics. It's the other way around. The technologies are mere metaphors of past theologies. (shrink)

The aim of this article is to show how the ambivalent nature of reality might impact artificial intelligence use in medicine. The work illustrates that machine learning modelling requires some significant levels of data straight-jacketing to be efficient. However, data objectification will be counter-productive in the long run in AI-enabled medical contexts. The problem is that the ambivalent nature of realities requires a non-objectified modelling process, which is missing in machine learning at the moment. On the basis of this, (...) the study hypothesizes that AI-enabled medicine will continue to depend largely on human intelligence to be efficient at least for the foreseeable future. The implication of this is that intelligent machines should be viewed as co-workers with man. The study draws from the theories of ontology in the Western continental tradition and the African philosophical tradition to ground the discourse. (shrink)

This article looks through a critical media lens at mediated effects and ethical concerns of virtual reality applications that explore personal and social issues through embodiment and storytelling. In recent years, the press, immersive media practitioners and researchers have promoted the potential of virtual reality storytelling to foster empathy. This research offers an interdisciplinary narrative review, with an evidence-based approach to challenge the assumptions that VR films elicit empathy in the participant—what I refer to as the VR-empathy model. A review (...) of literature from the fields of psychology, computer science, embodiment, medicine, and virtual reality was carried out to question and counter these claims through case studies of both fiction and non-fiction VR experiences. The results reveal that there is little empirical evidence of a correlation between VR exposure and an increase in empathy that motivates pro-social behavior, and a lack of research covering VR films exposure eliciting empathy. Furthermore, the results show an alarming lack of research into the long-term effects of VR films and other VR immersive experiences. This contribution aims to understand and demystify the current “empathy machine” rhetoric and calls for more rigorous, scientific research that can authenticate future claims and systemize ethical best practices. (shrink)

In this short paper I will introduce an idea which, I will argue, presents a fundamental additional challenge to the machine consciousness community. The idea takes the questions surrounding phenomenology, qualia and phenomenality one step further into the realm of intersubjectivity but with a twist, and the twist is this: that an agent’s intersubjective experience is deeply felt and necessarily co-affective; it is enkinaesthetic, and only through enkinaesthetic awareness can we establish the affective enfolding which enables first the perturbation, and (...) then the balance and counter-balance, the attunement and co-ordination of whole-body interaction through reciprocal adaptation. (shrink)

How can one determine if an experimental apparatus is giving an incorrect result, if it is speaking falsely? An interesting example of this occurred in the experimental investigation, in the early twentieth century, of the energy spectrum of electrons emitted in β decay. Meitner and her collaborators (1911), using photographic detection, found that all the electrons emitted by a single radioactive element were monoenergetic. Chadwick (1914), on the other hand, using either an ionization chamber or a Geiger counter, found (...) a continuous energy spectrum. Meitner et al. proposed various mechanisms whereby initially monoenergetic electrons might lose energy. These were shown to be unsatisfactory, although the possibility of an unknown mechanism for energy loss remained. In 1927 Ellis and Wooster, using a total-absorption calorimeter, which eliminated all of these possibilities, demonstrated that the energy spectrum was indeed continuous. It had taken fifteen years to show that the photographic detection had spoken falsely. (shrink)

The famous 1893 Chicago World’s Fair celebrated the dawn of corporate capitalism and a new Machine Age with an exhibit of the world’s largest engine. Yet the noise was so great, visitors ran out of the Machinery Hall to retreat to the peace and quiet of the Japanese pavilion’s Buddhist temples and lotus ponds. Thus began over a century of the West’s turn toward an Asian aesthetic as an antidote to modern technology. From the turn-of-the-century Columbian Exhibition to the latest (...) Zen-inspired designs of Apple, Inc., R. John Williams charts the history of our embrace of Eastern ideals of beauty to counter our fear of the rise of modern technological systems. In a dazzling work of synthesis, Williams examines Asian influences on book design and department store marketing, the commercial fiction of Jack London, the poetic technique of Ezra Pound, the popularity of Charlie Chan movies, the architecture of Frank Lloyd Wright, and the design of the latest high-tech gadgets. Williams demonstrates how, rather than retreating from modernity, writers, artists, and inventors turned to traditional Eastern technê as a therapeutic means of living with—but never abandoning—Western technology. (shrink)

This article addresses shared themes in the writing of Saint Paul and the work of the science fiction writer Philip K. Dick. Much recent philosophical interest in Saint Paul focuses on his contemporary significance as a radical political thinker, following Jacob Taubes' influential late work, The Political Theology of Paul. Assessments of Paul's writing in this context (e.g. by Agamben, Badiou, Milbank) highlight the various ways in which he uses fictionalizing, for example in setting up the tension between the present (...) world and a messianic future, in the role he assigns to faith, and in the importance he assigns to the counter-factuality of resurrection. Yet the common thread of fictionalizing running through these themes has not been explicitly discussed. Meanwhile, the supposed `religious turn' in Dick's late writing has often been taken to have less political significance than his earlier science fiction. Considering Paul alongside Philip K. Dick, this article will attempt to bring out this central role of fictionalizing in the religious experiences of both. Like Paul, Dick experienced a visionary encounter with a God-like entity that shaped his interests and writing for the remainder of his life, and developed his own soteriology in response to what he perceived as the continued existence of (the Roman) Empire in modernity. Bringing out the mutual complementarity of Dick and Paul is facilitated by a framework derived from Henri Bergson's Two Sources of Religion, which theorizes the relation between mechanization as a human tendency characterizing both imperialism and industrialization, and fabulation as a human faculty for using fiction for the jointly immanent-transcendent purposes of survival/salvation. In this context, the diverse modes of fictionalizing employed by both Dick and Paul, including their unconsciously produced visions, may be understood as part of an ongoing, continually renewed strategy of revolutionary transformation of both self and world. (shrink)

Becoming-animal in Franz Kafka has functioned as a conceptual inkblot test, read in practically opposite ways by Gilles Deleuze and Félix Guattari on the one hand and animal studies on the other. The concept is introduced in Kafka: Towards a Minor Literature, a text with no particular interest in displacing anthropocentrism. On the contrary, Deleuze and Guattari saw Kafka as an affirmatively anthropocentric writer who needed to have done with animals in order complete his anti-fascist accelerationist project. Yet ecocritical readers (...) of Deleuze and Guattari have nevertheless found in becoming-animal a weapon against anthropocentrism. While Deleuze and Guattari attempt to purify Kafka of animality, animal studies for its part purifies both Kafka and Kafka of anti-fascism. The roots of this strange conceptual chiasmus lie in the manner in which the opposition nature-techne is thought and a certain shared Heidegerrian inheritance. A reading of Kafka’s The Castle focusing on a horse-drawn sleigh provides resources for a concept of animal machine that would ruin the opposition between becoming-animal and machinic assemblage (nature-techne) that governs Kafka and blocks access to crucial resources for countering fascism and anthropocentrism. (shrink)

This dissertation consists of five chapters, each written as independent research papers that are unified by an overarching concern regarding information privacy and machine learning-based artificial intelligence (AI). This dissertation addresses the issues concerning privacy and AI by responding to the following three main research questions (RQs): RQ1. ‘How does an AI system affect privacy?’; RQ2. ‘How effectively does the General Data Protection Regulation (GDPR) assess and address privacy issues concerning both individuals and groups?’; and RQ3. ‘How can the value (...) of privacy be embedded into systems?’ -/- To respond to the RQs, this dissertation adopts the privacy impact assessment (PIA) as the overall methodology. A PIA encompasses three distinct stages; the first, the analytical stage, concerns the analysis of how AI (particularly focusing on inference as a process that includes inferred information, AI models’ performance, and accessing information uncovered by AI models) impacts privacy. Second, the legal assessment stage concerns whether AI that processes personal information and develops models complies with the GDPR. Finally, the design requirements stage features proposals for design requirements for systems aimed at protecting privacy. Accordingly, this dissertation is structured in three parts, each corresponding to a specific stage of a PIA and responding to one of the RQs. -/- Part I, which addresses the first stage of the PIA, comprises three chapters that altogether respond to RQ1. Chapter 2 analyses how AI impacts the descriptive aspect of privacy; this part argues that AI challenges the current definitions of privacy and that the ‘source control’ and ‘actual access’ definitions of privacy, once revised in the face of counter-examples involving inferred information, converge. Chapter 3, which considers how AI impacts the normative aspect of privacy, particularly the value of privacy, argues that AI affects the social value of privacy, which depends on trust, as this dimension of privacy is constituted when AI models perform accurately. Chapter 4 examines how AI impacts the normative aspect of privacy, particularly the right to privacy, and it argues that, although accessing information uncovered by AI models raises concerns about the privacy of algorithmically designed groups, the right to privacy cannot be recognised for such groups. This is the disruptive feature of AI that has led to consideration of new approaches other than the traditional one, which involves recognising the right to privacy, to protect the privacy of these groups. Instead of recognising the right to privacy for algorithmically designed groups, this chapter suggests taking a moral principle for the moral obligation of protecting vulnerable groups within an ethics of vulnerability. -/- Part II concerns the second stage of the PIA and consists of one chapter that responds to RQ2. Chapter 5, in addition to evaluating whether AI that processes personal information and develops models complies with the GDPR, also assesses whether the GDPR adequately addresses the privacy issues raised by AI. It specifically focuses on group privacy and argues that GDPR has limitations in protecting the privacy of algorithmically designed groups and that the privacy of such vulnerable entities must be considered in the context of privacy and data protection. -/- Part III, which is related to the third stage of the PIA, also consists of one chapter that responds to RQ3. Chapter 6 proposes design requirements to protect privacy by integrating privacy into systems and argues that privacy is instrumentally valuable for the sake of autonomy. Accordingly, to embed the value of privacy into systems, design requirements are articulated through the translation of norms that promote and protect autonomy. (shrink)

The article attempts to locate the role of the computer in the long-standing conflict between the humanities on one side and the hard sciences and mathematics on the other. The state-sponsored promotion of philosophy and its subsequent demotion of scientific explanations provoked a scientific counter-attack, in the course of which psychophysical research subjected the human perception apparatus to rigorous investigations that all but mechanized the faculties of human understanding that were so central to the aspirations of philosophers. The latter (...) retaliated either by creating realms such as Husserl’s phenomenological ‘life-world’ that preceded, and hence were immune to, psychophysical explanations of sensation and perception, or by universalizing the faculty of understanding in such a way as to ensure the importance and competence of philosophy (e.g., in the work of the early Heidegger). This ongoing antagonism was also present in the ways in which the parties treated media technology: Philosophy tried to constrain media by conceptualizing them as obedient instruments tools at the beck and call of their users, whereas psychophysical research modeled the human mind on the very media that were indispensable for accessing this mind in the first place. The former saw media as ‘handy’ tools, the latter proceeded to make them the very measure of man. Alan Turing’s universal machine puts an end to this struggle: Not only does it blur the distinction between instructions and data, it converts the materials of the real world, the mechanisms of the mind, and the principal bastion of philosophy, natural languages, into numbers. (shrink)

In Malicious Deceivers, Ioana B. Jucan traces a genealogy of post-truth intimately tied to globalizing modernity and connects the production of repeatable fakeness with capitalism and Cartesian metaphysics. Through case studies that cross times and geographies, the book unpacks the notion of fakeness through the related logics of dissimulation (deception) and simulation (performativity) as seen with software/AI, television, plastics, and the internet. Specifically, Jucan shows how these (dis)simulation machines and performative objects construct impoverished pictures of the world, ensuring a (...) repeatable sameness through processes of hollowing out embodied histories and lived experience. Through both its methodology and its subjects-objects of study, the book further seeks ways to counter the abstracting mode of thinking and the processes of voiding performed by the twinning of Cartesian metaphysics and global capitalism. Enacting a model of creative scholarship rooted in the tradition of writing as performance, Jucan, a multimedia performance-maker and theatre director, uses the embodied "I" as a framing and situating device for the book and its sites of investigation. In this way, she aims to counter the Cartesian voiding of the thinking "I" and to enact a different kind of relationship between self and world from the one posited by Descartes and replayed in much Western philosophical and - more broadly - academic writing: a relationship of separation that situates the "I" on a pedestal of abstraction that voids it of its embodied histories and fails to account for its positionality within a socio-historical context and the operations of power that define it. (shrink)

_The rapid progress of AI technology prompts British novelists to speculate what a technologically advanced Britain will be like: a utopia or a dystopia? Or somewhere in between? Ian McEwan shows his concern over these questions in Machines Like Me (2019). It is suggested that this novel mainly reveals people’s technophobia and presents a techno-dystopian world, for which many people are ill-prepared. Technophobia and techno-dystopia represented in the selected novel echo the debates among the Neo-Luddites, especially the thoughts of (...) Stephen L. Talbott. From the theoretical angle of Neo-Luddism, the present study aims to explore people’s multifaceted technophobia and the features of techno-dystopia in Machines Like Me, so as to disclose people’s values behind their attitudes to technological advancements. Technophobia as depicted in this novel basically includes people’s dread of AI replacement of humans. Moreover, the world presented in the novel is characteristic of a techno-dystopia: the technological replacement of humans results in people’s obsolete status and poses security risks to human beings. The objective of the research is to arouse people’s awareness about adverse technological impacts and provide some insights into how to handle the tension between technophobia and technological development in the real world._ _The study concluded that to some degree, such technophobia and techno-dystopia disillusion technophiles who fervently believe that advances in technology will bring about a utopia or at least help to fulfill a utopian ideal. Serving as a warning alarm for the dystopian future, this novel counters cyber-hype in contemporary society and reflects the real world of profit-fueled technology._. (shrink)

Here I will re-purpose Nozick’s (1974) “Experience Machine” thought experiment against hedonism into an argument against Veritic Epistemic Consequentialism. According to VEC, the right action, epistemically speaking, is the one that results in at least as favorable a ratio of true to false belief as any other action available. A consequence of VEC is that it would be epistemically right to outsource all your cognitive endeavors to a matrix-like “True Belief Machine” that uploads true beliefs through artificial stimulation. Rather than (...) reflecting, inferring or inquiring, all of your beliefs would be the product of updates coming from the machine. This implication of VEC is counter intuitive. I will spend much of the paper considering defensive maneuvers and showing them to be lacking. The problem with going in for the True Belief Machine seems to be that the subject forfeits her autonomy. There has been much work lately on the virtue of intellectual autonomy and some of it has the potential to explain what is epistemically amiss about plugging into the machine. However, I will argue that the proponent of VEC cannot appeal to it without abandoning her preferred order of explanation. (shrink)

This article applies social entropy theory to international trade law, suggesting that observed shifts in world trading system towards disorder are the consequence of insufficient ‘energy’ inputs in the form of an effective, centralized legal framework and focused authoritative organization. In support of this claim, the article draws attention to recognized, substantive deficiencies in the World Trade Organization (WTO). These include trade round negotiation impasse, the rise of bilateralism, indeterminacy in the treaty texts and inadequate enforcement procedures. These problems represent (...) increasing disorganization, or entropy, in the world trading system, a phenomenon characterized most notably by growing income inequality between states and failure to achieve progress in further trade liberalization. While this article does not propose either specific predictions or comprehensive solutions to the dilemma of social entropy in the world trading system, it does suggest that a more robust, authoritative and trade-focused WTO is essential to counter the entropic tendencies within the supra-national trading system. This should help to ensure future growth and achieve the fuller distribution of economic prosperity through global trade. (shrink)

With their intensive use of data to classify and price risk, insurers have often been confronted with data-related issues of fairness and discrimination. This paper provides a comparative review of discrimination issues raised by traditional statistics versus machine learning in the context of insurance. We first examine historical contestations of insurance classification, showing that it was organized along three types of bias: pure stereotypes, non-causal correlations, or causal effects that a society chooses to protect against, are thus the main sources (...) of dispute. The lens of this typology then allows us to look anew at the potential biases in insurance pricing implied by big data and machine learning, showing that despite utopic claims, social stereotypes continue to plague data, thus threaten to unconsciously reproduce these discriminations in insurance. To counter these effects, algorithmic fairness attempts to define mathematical indicators of non-bias. We argue that this may prove insufficient, since as it assumes the existence of specific protected groups, which could only be made visible through public debate and contestation. These are less likely if the right to explanation is realized through personalized algorithms, which could reinforce the individualized perception of the social that blocks rather than encourages collective mobilization. (shrink)

Purpose This paper aims to examine exceptionalisms in ethics in general and in the fields of animal and technology ethics in particular. Design/methodology/approach This paper reviews five sample works in animal/technology ethics it considers representative for particularly popular forms of “exceptionalism”. Findings The shared feature of the exceptionalisms exhibited by the chosen samples appears to be born out of the cultural and biological history, which provides powerful intuitions regarding the on “specialness”. Research limitations/implications As this paper is mostly a critique (...) of existing approaches, it contains only a limited amount of counter-proposed alternative approaches. Practical implications This is a discussion worth having because arguments based on exceptionalism have more chance of resulting in significantly altered theoretical conclusions and practical suggestions for normative guidance than non-exceptionalist perspectives. Social implications The approaches critiqued in this paper have a significant effect on the way the authors approach animals, machines/technologies and each other. Originality/value The paper identifies intuitive notions of exceptionalism and argues in favour of a reformist, ethical expansionist stance, which views humanity as residing on the same plane of ethical significance as any other entity regardless of its material composition. (shrink)

In his recent paper Hatherley discusses four reasons given to support mandatory disclosure of the use of machine learning technologies in healthcare, and provides counters to each of these reasons. While I agree with Hatherley’s conclusion that such disclosures should not be mandatory (at least not in an upfront fashion), I raise some problems with his counters to the materiality argument. Finally, I raise another potential problem that exists in a democratic society: that even if Hatherley’s (and other authors who (...) share his conclusions) arguments are sound, in a democratic society the simple fact that most people might wish for such disclosures to be made might be an enough compelling reason to make such disclosures mandatory. (shrink)

Consciousness as used here, refers to the private, subjective experience of being aware of our perceptions, thoughts, feelings, actions, memories including the intimate experience of a unified self with the capacity to generate and control actions and psychological contents. This compelling, intuitive consciousness-centric account has, and continues to shape folk and scientific accounts of psychology and human behavior. Over the last 30 years, research from the cognitive neurosciences has challenged this intuitive social construct account when providing a neurocognitive architecture for (...) a human psychology. Growing evidence suggests that the executive functions typically attributed to the experience of consciousness are carried out competently, backstage and outside subjective awareness by a myriad of fast, efficient non-conscious brain systems. While it remains unclear how and where the experience of consciousness is generated in the brain, we suggested that the traditional intuitive explanation that consciousness is causally efficacious is wrong-headed when providing a cognitive neuroscientific account of human psychology. Notwithstanding the compelling 1st-person experience that convinces us that subjective awareness is the mental curator of our actions and thoughts, we argue that the best framework for building a scientific account is to be consistent with the biophysical causal dependency of prior neural processes. From a 3rd person perspective,, we propose that subjective awareness lacking causal influence, is than our experience of being aware, our awareness of our psychological content, knowing that we are aware, and the belief that that such experiences are evidence of an agentive capacity shared by others. While the human mind can be described as comprising both conscious and nonconscious aspects, both ultimately depend on neural process in the brain. In arguing for the counter-intuitive epiphenomenal perspective, we suggest that a scientific approach considers all mental aspects of mind including consciousness in terms of their underlying, preceding biological changes, in the realization that most brain processes are not accompanied by any discernible change in subjective awareness. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Ad Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back InTony E. JacksonAd Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back In, by Brian Rotman; xii & 203 pp. Stanford: Stanford University Press, 1993, $39.50 cloth, $12.95 paper.Brian Rotman’s book attempts to pull mathematics—the last, most solid home of metaphysical thought—off its absolutist (...) foundations and into the roiling current of postmodernism. His argument works in what has by now become a rather standard manner. He shows how the grounding ideas of mathematics rest upon the insupportable assumption of a realm of absolute truth, “truth perfect, truth outside time, outside space, outside the material world of matter, energy, and entropy, truth somehow able to be discovered or apprehended but never invented” (p. 19). Rotman questions this Platonic grounding in a number of ways.First, with the help of linguistics (de Saussure, Benveniste, Wittgenstein, and Peirce) he provides a semiotic analysis of mathematical arguments as real-world linguistic events. Proof he looks at “not as a form of inference engaged in preserving eternal truths, but as an historically conditioned species of rhetoric” (p. 35). Secondly, Rotman argues that one idea has most secured the fortress-like solidity of mathematical Platonism: the idea of ad infinitum or infinite iteration. Mathematics takes off from the givenness of the natural numbers, our everyday 1, 2, 3 and so on to infinity. It is the “so on to infinity” that frames up the house of arithmetic as it has stood since Euclid. (Euclidean in this context is equivalent to Platonic in the context of philosophy.) But what is the referent of these numbers? Ultimately they are said to be the symbolic representation of the action of counting, which is the “mathematical ur-cognition” (p. 51). And yet we cannot imagine any material human situation in which counting could actually go on to infinity. Therefore, some impossible, supernatural agent (the ghost of the title) must be projected in order for this conception to exist. Similarly, Rotman argues against the assumption of “perfect repeatability” because this notion depends upon some purely imaginary, ideal identity of object or action that could possibly be repeated. Ad infinitum requires and assumes both a disembodied, metaphysical counter and a disembodied, metaphysical counted.So Rotman sets about putting the body back into this symbolic system by rejecting the idea of ad infinitum. Instead of assuming the existence of counting activities that run, in principle, out to infinity without changing their nature, Rotman posits what he calls “realizable iteration,” that is, counting that admits the necessary dissolution or change of whatever repetitive function you begin with. Put simply, he includes the fact that quantitative accumulation or repetition always eventually brings about a qualitative change: at some point in everyday life a difference of degree of the “same” thing or action inevitably becomes a difference of kind. The natural numbers and the ad infinitum [End Page 390] remain blissfully sheltered from this inescapable real world truth, but Rotman reformulates mathematics so as to include this truth in the very idea of numbering.In fact (and he acknowledges this) he theorizes counting after the model of chaos or complexity theory in the physical sciences. Realizable iteration, he says, will bring in the “qualitative differences” forgotten or repressed (the language of Nietzsche, Heidegger, and Freud runs throughout) in the metaphysical version of number, and “display [the qualitative differences] as the emergent effects of repetition” (p. 131). Even numerical addition, for instance, which had been the most linearly continuous of activities, now will be linear beginning from some initial point, but will become increasingly nonlinear as quantitative increase tends towards some point of qualitative discontinuity with what had come before. The point of discontinuity, though certain to appear, is by its nature not specifiable beyond a horizon of probability, and in this, Rotman aligns his arithmetic not only with chaos theory, but also with quantum mechanics. In an appendix, Rotman elaborates at least to a degree the “pre-elements” of his non-Euclidean arithmetic.As chaos theory does not destroy everyday cause... (shrink)

This essay describes how using unsupervised topic modeling on relatively small corpuses can help scholars of literature circumvent the limitations of some existing theories of the novel. Using an example drawn from work on Victorian novelist Anthony Trollope's Barsetshire series, it argues that unsupervised topic modeling's counter-factual and retrospective reconstruction of the topics out of which a given set of novels have been created allows for a denaturalizing and unfamiliar view. In other words, topic models are fictions, and scholars (...) of literature should consider reading them as such. Drawing on one aspect of Stephen Ramsay's idea of algorithmic criticism, the essay emphasizes the continuities between “big data” methods and techniques and longer-standing methods of literary study. (shrink)

The article explores the concept of infodemics during the COVID-19 pandemic, focusing on the propagation of false or inaccurate information proliferating worldwide throughout the SARS-CoV-2 health crisis. We provide an overview of disinformation, misinformation and malinformation and discuss the notion of “fake news”, and highlight the threats these phenomena bear for health policies and national and international security. We discuss the mis-/disinformation as a significant challenge to the public health, intelligence, and policymaking communities and highlight the necessity to design measures (...) enabling the prevention, interdiction, and mitigation of such threats. We then present an overview of selected opportunities for applying technology to study and combat disinformation, outlining several approaches currently being used to understand, describe, and model the phenomena of misinformation and disinformation. We focus specifically on complex networks, machine learning, data- and text-mining methods in misinformation detection, sentiment analysis, and agent-based models of misinformation spreading and the detection of misinformation sources in the network. We conclude with the set of recommendations supporting the World Health Organization’s initiative on infodemiology. We support the implementation of integrated preventive procedures and internationalization of infodemic management. We also endorse the application of the cross-disciplinary methodology of Crime Science discipline, supplemented by Big Data analysis and related information technologies to prevent, disrupt, and detect mis- and disinformation efficiently. (shrink)

Executives in business and government seek to leverage artificial intelligence (AI), the biggest driver of technological change, to inform decision-making. The intelligence behind AI comes from machine learning (ML) algorithms applied to large datasets. The goal of this research is to investigate the adage that while humans are fallible, computers are impartial with no implicit bias. Toward this purpose, the author used the Delphi research technique to achieve these three objectives: (1) identify and categorize the sources of flaws in algorithm (...) design; (2) validate a framework for auditing AI-powered systems; and (3) propose strategies for resolving the sources and mitigating the flaws in algorithm design. The paper begins with a concise theoretical framework for algorithm design to familiarize the readers with the science of ML algorithms. Next, the author describes the research methodology including population and sample of the study. The findings of the Delphi study are presented in three sections that correspond with the three objectives of this investigation. A discussion of the findings is enhanced with supporting evidence from existing literature of unintended undesirable societal impacts of flaws in algorithm design in fields like education, healthcare, criminal justice, human resource management, and financial services. The expected outcome is cautious use of AI by decision-makers—employing AI while being aware of its limitations and shortcomings. (shrink)

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided verification. These efforts have largely treated timing diagrams as interfaces to established notations for which verification is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable of expressing certain context-free and context-sensitive properties. It shows that verification is decidable for properties expressible in this logic. More specifically, it shows that containment (...) of -regular languages generated by Büchi automata in timing diagram languages is decidable. The result relies on a correlation between timing diagram and reversal bounded counter machine languages. (shrink)

A counter analysis of David Chalmers' claims about the possibility of mind uploading within the context of the Singularity event.

The article analyses the relatively meager response of artists to the ‘war on terror’ compared to the response of American artists to the war in Vietnam, where artists organized both exhibitions and protests against the war in South East Asia in the late 1960s. This of course has to do with the transformations going in contemporary art and the broader political context characterized by the hegemony of neo-liberalism. The article juxtaposes an installation by the Retort collective with an installation by (...) Alfredo Jaar, analyzing two different ways of confronting the image war of the capitalist state machine with either a heave-handed use of art or a negative representation. (shrink)

All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$ -equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (...) (the corresponding varieties of residuated lattices have undecidable word problem); actually with very few exceptions, such as the knotted axioms and the other prespinal axioms, we prove that undecidability is ubiquitous. Known undecidability results for non-commutative extensions use an encoding that fails in the presence of commutativity, so and-branching counter machines are employed. Even these machines provide encodings that fail to capture proper extensions of commutativity, therefore we introduce a new variant that works on an exponential scale. The correctness of the encoding is established by employing the theory of residuated frames. (shrink)

Recently, Lincoln, Scedrov and Shankar showed that the multiplicative fragment of second order intuitionistic linear logic is undecidable, using an encoding of second order intuitionistic logic. Their argument applies to the multiplicative-additive fragment, but it does not work in the classical case, because second order classical logic is decidable. Here we show that the multiplicative-additive fragment of second order classical linear logic is also undecidable, using an encoding of two-counter machines originally due to Kanovich. The faithfulness of this (...) encoding is proved by means of the phase semantics. (shrink)

The title question of the paper has its empirical origin in the form of an individual’s existential experience arising from the personal use of a computer, which we attempt to describe in the first section. The rest of the entire paper can be understood as a philosophical essay answering the question posed. First the connection between the main problem of the article and its “premonition” by mankind, which was expressed in the form of ancient myths and legends, is briefly suggested. (...) After shortly discussing the problems that early considerations of AI focused on, i.e. whether machines can think at all, we move on to reformulate our title question, about the possibility of outsmarting AI. This outsmarting will be understood by us in a rather limited way as to prevent a machine from completing its implemented task. To achieve this objective, after softly clarifying the basic terms, an analogy is built between the “outsmarting” of a machine by a human (the target domain) and the playing of a mathematical game between two players (the base domain), where this outsmarting is assigned a “winning strategy” in the certain game. This mathematical model is formed by games similar to Banach-Mazur games. The strict theorems of such games are then proved and applied to the target of the analogy. We then draw conclusions and look for counter-examples to our findings. The answer to the title question posed is negative, and it is not clear how far it should be taken seriously. (shrink)

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding.There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. John Searle's (...) attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

Recently, amid growing awareness that computer algorithms are not neutral tools but can cause harm by reproducing and amplifying bias, attempts to detect and prevent such biases have intensified. An approach that has received considerable attention in this regard is the Value Sensitive Design (VSD) methodology, which aims to contribute to both the critical analysis of (dis)values in existing technologies and the construction of novel technologies that account for specific desired values. This article provides a brief overview of the key (...) features of the Value Sensitive Design approach, examines its contributions to understanding and addressing issues around bias in computer systems, outlines the current debates on algorithmic bias and fairness in machine learning, and discusses how such debates could profit from VSD-derived insights and recommendations. Relating these debates on values in design and algorithmic bias to research on cognitive biases, we conclude by stressing our collective duty to not only detect and counter biases in software systems, but to also address and remedy their societal origins. (shrink)

We set the Turing Test in the historical context of the development of machine intelligence, describe the different forms of the test and its rationale, and counter common misinterpretations and objections. Recently published material by Turing casts fresh light on his thinking.

The article discusses the challenges, benefits, and risks that, from a bioethical perspective, arise because of the the development of eHealth projects. The conceptual framework of the research is based on H. Jonas’ principles of the ethics of responsibility and B.G. Yudin’s anthropological ideas on human beings as agents who constantly change their own boundaries in the “zone of phase transitions.” The article focuses on the events taking place in the zone of phase transitions between humans and machines in (...) eHealth. It is shown that for innovative practices related to digitalization and datafication in medicine, it is needed to rethink central bioethical concepts of personal autonomy and informed consent. In particular, the concept of broad or open informed consent is discussed, which allows the idea of moral responsibility in the field of biomedical technologies to be extended to events of uncertain future. The authors draw attention to the problems associated with the emergence of new autonomous subjects/agents (machines with artificial intelligence) in relationship between doctors and patients. The humanization of machines occurring in eHealth is accompanied by a counter trend – the formation of conceptions and practices of the quantified self. There emerges the practices of self-care and bio-power (M. Foucault) caused by the datafication and digitization of personality. The authors conclude that bioethics should proactively develop norms for the evolving interaction between doctor and patients. (shrink)

Machine generated contents note: Prelude -- Introduction -- Part I: A Cabinet of Diversity -- 1. Object 1: Diversity Doesn't Work? -- 2. Object 2: Dominance -- 3. Object 3: From Wunderkammner to the Majors -- 4. Object 4: Patrol/Willy -- 5. Object 5: Accumulation/Difference that Makes No Difference -- 6. Object 6: Colorblindness/Federalist Paper no.6 -- 7. Object 7: Partition/No. 76-811: A Grievance Not of Their Making -- 8. Object 8: The Morrill Acts: "The Land Grab University" -- 9. (...) Afterthoughts -- Part II: The Constellation of Reparation -- 10. Star 1: Attempted Remedies -- 11. Star 2: Outlines of Epistemic Reparation -- 12. Star 3: How is a University like a Light Switch? -- 13. Afterthoughts -- Part III: Reparative Endeavors -- 14. Thread 1: Why Poetics? -- 15. Thread 2: Breath-Taking Landscapes: Place based interventions -- 16. Thread 3: Counter-space as the dramatization of a poetics of refusal -- 17. Thread 4: Gates/Gatekeeping -- 18. Thread 5: Unraveling Patrol -- 19. Thread 6: From Rank to Rhizome -- 20. Afterthoughts -- Acknowledgements -- Bibliography -- Notes -- Index. (shrink)

Previous work [Chrisley & Sloman, 2016, 2017] has argued that a capacity for certain kinds of meta-knowledge is central to modeling consciousness, especially the recalcitrant aspects of qualia, in computational architectures. After a quick review of that work, this paper presents a novel objection to Frank Jackson's Knowledge Argument (KA) against physicalism, an objec- tion in which such meta-knowledge also plays a central role. It is first shown that the KA's supposition of a person, Mary, who is physically omniscient, and (...) yet who has not experienced seeing red, is logically inconsistent, due to the existence of epistemic blindspots for Mary. It is then shown that even if one makes the KA consistent by supposing a more limited physical omniscience for Mary, this revised argument is invalid. This demonstration is achieved via the construction of a physical fact (a recursive conditional epistemic blindspot) that Mary cannot know before she experiences seeing red for the first time, but which she can know afterward. After considering and refuting some counter-arguments, the paper closes with a discussion of the implications of this argument for machine consciousness, and vice versa. (shrink)

In response to calls for greater interdisciplinary involvement from the social sciences and humanities in the development, governance, and study of artificial intelligence systems, this paper presents one sociologist’s view on the problem of algorithmic bias and the reproduction of societal bias. Discussions of bias in AI cover much of the same conceptual terrain that sociologists studying inequality have long understood using more specific terms and theories. Concerns over reproducing societal bias should be informed by an understanding of the ways (...) that inequality is continually reproduced in society—processes that AI systems are either complicit in, or can be designed to disrupt and counter. The contrast presented here is between conservative and radical approaches to AI, with conservatism referring to dominant tendencies that reproduce and strengthen the status quo, while radical approaches work to disrupt systemic forms of inequality. The limitations of a conservative approach to racial bias are discussed through the specific example of biased criminal risk assessments and Indigenous overrepresentation in Canada’s criminal justice system. This illustrates the dangers of treating racial bias as a generalizable problem and equality as a generalizable solution, emphasizing the importance of considering inequality in context. Societal issues can no longer be out of scope for AI and machine learning, given the impact of these systems on human lives. This requires engagement with a growing body of critical AI scholarship that goes beyond biased data to analyze structured ways of perpetuating inequality, opening up the possibility for interdisciplinary engagement and radical alternatives. (shrink)

In a recent book, ‘Machines with a Purpose’, many of the unattractive features of our technology were traced to a view of the world which has predominated in science for nearly four hundred years. This is, that nature, and everything that it contains, operates causally and without purpose. To counter this view, an alternative, purposive view was developed. The paper gives a simple account of this development, of other related work, and of the underlying motivation.

In their Minds and Machines essay How would you know if you synthesized a Thinking Thing? (Kary & Mahner, Minds and Machines, 12(1), 61–86, 2002), Kary and Mahner have chosen to occupy a high ground of materialism and empiricism from which to attack the philosophical and methodological positions of believers in artificial intelligence (AI) and artificial life (AL). In this review I discuss some of their main arguments as well as their philosophical foundations. Their central argument: ‘AI is (...) Platonism’, which is based on a particular interpretation of the notion of ‘definition’ and used as a critique against AI, can be counter criticized from two directions: first, Anti-Platonism is not a necessary precondition for criticizing AI, because outspoken Platonist criticism against AI is already known (Penrose, The emperor’s new mind (with a foreword by M. Gardner), 1989). Second, even in case that AI would essentially be ‘Platonism’ this would not be a sufficient argument for proving AI wrong. In my counter criticism I assume a more or less Popperian position by emphasizing the openness of the future: Not by quasi-Scholastic arguments (like Kary and Mahner’s), but only after being confronted with a novel ‘thinking thing’ by future AI engineers we can start to analyze its particular properties (Let me use a history analogon to illustrate my position: In the 19th century, mechanized aviation was widely regarded impossible—only natural organisms (such as birds or bees) could fly, and any science of aerodynamics or aviation did not exist. Only after some non-scientific technicians had confronted their astonished fellows with the first (obviously) flying machine the science of ‘Artificial Aviation’ came into existence, motivated by the need for understanding and mastering that challenging and puzzling new phenomenon). (shrink)

Much has been made of the importance of training ethical, socially conscious engineers, but does US engineering education actually encourage neophytes to take seriously their professional responsibility to public welfare? Counter to such ideals of engagement, I argue that students’ interest in public welfare concerns may actually decline over the course of their engineering education. Using unique longitudinal survey data of students at four colleges, this article examines (a) how students’ public welfare beliefs change during their engineering education, (b) (...) whether engineering programs emphasize engagement, and (c) whether these program emphases are related to students’ public welfare beliefs. I track four specific public welfare considerations: the importance to students of professional/ethical responsibilities, understanding the consequences of technology, understanding how people use machines, and social consciousness. Suggesting a culture of disengagement, I find that the cultural emphases of students’ engineering programs are directly related to their public welfare commitments and students’ public welfare concerns decline significantly over the course of their engineering education. However, these findings also suggest that if engineering programs can dismantle the ideological pillars of disengagement in their local climates, they may foster more engaged engineers. (shrink)

Wittgenstein’s Private Language Argument holds that language requires rule-following, rule following requires the possibility of error, error is precluded in pure introspection, and inner mental life is known only by pure introspection, thus language cannot exist entirely within inner mental life. Fodor defends his Language of Thought program against the Private Language Argument with a dilemma: either privacy is so narrow that internal mental life can be known outside of introspection, or so broad that computer language serves as a (...) class='Hi'>counter-example. I suggest that the developing field of artificial intelligence (deep learning neural networks) tends to vitiate Fodor’s defense and hence vindicate the Private Language Argument. The first horn of Fodor’s dilemma requires language to encompass genuinely internal mental life, i.e. non-projected intentional states, which are not exhibited in classical machine learning but only by deep learning neural networks (artificial intelligence). Such networks act as black boxes, however, whose state cannot be understood by tracking the changes in their supervenience bases without shared context, and that shared context introduces the possibility of error. The language of artificial intelligence is not private. (shrink)

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding. There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. John (...) Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

Language & Logic -- Glossary -- Aristotle's syllogisms -- Russell's paradox & Frege's logicism -- profile: Aristotle -- Russell's theory of description -- Frege's puzzle -- Gödel's theorem -- Epimenides' liar paradox -- Eubulides' heap -- Science & Epistemology -- Glossary -- I think therefore I am -- Gettier's counter example -- profile: Karl Popper -- The brain in a vat -- Hume's problem of induction -- Goodman's gruesome riddle -- Popper's conjectures & refutations -- Kuhn's scientific revolutions -- (...) Mind & Metaphysics -- Glossary -- Descartes mind-body problem -- Brentano's intentionality -- Fodor's language of thought -- Parfit's persons -- profile: René Descartes -- Chalmer's zombies -- Zeno's paradoxes -- Kant's left hand -- Theseus' ship -- Laplace's demon, determinism, & free will -- Ryle's ghost in the machine -- Ethics & Political Philosophy -- Glossary -- Aristotle's ethics -- States of nature and the social contract -- Kant's categorical imperative -- profile: Immanuel Kant -- Mill's utilitarianism -- Marx's historical materialism -- The trolley problem -- Religion -- Glossary -- Aquinas' five ways -- Anselm's ontological argument -- profile: Thomas Aquinas -- Epicurus' riddle -- Paley's watchmaker -- Pascal's wager -- Hume against miracles -- Grand Moments -- Glossary -- Socrates' method -- Plato's cave -- Aristotle's four causes -- Lucretius' atomism -- profile: Ludwig Wittgenstein -- Berkeley's idealism -- Kant's synthetic a priori -- Hegel's dialectic -- James' pragmatism -- Moore's common sense -- Wittgenstein's picture theory of language -- Continental Philosophy -- Glossary -- Nietzsche's Superman -- profile: Friedrich Nietzsche -- Derrida's deconstruction -- Heidegger's nothing -- Sartre's bad faith. (shrink)

Introduction Jamie Allen Time, of all the dimensions readily presented to experience, seems to do so most readily through things. Stuff, in supposed counter-valence to the negentropic resilience of living things, appears to us as that which degrades through time, and demarcates a more technical chronometry of sequential events. Situated outside the rotting of fruit and the ticking of clocks, a “deep time” persists. Like the ultra-hearing of the bat, and the infra-vision of the boa-constrictor, there exist living and (...) non-living agents and entities capable of revealing the fixity and finitude of our own perceptual frames for thinking and understanding. The recordings presented here consist of four extracts of documents made in deep geological repository sites (for the storage of nuclear waste). Here re-presented are the Yucca Mountain Repository; HADES, in Mol, Belgium; Gorleben in Germany and a further recording from Forsmark in Sweden (pretty much inaudible behind a loop of a pop song). These recordings are imagined acoustic amplifications of deep time, just as the astronomer’s telescope is (thought of a certain way), also a time machine. Stars and nuclear waste are unapparent objects of temporal thought. Andy Weir is an artist from London researching effects of deprioritised subjectivity and contemporary art. This project draws on work developing sonic fictions, stealthy earworms, and micropolitical agencies. Prompted for further thoughts about the recordings presented here, he offered up the interspersed discussion included. —JA Yucca Mountain Repository, Nevada, USA by continent I became interested in these sites originally as spaces that allude to a time outside of the human (‘deep time’) as they are designed to store waste ‘without future maintenance’. The very fact of thinking about these spaces or working on them—engineering etc.. (as I’m particularly interested them in a kind of practice rather than just an object of thought), in other words, forces a confrontation with thought of the extinction of humanity. I was interested in this as a production of affect at odds with the expected ‘ironic, can be whatever you like’ interpretive condition of contemporary art (art under the condition of neoliberalism, say, where the individual subject is prioritised as a free autonomous producer of the meaning of the work) When I thought about this a bit though it ran into paradoxes—yes, I could allude to deep time, but in doing so I just allude to its un-representability, drawing attention to the limits of representation and so reaffirming it—I was stuck in a representation/non-representational negative dialectic. In trying to somehow create a figure for deep time I was either reducing it to my description of it, or presenting it as irreducible. HADES Facility, Mol, Belgium by continent I don’t think I’ve escaped this in the work but my response to it was to create a sonic-fiction. This was based on the idea of a viral transmission of the affect of deep time (this is the ‘pyroclastic-soaked chrono-dread’) through receiving apparatuses, transforming the screen into an intercessor or mediating lure for the outside, a site of exposure multiplying virulently through its dissemination, invoking as much as trying to represent these spaces, the sounds as durations of exposure to contagious materials, and fictions as a way of excavating the strangeness of a world opaque to subjective reconfiguration... Testing out I suppose ways that art could start thinking about figuring the reality of ecological crisis. Gorleben Repository, Lower Saxony, Germany by continent While everything remains at the level of fiction I think the work is problematic. It doesn’t really model anything, giving too much authority to either romantic abandonment or the recuperation of romantic abandonment under its description by theory/philosophy, all contained and controlled by me within a fairly limited condition of what art can do. Deep Time Contagion is precisely a materialisation of and transmission of this paradox (i.e. with screen-media can only present deep time as unrepresentable or draw attention to an inability to present it) taking the comfort/panic induced by this paradox as its material. I’m working now on some new projects that take this as a point of departure. Forsmark Repository, Sweden (Robitussin Mix) by continent. (shrink)

When one regards the conflicts of the past century, Hegel’s description of history as a “slaughter-bench” seems apt.1 The two world wars the century witnessed were extraordinarily violent. In the First, the combatants were subject to an industrial scale slaughter by being systematically exposed to machine gun fire, artillery bombardments and poison gas. The Second World War added to these horrors with its concept of “total war,” which was defined as a war directed against the totality of the enemy nation: (...) its schools, factories, cities, in short, the entirety of its civilian population. In pursuit of this policy, cities were firebombed, populations were deported or systematically starved, and non-combatants generally were subject to much the same violence as armies in the field. This extension of violence to civilian populations continued in the conflicts that followed. It was particularly marked in the liberation struggles and the civil wars that have extended from the post-war period to this day. While violence between nations has not been lacking, the organized intra-state violence of civil wars and the violence of “failed” states have come to the fore. Again and again, we witness outrages against defenseless populations, their robbing and murder by marauding bands. Such violence seems a continuation of the violence that arises whenever the withdrawal of the forces of civil order occurs. Whether this is occasioned by a natural disaster or by the fall of a dictatorship, looting and gang violence with its settling of scores seems inevitably to errupt. As the example of countries from Somalia to Iraq has shown, such violence only ceases when met by the counter-violence of the forces of public order. (shrink)

Under what conditions does a physical system implement or realize a computation? Structuralism about computational implementation, espoused by Chalmers and others, holds that a physical system realizes a computation just in case the system instantiates a pattern of causal organization isomorphic to the computation’s formal structure. I argue against structuralism through counter-examples drawn from computer science. On my opposing view, computational implementation sometimes requires instantiating semantic properties that outstrip any relevant pattern of causal organization. In developing my argument, I (...) defend anti-individualism about computational implementation: relations to the social environment sometimes help determine whether a physical system realizes a computation. 1 The Physical Realization Relation2 Semantics and Computational Implementation3 Conforming to Instructions4 Implementing a Computer Program4.1 The denotational semantics of Scheme4.2 Worries about intentionality4.3 Worries about the natural numbers5 Implementing a Machine Model6 Bounded Structuralism7 Triviality Arguments8 Anti-individualism about Computational Implementation. (shrink)

"And God said, Let us make man in our image, after our likeness and let them have dominion over the fish of the sea, and over the fowl of the air, and over the cattle, and over all the earth, and over every creeping thing that creepeth upon the earth." --Genesis 1:24-26 In this crucial passage from the Old Testament, God grants mankind power over animals. But with this privilege comes the grave responsibility to respect life, to treat animals with (...) simple dignity and compassion. Somewhere along the way, something has gone wrong. In Dominion , we witness the annual convention of Safari Club International, an organization whose wealthier members will pay up to $20,000 to hunt an elephant, a lion or another animal, either abroad or in American "safari ranches," where the animals are fenced in pens. We attend the annual International Whaling Commission conference, where the skewed politics of the whaling industry come to light, and the focus is on developing more lethal, but not more merciful, methods of harvesting "living marine resources." And we visit a gargantuan American "factory farm," where animals are treated as mere product and raised in conditions of mass confinement, bred for passivity and bulk, inseminated and fed with machines, kept in tightly confined stalls for the entirety of their lives, and slaughtered in a way that maximizes profits and minimizes decency. Throughout Dominion , Scully counters the hypocritical arguments that attempt to excuse animal abuse: from those who argue that the Bible's message permits mankind to use animals as it pleases, to the hunter's argument that through hunting animal populations are controlled, to the popular and "scientifically proven" notions that animals cannot feel pain, experience no emotions, and are not conscious of their own lives. The result is eye opening, painful and infuriating, insightful and rewarding. Dominion is a plea for human benevolence and mercy, a scathing attack on those who would dismiss animal activists as mere sentimentalists, and a demand for reform from the government down to the individual. Matthew Scully has created a groundbreaking work, a book of lasting power and importance for all of us. (shrink)

Social media have undoubtedly changed our ways of living. Their presence concerns an increasing number of users (over 4,74 billion) and pervasively expands in the most diverse areas of human life. Marketing, education, news, data, and sociality are just a few of the many areas in which social media play now a central role. Recently, some attention toward the link between social media and political participation has emerged. Works in the field of artificial intelligence have already pointed out that there (...) is a close link between the use of machine learning algorithms in social media and possible epistemic isolation, which could lead to political radicalization. The idea supporting this paper is that artificial intelligence for social media can actively put users’ deliberative capacity at risk and foster political extremism. To prove these claims, I proceed along two lines of inquiry. First, I focus on filter bubbles, namely the result of selections made by algorithms that recommend contents that meet users’ expectations and opinions. To analyze this phenomenon, I refer to the Deweyan model of experience. Second, I connect the filter bubbles problem to the Deweyan idea of deliberative and participatory democracy and Nussbaum’s concept of political compassion. The purpose of this paper is to provide a philosophical foundation that can both (1) effectively serve as a method for analyzing machine learning algorithms and their potential problems in relation to political extremism, and (2) be adopted as a standard to counter the danger of extremism associated with social media experience. (shrink)