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)

Confucian political philosophy has recently emerged as a vibrant area of thought both in China and around the globe. This book provides an accessible introduction to the main perspectives and topics being debated today, and shows why Progressive Confucianism is a particularly promising approach. Students of political theory or contemporary politics will learn that far from being confined to a museum, contemporary Confucianism is both responding to current challenges and offering insights from which we can all learn. The Progressive Confucianism (...) defended here takes key ideas of the twentieth-century Confucian philosopher Mou Zongsan as its point of departure for exploring issues like political authority and legitimacy, the rule of law, human rights, civility, and social justice. The result is anti-authoritarian without abandoning the ideas of virtue and harmony; it preserves the key values Confucians find in ritual and hierarchy without giving in to oppression or domination. A central goal of the book is to present Progressive Confucianism in such a way as to make its insights manifest to non-Confucians, be they philosophers or simply citizens interested in the potential contributions of Chinese thinking to our emerging, shared world. (shrink)

In this acclaimed work, first published in 1986, world-renowned scholar Arthur C. Danto explored the inextricably linked but often misunderstood relationship between art and philosophy. In light of the book's impact -- especially the essay "The End of Art," which dramatically announced that art ended in the 1960s -- this enhanced edition includes a foreword by Jonathan Gilmore that discusses how scholarship has changed in response to it. Complete with a new bibliography of work on and influenced by Danto's ideas, (...) _The Philosophical Disenfranchisement of Art_ continues to be of interest to anyone who thinks seriously about art, as well as to philosophers, aestheticians, and art historians. (shrink)

Those who know anything about black history and culture probably know that aesthetics has long been a central concern for black thinkers and activists. The Harlem Renaissance, the Negritude movement, the Black Arts Movement, and the discipline of Black British cultural studies all attest to the intimate connection between black politics and questions of style, beauty, expression, and art. And the participants in these and other movements have made art and offered analyses that wrestle with clearly philosophical issues. In _A (...) Philosophy of Black Aesthetics_, I propose to identify and explore the most significant philosophical issues that emerge from the aesthetic dimensions of black life. The book will consist of eight short chapters, each of which will discuss a complex of related themes and phenomena. Every chapter will begin with one or two illustrative real-world examples, and then use the complexities of these opening cases to introduce the relevant issues. Many people in several fields have explored various bits of the terrain that I’ll cover. But none has surveyed the entire terrain in the name of aesthetics, and none has conducted this survey from an explicitly philosophical perspective. Setting up the project in this way means that its main conclusions will come in two forms. One kind of conclusion will emerge from the way I frame the issues. The two most important points here are that the field of aesthetics ought to cover more than the study of western fine art, and that the field of black aesthetics allows and requires the sort of comprehensive and philosophical analysis that I’ll offer. Another set of conclusions will emerge from my treatment of the specific issues in each chapter. In each case the aim will be to defend, albeit briefly, some position on the major issues raised in each chapter. (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)

In October 2011, the “2nd European Network for Cognitive Systems, Robotics and Interaction”, EUCogII, held its meeting in Groningen on “Autonomous activity in real-world environments”, organized by Tjeerd Andringa and myself. This is a brief personal report on why we thought autonomy in real-world environments is central for cognitive systems research and what I think I learned about it. --- The theses that crystallized are that a) autonomy is a relative property and a matter of degree, b) increasing autonomy of (...) an artificial system from its makers and users is a necessary feature of increasingly intelligent systems that can deal with the real-world and c) more such autonomy means less control but at the same time improved interaction with the system. (shrink)

_Kant and Applied Ethics_ makes an important contribution to Kant scholarship, illuminating the vital moral parameters of key ethical debates. Offers a critical analysis of Kant’s ethics, interrogating the theoretical bases of his theory and evaluating their strengths and weaknesses Examines the controversies surrounding the most important ethical discussions taking place today, including abortion, the death penalty, and same-sex marriage Joins innovative thinkers in contemporary Kantian scholarship, including Christine Korsgaard, Allen Wood, and Barbara Herman, in taking Kant’s philosophy in new (...) and interesting directions Clarifies Kant’s legacy for applied ethics, helping us to understand how these debates have been structured historically and providing us with the philosophical tools to address them. (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 book covers a broad range of key topics, including theories of properties and particulars, the notion of truth-makers, powers and possibilities, material composition, and a variety of issues related to time and causation.

Papers from the conference on AI Risk (published in JETAI), supplemented by additional work. --- If the intelligence of artificial systems were to surpass that of humans, humanity would face significant risks. The time has come to consider these issues, and this consideration must include progress in artificial intelligence (AI) as much as insights from AI theory. -- Featuring contributions from leading experts and thinkers in artificial intelligence, Risks of Artificial Intelligence is the first volume of collected chapters dedicated to (...) examining the risks of AI. The book evaluates predictions of the future of AI, proposes ways to ensure that AI systems will be beneficial to humans, and then critically evaluates such proposals. 1 Vincent C. Müller, Editorial: Risks of Artificial Intelligence - 2 Steve Omohundro, Autonomous Technology and the Greater Human Good - 3 Stuart Armstrong, Kaj Sotala and Sean O’Heigeartaigh, The Errors, Insights and Lessons of Famous AI Predictions - and What they Mean for the Future - 4 Ted Goertzel, The Path to More General Artificial Intelligence - 5 Miles Brundage, Limitations and Risks of Machine Ethics - 6 Roman Yampolskiy, Utility Function Security in Artificially Intelligent Agents - 7 Ben Goertzel, GOLEM: Toward an AGI Meta-Architecture Enabling Both Goal Preservation and Radical Self-Improvement - 8 Alexey Potapov and Sergey Rodionov, Universal Empathy and Ethical Bias for Artificial General Intelligence - 9 András Kornai, Bounding the Impact of AGI - 10 Anders Sandberg, Ethics and Impact of Brain Emulations 11 Daniel Dewey, Long-Term Strategies for Ending Existential Risk from Fast Takeoff - 12 Mark Bishop, The Singularity, or How I Learned to Stop Worrying and Love AI -. (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)

Invited papers from PT-AI 2011. - Vincent C. Müller: Introduction: Theory and Philosophy of Artificial Intelligence - Nick Bostrom: The Superintelligent Will: Motivation and Instrumental Rationality in Advanced Artificial Agents - Hubert L. Dreyfus: A History of First Step Fallacies - Antoni Gomila, David Travieso and Lorena Lobo: Wherein is Human Cognition Systematic - J. Kevin O'Regan: How to Build a Robot that Is Conscious and Feels - Oron Shagrir: Computation, Implementation, Cognition.

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 anthology collects the texts that defined the concept of biopolitics, which has become so significant throughout the humanities and social sciences today. The far-reaching influence of the biopolitical—the relation of politics to life, or the state to the body—is not surprising given its centrality to matters such as healthcare, abortion, immigration, and the global distribution of essential medicines and medical technologies. Michel Foucault gave new and unprecedented meaning to the term "biopolitics" in his 1976 essay "Right of Death and (...) Power over Life." In this anthology, that touchstone piece is followed by essays in which biopolitics is implicitly anticipated as a problem by Hannah Arendt and later altered, critiqued, deconstructed, and refined by major political and social theorists who explicitly engaged with Foucault's ideas. By focusing on the concept of biopolitics, rather than applying it to specific events and phenomena, this Reader provides an enduring framework for assessing the central problematics of modern political thought. _Contributors_. Giorgio Agamben, Hannah Arendt, Alain Badiou, Timothy Campbell, Gilles Deleuze, Roberto Esposito, Michel Foucault, Donna Haraway, Michael Hardt, Achille Mbembe, Warren Montag, Antonio Negri, Jacques Rancière, Adam Sitze, Peter Sloterdijk, Paolo Virno, Slavoj Žižek. (shrink)

The late C. Vann Woodward was one of America's most prominent historians. His books have won every major history award--including the Pulitzer, Bancroft, and Parkman Prizes--and he has served as president of both the American Historical Association and the Organization of American Historians. The Future of the Past collects two decades worth of Woodward's most significant essays, addresses, and major book reviews, including two important presidential addresses--"The Future of the Past" and "Clio with Soul" --as well as essays on changing (...) historical concerns of the past decades, the value of comparative history, the South in Reconstruction times and the South today, and the use of fiction in history. Woodward has written illuminating introductory comments on each section and offers an incisive general introduction about history and the direction the profession is taking today. Whether reviewing William Safire's novel Freedom or evaluating Henry Adam's portrait of Jefferson, Woodward's essays reflect a lifetime of thought on history and historical writing, and are essential reading for anyone concerned with either. (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?

The Gesta Normannorum Ducum is one of the most important sources for the history of Normandy and England in the eleventh and twelfth centuries, and contains the earliest prose account of the Norman Conquest. It was written by a succession of authors, the first of whom was William of Jumièges, who wrote for William the Conqueror. Later writers, such as Orderic Vitalis and Robert of Torigni, interpolated and extended the chronicle as far as King Henry I. The later accretions reveal (...) much not only about changing attitudes towards the Norman invasion of England, but also about views of the early Viking foundation of Normandy. Elisabeth van Houts's two-volume edition is based on a study of all forty-seven extant manuscripts of the Gesta, including the earliest surviving copy of c. 1100, hitherto unknown. The full original text of William of Jumièges is supplied, as well as the integral text of the subsequent revisions and additions. Volume I contains Dr van Houts's introduction to the whole work, together with the text and translation of books i-iv. Books v-viii will appear in Volume II. The edition forms an important contribution to our understanding of Anglo-Norman politics. (shrink)

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)

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (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.

Lethal Autonomous Weapon Systems are here. Technological development will see them become widespread in the near future. This is in a matter of years rather than decades. When the UN Convention on Certain Conventional Weapons meets on 10-14th November 2014, well-considered guidance for a decision on the general policy direction for LAWS is clearly needed. While there is widespread opposition to LAWS—or ‘killer robots’, as they are popularly called—and a growing campaign advocates banning them outright, we argue the opposite. LAWS (...) may very well reduce suffering and death in war. Rather than banning them, they should be regulated, to ensure both compliance with international humanitarian law, and that this positive outcome occurs. This policy memo sets out the basic structure and content of the regulation required. (shrink)

Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?

Just as AI has moved away from classical AI, human-computer interaction (HCI) must move away from what I call ‘good old fashioned HCI’ to ‘new HCI’ – it must become a part of cognitive systems research where HCI is one case of the interaction of intelligent agents (we now know that interaction is essential for intelligent agents anyway). For such interaction, we cannot just ‘analyze the data’, but we must assume intentions in the other, and I suggest these are largely (...) recognized through resistance to carrying out one’s own intentions. This does not require fully cognitive agents but can start at a very basic level. New HCI integrates into cognitive systems research and designs intentional systems that provide resistance to the human agent. (shrink)

Should we do speculative cognitive science? - In present day philosophy, I see a fashion that uses empirical facts (data) to support positions that are not philosophical but empirical in nature. The argumentative structure is classical philosophy, saying that ‘this has to be that way because …’ where the ‘this’ refers to some empirical state of affairs. This kind of philosophy speculates about empirical facts in areas where we do not yet know the facts – the arguments are a priori, (...) supported by a posteriori data. This is precisely what the speculative philosophy of German Idealism was doing, e.g. in the works of Schelling or Hegel. (shrink)

_The Philosophy of Law_ is a broad-reaching text that guides readers through the basic analytical and normative issues in the field, highlighting key historical and contemporary thinkers and offering a unified treatment of the various issues in the philosophy of law. Enlivened with numerous, everyday examples to illustrate various concepts of law. Employs the idea of three central commonplaces about law - that law is a social matter, that law is authoritative, and that law is for the common good - (...) to organize seemingly disparate topics and to bring rival views into contention with each other. The first volume in the _Fundamentals of Philosophy _series, in which leading philosophers explore the fundamental issues and core problems in the major sub-disciplines of philosophy. (shrink)

Reissue of Becker's 1973 monograph, which argues the following: Much discussion of morality presupposes that moral judgments are always, at bottom, arbitrary. Moral scepticism, or at least moral relativism, has become common currency among the liberally educated. This remains the case even while political crises become intractable, and it is increasingly apparent that the scope of public policy formulated with no reference to moral justification is extremely limited. The thesis of _On Justifying Moral Judgments_ insists, on the contrary, that rigorous (...) justifications are possible for moral judgments. Crucially, Becker argues for the coordination of the three main approaches to moral theory: axiology, deontology, and agent morality. A pluralistic account of the concept of value is expounded, and a solution to the problem of ultimate justification is suggested. Analyses of valuation, evaluation, the ‘is-ought’ issue, and the concepts of obligation, responsibility and the good person are all incorporated into the main line of argument. (shrink)

_The Wiley Blackwell Handbook of Humanism_ presents an edited collection of essays that explore the nature of Humanism as an approach to life, and a philosophical analysis of the key humanist propositions from naturalism and science to morality and meaning. Represents the first book of its kind to look at Humanism not just in terms of its theoretical underpinnings, but also its consequences and its diverse manifestations Features contributions from international and emerging scholars, plus renowned figures such as Stephen Law, (...) Charles Freeman and Jeaneanne Fowler Presents Humanism as a positive alternative to theism Brings together the world’s leading Humanist academics in one reference work. (shrink)

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability problem of (...) a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

BackgroundResuscitation and treatment of critically ill newborn infants is associated with relatively high mortality, morbidity and cost. Guidelines relating to resuscitation have traditionally focused on the best interests of infants. There are, however, limited resources available in the neonatal intensive care unit, meaning that difficult decisions sometimes need to be made. This study explores the intuitions of lay people regarding resource allocation decisions in the NICU.MethodsThe study design was a cross-sectional quantitative survey, consisting of 20 hypothetical rationing scenarios. There were (...) 119 respondents who entered the questionnaire, and 109 who completed it. The respondents were adult US and Indian participants of the online crowdsourcing platform Mechanical Turk. Respondents were asked to decide which of two infants to treat in a situation of scarce resources. Demographic characteristics, personality traits and political views were recorded. Respondents were also asked to respond to a widely cited thought experiment involving rationing.ResultsThe majority of respondents, in all except one scenario, chose the utilitarian option of directing treatment to the infant with the higher chance of survival, higher life expectancy, less severe disability, and less expensive treatment. As discrepancy between outcomes decreased, however, there was a statistically significant increase in egalitarian responses and decrease in utilitarian responses in scenarios involving chance of survival, life expectancy, and cost of treatment. In the classic ‘lifeboat’ scenario, all but two respondents were utilitarian.ConclusionsThis survey suggests that in situations of scarcity and equal clinical need, non-health professionals support rationing of life-saving treatment based on probability of survival, duration of survival, cost of treatment or quality of life. However, where the difference in prognosis or cost is very small, non-health professionals preferred to give infants an equal chance of receiving treatment. (shrink)

Theories of truth and vagueness are closely connected; in this article, I draw another connection between these areas of research. Gupta and Belnap’s Revision Theory of Truth is converted into an approach to vagueness. I show how revision sequences from a general theory of definitions can be used to understand the nature of vague predicates. The revision sequences show how the meaning of vague predicates are interconnected with each other. The approach is contrasted with the similar supervaluationist approach.

We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)

