annotate CR_manuscript/foreword.txt @ 59:ca638eb2bfeb

to GroupOfN for review
author Henry S Thompson <ht@inf.ed.ac.uk>
date Sat, 23 Nov 2024 10:18:57 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
59
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 *Foreword*
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3 Brian Cantwell Smith was born in Montreal, Canada, on 1 December 1949.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 Growing up first there and later in Cambridge, Massachusetts, he
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
5 remains a Canadian citizen. Multiple allegiances, sometimes
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
6 conflicting but mostly complementary, have characterized both his
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
7 personal and intellectual life ever since.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
8
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
9 He started undergraduate study at Oberlin College in Ohio in 1967,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
10 where his interests included both physics and religion but left after
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
11 only two years, travelling first to visit the Quaker community
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
12 Argenta, British Columbia, and ending up in Ottawa where he started
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
13 work as a programmer at the Division of Physics laboratory of the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
14 National Research Council of Canada, working on a project jointly
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
15 involving Fermilab in Chicago and the Lawrence Research Laboratory in
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
16 Berkeley. Working at all three sites on PDP 9 and PDP 15
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
17 microcomputers, he "programmed like crazy" in machine language,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
18 building systems for experimental control and data gathering.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
19
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
20 When the project ended Brian moved back to the family home in
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
21 Cambridge, and started taking classes at the Massachusetts Institute
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
22 of Technology (MIT), studying what was then known as Social Inquiry,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
23 in particular the politics of high technology. But it quickly became
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
24 apparent that the understanding of computing that the social
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
25 scientists were critiquing was not the computing that he knew as a
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
26 programmer, what he later came to refer to as "computing in the wild".
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
27
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
28 "What drove me out of Social Inquiry and back to [Computer Science] was
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
29 needing to be back in the practice. That skill was not somthing that
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
30 people on the outside understood."
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
31
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
32 Brian had realised that in order to legitimately critique Computer
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
33 Science, he needed to get clear on what computing really is: "I had to
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
34 go into the heart of the beast, as it were". So he applied for the PhD
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
35 program in Electrical Engineering and Computer Science at MIT and
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
36 began taking classes there.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
37
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
38 When the MIT administration discovered Brian didn't have an
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
39 undergraduate degree, and so couldn't be registered for graduate
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
40 study, Patrick Winston, the newly-appointed head of the Artificial
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
41 Intelligence Laboratory, gave Brian an informal oral exam in topics
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
42 from the MIT undergraduate computer science curriculum and awarded him
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
43 the credits necessary for a degree, clearing the way for his admission
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
44 to the graduate program.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
45
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
46 In 1976 Terry Winograd, who had left MIT to join the Computer Science
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
47 Lab at the Xerox Palo Alto Research Center (PARC), invited Brian to
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
48 spend the summer in the Understander Group there, where he joined in
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
49 the development of KRL, a Knowledge Representation Language, which
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
50 came to embody some of the ideas that were developed in his Masters
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
51 and PhD dissertations [refs].
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
52
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
53 These biographical details bring us to the brink of Brian's
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
54 professional life, and to the time and place where we first met. The
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
55 point made above about multiple allegiances can be succinctly
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
56 summarized by a list of the positions he has occupied since the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
57 completion of his PhD a few years later:
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
58
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
59 * Member of the Scientific Staff, Xerox PARC
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
60 * Director, Xerox PARC System Sciences Lab
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
61 * Adjunct Professor of Philosophy, Stanford University
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
62 * Founding member of Stanford University's Center for the Study of
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
63 Language and Information
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
64 * Founding member and first president, Computer Professionals for
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
65 Social Responsibility
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
66 * President of the Society for Philosophy and Psychology
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
67 * Professor of Cognitive Science, Computer Science, and Philosophy,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
68 Indiana University
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
69 * Kimberly J. Jenkins University Distinguished Professor of
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
70 Philosophy and New Technologies, Duke University
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
71 * Dean of the Faculty of Information, University of Toronto
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
72 * Invited keynote speaker, _Défaire l'Occident_, Plainartige, France
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
73 * Professor of Information, Philosophy, Cognitive Science, and the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
74 History and Philosophy of Science and Technology, University of
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
75 Toronto
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
76 * Senior Fellow, Massey College, University of Toronto
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
77 * Reid Hoffman Professor of Artificial Intelligence and the Human,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
78 University of Toronto
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
79
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
80 It was during Brian's years in Palo Alto at PARC, at first just for
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
81 the summer and then full-time, that the foundations were laid for the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
82 work that led to this book.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
83
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
84 "As an exercise in using KRL representational structures, Brian
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
85 Smith tried to describe the KRL data structures themselves in
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
86 KRL-0. A brief sketch was completed, and in doing it we were made
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
87 much more aware of the ways in which the language was inconsistent
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
88 and irregular. This initial sketch was the basis for much of the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
89 development in KRL-1." [ref. Bobrow and Winograd 1978, "Experience
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
90 with KRL-O: One Cycle of a Knowledge Representation Language", in
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
91 _Proceedings of the Fifth International Joint Conference on
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
92 Artificial Intelligence_, Morgan Kaufmann Publishers, Burlington,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
93 MA. Available online at
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
94 https://www.ijcai.org/Proceedings/77-1/Papers/032.pdf].
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
95
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
96 Brian's input into the (never completed) KRL-1 meant that not only
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
97 could some parts of a system's data be _about_ other parts, but that
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
98 this would be more than just commentary. It would actually play a role
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
99 in the system's operation. For KRL-1, this was initially motivated by
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
100 a desire to formulate aspects of knowledge representation such as
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
101 negation and disjunction as, if you will, knowledge about knowledge,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
102 rather than as primitives built into the vocabulary of the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
103 representation language itself. [elaborate this with reference to
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
104 old-style Semantic Nets and Bobrow and Norman ?]
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
105
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
106 Brian's development of this idea, which he termed 'reflection', is
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
107 documented in the papers gathered in _Legacy_. But its title
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
108 notwithstanding, this book is _not_ a recapitulation of that work.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
109
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
110 There was an assumption at the heart of Brian's reflective
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
111 architectures, which was initially expected to occupy just one section
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
112 of one chapter of his PhD, as signalled in its preliminary outline
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
113 Table of Contents. But its resolution proved to be much more
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
114 problematic than expected, to the extent that it has taken
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
115 a lifetime of work for Brian to bring it clearly into focus.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
116
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
117 Looking back it seems that this difficulty acted rather like the grit
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
118 in the oyster, stimulating Brian's wholesale reconsideration of the
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
119 nature of computation, and Computer Science as currently practiced,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
120 which _is_ what this book is about.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
121
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
122 You'll have to read the book to find out what that assumption was, and
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
123 the details of the critique of Computer Science that it led Brian to.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
124
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
125 It may seem rather presumptuous of me to suggest that this one person
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
126 has accurately diagnosed a problem that a whole field of enquiry has
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
127 missed, to the point where they've ended up altogether stuck, unable
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
128 to see what they've missed. The point of the list offered above of
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
129 Brian's achievements and the manifest breadth of his background it
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
130 testifies to will I hope give sufficient grounds for suggesting that
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
131 it is at least possible that this indeed just might be worth checking
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
132 out.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
133
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
134 As Brian himself said about this recently "That this is important
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
135 needs to be said. And it's not about _me_, that is, it's not
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
136 important because I say it is." That it's important to him does
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
137 however mean that his claim deserves our attention.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
138
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
139 This is not an easy book to read, but it's a very important book, so
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
140 it's worth the effort. As Brian himself has said, it's written rather
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
141 like a detective story, in which the same underlying set of facts is
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
142 explored repeatedly, getting closer each time to a complete and
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
143 self-consistent picture. When I first read it, I said to Brian more
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
144 than once "But you keeping using [some term], and it's clear you mean
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
145 it in some important, technical, sense, but you haven't _defined_ it".
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
146 And he said, "Look, what I've writen should be read more like novel
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
147 than like a manual. What things mean will gradually take shape. Be
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
148 patient".
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
149
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
150 If you care about computer science, either as a practioner, or a
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
151 theorist, or a concerned citizen, this book matters for you. It's
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
152 conclusions matter, even if parts of it are not meant for you. So
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
153 even if you find it hard, as a computer programmer, to see why you
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
154 should care if the theorists have got it wrong, be patient. If you're
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
155 a theorist, and you find Brian's critique at best irrelevant, and at
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
156 worst aggresive, obnoxius and founded in misunderstanding, be patient.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
157 If you're a citizen, and the technical details are off-putting, be
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
158 patient.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
159
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
160 If you _are_ patient, and stay the course, when you get to the end you
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
161 will realise that you actually do understand the terminology now, and
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
162 that even though the work that remains is hugely challenging, and
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
163 perhaps only imperfectly grasped by Brian himself, much less the rest
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
164 of us, getting it done matters for all of us. As practioners and
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
165 theorists, we need to ask ourselves what we can do to make Brian's
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
166 vision a reality. As citizens, we need to cheer from the sidelines,
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
167 and keep asking questions. We owe him that much.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
168
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
169 Henry S. Thompson, Toronto and Edinburgh, November 2024.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
170
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
171 *Epigraph*
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
172
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
173 Therefore, I close with the following dramatic but also perfectly
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
174 serious claim: cognitive science and artificial intelligence cannot
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
175 succeed in their own essential aims unless and until they can
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
176 understand and/or implement genuine freedom and the capacity to
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
177 love.
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
178
ca638eb2bfeb to GroupOfN for review
Henry S Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
179 John Haugeland, "Authentic Intentionality", 2002