David Chalmers

Computation is central to the foundations of modern cognitive science, but its role is controversial. Questions about computation abound: What is it for a physical system to implement a computation? Is computation sufficient for thought? What is the role of computation in a theory of cognition? What is the relation between different sorts of computational theory, such as connectionism and symbolic computation? In this paper I develop a systematic framework that addresses all of these questions. Justifying the role of computation requires analysis of implementation, the nexus between abstract computations and concrete physical systems. I give such an analysis, based on the idea that a system implements a computation if the causal structure of the system mirrors the formal structure of the computation. This account can be used to justify the central commitments of artificial intelligence and computational cognitive science: the thesis of computational sufficiency, which holds that the right kind of computational structure suffices for the possession of a mind, and the thesis of computational explanation, which holds that computation provides a general framework for the explanation of cognitive processes. The theses are consequences of the facts that (a) computation can specify general patterns of causal organization, and (b) mentality is an organizational invariant, rooted in such patterns. Along the way I answer various challenges to the computationalist position, such as those put forward by Searle. I close by advocating a kind of minimal computationalism, compatible with a very wide variety of empirical approaches to the mind. This allows computation to serve as a true foundation for cognitive science.

What follows are compressed versions of three lectures on the subject of "Mind and Modality", given at Princeton University the week of October 12-16, 1998. The first two form a series; the third stands alone to some extent. All are philosophically technical, and probably of interest mainly to philosophers. I hope that they make sense, at least to those familiar with my book _The Conscious Mind_. Lecture 1 recapitulates some of the material in the book in a somewhat different form, and adds some further material on conditionals and on Kripke. Note that section has a more or less definitive formalization of the anti-materialist argument from the book. Lecture 2 pushes deeper into the heart of modality, further investigating the conceivability/possibility relationship and the epistemology of modality, and arguing for a sort of modal rationalism. Lecture 3 gives an analysis of the content of beliefs about experiences, and applies this to a number of epistemological issues, including incorrigibility and the dialectic on "The Myth of the Given".

A natural way to think about epistemic possibility is as follows. When it is epistemically possible (for a subject) that p, there is an epistemically possible scenario (for that subject) in which p. The epistemic scenarios together constitute epistemic space. It is surprisingly difficult to make the intuitive picture precise. What sort of possibilities are we dealing with here? In particular, what is a scenario? And what is the relationship between scenarios and items of knowledge and belief? This chapter tries to make sense of epistemic space. It explores different ways of making sense of scenarios and of their relationship to thought and language. It discusses some issues that arise and outlines some applications to the analysis of the content of thought and the meaning of language.

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible, and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics.

As I see it, the science of consciousness is all about relating _third-person data_ - about brain processes, behavior, environmental interaction, and the like - to _first-person data_ about conscious experience. I take it for granted that there are first-person data. It's a manifest fact about our minds that there is something it is like to be us - that we have subjective experiences - and that these subjective experiences are quite different at different times. Our direct knowledge of subjective experiences stems from our first-person access to them. And subjective experiences are arguably the central data that we want a science of consciousness to explain.

At the April 2006 meeting of the Central Division of the American Philosophical Association, in an author-meets-critics session on Scott Soames' book _Reference and Description: The Case Against Two-Dimensionalism_, I presented a comment on Soames' book, "Scott Soames' Two-Dimensionalism". The other critic was Robert Stalnaker. Soames presented his response to critics. Below is a reply to Soames' response to me, for those who were at the session and interested others. Note that this response was mostly written before the session, except for one or two paragraphs where the discussion in the session is mentioned.

The philosophical interest of verbal disputes is twofold. First, they play a key role in philosophical method. Many philosophical disagreements are at least partly verbal, and almost every philosophical dispute has been diagnosed as verbal at some point. Here we can see the diagnosis of verbal disputes as a tool for philosophical progress. Second, they are interesting as a subject matter for first-order philosophy. Reflection on the existence and nature of verbal disputes can reveal something about the nature of concepts, language, and meaning. In this article I first characterize verbal disputes, spell out a method for isolating and resolving them, and draw out conclusions for philosophical methodology. I then use the framework to draw out consequences in first-order philosophy. In particular, I argue that the analysis of verbal disputes can be used to support the existence of a distinctive sort of primitive concept and that it can be used to reconstruct a version of an analytic/synthetic distinction, where both are characterized in dialectical terms alone.

