Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

While we agree in broad strokes with the characterisation of rationalization as a “useful fiction,” we think that Fiery Cushman's claim remains ambiguous in two crucial respects: (1) the reality of beliefs and desires, that is, the fictional status of folk-psychological entities and (2) the degree to which they should be understood as useful. Our aim is to clarify both points and explicate the rationale of rationalization.

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Some authors have recently suggested that it is time to consider rights for robots. These suggestions are based on the claim that the question of robot rights should not depend on a standard set of conditions for ‘moral status’; but instead, the question is to be framed in a new way, by rejecting the is/ought distinction, making a relational turn, or assuming a methodological behaviourism. We try to clarify these suggestions and to show their highly problematic consequences. While we find (...) the suggestions ultimately unmotivated, the discussion shows that our epistemic condition with respect to the moral status of others does raise problems, and that the human tendency to empathise with things that do not have moral status should be taken seriously—we suggest that it produces a “derived moral status”. Finally, it turns out that there is typically no individual in real AI that could even be said to be the bearer of moral status. Overall, there is no reason to think that robot rights are an issue now. (shrink)

Standpoint theorists have long been clear that marginalization does not make better understanding a given. They have been less clear, though, that social dominance does not make ignorance a given. Indeed, many standpoint theorists have implicitly committed themselves to what I call the strong epistemic disadvantage thesis. According to this thesis, there are strong, substantive limits on what the socially dominant can know about oppression that they do not personally experience. I argue that this thesis is not just implausible but (...) politically pernicious; it is an excuse for ignorance and silence that stifles our ability to address many injustices. Moreover, I argue that if we are to avoid lending support to the SEDT while working within a standpoint theory framework, we must hold that the socially dominant can achieve marginalized standpoints. So, we must hold that men can achieve feminist standpoints, that white women (and men) can achieve black feminist standpoints, and so on. (shrink)

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they cannot be (...) joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

What is the phenomenology of hope? A common view is that hope has a generally positive and pleasant affective tone. This rosy depiction, however, has recently been challenged. Certain hopes, it has been objected, are such that they are either entirely negative in valence or neutral in tone. In this paper, I argue that this challenge has only limited success. In particular, I show that it only applies to one sense of hope but leaves another sense—one that is implicitly but (...) widely employed in the hope literature—untouched. Moreover, I argue that hope construed in this latter sense is inherently positively valenced. The paper concludes by discussing some of the implications of this defense of hope's positive phenomenology, including the ontological question of whether hope is an emotion. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

This chapter will review selected aspects of the terrain of discussions about probabilities in statistical mechanics (with no pretensions to exhaustiveness, though the major issues will be touched upon), and will argue for a number of claims. None of the claims to be defended is entirely original, but all deserve emphasis. The first, and least controversial, is that probabilistic notions are needed to make sense of statistical mechanics. The reason for this is the same reason that convinced Maxwell, Gibbs, and (...) Boltzmann that probabilities would be needed, namely, that the second law of thermodynamics, which in its original formulation says that certain processes are impossible, must, on the kinetic theory, be replaced by a weaker formulation according to which what the original version deems impossible is merely improbable. Second is that we ought not take the standard measures invoked in equilibrium statistical mechanics as giving, in any sense, the correct probabilities about microstates of the system. We can settle for a much weaker claim: that the probabilities for outcomes of experiments yielded by the standard distributions are effectively the same as those yielded by any distribution that we should take as a representing probabilities over microstates. Lastly, (and most controversially): in asking about the status of probabilities in statistical mechanics, the familiar dichotomy between epistemic probabilities (credences, or degrees of belief) and ontic (physical) probabilities is insufficient; the concept of probability that is best suited to the needs of statistical mechanics is one that combines epistemic and physical considerations. (shrink)

A self-fulfilling prophecy is, roughly, a prediction that brings about its own truth. Although true predictions are hard to fault, self-fulfilling prophecies are often regarded with suspicion. In this article, we vindicate this suspicion by explaining what self-fulfilling prophecies are and what is problematic about them, paying special attention to how their problems are exacerbated through automated prediction. Our descriptive account of self-fulfilling prophecies articulates the four elements that define them. Based on this account, we begin our critique by showing (...) that typical self-fulfilling prophecies arise due to mistakes about the relationship between a prediction and its object. Such mistakes—along with other mistakes in predicting or in the larger practical endeavor—are easily overlooked when the predictions turn out true. Thus we note that self-fulfilling prophecies prompt no error signals; truth shrouds their mistakes from humans and machines alike. Consequently, self-fulfilling prophecies create several obstacles to accountability for the outcomes they produce. We conclude our critique by showing how failures of accountability, and the associated failures to make corrections, explain the connection between self-fulfilling prophecies and feedback loops. By analyzing the complex relationships between accuracy and other evaluatively significant features of predictions, this article sheds light both on the special case of self-fulfilling prophecies and on the ethics of prediction more generally. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

