Eric Dietrich

This book surveys and examines the most famous philosophical arguments against building a machine with human-level intelligence. From claims and counter-claims about the ability to implement consciousness, rationality, and meaning, to arguments about cognitive architecture, the book presents a vivid history of the clash between the philosophy and AI. Tellingly, the AI Wars are mostly quiet now. Explaining this crucial fact opens new paths to understanding the current resurgence AI (especially, deep learning AI and robotics), what happens when philosophy meets science, and the role of philosophy in the culture in which it is embedded. Organising the arguments into four core topics - 'Is AI possible', 'Architectures of the Mind', 'Mental Semantics and Mental Symbols' and 'Rationality and Creativity' - this book shows the debate that played out between the philosophers on both sides of the question, and, as well, the debate between philosophers and AI scientists and engineers building AI systems. Up-to-date and forward-looking, the book is packed with fresh insights and supporting material, including: - Accessible introductions to each war, explaining the background behind the main arguments against AI - Each chapter details what happened in the AI wars, the legacy of the attacks, and what new controversies are on the horizon. - Extensive bibliography of key readings

This paper offers an explanation for why some parts of philosophy have made no progress. Philosophy has made no progress because it cannot make progress. And it cannot because of the nature of the phenomena philosophy is tasked with explaining—all of it involves consciousness. Here, it will not be argued directly that consciousness is intractable. Rather, it will be shown that a specific version of the problem of consciousness is unsolvable. This version is the Problem of the Subjective and Objective. Then it is argued that the unsolvability of this latter problem is why there are other unsolvable philosophy problems.

The perennial nature of some of philosophy’s deepest problems is a puzzle. Here, one problem, the realism–anti-realism debate, and one type of explanation for its longevity, are examined. It is argued that realism and anti-realism form a dialetheic pair: While they are in fact each other’s logical opposite, nevertheless, both are true (and both false). First, several reasons why one might think such a thing are presented. These reasons are merely the beginning, however. In the following sections, the dialetheic conclusion is directly argued for by showing how realism and anti-realism satisfy Priest’s “inclosure schema”. In the last section and the conclusion, the conscious mind’s role in creating realism and anti-realism is discussed. This role further supports the conclusion that realism and anti-realism form a dialetheic pair.

This paper examines three cases of the clash between science and philosophy: Zeno’s paradoxes, the Frame Problem, and a recent attempt to experimentally refute skepticism. In all three cases, the relevant science claims to have resolved the purported problem. The sciences, construing the term broadly, are mathematics, artificial intelligence, and psychology. The goal of this paper is to show that none of the three scientific solutions work. The three philosophical problems remain as vibrant as ever in the face of robust scientific attempts to dispel them. The paper concludes by examining some consequences of this persistence.

The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action. Here we prove that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undecidable. We discuss two other open-domain problems closely related to the Frame Problem, the system identification problem and the symbol-grounding problem, and show that they are similarly undecidable. We then reformulate the Frame Problem as a quantum decision problem, and show that it is undecidable by any finite quantum computer.

This paper examines three cases of the clash between science and philosophy: Zeno’s paradoxes, the Frame Problem, and a recent attempt to experimentally refute skepticism. In all three cases, the relevant science claims to have resolved the purported problem. The sciences, construing the term broadly, are mathematics, artificial intelligence, and psychology. The goal of this paper is to show that none of the three scientific solutions work. The three philosophical problems remain as vibrant as ever in the face of robust scientific attempts to dispel them. The paper concludes by examining some consequences of this persistence.

Though artificial intelligence scientists frequently use words such as "belief" and "desire" when describing the computational capacities of their programs and computers, they have completely ignored the philosophical and psychological theories of belief and desire. Hence, their explanations of computational capacities which use these terms are frequently little better than folk-psychological explanations. Conversely, though philosophers and psychologists attempt to couch their theories of belief and desire in computational terms, they have consistently misunderstood the notions of computation and computational semantics. Hence, their theories of such attitudes are frequently inadequate. ;A computational theory of propositional attitudes is presented here. It is argued that the theory of propositional attitudes put forth by philosophers and psychologists entails that propositional attitudes are a kind of abstract data type. This refined computational view of propositional attitudes bridges the gap between artificial intelligence, philosophy and psychology. ;Lastly, it is argued that this theory of propositional attitudes has consequences for meta-processing and consciousness in computers.