Kengo Miyazono, in his work Delusions and Beliefs, defends a teleo-functional account of delusions. In my contribution to this symposium, I question one of Miyazono’s motivations for appealing to teleo-functionalism over its main rival, dry-functionalism. Miyazono suggests that teleo-functionalism, unlike dry-functionalism, can account for the compatibility of the theses (i) that delusions are genuine doxastic states (doxasticism about delusions) and (ii) that delusions do not perform the typical causal roles of beliefs (the causal difference thesis). I argue, however, that there (...) are also ways for dry-functionalism to account for this compatibility. If what I have to say is correct, then Miyazono is perhaps too hasty—at least in one important respect—to opt for teleo-functionalism over dry-functionalism. Dry-functionalism has an equally good chance of satisfying some of Miyazono’s explanatory goals. (shrink)

Let be a recursive structure, and let R be a recursive relation on . Harizanov isolated a syntactical condition which is necessary and sufficient for to have recursive copies in which the image of R is r.e. of arbitrary r.e. degree. We had conjectured that a certain extension of Harizanov's syntactical condition would be necessary and sufficient for to have recursive copies in which the image of R is ∑α0 of arbitrary ∑α0 degree, but this is not the case. Here (...) we give examples illustrating some restrictions on the possible ∑α0 degrees. In these examples, the image of R cannot be ∑α0 of degree d unless d possesses an “α-table”. (shrink)

It is now commonly accepted that N. Goodman's predicate "grue" presents the theory of confirmation of C. G. Hempel (and other such theories) with grave difficulties. The precise nature and status of these "difficulties" has, however, never been made clear. In this paper it is argued that it is very unlikely that "grue" raises any formal difficulties for Hempel and appearances to the contrary are examined, rejected and an explanation of their intuitive appeal offered. However "grue" is shown to raise (...) an informal, "over-arching" difficulty of great magnitude for all theories of confirmation, including Hempel's theory. (shrink)

Review of: "Computation, Information, Cognition: The Nexus and the Liminal", Ed. Susan Stuart & Gordana Dodig Crnkovic, Newcastle: Cambridge Scholars Publishing, September 2007, xxiv+340pp, ISBN: 9781847180902, Hardback: £39.99, $79.99 ---- Are you a computer? Is your cat a computer? A single biological cell in your stomach, perhaps? And your desk? You do not think so? Well, the authors of this book suggest that you think again. They propose a computational turn, a turn towards computational explanation and towards the explanation of (...) computation itself. The explanation of computation is the core of the present volume, but the computational turn to regard a wide variety of systems as computational is a potentially very wide-ranging project. (shrink)