A self-fulfilling prophecy in neuroprognostication occurs when a patient in coma is predicted to have a poor outcome, and life-sustaining treatment is withdrawn on the basis of that prediction, thus directly bringing about a poor outcome for that patient. In contrast to the predominant emphasis in the bioethics literature, we look beyond the moral issues raised by the possibility that an erroneous prediction might lead to the death of a patient who otherwise would have lived. Instead, we focus on the (...) problematic epistemic consequences of neuroprognostic SFPs in settings where research and practice intersect. When this sort of SFP occurs, the problem is that physicians and researchers are never in a position to notice whether their original prognosis was correct or incorrect, since the patient dies anyway. Thus, SFPs keep us from discerning false positives from true positives, inhibiting proper assessment of novel prognostic tests. This epistemic problem of SFPs thus impedes learning, but ethical obligations of patient care make it difficult to avoid SFPs. We then show how the impediment to catching false positive indicators of poor outcome distorts research on novel techniques for neuroprognostication, allowing biases to persist in prognostic tests. We finally highlight a particular risk that a precautionary bias towards early withdrawal of life-sustaining treatment may be amplified. We conclude with guidelines about how researchers can mitigate the epistemic problems of SFPs, to achieve more responsible innovation of neuroprognostication for patients in coma. (shrink)

One finds, in Maxwell's writings on thermodynamics and statistical physics, a conception of the nature of these subjects that differs in interesting ways from the way that they are usually conceived. In particular, though—in agreement with the currently accepted view—Maxwell maintains that the second law of thermodynamics, as originally conceived, cannot be strictly true, the replacement he proposes is different from the version accepted by most physicists today. The modification of the second law accepted by most physicists is a probabilistic (...) one: although statistical fluctuations will result in occasional spontaneous differences in temperature or pressure, there is no way to predictably and reliably harness these to produce large violations of the original version of the second law. Maxwell advocates a version of the second law that is strictly weaker; the validity of even this probabilistic version is of limited scope, limited to situations in which we are dealing with large numbers of molecules en masse and have no ability to manipulate individual molecules. Connected with this is his concept of the thermodynamic concepts of heat, work, and entropy; on the Maxwellian view, these are concepts that must be relativized to the means we have available for gathering information about and manipulating physical systems. The Maxwellian view is one that deserves serious consideration in discussions of the foundation of statistical mechanics. It has relevance for the project of recovering thermodynamics from statistical mechanics because, in such a project, it matters which version of the second law we are trying to recover. (shrink)

While environmental claims are increasingly used by companies to appeal consumers, they also attract greater scrutiny from independent parties interested in consumer protection. Consumers are now able to compare corporate environmental claims against external, often disconfirming, information to form their brand attitudes and purchase intentions. What remains unclear is how the level of information specificity of both the environmental claims and external disconfirming information interact to influence consumer reactions. Two experiments address this gap in the CSR communication literature. When specific (...) claims are countered by specific external information, consumers report more negative brand attitudes and lower purchase intentions. The effect is serially mediated by skepticism toward the claims and lack of corporate credibility. We conclude by discussing strategies that firms can utilize to avoid information dilution and ensure that external disconfirming information percolates to consumers as specific. (shrink)

Techniques from behavioral economics—nudges—may help physicians increase pediatric vaccine compliance, but critics have objected that nudges can undermine autonomy. Since autonomy is a centrally important value in healthcare decision-making contexts, it counts against pediatric vaccination nudges if they undermine parental autonomy. Advocates for healthcare nudges have resisted the charge that nudges undermine autonomy, and the recent bioethics literature illustrates the current intractability of this debate. This article rejects a principle to which parties on both sides of this debate sometimes seem (...) committed: that nudges are morally permissible only if they are consistent with autonomy. Instead, I argue that, at least in the case of pediatric vaccination, some autonomy-undermining nudges may be morally justified. This is because parental autonomy in pediatric decision-making is not as morally valuable as the autonomy of adult patients, and because the interests of both the vaccinated child and other members of the community can sometimes be weighty enough to justify autonomy-infringing pediatric vaccination nudges. This article concludes with a set of worries about the effect of pediatric vaccination nudges on parent-physician relationships, and it calls on the American Academy of Pediatrics to draw on scientific and bioethics research to develop guidelines for the use of nudges in pediatric practice and, in particular, for the use of pediatric vaccination nudges. (shrink)