The naturalistic fallacy is mentionedfrequently by evolutionary psychologists as anerroneous way of thinking about the ethicalimplications of evolved behaviors. However,evolutionary psychologists are themselvesconfused about the naturalistic fallacy and useit inappropriately to forestall legitimateethical discussion. We briefly review what thenaturalistic fallacy is and why it is misusedby evolutionary psychologists. Then we attemptto show how the ethical implications of evolvedbehaviors can be discussed constructivelywithout impeding evolutionary psychologicalresearch. A key is to show how ethicalbehaviors, in addition to unethical behaviors,can evolve by natural selection.

In mid-May of 2001, I attended a fascinating workshop at Cold Spring Harbor Labs. The conference was held at the lab's Banbury Center, an elegant mansion and its beautiful surrounding estate, located on Banbury Lane, in the outskirts of Lloyd Harbor, overlooking the north shore of Long Island in New York. The estate was formerly owned by Charles Sammis Robertson. In 1976, Robertson donated his estate, and an endowment for its upkeep, to the Lab. The donation included the Robertson's mansion, now called Robertson House, and a large, seven-car garage that would become the actual conference center. The Center was opened on Sunday, June 14, 1977, by Francis Crick who gave a talk entitled "How Scientists Work." For us, Banbury was an idyllic location with great food where we could talk about the most difficult problem in all o f science: what is the nature and cause of consciousness?

Mostly philosophers cause trouble. I know because on alternate Thursdays I am one -- and I live in a philosophy department where I watch all of them cause trouble. Everyone in artificial intelligence knows how much trouble philosophers can cause (and in particular, we know how much trouble one philosopher -- John Searle -- has caused). And, we know where they tend to cause it: in knowledge representation and the semantics of data structures. This essay is about a recent case of this sort of thing. One of the take-home messages will be that AI ought to redouble its efforts t o understand concepts.

David Chalmers' dancing qualia argument is intended to show that phenomenal experiences, or qualia, are organizational invariants. The dancing qualia argument is a reductio ad absurdum, attempting to demonstrate that holding an alternative position, such as the famous inverted spectrum argument, leads one to an implausible position about the relation between consciousness and cognition. In this paper, we argue that Chalmers' dancing qualia argument fails to establish the plausibility of qualia being organizational invariants. Even stronger, we will argue that the gap in the argument cannot be closed

Flipping convention on its head, Eric Dietrich argues that science uncovers awe-inspiring, enduring mysteries, while religion, regarded as the source for such mysteries, is a biological phenomenon. Just like spoken language, Dietrich shows that religion is an evolutionary adaptation. Science is the source of perplexing yet beautiful mysteries, however natural the search for answers may be to human existence. _Excellent Beauty_ undoes our misconception of scientific inquiry as an executioner of beauty, making the case that science has won the battle with religion so thoroughly it can now explain why religion persists. The book also draws deep lessons for human flourishing from the very existence of scientific mysteries. It is these latter wonderful, completely _public_ truths that constitute some strangeness in the proportion, revealing a universe worthy of awe and wonder

The purpose of this paper is to present two kinds of analogical representational change, both occurring early in the analogy-making process, and then, using these two kinds of change, to present a model unifying one sort of analogy-making and categorization. The proposed unification rests on three key claims: (1) a certain type of rapid representational abstraction is crucial to making the relevant analogies (this is the first kind of representational change; a computer model is presented that demonstrates this kind of abstraction), (2) rapid abstractions are induced by retrieval across large psychological distances, and (3) both categorizations and analogies supply understandings of perceptual input via construing, which is a proposed type of categorization (this is the second kind of representational change). It is construing that finalizes the unification.

Representation is a central part of models in cognitive science, but recently this idea has come under attack. Researchers advocating perceptual symbol systems, situated action, embodied cognition, and dynamical systems have argued against central assumptions of the classical representational approach to mind. We review the core assumptions of the dominant view of representation and the four suggested alternatives. We argue that representation should remain a core part of cognitive science, but that the insights from these alternative approaches must be incorporated into models of cognitive processing.

