This article, taking a social semiotic approach, analyses two pieces of music written, shared and exalted by two pre-1945 European fascist movements – the German NSDAP and the British Union of Fascists. These movements, both political and cultural, employed mythologies of unity, common identity and purpose in order to elide the realities of social distinction and political–economic inequalities between bourgeois and proletarian groups in capitalist societies. Visually and inter-personally, the fascist cultural project communicated a machine-like certainty about a vision for (...) a new society based on discipline, conformity and the might of the nation. In this article, we are interested in the ways that these very same discourses are also communicated through sound and music in two songs: The Horst Wessel Lied and the BUF marching song, two songs that used the same melody. We analyse the discourses communicated by the semiotic choices made in melody, arrangements, sound qualities, rhythms as well as in lyrics. The article first identifies some of the underlying semiotic resources for meaning making in sound and then shows how these are used in order to communicate specific ideas, values and attitudes. (shrink)

In this article, we carry out a Multimodal Critical Discourse Analysis of a sample from a larger corpus of Romanian news articles that covered the controversial camp evictions and repatriation of Romanian Roma migrants from France that began in 2010 and continue to the time of writing in 2017. These French government policies have been highly criticized both within France and by international political and aid organizations. However, the analysis shows how these brutal, anti-humanitarian events became recontextualized in the Romanian (...) Press to represent the French government’s actions as peaceful and consensual. In addition, the demonization of the Roma in the press serves as a strategy to continuously disassociate them from their Romanian counterparts. While there is a long history of discrimination against the Roma in Romania, these particular recontextualizations can be understood in the context of the Romanian government’s need to gloss over its failure to comply with the Schengen accession requirements and acquire full European Union membership. (shrink)

While there has been extensive work on the textual realizations of climate change in the media, there has been little on the way such discourses are realized and promoted visually. This article addresses this using Multimodal Critical Discourse Analysis to examine a new collection of images from the globally operating Getty Images intended for use in promotions, advertisements and editorials. Getty is promoting this collection in terms of Green Issues being a `marketing opportunity'. In this article we consider the results (...) of these issues being recontextualized through this process, where they are shaped to fit the culture of branding. Analysis is of the images and the search terms where Getty lay out what can be said with the images. (shrink)

There has been criticism of how Fair-Trade products represent workers in remote parts of the world where packaging offers an encounter with distant others which romanticizes and homogenizes them as a pre-modern form of ethnicity. Such workers are shown as always engaged in authentic, simple, honest decontextualized manual labor. And they are depicted as highly appreciative of, and empowered by, the act of ethical shopping. This paper shows that a close social semiotic analysis of Fair-Trade packaging reveals a different set (...) of meanings which sit alongside the decontextualized ones. Designs integrate these workers into more contemporary kinds of modernist, rational, design chic, which communicates its own kind of honesty and authenticity. We consider how this, too, shapes how such consumers encounter distant others and its consequence for the meaning of the act of ethical shopping, where consumers can buy into moral alignment offered by products. (shrink)

The United Nations ‘Transforming our world: the 2030 Agenda for Sustainable Development’ lays out 17 Sustainable Development Goals to address a range of global issues related to the future of the planet and human well-being. Critics, however, argue that the Agenda, a complex product of multi-stakeholder governance, in its drive to accommodate many competing voices, is overloaded with weakly defined, overlapping and contradictory issues, concepts and buzzwords. These serve to gloss over actual concrete global problems and forces, concealing an underlying (...) free-trade ideology. In this paper, using Multimodal Critical Discourse Analysis, we draw attention to the nature of the documents used to communicate the Agenda. These documents comprise an edifice of self-referential texts that rely heavily on infographics, bullet points, charts and tables. Such formats appear to helpfully simplify, distil information and break things down into workable components. But, we show, through the affordances of these formats, the the vagueness of buzzwords, contradictions and lack of clear causalities can be glossed over, presenting the Agenda as a highly technical, engaging, and above all moral process. These formats are important, therefore, for the legitimization and rhetorical power of the Agenda, necessary for its take-up by governments and organizations around the world. (shrink)

Name der Zeitschrift: Semiotica - Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique Jahrgang: 2013 Heft: 197 Seiten: 119-140.

It has become common to find diagrams and flow-charts used in our organizations to illustrate the nature of processes, what is involved and how it happens, or to show how parts of the organization interrelate to each other and work together. Such diagrams are used as they are thought to help visualization and simplify things in order to represent the essence of a particular situation, the core features. In this paper, using a social semiotic approach, we show that we need (...) to develop a much more critical sense of how these diagrams and flowcharts can easily abstract, conceal and substitute actual causalities, work roles and relationships. We demonstrate this using the example of a series of interrelated flows-charts used to implement a new system of target-based learning in preschool/kindergartens in Sweden – a system which works highly in favor of a rapidly privatizing education sector. Here, the flow charts shape how school processes and learning are presented to devalue the former system and value the new. (shrink)

ABSTRACTIn Critical Discourse Studies and in other linguistics oriented scholarly journals we now see more research which draws upon multimodality as part of carrying out analyses of how text...

We are very grateful for the responses given to our article and for the editor of this journal for inviting us to have this kind of interaction. We simply need to have this kind of open discussion...

Among the categories of the telecom and internet frauds, the online romance scam is of particular concern for its sharp rise of victim numbers and the huge amount of cost. A social semiotic approach could be used to investigate the victim identity of the online romance scam from the aspects of the (re)construction and interpretation of discursive practices. The range of papers in this section shows that the study of text, context and the way that people use semiotic resources to (...) produce communication, to create and manage events and to interpret them. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

ABSTRACT The law, in its majestic equality, forbids the rich as well as the poor to sleep under bridges, to beg in the streets, and to steal bread. (Jacques Anatole François Thibault).

ABSTRACT In this paper we explore how a public national media outlet, the British BBC, represents an international legal case which has a highly political nature. The case is US versus Huawei/meng Wanzhou, which took place between 2018 and 2021. Accusations were that the Chinese technology company committed fraud, leading the global HSBC bank to breach US sanctions against Iran. The charges were made by the US using what is called an ‘extraterritorial law’, which, while rejected as law by governments (...) around the world, is policed by US economic powers and control over international finance. Using Critical Discourse Analysis we show that, while the BBC presents much detail of legal process, the actual nature of the law the US uses to bring criminal charges against international companies and banks, is neither considered nor questioned. Our interest is how such a law, which has a huge influence over global trade and politics, is presented to the public in this particular case. We contribute to the position that the nature of laws, how they are used and known, must always be understood within the prevailing discourses of the moment. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

StyleLikeU is a hugely successful online social media platform that presents itself as a social justice movement related to body acceptance. Presenting moving personal stories, it offers a site for what it calls ‘diverse individuals’ to share their experiences as part of promoting individual self-acceptance in the face of a world that prioritizes one kind of body over another, which take the form of ableism, racism, sexism, homophobia, transphobia, ageism, sizeism and prejudice against disfigurement. Drawing out the discursive script carried (...) across the platform, we show how, beneath the rhetoric of progressiveness, social justice becomes a kind of personal therapy, related to empowerment and transformation, which erases actual differences in personal circumstances and the very forces of injustice. We place StyleLikeU into broader scholarly concerns about the neoliberal colonization of identity politics, diversity and intersectionality in institutions and in branding, drawing attention to how this can form one part of what are now presented as social justice movements. (shrink)

One of the more compelling features of Denis Dutton’s The Art Instinct is its theoretical parsimony. Utilizing what essentially amounts to one explanatory principle—that of Darwinian selection—Dutton advances a theory of aesthetics that is at once general enough to account for cross-cultural variations in artistic production and sufficiently nuanced to promote insights into individual artworks. In doing this, Dutton’s work could not offer a greater contrast to some of the more vocal trends in contemporary aesthetic theory, where ponderous theorizing and (...) rebarbative jargons have violently opposed the idea—otherwise so modest—that aesthetic activities might draw on the evolved capacities of the human imagination. On .. (shrink)

A growing body of literature critical of ethics review boards has drawn attention to the processes used to determine the ethical merit of research. Citing criticism on the bureaucratic nature of ethics review processes, this literature provides a useful provocation for (re)considering how the ethics review might be enacted. Much of this criticism focuses on how ethics review boards _deliberate,_ with particular attention given to the lack of transparency and opportunities for researcher recourse that characterise ethics review processes. Centered specifically (...) on the conduct of ethics review boards convened within university settings, this paper draws on these inherent criticisms to consider the ways that ethics review boards might enact more communicative and deliberative practices. Outlining a set of principles against which ethics review boards might establish strategies for engaging with researchers and research communities, this paper draws attention to how _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ for the ethics review might be enacted in the day-to-day practice of the university human ethics review board. This paper develops these themes via a conceptual lens derived from Habermas’ (The theory of communicative action. Volume 1: Reason and the rationalization of society, 1984 ) articulation of ‘communicative action’ and Fraser’s (Social Text, 25(26), 56–80, 1990 ) consideration of ‘strong publics’ to cast consideration of the role that human ethics review boards might play in supporting university research cultures. _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ provide useful conceptual prompts for considering how ethics review boards might undertake their work. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealisedexplanation gamein which players collaborate to find the best explanation(s) for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal patterns of (...) variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a (conditionally) optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

One of the enduring concerns of moral philosophy is deciding who or what is deserving of ethical consideration. Much recent attention has been devoted to the "animal question" -- consideration of the moral status of nonhuman animals. In this book, David Gunkel takes up the "machine question": whether and to what extent intelligent and autonomous machines of our own making can be considered to have legitimate moral responsibilities and any legitimate claim to moral consideration. The machine question poses a (...) fundamental challenge to moral thinking, questioning the traditional philosophical conceptualization of technology as a tool or instrument to be used by human agents. Gunkel begins by addressing the question of machine moral agency: whether a machine might be considered a legitimate moral agent that could be held responsible for decisions and actions. He then approaches the machine question from the other side, considering whether a machine might be a moral patient due legitimate moral consideration. Finally, Gunkel considers some recent innovations in moral philosophy and critical theory that complicate the machine question, deconstructing the binary agent--patient opposition itself. Technological advances may prompt us to wonder if the science fiction of computers and robots whose actions affect their human companions could become science fact. Gunkel's argument promises to influence future considerations of ethics, ourselves, and the other entities who inhabit this world. (shrink)

The Fairness, Accountability, and Transparency (FAccT) literature tends to focus on bias as a problem that requires ex post solutions (e.g. fairness metrics), rather than addressing the underlying social and technical conditions that (re)produce it. In this article, we propose a complementary strategy that uses genealogy as a constructive, epistemic critique to explain algorithmic bias in terms of the conditions that enable it. We focus on XAI feature attributions (Shapley values) and counterfactual approaches as potential tools to gauge these conditions (...) and offer two main contributions. One is constructive: we develop a theoretical framework to classify these approaches according to their relevance for bias as evidence of social disparities. We draw on Pearl’s ladder of causation (Causality: models, reasoning, and inference. Cambridge University Press, Cambridge, 2000, Causality, 2nd edn. Cambridge University Press, Cambridge, 2009. doi:10.1017/CBO9780511803161) to order these XAI approaches concerning their ability to answer fairness-relevant questions and identify fairness-relevant solutions. The other contribution is critical: we evaluate these approaches in terms of their assumptions about the role of protected characteristics in discriminatory outcomes. We achieve this by building on Kohler-Hausmann’s (Northwest Univ Law Rev 113(5):1163–1227, 2019) constructivist theory of discrimination. We derive three recommendations for XAI practitioners to develop and AI policymakers to regulate tools that address algorithmic bias in its conditions and hence mitigate its future occurrence. (shrink)

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...) surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an “intelligence explosion”, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make. The key idea is that a machine that is more intelligent than humans will be better than humans at designing machines. So it will be capable of designing a machine more intelligent than the most intelligent machine that humans can design. So if it is itself designed by humans, it will be capable of designing a machine more intelligent than itself. By similar reasoning, this next machine will also be capable of designing a machine more intelligent than itself. If every machine in turn does what it is capable of, we should expect a sequence of ever more intelligent machines. This intelligence explosion is sometimes combined with another idea, which we might call the “speed explosion”. The argument for a speed explosion starts from the familiar observation that computer processing speed doubles at regular intervals. Suppose that speed doubles every two years and will do so indefinitely. Now suppose that we have human-level artificial intelligence 1 designing new processors. Then faster processing will lead to faster designers and an ever-faster design cycle, leading to a limit point soon afterwards. The argument for a speed explosion was set out by the artificial intelligence researcher Ray Solomonoff in his 1985 article “The Time Scale of Artificial Intelligence”.1 Eliezer Yudkowsky gives a succinct version of the argument in his 1996 article “Staring at the Singularity”: “Computing speed doubles every two subjective years of work.. (shrink)

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)

As machine learning has gradually entered into ever more sectors of public and private life, there has been a growing demand for algorithmic explainability. How can we make the predictions of complex statistical models more intelligible to end users? A subdiscipline of computer science known as interpretable machine learning (IML) has emerged to address this urgent question. Numerous influential methods have been proposed, from local linear approximations to rule lists and counterfactuals. In this article, I highlight three conceptual challenges that (...) are largely overlooked by authors in this area. I argue that the vast majority of IML algorithms are plagued by (1) ambiguity with respect to their true target; (2) a disregard for error rates and severe testing; and (3) an emphasis on product over process. Each point is developed at length, drawing on relevant debates in epistemology and philosophy of science. Examples and counterexamples from IML are considered, demonstrating how failure to acknowledge these problems can result in counterintuitive and potentially misleading explanations. Without greater care for the conceptual foundations of IML, future work in this area is doomed to repeat the same mistakes. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for computing explanatory factors (...) with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (shrink)

§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, and then tested by experiment, and this requires it to be expressed in a language appropriate for making precise, empirically testable predictions. That language is mathematics.This in turn constitutes a statement about what the physical world must be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is written in the (...) language of mathematics”. Galileo's introduction of mathematically formulated, testable theories into physics marked the transition from the Aristotelian conception of physics, resting on supposedly necessary a priori principles, to its modern status as a theoretical, conjectural and empirical science. Instead of seeking an infallible universal mathematical design, Galilean science usesmathematics to express quantitative descriptions of an objective physical reality. Thus mathematics became the language in which we express our knowledge of the physical world — a language that is not only extraordinarily powerful and precise, but also effective in practice. Eugene Wigner referred to “the unreasonable effectiveness of mathematics in the physical sciences”. But is this effectiveness really unreasonable or miraculous?Numbers, sets, groups and algebras have an autonomous reality quite independent of what the laws of physics decree, and the properties of these mathematical structures can be just as objective as Plato believed they were. (shrink)

To clarify the notion of computation and its role in cognitive science, we need an account of implementation, the nexus between abstract computations and physical systems. I provide such an account, based on the idea that a physical system implements a computation if the causal structure of the system mirrors the formal structure of the computation. The account is developed for the class of combinatorial-state automata, but is sufficiently general to cover all other discrete computational formalisms. The implementation relation is (...) non-vacuous, so that criticisms by Searle and others fail. This account of computation can be extended to justify the foundational role of computation in artificial intelligence and cognitive science. (shrink)

Cognitive neuroscientists are turning to an increasingly rich array of neurodynamical systems to explain mental phenomena. In these explanations, cognitive capacities are decomposed into a set of functions, each of which is described mathematically, and then these descriptions are mapped on to corresponding mathematical descriptions of the dynamics of neural systems. In this paper, I outline a novel explanatory schema based on these explanations. I then argue that these explanations present a novel type of dynamicism for the philosophy of mind (...) and neuroscience, componential dynamicism, that focuses on the parts of cognitive systems that fill certain functional roles in producing cognitive phenomena. (shrink)

Democracy can be a means to independently valuable ends and/or it can be intrinsically (or non-instrumentally) valuable. One powerful non-instrumental defence of democracy is based on the idea that only it can publicly justify political authority. I contend that this is an argument about the reasonable acceptability of political authority and about the requirements of publicity and that satisfying these requirements has nothing to do with whether a society is democratic or not. Democracy, then, plays no role in publicly justifying (...) political authority. I also show that any non-instrumental defence of democracy must make claims about what justice requires and make several further claims that require substantial justification. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This essay responds to the machine question in the affirmative, arguing that artifacts, like robots, AI, and other autonomous systems, can no longer be legitimately excluded from moral consideration. The demonstration of this thesis proceeds in four parts or movements. The first and second parts approach the subject by investigating the two constitutive components of the ethical relationship—moral agency and patiency. In the process, they each demonstrate failure. This occurs not because the machine is somehow unable to achieve what is (...) considered necessary and sufficient to be a moral agent or patient but because the characterization of agency and patiency already fail to accommodate others. The third and fourth parts respond to this problem by considering two recent alternatives—the all-encompassing ontocentric approach of Luciano Floridi’s information ethics and Emmanuel Levinas’s eccentric ethics of otherness. Both alternatives, despite considerable promise to reconfigure the scope of moral thinking by addressing previously excluded others, like the machine, also fail but for other reasons. Consequently, the essay concludes not by accommodating the alterity of the machine to the requirements of moral philosophy but by questioning the systemic limitations of moral reasoning, requiring not just an extension of rights to machines, but a thorough examination of the way moral standing has been configured in the first place. (shrink)

Cognitive neuroscientists are turning to an increasingly rich array of neurodynamical systems to explain mental phenomena. In these explanations, cognitive capacities are decomposed into a set of functions, each of which is described mathematically, and then these descriptions are mapped on to corresponding mathematical descriptions of the dynamics of neural systems. In this paper, I outline a novel explanatory schema based on these explanations. I then argue that these explanations present a novel type of dynamicism for the philosophy of mind (...) and neuroscience, componential dynamicism, that focuses on the parts of cognitive systems that fill certain functional roles in producing cognitive phenomena. (shrink)

Cognitive neuroscientists are turning to an increasingly rich array of neurodynamical systems to explain mental phenomena. In these explanations, cognitive capacities are decomposed into a set of functions, each of which is described mathematically, and then these descriptions are mapped on to corresponding mathematical descriptions of the dynamics of neural systems. In this paper, I outline a novel explanatory schema based on these explanations. I then argue that these explanations present a novel type of dynamicism for the philosophy of mind (...) and neuroscience, componential dynamicism, that focuses on the parts of cognitive systems that fill certain functional roles in producing cognitive phenomena. (shrink)

Dramatic changes or revolutions in a field of science are often made by outsiders or 'trespassers,' who are not limited by the established, 'expert' approaches. Each essay in this diverse collection shows the fruits of intellectual trespassing and poaching among fields such as economics, Kantian ethics, Platonic philosophy, category theory, double-entry accounting, arbitrage, algebraic logic, series-parallel duality, and financial arithmetic.

Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations–those that can be caused to happen and those that cannot. This is a departure from the prevailing conception of fundamental physics which is to predict what will happen from initial conditions and laws of motion. Several converging motivations for expecting constructor theory to be a fundamental branch of physics are discussed. Some principles of the theory are suggested and its potential (...) for solving various problems and achieving various unifications is explored. These include providing a theory of information underlying classical and quantum information; generalising the theory of computation to include all physical transformations; unifying formal statements of conservation laws with the stronger operational ones (such as the ruling-out of perpetual motion machines); expressing the principles of testability and of the computability of nature (currently deemed methodological and metaphysical respectively) as laws of physics; allowing exact statements of emergent laws (such as the second law of thermodynamics); and expressing certain apparently anthropocentric attributes such as knowledge in physical terms. (shrink)

In 1738, Jacques Vaucanson unveiled his masterpiece before the court of Louis XV: a gilded copper duck that ate, drank, quacked, flapped its wings, splashed about, and, most astonishing of all, digested its food and excreted the remains. The imitation of life by technology fascinated Vaucanson's contemporaries. Today our technology is more powerful, but our fascination is tempered with apprehension. Artificial intelligence and genetic engineering, to name just two areas, raise profoundly disturbing ethical issues that undermine our most fundamental beliefs (...) about what it means to be human. In The Vital Machine, David Channell examines the history of our relationship with technology and argues that, while the resolution of these issues may not be imminent, a philosophical framework for dealing with them is already in place. The source of our fears, he suggests, lies in an outmoded distinction between organic life and machines, a distinction rooted in the two world-views that have defined and guided Western civilization: the mechanical and the organic. The mechanical view holds that the universe is basically a machine--we can understand it by breaking it down into its smallest components. Even organisms are machines. The organic view claims that there is something more, some vital, directive force. The whole is more than just the sum of its parts. Even machines are organisms. Channell presents these polar views in a fascinating chronicle of human thought and achievement, ranging over the discoveries of Galileo, Copernicus, Newton, and Einstein, the philosophies of Plato, Descartes, Kant, and Marx, the fields of alchemy, physics, astrology, and biology. We see not only how the two views progressed independently, but also how they influenced each other, not only how they persisted, but also how they changed. Most fascinating of all, we follow the emergence of a third, all-embracing world view as developments in genetics, relativity, quantum mechanics, and computer intelligence force both science and philosophy to come to a more complex understanding of the universe. As a central metaphor for this third view Channell proposes "the vital machine." And in this stimulating work by the same name, he reveals how this new metaphor may provide us with the philosophical understanding we need to address the ethical issues our science has created. (shrink)

Although Gilles Deleuze is one of France’s most celebrated twentieth-century philosophers, his theories of cinema have largely been ignored by American scholars. Film theorist D. N. Rodowick fills this gap by presenting the first comprehensive study, in any language, of Deleuze’s work on film and images. Placing Deleuze’s two books on cinema—_The Movement-Image _and _The Time-Image_—in the context of French cultural theory of the 1960s and 1970s, Rodowick examines the logic of Deleuze’s theories and the relationship of these theories to (...) his influential philosophy of difference. Rodowick illuminates the connections between Deleuze’s writings on visual and scientific texts and describes the formal logic of his theory of images and signs. Revealing how Deleuzian views on film speak to the broader network of philosophical problems addressed in Deleuze’s other books—including his influential work with Félix Guattari—Rodowick shows not only how Deleuze modifies the dominant traditions of film theory, but also how the study of cinema is central to the project of modern philosophy. (shrink)

In this paper, we delve into the significant impact of recent advancements in Artificial Intelligence (AI) on the future landscape of work. We discuss the looming possibility of mass unemployment triggered by AI and the societal repercussions of this transition. Despite the challenges this shift presents, we argue that it also unveils opportunities to mitigate social inequalities, combat global poverty, and empower individuals to follow their passions. Amidst this discussion, we also touch upon the existential question of the purpose of (...) human life in a world where machines predominantly perform work. Additionally, we explore the contentious issue of the moral status and rights of AI entities, contemplating the scenario where machines evolve to become sapient and sentient. The paper concludes with a call to action, emphasizing the necessity to acknowledge these potential outcomes and proactively seek solutions, as part of an inevitable journey through the evolution of human society shared with intelligent machines. (shrink)

In his stimulating book SHADOWS OF THE MIND, Roger Penrose presents arguments, based on Gödel's theorem, for the conclusion that human thought is uncomputable. There are actually two separate arguments in Penrose's book. The second has been widely ignored, but seems to me to be much more interesting and novel than the first. I will address both forms of the argument in some detail. Toward the end, I will also comment on Penrose's proposals for a "new science of consciousness".

J. R. Lucas serves warning that he stands ready to refute any sufficiently specific accusation that he is a machine. let any mechanist say, to his face, that he is some particular machine M; Lucas will respond by producing forthwith a suitable Gödel sentence ϕM. Having produced ϕM, he will then argue that — given certain credible premises about himself — he could not have done so if the accusation that he was M had been true. let the mechanist try (...) again; Lucas will counter him again in the same way. It is not possible to accuse Lucas truly of being a machine. (shrink)

Consciousness is widely perceived as one of the most fundamental, interesting and difficult problems of our time. However, we still know next to nothing about the relationship between consciousness and the brain and we can only speculate about the consciousness of animals and machines. Human and Machine Consciousness presents a new foundation for the scientific study of consciousness. It sets out a bold interpretation of consciousness that neutralizes the philosophical problems and explains how we can make scientific predictions about the (...) consciousness of animals, brain-damaged patients and machines. Gamez interprets the scientific study of consciousness as a search for mathematical theories that map between measurements of consciousness and measurements of the physical world. We can use artificial intelligence to discover these theories and they could make accurate predictions about the consciousness of humans, animals and artificial systems. Human and Machine Consciousness also provides original insights into unusual conscious experiences, such as hallucinations, religious experiences and out-of-body states, and demonstrates how 'designer' states of consciousness could be created in the future. Gamez explains difficult concepts in a clear way that closely engages with scientific research. His punchy, concise prose is packed with vivid examples, making it suitable for the educated general reader as well as philosophers and scientists. Problems are brought to life in colourful illustrations and a helpful summary is given at the end of each chapter. The endnotes provide detailed discussions of individual points and full references to the scientific and philosophical literature."--Publisher's website. (shrink)

The notion of a ‘machinery of death’ not only underwrites abolitionist discourse but also informs what Derrida's Death Penalty refers to as an anesthesial drive that can be traced back at least as far as Guillotin. I read it here as a symptom of a more complex relation to the technological that functions across the line dividing life from death, and which is concentrated in the question of the instant that capital punishment requires. Further indications of such a relation include (...) the forms of automatic machinism that regulate, on one hand, the generalisable certainty that death occurs, and on the other, the discursive contagion that the death penalty generates. But it can be analysed most productively in the way in which the putative instantaneity of an execution reveals how life is severed from, but also perhaps tethered to death by means of a machinery of time; how that machinery of time ‘abandons’ its indifference in order to decide the moment of death by execution, and at the same time, by contriving an instant at which death takes over from life, produces the uncanny result of having life and death meet on the same knife-edge. (shrink)

Physicians and other healthcare professionals are increasingly finding ways to use artificial intelligent decision support systems in their work. IBM Watson Health, for example, is a commercially available technology that is providing AI-DDS services in genomics, oncology, healthcare management and more.1 AI’s ability to scan massive amounts of data, detect patterns, and derive solutions from data is vastly more superior than that of humans. AI technology is undeniably integral to the future of healthcare and public health, and thoughtful consideration of (...) the legal, ethical and moral issues surrounding this technology is a must. The authors of the article, Responsibility, Second Opinions, and Peer-Disagreement—Ethical and Epistemological Challenges of Using AI in Clinical Diagnostic Contexts, provide an informed discussion of how AI-DSS may be used, both practically and ethically, to assist healthcare professionals in cooperative diagnostic processes2. The authors propose a process, whereby AI-DSS would provide a physician a second opinion, and when there is a mismatch between opinions, another physician would provide a third opinion. This approach maintains a ‘physician-in-charge’ perspective, and suggests that decision-making must ultimately be made by a person. This approach is also consistent with the ‘physician in-the-loop’ concept, such that even when increasingly autonomous AI-DSSs are put to use, physicians will still be providing checks and overseeing clinical decisions. The authors conceptualise AI as a replacement of human cognitive labour. That is, AI is used to supplant a human professional in particular functions …. (shrink)