Roger Penrose's book Shadows of the Mind may be purchased
from Amazon.Com

Awareness and Understanding in Computer Programs
A Review of Shadows of the Mind by Roger Penrose

John McCarthy
Computer Science Department
Stanford University
Stanford, CA 94305.

jmc@sail.stanford.edu

Copyright (c) John McCarthy 1995

PSYCHE, 2(11), July 1995
http://psyche.cs.monash.edu.au/v2/psyche-2-11-mccarthy.html

KEYWORDS: artificial intelligence, Gödel's theorem, Penrose, understanding, awareness

REVIEW OF: Roger Penrose (1994) Shadows of the Mind. New York: Oxford University Press. 457 pp. Price: $25 hbk. ISBN 0-19-853978-9.

1. Introduction

1.1 This book and its predecessor The Emperor's New Mind argue that natural minds cannot be understood and artificial minds cannot be constructed without new physics, about which the book gives some ideas. We have no objection to new physics but don't see it as necessary for artificial intelligence. We see artificial intelligence research as making definite progress on difficult scientific problems. I take it that students of natural intelligence also see present physics as adequate for understanding mind.

1.2 This review concerns only some problems with the first part of the book. Considerations in my review (McCarthy, 1990a) of the earlier book are not repeated here.

2. Awareness and Understanding

2.1 Penrose discusses awareness and understanding briefly and concludes (with no references to the AI literature) that AI researchers have no idea of how to make computer programs with these qualities.

2.2 I substantially agree with his characterizations of awareness and understanding and agree that definitions are not appropriate at the present level of understanding of these phenomena. We disagree about whether computers can have awareness and understanding.

2.3 Here's how it can be done within the framework of pure logical AI.

2.4 Pure logical AI represents all the program's knowledge and belief by sentences in a language of mathematical logic. Purity is inefficient but makes the discussion brief. (McCarthy (1989) is a general discussion of logical AI and has additional references).

2.5 We distinguish a part of the robot's memory, which we will call its consciousness. Sentences have to come into consciousness before they are used in reasoning.

2.6 Reasoning involves logical deduction and also some nonmonotonic reasoning processes. The results of the reasoning re-enter consciousness. Some old sentences in consciousness get crowded out into the main memory.

2.7 Deliberate action in a pure logical robot is a consequence of the robot inferring that it should do the action. The actions include external motor and sensory actions (observations) but also mental actions such as retrieval of sentences from the general memory into consciousness.

2.8 Awareness of the program's environment is accomplished by the automatic appearance of certain class of sentences about the program's environment in the program's consciousness. These sentences often appear through actions of observation but should often result from built-in observations, e.g. noticing who comes into the room.

2.9 Besides awareness of the environment, there is also self-awareness. Self-awareness is caused by events and actions of self-observation including observations of consciousness and of the memory as a whole. The sentences expressing self-awareness also go into consciousness.

2.10 The key question about awareness in the design of logical robots concerns what kinds of sentences can and should appear in consciousness---either automatically or as the result of mental actions. Here are some examples of required mental actions.
2.11 It seems to me that the notions of awareness and understanding outlined above agree with Penrose's characterizations on p. 37. However, his ideas about free will strike me as quite confused and not repairable. McCarthy and Hayes (1969) discuss free will in deterministic systems, e.g. interacting finite automata.

3. The Argument From Gödel's Theorem

3.1 The argument about whether humans necessarily have superior minds to robots is unique among philosophical arguments in getting far into mathematical logical technicalities. This is not Penrose's fault. What machines can and cannot do in principle really is a technical logical question. Here's how it gets messy.

A: Whatever formal axiomatization of arithmetic the robot uses, Gödel's theorem shows how to construct from that axiomatization a sentence that is true if that axiomatization is sound but which cannot be proved in the axiomatization. This can be done in Turing's (1940) way or in Feferman's (1962) way. Both are discussed in Feferman (1988).

B: Yes, but the construction of this sentence is accomplished by a program the robot can also apply either to its previous system to get a new one or to a system used by its interlocutor.

A: This process can be iterated through transfinite ordinals, and the ordinals the robot can use will have an upper bound. The human can in principle determine this bound by inspecting the robot's program.

B: To iterate through ordinals requires ordinal notations. These are notations for computable predicates, but it is necessary to establish that the computation really produces a well-founded total ordering. Thus we need to consider provably recursive ordinals. Then we need to ask what axiomatic system is to be used for these proofs. Moreover, the new axiomatic systems obtained by the iteration depend on the notation and not merely on the ordinal number the notation determines.

3.3 To me, and maybe to Penrose, it is implausible that the possibilities of human thought, except in recursive function theory, can depend strongly on these advanced considerations.

4. Modes Of Reasoning

4.1 Part of Penrose's conviction that his reasoning is intrinsically more powerful than that of a computer program may come from his using kinds of reasoning that he implicitly denies machines. There are two such kinds of reasoning.

4.2 The first is that he reasons about theories in general, i.e. he uses variables ranging over theories. As far as I can see he never allows for the computer program doing that. However, reasoning about theories as objects is not different in principle from reasoning about other objects.

4.3 The second is that much of Penrose's reasoning is nonmonotonic, e.g. preferring the simplest explanation of some phenomenon, but his methodology doesn't allow for nonmonotonic reasoning by the program. Mathematicians' acceptance of the axiom of choice, for example, occurs through informal nonmonotonic reasoning. Formalized nonmonotonic reasoning is a recent development.

References

Abelson, H. and Sussman, G. (1985). Structure and Interpretation of Computer Programs. MIT Press.

Feferman, S. (1988). Turing in the land of O(z). In R. Herken, (Ed.) The Universal Turing Machine: A Half-century Survey. Oxford University Press.

Gödel, K. (1940). The Consistency of The Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton University Press.

McCarthy, J. and Hayes, P.J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Machine Intelligence 4. D. Michie (Ed.) New York: American Elsevier. Reprinted in McCarthy (1990).

McCarthy, J. (1989). Artificial Intelligence and Logic. In R. Thomason, ed., Philosophical Logic and Artificial Intelligence. Dordrecht: Kluwer Academic. Also accessible from http://www-formal.stanford.edu/jmc/home.html.

McCarthy, J. (1990). Formalizing Common Sense. Norwood, NJ: Ablex.

McCarthy, J. (1990a). Review of The Emperor's New Mind by Roger Penrose. Bulletin of the American Mathematical Society, 23, 606-616. Also accessible from http://www-formal.stanford.edu/jmc/home.html.

McCarthy, J. (1993). Notes on Formalizing Context. IJCAI 93. Morgan-Kaufmann. Also accessible from http://www-formal.stanford.edu/jmc/home.html.

McCarthy, J. (1995). Making Robots Conscious of their Mental States. Invited lecture at the Symposium on Consciousness, AAAI, Spring 1995. Also accessible from http://www-formal.stanford.edu/jmc/home.html.


Return to PSYCHE home page