Any time you have philosophers working on a problem, you know you’ve got troubles. If a question has attracted the attention of the philosophers that means that either it is intractably difficult with convolutions and labyrinthine difficulties that would make other researchers blanch, or that it is just flat out impossible to solve. Impossible problems masquerade as intractable problems until someone either proves the problem is impossible (which can only happen in mathematics), or someone shows all solutions to the problem violate laws of physics (like the perpetual motion machine, for example), or until enough people fail so that declaring defeat is a reasonable move. The problem of consciousness is prototypical of this latter case. Indeed, one might say that it is the Platonic ideal of such a problem. The mere fact that philosophers wrestle with the problem of consciousness should be regarded by psychologists of all stripes as extremely bad news. If the philosophers can’t make any headway, psychologists are doomed

For many years now, Harnad has argued that transduction is special among cognitive capacities -- special enough to block Searle's Chinese Room Argument. His arguments (as well as Searle's) have been important and useful, but not correct, it seems to me. Their arguments have provided the modern impetus for getting clear about computationalism and the nature of computing. This task has proven to be quite difficult. Which is simply to say that dealing with Harnad's arguments (as well as Searle's) has been difficult. Turing, it turns out, only got us started. But Harnad's (and Searle's) arguments ultimately fail. Turing, it turns out, was on the right track.

A recent issue of Time magazine (March 29, 1999) was devoted to the twenty greatest "thinkers" of the twentieth century -- scientists, inventors, and engineers. There is one interesting omission: there are no cognitive psychologists or cognitive scientists. (Cognitive science is an amalgam of cognitive, neuro, and developmental psychology, artificial intelligence, philosophy, linguistics, biology, and anthropology.) Freud is there, to be sure. But, while he was very influential, it is not even clear that he was a scientist, let alone a cognitive scientist. There are those who regard Freud as somewhere between incompetent and a charlatan (see Glymour, 1988). In any case, though Freud's positive proposal for the mind's architecture -- namely, that it contains the unconscious -- seems correct as far as it goes, it does appear that all the details are wrong. For example: (1) there is a lot more to the mind than the mere unconscious; (2) it is doubtful that there is an id, ego, and superego; (3) most dreams may very likely be meaningless; and (4) human motivation, even unconscious motivation, is about a lot more than sex. In the end, because he was most interested in certain kinds of human mental malfunctioning, Freud is probably best thought of as a physician, a proponent and early explorer of human mental health; he was not an experimental cognitive psychologist.

When Charles Darwin died in April, 1882, he left behind a world changed forever. Because of his writings, most notably, of course, The Origin of Species, by 1882, evolution was an almost universally acknowledged fact. What remained in dispute, however, was how evolution occurred. So because of Darwin’s work, everyone accepted that new species emerge over time, yet few agreed with him that it was natural selection that powered the change, as Darwin hypothesized. Chalmers’ book, The Conscious Mind , reminds me of The Origin of Species . I have talked t o many people about The Conscious Mind and watched many philosophy students read it, and after they are done, they all take consciousness more seriously than they did before and they are all struck by its deep mystery, yet few accept Chalmers’ specific theory of consciousness and his explanation of its odd nature.

What is it about serial killers that grips our imaginations? They populate some of our most important literature and art, and to this day, Jack the Ripper intrigues us. In this paper, we examine this phenomenon, exploring the idea that serial killers in part represent something in us that, if not good, is at least admirable. To get at this, we have to peel off layers of other causes of our attraction, for our attraction to serial killing is complex (it mixes with repulsion, too). For example, part of the attraction is curiosity associated with the pragmatic desire to understand serial killers. Another part is the allure of safe violence, the very same allure that causes us to slow down to look at traffic accidents and that makes movies like Saw box office gold. Once we are through the initial layers of attraction, we expose the one we are interested in. Humans are not really Homo sapiens (the wise human), but rather Homo oboediens (the rule‐following human), and these rules can become oppressive. Serial killers, properly sanitized, show us something, albeit in a twisted way, that we long for – a life unfettered by rules, a life where we can do exactly what we want. We close by noting the paradox that an actual serial killer is not free at all.

Sometimes analogy researchers talk as if the freshness of an experience of analogy resides solely in seeing that something is like something else -- seeing that the atom is like a solar system, that heat is like flowing water, that paint brushes work like pumps, or that electricity is like a teeming crowd. But analogy is more than this. Analogy isn't just seeing that the atom is like a solar system; rather, it is seeing something new about the atom, an observation enabled by 'looking' at atoms from the perspective of one's understanding of solar systems. The question for analogy researchers then is this: Where does this new knowledge about atoms come from? How can an analogy provide new knowledge and new understanding?

  There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators