I argue that consciousness is an aspect of an agent's intelligence, hence of its ability to deal adaptively with the world. In particular, it allows for the possibility of noting and correcting the agent's errors, as actions performed by itself. This in turn requires a robust self-concept as part of the agent's world model; the appropriate notion of self here is a special one, allowing for a very strong kind of self-reference. It also requires the capability to come to see (...) that world model as residing in its belief base , while then representing the actual world as possibly different, i.e., forming a new world-model. This suggests particular computational mechanisms by which consciousness occurs, ones that conceivably could be discovered by neuroscientists, as well as built into artificial systems that may need such capabilities. Consciousness, then, is not an epiphenomenon at all, but rather a key part of the functional architecture of suitably intelligent agents, hence amenable to study as much as any other architectural feature. I also argue that ignorance of how subjective states could be essentially functional does not itself lend credibility to the view that such states are not essentially functional; the strong self-reference proposal here is one possible functional explanation of consciousness. (shrink)

This interdisciplinary work contains the most sustained attempt at developing and defending one of the few genuine theories of consciousness.

Examining one of the fundamental issues in cognitive psychology: How does our conscious experience come to be the way it is?

First published in 1980. Routledge is an imprint of Taylor & Francis, an informa company.

This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on (...) questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under mine certain strong arguments against these positions precisely by invok ing G6del's and related work. I also began to realize that the Church Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor ganizing it in the direction of the present book. (shrink)

The basic question cognitivists and most analytic philosophers of mind ask is how consciousness arises in matter. This article outlines basic reasons for thinking the question spurious. It does so by examining 1) definitions of life, 2) unjustified and unjustifiable uses of diacritical markings to distinguish real cognition from metaphoric cognition, 3) evidence showing that corporeal consciousness is a biological imperative, 4) corporeal matters of fact deriving from the evolution of proprioception. Three implications of the examination are briefly noted: 1) (...) the need to re-think the common assumption that unconsciousness historically preceded consciousness; 2) the need to delve as deeply and seriously into natural history as into brains and their computational analogues; 3) the need for a critical stance toward arm-chair judgments about consciousness and a correlative turn toward corporeal matters of fact. (shrink)

This article shows how the proper question to answer concerning consciousness is not ‘how consciousness arises in matter’, but how consciousness is part and parcel of the evolution of animate forms. The article traces out just such an evolution by consideration of real life forms including bacteria and invertebrates. It vindicates the evolutionary thesis that external proprioceptive organs, as evidenced in their own right, were modified and internalized over time into kinesthetic organs, sustaining, in effect, a directly movement sensitive corporeal (...) consciousness across virtually all forms of evolutionary life. The paper specifies significant consequences of the thesis having to do with the unconscious, with present-day focal studies of the brain that neglect a correlative natural history, and with the need to attend to corporeal matters of fact. (shrink)

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, (...) but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer. (shrink)