Hilary Putnam has argued that computational functionalism cannot serve as a foundation for the study of the mind, as every ordinary open physical system implements every finite-state automaton. I argue that Putnam's argument fails, but that it points out the need for a better understanding of the bridge between the theory of computation and the theory of physical systems: the relation of implementation. It also raises questions about the class of automata that can serve as a basis for understanding the mind. I develop an account of implementation, linked to an appropriate class of automata, such that the requirement that a system implement a given automaton places a very strong constraint on the system. This clears the way for computation to play a central role in the analysis of mind.

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

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus.

The Matrix presents a version of an old philosophical fable: the brain in a vat. A disembodied brain is floating in a vat, inside a scientist’s laboratory. The scientist has arranged that the brain will be stimulated with the same sort of inputs that a normal embodied brain receives. To do this, the brain is connected to a giant computer simulation of a world. The simulation determines which inputs the brain receives. When the brain produces outputs, these are fed back into the simulation. The internal state of the brain is just like that of a normal brain, despite the fact that it lacks a body. From the brain’s point of view, things seem very much as they seem to you and me.

It's very interesting to see neurophysiological evidence brought to bear on the puzzling question of conscious experience. Many have observed that information-processing models of cognition seem to leave consciousness untouched; it is natural to hope that turning to neurophysiology might lead us to the Holy Grail. Still, I think there are reasons to be skeptical. There are good reasons to suppose that neurophysiological investigation contributes to cognitive explanation at best in virtue of constraining the information-processing structure of cognition. Of course this is a very large and significant role for it to play, but it may be over-optimistic to suppose that it can play some further explanatory role, taking us where information-processing theories cannot. If so, then neurophysiological accounts will be no more and no less successful at dealing with consciousness than information-processing accounts are.

Frank Ramsey (1931) wrote: If two people are arguing 'if p will q?' and both are in doubt as to p, they are adding p hypothetically to their stock of knowledge and arguing on that basis about q. We can say that they are fixing their degrees of belief in q given p. Let us take the first sentence the way it is often taken, as proposing the following test for the acceptability of an indicative conditional: ‘If p then q’ is acceptable to a subject S iff, were S to accept p and consider q, S would accept q. Now consider an indicative conditional of the form (1) If p, then I believe p. Suppose that you accept p and consider ‘I believe p’. To accept p while rejecting ‘I believe p’ is tantamount to accepting the Moore-paradoxical sentence ‘p and I do not believe p’, and so is irrational. To accept p while suspending judgment about ‘I believe p’ is irrational for similar reasons. So rationality requires that if you accept p and consider ‘I believe p’, you accept ‘I believe p’.

*[[This paper appears in _Toward a Science of Consciousness II: The Second Tucson Discussions and Debates_ (S. Hameroff, A. Kaszniak, and A.Scott, eds), published with MIT Press in 1998. It is a transcript of my talk at the second Tucson conference in April 1996, lightly edited to include the contents of overheads and to exclude some diversions with a consciousness meter. A more in-depth argument for some of the claims in this paper can be found in Chapter 6 of my book _The Conscious Mind_ (Chalmers, 1996). ]].

This appeared in Philosophy and Phenomenological Research 59:473-93, as a response to four papers in a symposium on my book The Conscious Mind. Most of it should be comprehensible without having read the papers in question. This paper is for an audience of philosophers and so is relatively technical. It will probably also help to have read some of the book. The papers I’m responding to are: Chris Hill & Brian McLaughlin, There are fewer things in reality than are dreamt of in Chalmers’ philosophy Brian Loar, David Chalmers’ The Conscious Mind Sydney Shoemaker, On David Chalmers’ The Conscious Mind Stephen Yablo, Concepts and consciousness Contents.