Intersectionality has become the primary analytic tool that feminist and anti-racist scholars deploy for theorizing identity and oppression. This paper exposes and critically interrogates the assumptions underpinning intersectionality by focusing on four tensions within intersectionality scholarship: the lack of a defined intersectional methodology; the use of black women as quintessential intersectional subjects; the vague definition of intersectionality; and the empirical validity of intersectionality. Ultimately, my project does not seek to undermine intersectionality; instead, I encourage both feminist and anti-racist scholars to (...) grapple with intersectionality's theoretical, political, and methodological murkiness to construct a more complex way of theorizing identity and oppression. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

Dieser Aufsatz ist eine kritische und erkundende Diskussion von Plantingas Behauptung, daß bestimmte Aussagen, aus denen evidentermaßen folgt, daß Gott existiert, berechtigterweise basal sein könnten. Im kritischen Abschnitt argumentiere ich dafür, daß es Plantinga nicht gelingt zu zeigen, daß das Kriterium des modernen Fundamentalisten für berechtigte Basalität, dem zufolge solche Aussagen nicht berechtigterweise basal sein können, selbstreferentiell inkohärent oder anderweitig mangelhaft ist. Im erkundenden Abschnitt versuche ich, ein Argument für die Auffassung zu entwickeln, daß solche Aussagen, selbst wenn sie berechtigterweise (...) basal sein könnten, wenn überhaupt, nur selten berechtigterweise basal für intellektuell differenzierte erwachsene Theisten unserer Kultur wären. (shrink)

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

The science of mind wandering has rapidly expanded over the past 20 years. During this boom, mind wandering researchers have relied on self-report methods, where participants rate whether their minds were wandering. This is not an historical quirk. Rather, we argue that self-report is indispensable for researchers who study passive phenomena like mind wandering. We consider purportedly “objective” methods that measure mind wandering with eye tracking and machine learning. These measures are validated in terms of how well they predict self-reports, (...) which means that purportedly objective measures of mind wandering retain a subjective core. Mind wandering science cannot break from the cycle of self-report. Skeptics about self-report might conclude that mind wandering science has methodological foundations of sand. We take a rather more optimistic view. We present empirical and philosophical reasons to be confident in self-reports about mind wandering. Empirically, these self-reports are remarkably consistent in their contents and behavioral and neural correlates. Philosophically, self-reports are consistent with our best theories about the function of mind wandering. We argue that this triangulation gives us reason to trust both theory and method. (shrink)

Healthcare systems across the globe are struggling with increasing costs and worsening outcomes. This presents those responsible for overseeing healthcare with a challenge. Increasingly, policymakers, politicians, clinical entrepreneurs and computer and data scientists argue that a key part of the solution will be ‘Artificial Intelligence’ (AI) – particularly Machine Learning (ML). This argument stems not from the belief that all healthcare needs will soon be taken care of by “robot doctors.” Instead, it is an argument that rests on the classic (...) counterfactual definition of AI as an umbrella term for a range of techniques that can be used to make machines complete tasks in a way that would be considered intelligent were they to be completed by a human. Automation of this nature could offer great opportunities for the improvement of healthcare services and ultimately patients’ health by significantly improving human clinical capabilities in diagnosis, drug discovery, epidemiology, personalised medicine, and operational efficiency. However, if these AI solutions are to be embedded in clinical practice, then at least three issues need to be considered: the technical possibilities and limitations; the ethical, regulatory and legal framework; and the governance framework. In this article, we report on the results of a systematic analysis designed to provide a clear overview of the second of these elements: the ethical, regulatory and legal framework. We find that ethical issues arise at six levels of abstraction (individual, interpersonal, group, institutional, sectoral, and societal) and can be categorised as epistemic, normative, or overarching. We conclude by stressing how important it is that the ethical challenges raised by implementing AI in healthcare settings are tackled proactively rather than reactively and map the key considerations for policymakers to each of the ethical concerns highlighted. (shrink)

Digital ethics, also known as computer ethics or information ethics, is now a lively field that draws a lot of attention, but how did it come about and what were the developments that lead to its existence? What are the traditions, the concerns, the technological and social developments that pushed digital ethics? How did ethical issues change with digitalisation of human life? How did the traditional discipline of philosophy respond? The article provides an overview, proposing historical epochs: ‘pre-modernity’ prior to (...) digital computation over data, via the ‘modernity’ of digital data processing to our present ‘post-modernity’ when not only the data is digital, but our lives themselves are largely digital. In each section, the situation in technology and society is sketched, and then the developments in digital ethics are explained. Finally, a brief outlook is provided. (shrink)

1 Context The idea for the current issue of _Philosophia Scientiæ_ emerged from discussions which took place in the Manchester Ethnomethodology Reading Group. This reading group has its origins in Wes Sharrock’s weekly discussion groups, which have taken place in Manchester (UK) since the early 1970s. As the global Covid-19 pandemic hit in early 2020, the reading group moved online, facilitated by Phil Hutchinson and Alex Holder. Being an online reading group opened up participation to people beyond Northwest UK and (...) within weeks the group became global, with the membership including participants logging on from Canada, Czech Republic, Finland, France, Germany, Greece, Hong Kong, Japan, Macau, New Zealand, Spain, Sweden, and the USA. While the name of the group might indicate an exclusive focus on ethnomethodology, following the naming conventions for academic discussion groups, the name really fails to indicate both the heterogeneity of the group’s reading materials, the interests of t... (shrink)

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Artificial intelligence (AI) is a digital technology that will be of major importance for the development of humanity in the near future. AI has raised fundamental questions about what we should do with such systems, what the systems themselves should do, what risks they involve and how we can control these. - After the background to the field (1), this article introduces the main debates (2), first on ethical issues that arise with AI systems as objects, i.e. tools made and (...) used by humans; here, the main sections are privacy (2.1), manipulation (2.2), opacity (2.3), bias (2.4), autonomy & responsibility (2.6) and the singularity (2.7). Then we look at AI systems as subjects, i.e. when ethics is for the AI systems themselves in machine ethics (2.8.) and artificial moral agency (2.9). Finally we look at future developments and the concept of AI (3). For each section within these themes, we provide a general explanation of the ethical issues, we outline existing positions and arguments, then we analyse how this plays out with current technologies and finally what policy conse-quences may be drawn. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...) to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

This is the editorial for a special volume of JETAI, featuring papers by Omohundro, Armstrong/Sotala/O’Heigeartaigh, T Goertzel, Brundage, Yampolskiy, B. Goertzel, Potapov/Rodinov, Kornai and Sandberg. - If the general intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity – so even if we estimate the probability of this event to be fairly low, it is necessary to think about it now. We need to estimate what progress we can expect, what (...) the impact of superintelligent machines might be, how we might design safe and controllable systems, and whether there are directions of research that should best be avoided or strengthened. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

When consumers choose to abstain from purchasing meat, they face some uncertainty about whether their decisions will have an impact on the number of animals raised and killed. Consequentialists have argued that this uncertainty should not dissuade consumers from a vegetarian diet because the “expected” impact, or average impact, will be predictable. Recently, however, critics have argued that the expected marginal impact of a consumer change is likely to be much smaller or more radically unpredictable than previously thought. This objection (...) to the consequentialist case for vegetarianism is known as the “causal inefficacy” (or “causal impotence”) objection. In this paper, we argue that the inefficacy objection fails. First, we summarize the contours of the objection and the standard “expected impact” response to it. Second, we examine and rebut two contemporary attempts (by Mark Budolfson and Ted Warfield) to defeat the expected impact reply through alleged demonstrations of the inefficacy of abstaining from meat consumption. Third, we argue that there are good reasons to believe that single individual consumers—not just individual consumers taken as an aggregate—really do make a positive difference when they choose to abstain from meat consumption. Our case rests on three economic observations: (i) animal producers operate in a highly competitive environment, (ii) complex supply chains efficiently communicate some information about product demand, and (iii) consumers of plant-based meat alternatives have positive consumption spillover effects on other consumers. (shrink)

Die Entwicklungen in der Künstlichen Intelligenz (KI) sind spannend. Aber wohin geht die Reise? Ich stelle eine Analyse vor, der zufolge exponentielles Wachstum von Rechengeschwindigkeit und Daten die entscheidenden Faktoren im bisherigen Fortschritt waren. Im Folgenden erläutere ich, unter welchen Annahmen dieses Wachstum auch weiterhin Fortschritt ermöglichen wird: 1) Intelligenz ist eindimensional und messbar, 2) Kognitionswissenschaft wird für KI nicht benötigt, 3) Berechnung (computation) ist hinreichend für Kognition, 4) Gegenwärtige Techniken und Architektur sind ausreichend skalierbar, 5) Technological Readiness Levels (TRL) (...) erweisen sich als machbar. Diese Annahmen werden sich als dubios erweisen. (shrink)

In discussing whether legal systems are necessarily coercive, legal philosophers usually appeal to thought experiments involving angels or other morally driven beings who need no coercion to organise their social lives. Such appeals have invited criticism. Critics have not only challenged the relevance of such thought experiments to our understanding of legal systems; they have also argued that, contrary to the intuitions of most legal philosophers, the ‘man on the Clapham Omnibus’ would not hold that there is law in a (...) society of angels because the view that law is necessarily coercive ‘enjoys widespread support among laypersons’. This is obviously an empirical claim. Critics, however, never systematically polled the ‘man on the Clapham Omnibus’. We boarded that bus. This article discusses findings from five empirical studies on the relationship between law and coercion. (shrink)

In this paper, the issues of computability and constructivity in the mathematics of physics are discussed. The sorts of questions to be addressed are those which might be expressed, roughly, as: Are the mathematical foundations of our current theories unavoidably non-constructive: or, Are the laws of physics computable?

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

This paper proposes that we should think of epistemic agents as having, as one of their intellectual activities, a gatekeeping task: To decide in light of various criteria which ideas they should consider and which not to consider. When this task is performed with excellence, it is conducive to the acquisition of epistemic goods such as truth and knowledge, and the reduction of falsehoods. Accordingly, it is a worthy contender for being an intellectual virtue. Although gatekeeping may strike one simply (...) as the virtue of open- mindedness, I argue that it is not; gatekeeping does not favor a characteristic disposition to be willing to consider novel or opposing ideas. In fact, being told that an agent is excellent at gatekeeping reveals nothing about how frequently she considers or refuses to consider ideas. This paper will introduce and motivate the notion of gatekeeping, and offer some preliminary arguments in support of its candidacy as an intellectual virtue. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?

If the intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity. Time has come to consider these issues, and this consideration must include progress in AI as much as insights from the theory of AI. The papers in this volume try to make cautious headway in setting the problem, evaluating predictions on the future of AI, proposing ways to ensure that AI systems will be beneficial to humans – and critically (...) evaluating such proposals. (shrink)

ABSTRACT Self-Interest and Public Interest in Western Politics showed that the public, politicians, and bureaucrats are often public spirited. But this does not invalidate public-choice theory. Public-choice theory is an ideal type, not a claim that self-interest explains all political behavior. Instead, public-choice theory is useful in creating rules and institutions that guard against the worst case, which would be universal self-interestedness in politics. In contrast, the public-interest hypothesis is neither a comprehensive explanation of political behavior nor a sound basis (...) for institutional design. (shrink)

The paper examines the loss of African identity within the modern/ contemporary era. African identity has been a recurrent theme in all domains of African studies, serving as a major intellectual concern of many African scholars. Debates on the reality of African Philosophy are anchored on the questions surrounding African identity giving rise to thoughts and contents of that philosophy. Despite the volumes already generated on the theme, the controversial circumstances that engendered the subject of African identity makes its intellectual (...) concern sustainable and almost inexhaustible. The question of African identity is basically an ontological question of the reality of Africa cum the being of an African. The series of infiltration and appraisals of Africa by foreign elements tend to plunge the continent into crises of identity. In addition to the various approaches to the subject, the nature-culture perspective presents the argument that if culture is ideally the product of a people’s nature, African culture represents the objective manifestation of the Africanity of the continent and its organic/holistic content. Such frame of thought embellished with philosophic tools provides further locus for a more feasible and stable definition of African identity as the holistic nature and character of being African. (shrink)

The paper discusses the extended mind thesis with a view to the notions of “agent” and of “mind”, while helping to clarify the relation between “embodiment” and the “extended mind”. I will suggest that the extended mind thesis constitutes a reductio ad absurdum of the notion of ‘mind’; the consequence of the extended mind debate should be to drop the notion of the mind altogether – rather than entering the discussion how extended it is.

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

From a European perspective the US debate about gun control is puzzling because we have no such debate: It seems obvious to us that dangerous weapons need tight control and that ‘guns’ fall under that category. I suggest that this difference occurs due to different habits that generate different attitudes and support this explanation with an analogy to the habits about knives. I conclude that it is plausible that individual knife-people or gun-people do not want tight regulatory legislation—but tight knife (...) and gun legislation is morally obligatory anyway. We need to give up our habits for the greater good. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This special volume of Minds and Machines presents leading invited papers from a conference on the “Philosophy and Theory of Artificial Intelligence” that was held in October 2011 in Thessaloniki. Artificial Intelligence is perhaps unique among engineering subjects in that it has raised very basic questions about the nature of computing, perception, reasoning, learning, language, action, interaction, (...) consciousness, humankind, life etc. etc. – and at the same time it has contributed substantially to answering these questions. There is thus a substantial tradition of work, both on AI by philosophers and of theory within AI itself. - The volume contains papers by Bostrom, Dreyfus, Gomila, O'Regan and Shagrir. (shrink)