Er
hjernens sind et computerprogram?
Nej.
Et program manipulerer kun symboler, hvorimod en hjerne forbinder betydning
til dem
John R. Searle*

Kan en maskine tænke? Kan en maskine have bevidste tanker
i nøjagtig den samme forstand, som du og jeg har? Hvis man med
"maskine" mener et fysisk system, som er i stand til at udføre
visse funktioner (og hvad andet kan man mene?), så er mennesker maskiner af
en vis biologisk type og mennesker kan tænke og derfor kan maskiner
selvfølgelig tænke. Og, efter alt hvad vi ved, kunne det være muligt at
frembringe en tænkende maskine af helt anderledes materialer - f.eks. af
silicium chips eller elektronrør. Måske vil det vise sig umuligt, men det ved
vi bestemt ikke endnu.
I de seneste årtier har spørgsmålet om, hvorvidt en
maskine kan tænke imidlertid fået en helt anderledes tolkning. Spørgsmålet,
der i stedet er blevet stillet, er: Kunne en maskine tænke blot ved hjælp af
at anvende et computerprogram? Udgør programmet i sig selv tænkning? Det er
et helt anderledes spørgsmål, fordi det ikke drejer sig om de fysiske,
virkelige egenskaber ved virkelige eller mulige fysiske systemer men i stedet
om de abstrakte, beregningsmæssige egenskaber ved formelle
computerprogrammer, der kan gennemføres i enhver substans under forudsætning
af at substansen kan bære programmet.
Et pænt antal forskere i kunstig intelligens
(Artificial Intelligence, AI) tror, at svaret på det andet spørgsmål er ja;
dvs. at de tror, at de ved at konstruere de rette programmer, med de rette
input og output, håndgribeligt skaber sind. De tror ydermere, at de har en
videnskabelig prøve til at bestemme succes eller fejl: Turingprøven, som blev
anvist af Alan M. Turing, grundlæggeren af kunstig intelligens. Turingprøven,
som den forstås i øjeblikket, er helt enkelt dette: hvis en computer kan
fungere på en sådan måde, at en ekspert ikke kan skelne dens funktion fra
funktionen af et menneske, som har en vis kognitiv evne - f.eks. evnen til at
addere eller forstå kinesisk - så har computeren også den evne. Så målet er
at konstruere programmer, der vil simulere menneskelig kognition på en sådan
måde, at de vil bestå Turingprøven. Ydermere vil et sådant program ikke kun
være en model af sindet; det vil håndgribeligt være et sind i samme forstand,
som et menneskeligt sind er et sind.
Men det er slet ikke alle arbejdere i kunstig
intelligens, der accepterer et så ekstremt synspunkt. En mere forsigtig
indfaldsvinkel er at tænke på computermodeller som værende nyttige ved
studiet af sindet på samme måde, som de er nyttige ved studiet af vejret,
økonomi eller molekylær biologi. For at skelne mellem disse to
indfaldsvinkler kalder jeg den første stærk AI og den anden svag AI. Det er
vigtigt at indse nøjagtigt, hvor modig en indfaldsvinkel stærk AI er. Stærk
AI hævder, at tænkning blot er manipulationen af formelle symboler og det er
nøjagtigt hvad computeren gør: manipulerer formelle symboler. Dette synspunkt
opsummeres ofte ved at sige, "Sindet er for hjernen hvad programmet er
for hardware."
Stærk AI er usædvanlig blandt teorier om sindet i mindst to henseender:
den kan fremsættes klart og den muliggør en enkelt og afgørende gendrivelse.
Gendrivelsen kan afprøves af enhver person for sig selv. Her er hvordan den
foregår. Overvej et sprog du ikke forstår. I mit tilfælde forstår jeg ikke
kinesisk. For mig ligner kinesisk skrift så mange andre kruseduller. Antag
nu, at jeg er placeret i et rum, der indeholder kurve, som er fulde af
kinesiske symboler. Antag også, at jeg får en bog på engelsk om regler for at
sammensætte kinesiske symboler med andre kinesiske symboler. Reglerne
identificerer udelukkende symbolerne ved deres former og kræver ikke, at jeg
forstår nogen af dem. Reglerne kunne sige ting som, "Tag et
krusedulle-krusedulle tegn fra kurv nummer et og anbring det ved siden af et
krusedalle-krusedalle tegn fra kurv nummer to.
Forestil dig, at folk, som forstår kinesisk, uden for
rummet indgiver små bundter af symboler og at jeg som svar manipulerer
symbolerne ifølge regelbogen og giver flere små bundter af symboler tilbage.
Nu er regelbogen "computerprogrammet." Folkene der skrev den er
"programmører" og jeg er "computeren." Kurvene fulde af
symboler er "databasen," de små bundter, der gives mig, er
"spørgsmål" og bundterne, jeg giver ud, er "svar."
Antag nu, at regelbogen er skrevet på en sådan måde,
at mine "svar" på "spørgsmålene" ikke kan skelnes fra
dem, en indfødt kinesisk talende person ville give. F.eks. kunne folkene
udenfor give mig nogle symboler, der uden mit vidende betyder "Hvad er
din yndlingsfarve?" og efter at være gået igennem reglerne kunne jeg
give nogle symboler tilbage, som uden mit vidende betyder "Min yndling
er blå, men jeg kan også lide grøn." Jeg tilfredsstiller Turingprøven
for at forstå kinesisk. Samtidig er jeg helt uvidende om kinesisk. Og der er
ingen måde, hvorpå jeg kunne komme til at forstå kinesisk i det beskrevne
system, da der ikke er nogen måde, jeg kunne lære betydningen af nogen af
symbolerne. Som en computer manipulerer jeg symboler, men tillægger ikke
symbolerne nogen betydning.
Pointen i tankeeksperimentet er denne: hvis jeg ikke
forstår kinesisk udelukkende på basis af at køre et computerprogram til
forståelse af kinesisk, så er der heller ikke nogen digital computer, der gør
det udelukkende på den basis. Digitale computere manipulerer kun formelle
symboler ifølge regler i programmet.
Hvad der gælder for kinesisk gælder også for andre
former for kognition. Blot at manipulere symbolerne er ikke nok til at
garantere kognition, perception, forståelse, tænkning og så videre. Og da
computere, qua computere, er symbol-manipulerende anordninger, er kørsel af
programmet ikke nok til at garantere kognition.
Dette enkle argument er afgørende imod det, den
stærke AI hævder. Argumentets første præmis erklærer helt enkelt den formelle
karakter af et computerprogram. Programmer defineres ved hjælp af
symbolmanipulationer og symbolerne er helt formelle eller "syntaktiske."
Forresten er programmernes formelle karakter det, der gør computere så
kraftige. Det samme program kan køres på en uendelig variation af hardware og
en hardware kan køre et uendeligt område af computerprogrammer. Lad mig
forkorte dette "aksiom" som
Aksiom 1. Computerprogrammer er formelle
(syntaktiske).
Denne pointe er så afgørende, at den er værd at
forklare i større detalje. En digital computer behandler information ved
først at indkode den i den symbolisme computeren anvender og så manipulere
symbolerne gennem et sæt præcist erklærede regler. Disse regler udgør
programmet. F.eks. var symbolerne i Turings tidlige teori om computere helt
enkelt 0'er og 1'er og programmets regler sagde ting som "Udskriv et 0
på båndet, bevæg dig et kvadrat til venstre og slet et 1." Det
forbavsende ved computere er, at enhver information, der kan erklæres i et
sprog, kan indkodes i et sådant system og at enhver informationsbehandlende
opgave, der kan løses af klare regler, kan programmeres.
To yderligere punkter er vigtige. For det første er symboler og programmer
rent abstrakte ideer: de har ingen essentielt fysiske egenskaber, der
definerer dem og kan anvendes i ethvert fysisk medium. 0'erne og 1'erne, qua
symboler, har ingen essentielle fysiske egenskaber og derfor ingen fysiske
kausale egenskaber. Jeg understreger dette punkt, fordi det er fristende at
identificere computere med en eller anden specifik teknologi - f.eks.
silicium chips - og at tro, at emnerne drejer sig om fysikken i silicium
chips eller at tro, at syntaksen identificerer et fysisk fænomen, som kunne
have indtil nu ukendte kausale kræfter på den måde, som virkelige fysiske
fænomener som elektromagnetisk stråling eller hydrogenatomer har fysiske,
kausale kræfter. Det andet punkt er, at symboler manipuleres uden reference
til nogen betydninger. Programmets symboler kan stå for alt, som programmøren
eller brugeren ønsker. I denne forstand har programmet syntaks, men ingen
semantik.
Det næste aksiom er blot en påmindelse om den
indlysende kendsgerning at tanker, perceptioner, forståelser og så videre har
et mentalt indhold. På grund af deres indhold kan de være om genstande og
tingenes tilstand i verden. Hvis indholdet involverer sprog, vil der, foruden
semantik, være syntaks, men sprogmæssig forståelse kræver i det mindste
semantiske rammer. Hvis, for eksempel, jeg tænker på det sidste
præsidentvalg, vil visse ord passere gennem mit sind, men ordene er kun om
valget, fordi jeg tillægger disse ord en særlig betydning i overensstemmelse med
mit kendskab til engelsk. I denne henseende er de forskellige fra kinesiske
symboler for mig. Lad mig forkorte dette aksiom som
Aksiom 2. Menneskelige sind har mentale indhold
(semantik).
Lad mig nu tilføje det punkt som det kinesiske rum
demonstrerede. At have symbolerne i sig selv - blot have syntaksen - er ikke
tilstrækkeligt til at have semantik. At blot manipulere symbolerne er ikke
tilstrækkeligt til at garantere kendskab til, hvad de betyder. Jeg vil
forkorte dette til
Aksiom 3. Syntaks i sig selv hverken udgør
eller er tilstrækkeligt til semantik.
På et niveau er dette princip sandt pr.
definition. Man kunne, selvfølgelig, definere vendingerne syntaks og semantik
anderledes. Punktet er her, at der er en distinktion mellem formelle elementer,
som ikke har nogen indbygget betydning eller mening og de fænomener som har
indbygget betydning. Ud Fra disse præmisser følger det
Konklusion 1. Programmer hverken udgør eller er
tilstrækkelige til sind.
Og det er blot en anden måde at sige, at stærk AI
er forkert.
Det er vigtigt at indse, hvad der bevises og ikke
bevises af dette argument.
For det første har jeg ikke prøvet at bevise, at
"en computer ikke kan tænke." Da alt, der kan simuleres
beregningsmæssigt, kan beskrives som en computer og da vore hjerner til et
vist niveau kan simuleres, følger det trivielt at vore hjerner er computere
og at de bestemt kan tænke. Men fra det faktum at et system kan simuleres ved
symbolmanipulation og det faktum at det tænker, følger det ikke at tænkning
er ækvivalent med formel symbolmanipulation.
For det andet har jeg ikke prøvet at vise, at kun
biologisk baserede systemer, som vore hjerner, kan tænke. Lige nu er disse,
de eneste systemer vi ved, som en kendsgerning, kan tænke, men vi kunne finde
andre systemer i universet, der kan frembringe bevidste tanker og vi kunne
endda komme frem til at skabe tænkende systemer kunstigt. Jeg anser dette
emne som værende helt åbent.
For det tredie er stærk AI's thesis ikke, at, efter
alt vi ved, computere med de rette programmer kunne tænke, at de kunne have
til nu udetekterede psykologiske egenskaber; den er snarere, at de må tænke,
fordi det er alt, der er ved tænkning.
For det fjerde har jeg prøvet at gendrive stærk AI
defineret på denne måde. Jeg har prøvet at demonstrere, at programmet i sig
selv ikke udgør tænkning, fordi programmet udelukkende drejer sig om formel
symbolmanipulation - og vi ved uafhængigt, at symbolmanipulationer i sig selv
ikke er tilstrækkelige til at garantere tilstedeværelsen af betydning. Det er
det princip, på hvilket argumentet om det kinesiske rum virker.
Jeg understreger disse punkter her, delvist fordi det
forekommer mig at Churchlands [se "Could a Machine Think?" af Paul
M. Churchland og Patricia Smith Churchland, side 26] ikke helt har forstået
emnerne. De tror, at stærk AI hævder at computere kunne vise sig at tænke og
at jeg benægter denne mulighed pga. sund fornuft. Men det er ikke det, stærk
AI hævder og mit argument mod det har intet at gøre med sund fornuft.
Jeg vil have mere at sige om deres indvendinger
senere. I mellemtiden burde jeg pege på, at, modsat det Churchlands foreslår,
det kinesiske rums argument også gendriver nogle stærk AI påstande om de nye
parallelle teknologier, der er inspirerede af og er modeller af neurale
netværk. Ulig den traditionelle von Neumann computer, som skrider frem
trin-for-trin, har disse systemer mange beregningsmæssige elementer, der
virker i parallel og vekselvirker med hinanden ifølge regler, der er
inspireret af neurobiologi. Skønt resultaterne stadig er beskedne, rejser
disse "parallel distribueret beregning" eller
"connectionist" modeller nyttige spørgsmål om, hvordan komplekse
parallelle netværkssystemer, som dem i hjernen, i virkeligheden kunne fungere
i frembringelsen af intelligent adfærd.
Den parallelle, "hjernelignende" karakter
af behandlingen er imidlertid irrelevant for de rent beregningsmæssige sider
af processen. Enhver funktion, der kan beregnes på en parallel maskine, kan
også beregnes på en seriel maskine. Fordi parallelle maskiner stadig er
sjældne køres connectionistiske programmer sædvanligvis på traditionelle
serielle maskiner. Så giver parallel behandling ikke en vej uden om det
kinesiske rums argument.
Ydermere er det connectionistiske system, selv på
sine egne betingelser, underlagt en variant af den indvending, der
præsenteres af det oprindelige kinesiske rum argument. Forestil dig, at jeg i
stedet for et kinesisk rum har en kinesisk gymnastiksal, en hal, som
indeholder mange etsprogede, engelsktalende mænd. Disse mænd ville udføre de
samme operationer som knudepunkterne og synapserne i en connectionistisk
arkitektur som beskrevet af Churchlands og resultatet ville være det samme
som at have en mand til at manipulere symboler ifølge en regelbog. Ingen i
gymnastiksalen taler et ord kinesisk og der er ingen måde, hvorpå systemet
som helhed kan lære betydningen af nogen kinesiske ord. Alligevel ville
systemet med passende justeringer kunne give de korrekte svar på kinesiske
spørgsmål.
Som jeg antydede tidligere er der interessante
egenskaber ved connectionistiske net, som sætter dem i stand til at simulere
hjerneprocesser mere nøjagtigt end traditionel seriel arkitektur. Men
fordelene ved parallel arkitektur for svag AI er temmelig irrelevante for
emnerne mellem det kinesiske rums argument og stærk AI.
Churchlands mangler dette punkt, når de siger, at en
gymnastiksal, som er stor nok, kunne have mentale egenskaber på højt niveau,
som dukker frem af systemets størrelse og kompleksitet, ligesom hele hjerner
har mentale egenskaber, der ikke indehaves af individuelle neuroner. Det er,
selvfølgelig, en mulighed, men den har intet at gøre med beregning.
Beregningsmæssigt er serielle og parallelle systemer ækvivalente: enhver
beregning, der kan gøres parallelt, kan gøres serielt. Hvis manden i det
kinesiske rum er beregningsmæssigt ækvivalent til begge, så forstår han ikke
kinesisk alene på grund af at udføre beregningerne og det gør de heller ikke.
Churchlands har ret, når de siger, at det oprindelige kinesiske rum blev
konstrueret med henblik på traditionel AI, men tager fejl, når de tror, at
connectionismen er immun overfor argumentet. Det gælder for ethvert
beregningssystem. Man kan ikke få semantisk ladede tankeindhold alene fra
formelle beregninger, hvadenten de er udført serielt eller parallelt; det er
derfor det kinesiske rums argument gendriver stærk AI i enhver form.
Mange folk, som er under indtryk af dette argument, er ikke desto mindre
forvirrede over forskellen mellem folk og computere. Hvis mennesker, i det
mindste i en triviel forstand, er computere og hvis mennesker har en
semantik, hvorfor kunne vi så ikke give semantik til andre computere? Hvorfor
kunne vi ikke programmere en Vax eller Cray så den også ville have tanker og
følelser? Eller hvorfor kunne en ny computer teknologi ikke overvinde gabet
mellem form og indhold, mellem syntaks og semantik? Hvad er de faktiske
forskelle mellem dyrehjerner og computersystemer, der sætter det kinesiske
rums argument i stand til at virke mod computere men ikke mod hjerner?
Den mest indlysende forskel er, at processerne, der
definerer noget som en computer - beregningsprocesser - er fuldstændig
uafhængige af nogen reference til en specifik type hardware implementation. I
princippet kunne man lave en computer af gamle øldåser forbundet med snore og
drevet af vindmøller.
Skønt videnskaben stort set er uvidende om hvordan
hjerner fungerer og frembringer mentale tilstande, slås man af den ekstremt
specifikke anatomi og fysiologi. Hvor man har nogen forståelse af hvordan
hjerneprocesser frembringer mentale fænomener - f.eks. smerte, tørst, syn,
lugt - er det klart, at specifikke neurobiologiske processer er involverede.
Visse former for tørst forårsages af neuronfyringer i hypothalamus, som er
forårsaget af virkningen af en specifik peptid, angiotensin II.
Årsagsrækkefølgen er fra "bunden og op" i den forstand, at
neuronprocesser på lavt niveau forårsager mentale fænomener på højt niveau.
Så vidt vi ved forårsages hver "mentale" begivenhed, lige fra
følelser af tørst til tanker om matematiske teoremer og minder fra
barndommen, af specifikke neuroner, der fyrer i specifikke neurale
arkitekturer.
Men hvorfor skulle denne specificitet betyde noget?
Trods alt kunne neuronfyringer simuleres på computere, der havde en helt
anden fysik og kemi end hjernens. Svaret er, at hjernen ikke bare
tilvejebringer et formelt mønster eller program ( det gør den også), men den
forårsager også mentale begivenheder gennem specifikke neurobiologiske
processer. Hjerner er specifikke biologiske organer og deres specifikke
biokemiske egenskaber sætter dem i stand til at forårsage bevidsthed og andre
slags mentale fænomener. Computersimulationer af hjerneprocesser giver
modeller af disse processers formelle sider. Men simulationen bør ikke
forveksles med duplikation. Den beregningsmæssige model af mentale processer
er ikke mere virkelig end den beregningsmæssige simulation af noget andet
naturfænomen.
Man kan forestille sig en computersimulering af
peptiders virkning i hypothalamus, der er nøjagtig ned til den sidste synaps.
Men på samme måde kan man forestille sig en computersimulering af oxidationen
af kulbrinter i en bilmotor eller virkningen af fordøjelsesprocessen i en
mave når den fordøjer pizza. Og simuleringen er ikke mere den virkelige
proces i tilfældet med hjernen end den er i tilfældet med bilen eller maven.
Bortset fra mirakler kunne man ikke køre sin bil ved at køre en
computersimulering af oxideringen af benzin og man kunne ikke fordøje pizza
ved at køre det program der simulerer fordøjelse. Det forekommer indlysende,
at en simulering af kognition på samme måde ikke vil frembringe virkningerne
af kognitionens neurobiologi.
Så forårsages alle mentale fænomener af
neurofysiologiske processer i hjernen. Derfor
Axiom 4. Hjerner forårsager sind.
I forbindelse med min tidligere udledning udleder
jeg øjeblikkeligt, trivielt,
Konklusion 2. Ethvert andet system som er i
stand til at forårsage sind, skulle have kausale kræfter som (mindst) er ækvivalente
med hjerners.
Dette svarer til at sige, at hvis en elektrisk
motor skulle være i stand til at drive en bil så hurtigt som en benzinmotor,
så skal den (mindst) have en ækvivalent kraftydelse. Denne konklusion siger
intet om mekanismerne. Faktisk er kognition et biologisk fænomen: mentale
tilstande og processer forårsages af hjerneprocesser. Dette betyder ikke at
kun et biologisk system kunne tænke, men det betyder, at ethvert alternativt
system, hvadenten det er lavet af silicium, øldåser eller hvad, ville være
nødt til at have de relevante kausale evner, ækvivalente med hjerners. Så nu
kan jeg udlede
Konklusion 3. Enhver kunstig frembringelse, der
frembragte mentale fænomener, enhver kunstig hjerne, ville skulle kunne
duplikere hjerners specifikke kausale kræfter og den kunne ikke gøre det blot
ved at køre et formelt program.
Ydermere kan jeg udlede en vigtig konklusion om
menneskelige hjerner:
Konklusion 4. Den måde hvorpå menneskelige
hjerner i virkeligheden frembringer mentale fænomener på, kan ikke være ved
kun at køre et computerprogram.
Jeg fremsatte først lignelsen om det kinesiske rum i siderne i Behavioral
and Brain Sciences i 1980, hvor den fremkom, som det er sædvane i bladet,
sammen med kommentarer, i dette tilfælde 26 kommentarer. Jeg synes, at den
pointe den fremkommer med er temmelig indlysende, men til min overraskelse
blev offentliggørelsen fulgt af en yderligere strøm af indvendinger der -
mere overraskende - fortsætter til vore dage. Argumentet om det kinesiske rum
har klart berørt et ømt punkt.
Stærk AI's tese er, at et hvilket som helst system -
hvad enten det er lavet af øldåser, siliciumchips eller toiletpapir - ikke
blot kunne have tanker og følelser men skal have tanker og følelser, kun
under forudsætning af, at det anvender det rette program med de rette input
og output. Det er et udpræget antibiologisk synspunkt og man skulle tro at
folk i AI ville være glade for at forlade det. Mange af dem, især den yngre
generation, er enige med mig, men jeg er forbavset over forsvarernes antal og
heftighed. Her er nogle af de almindelige indvendinger.
a. I det kinesiske rum forstår man virkelig kinesisk,
selv om man ikke ved det. Det er, trods alt, muligt at forstå noget uden at
vide, at man forstår det.
b. Man forstår ikke kinesisk, men der er et
(ubevidst) undersystem i én der gør. Det er, trods alt, muligt at have
ubevidste mentale tilstande og der er ingen grund til, at ens forståelse af
kinesisk ikke skulle kunne være helt ubevidst.
c. Man forstår ikke kinesisk, men hele rummet gør.
Man er som en enkelt neuron i hjernen og ligesom en sådan enkelt neuron i sig
selv ikke kan forstå, men kun bidrager til forståelsen af hele systemet,
forstår man ikke, men hele systemet gør.
d. Semantik eksisterer alligevel ikke; der er kun
syntaks. Det er en slags førvidenskabelig illusion at antage, at der i
hjernen findes noget mystisk "mentalt indhold,"
"tankeprocesser" eller "semantik." Alt hvad der findes i
hjernen er den samme slags syntaktisk symbolmanipulation, som foregår i
computere. Intet mere.
e. Man kører i virkeligheden ikke computerprogrammet
- man tror kun at man gør. Når man en gang har et bevidst middel, der
gennemgår programmets trin, holder det helt op med at være et tilfælde af
implementering af programmet.
f. Computere ville have semantik og ikke blot
syntaks, hvis deres input og output blev sat i passende kausal relation til
resten af verden. Forestil dig, at vi satte computeren ind i en robot,
forbandt tv kameraer til robottens hoved, installerede transducere, som
forbandt tv budskaberne til computeren og fik computer output til at drive
robottens arme og ben. Så ville hele systemet have en semantik.
g. Hvis programmet simulerede hjernens funktion hos
en kinesisk talende, så ville det forstå kinesisk. Antag, at vi simulerede
hjernen hos en kinesisk person på neuronernes niveau. Så var det sikkert, at
et sådant system ville forstå kinesisk så godt som nogen kinesisk persons
hjerne.
Og så videre.
Alle disse argumenter deler en fælles egenskab: de er
alle utilfredsstillende, fordi de ikke behandler det aktuelle kinesiske rums
argument. Det argument hviler på distinktionen mellem den formelle
symbolmanipulation, som udføres af computeren og de mentale indhold som
biologisk frembringes af hjernen, en distinktion jeg har forkortet - ikke
fejlagtigt, håber jeg - som distinktionen mellem syntaks og semantik. Jeg vil
ikke gentage mine svar på alle disse indvendinger, men det vil hjælpe med at
klargøre emnerne, hvis jeg forklarer svaghederne ved den mest udbredte
indvending, argument c - det jeg kalder systemets svar. (Hjernesimulator
svaret, argument g, er en anden populær indvending, men den har jeg allerede
beskæftiget mig med i den foregående sektion).
Systemer-svaret forsikrer, at selvfølgelig forstår du ikke kinesisk, men
hele systemet - du, rummet, regelbogen, kurvene fulde af symboler - gør. Da
jeg først hørte denne forklaring, spurgte jeg en af fortalerne, "Mener
du at rummet forstår kinesisk?" Hans svar var ja. Det er en vovet påstand,
men bortset fra dens utroværdighed, vil den ikke virke af rent logiske
grunde. Punktet i det oprindelige argument var, at symbolmanipulation i sig
selv ikke giver nogen adgang til betydningen af symbolerne. Men det er lige
så sandt for hele rummet, som det er for personen derinde. Man kan se dette
punkt ved at udvide tankeeksperimentet. Forestil dig, at jeg lærer indholdet
af kurvene og regelbogen udenad og udfører alle beregningerne i hovedet. Man
kan endda forestille sig at jeg arbejder udenfor. Der er intet i
"systemet" som ikke er i mig og da jeg ikke forstår kinesisk gør
systemet heller ikke.
I deres ledsagende skrift fremfører Churchlands en
variant af systemsvaret ved at forestille sig en morsom analogi. Antag, at
nogen sagde, at lys ikke kunne være elektromagnetisk for hvis man ryster en
stangmagnet i et mørkt rum vil systemet ikke afgive noget synligt lys. Nu
spørger Churchlands om ikke det kinesiske rums argument er ligesådan? Siger
det ikke blot at hvis man ryster kinesiske symboler i et semantisk mørkt rum,
vil de ikke afgive lyset af kinesisk forståelse? Men på samme måde som senere
undersøgelse viste, at lys helt udgjordes af elektromagnetisk stråling, kunne
senere undersøgelse så ikke vise at semantik helt bestod af syntaks? Er dette
ikke et spørgsmål om videre videnskabelig undersøgelse?
Argumenter fra analogi er notorisk svage, fordi man,
før man kan få argumentet til at virke, skal etablere, at de to tilfælde er
virkeligt analoge. Og her mener jeg de ikke er det. Redegørelsen for lys ved hjælp
af elektromagnetisk stråling er en årsagsmæssig fortælling helt ned til
bunden. Det er en årsagsmæssig redegørelse for den elektromagnetiske
strålings fysik. Men analogien med formelle symboler fejler, fordi formelle
synboler ikke har nogen fysiske kausale kræfter. Den eneste kraft symboler
har, qua symboler, er kraften til at forårsage det næste trin i programmet,
når maskinen kører. Og det er ikke et spørgsmål om at vente på yderligere
forskning for at afsløre de fysiske, kausale egenskaber ved 0'er og 1'er. De
eneste relevante egenskaber ved 0'er og 1'er er abstrakte beregningsmæssige
egenskaber og de er allerede velkendte.
Churchlands klager over at jeg "inviterer til
spørgsmålet," når jeg siger, at utolkede formelle symboler ikke er
identiske med mentalt indhold. Tja, jeg brugte ikke megen tid på at
argumentere for det, fordi jeg anser det for en logisk sandhed. Som med
enhver logisk sandhed kan man hurtigt se, at den er sand, fordi man får
inkonsistenser, hvis man prøver at forestille sig det omvendte. Så lad os
prøve det. Antag, at der i det kinesiske rum virkelig foregår nogen
udetekterbar kinesisk tænkning. Hvad er det som eksakt gør manipulationen af
syntaktiske elementer til specifikt kinesisk tankeindhold? Tja, trods alt
antager jeg, at programmørerne var kinesisk talende, som programmerede
systemet til at behandle kinesisk information.
Fint. Men forestil dig nu at jeg, mens jeg sidder i
det kinesiske rum og flytter de kinesiske symboler, keder mig ved kun at
flytte de - for mig - meningsløse symboler. Så antag, at jeg beslutter at
tolke symbolerne som stående for træk i et skakspil. Hvilken semantik afgiver
systemet nu? Afgiver det en kinesisk semantik eller en skaksematik eller
begge samtidigt? Antag, at en tredie person kigger ind gennem vinduet og hun
beslutter, at symbolmanipulationerne alle kan tolkes som aktiemarked
forudsigelser. Og så videre. Der er ingen grænse for antallet af semantiske
tolkninger, der kan tillægges symbolerne, fordi, for at gentage det,
symbolerne er helt formelle. De har ingen indbygget semantik.
Er der nogen måde, hvorpå man kan redde Churchlands
analogi fra at være usammenhængende? Jeg sagde ovenfor, at formelle symboler
ikke har nogen kausale egenskaber. Men selvfølgelig vil programmet altid
blive udført i noget hardware og hardwaren vil have specifikke fysiske
kausale kræfter. Og enhver virkelig computer vil afgive forskellige
fænomener. Mine computere afgiver f.eks. varme og de giver en brummende lyd
og sommetider knusende lyde. Så er der nogen logisk overbevisende grund til,
at de ikke også skulle kunne afgive bevidsthed? Nej. Videnskabeligt er ideen
ikke mulig, men den er ikke noget, det kinesiske rums argument skal
tilbagevise og den er ikke noget en tilhænger af stærk AI ville ønske at
forsvare, fordi enhver sådan afgivelse måtte stamme fra egenskaberne ved det
udførende medium. Men den grundlæggende præmis ved stærk AI er, at de fysiske
egenskaber ved det udførende medium er totalt irrelevante. Det, der betyder
noget, er programmer og programmer er rent formelle.
Churchlands analogi mellem syntaks og
elektromagnetisme konfronteres så med et dilemma; enten udlægges syntaksen
rent formelt ved hjælp af dens abstrakte matematiske egenskaber, eller ikke.
Hvis den gør, så bryder analogien sammen, fordi syntaks udlagt på den måde
ikke har nogen fysiske kræfter og derfor ingen fysiske, kausale kræfter. Hvis
man på den anden side antages at tænke ved hjælp af det udførende mediums
fysik, så er der virkelig en analogi, men det er ikke en, der er relevant for
stærk AI.
Fordi punkterne, jeg har fremdraget, er temmelig indlysende - syntaks er
ikke det samme som semantik, hjerneprocesser forårsager mentale fænomener -
rejser spørgsmålet sig: Hvordan kom vi ind i dette rod? Hvordan kunne nogen
have antaget, at en computer simulation af en mental proces skal være den
virkelige ting? Trods alt er hele pointen ved modeller, at de kun indeholder
visse egenskaber ved det område man laver model af og udelader resten. Ingen
venter at blive våd i et svømmebassin fyldt med Ping-Pong-bold modeller af
vandmolekyler. Så hvorfor skulle nogen tro, at en computermodel af
tankeprocesser i virkeligheden ville tænke?
En del af svaret er, at folk har arvet en rest af
behaviouristiske psykologiske teorier fra den tidligere generation.
Turingprøven indeholder fristelsen at tro, at hvis noget opfører sig som om
det har visse mentale processer, så må det i virkeligheden have disse mentale
processer. Og dette er del af behaviouristernes fejlagtige antagelse, at for
at være videnskabelig, skal psykologien begrænse sine studier til ydre
observerbar adfærd. Det er paradoksalt, at denne resterende behaviourisme er
bundet til en resterende dualisme. Ingen tror, at en computersimulering af
fordøjelse i virkeligheden ville fordøje noget, men når det drejer sig om
kognition, er folk villige til at tro på et sådant mirakel, fordi de ikke
indser, at sindet er lige så meget et biologisk fænomen som fordøjelse. De
antager, at sindet er noget formelt og abstrakt, ikke en del af det våde og
slimede i vore hoveder. Den polemiske litteratur i AI indeholder sædvanligvis
angreb på noget forfatterne kalder dualisme, men det, de ikke indser, er, at
de selv udviser stærk dualisme, for medmindre man accepterer ideen om, at
sindet er fuldstændigt uafhængigt af hjernen eller noget andet fysisk
specifikt system, er det ikke muligt at håbe på at skabe sind blot ved at
konstruere programmer.
Historisk er de vestlige videnskabelige udviklinger,
der behandler mennesker blot som en del af den almindelige biologiske orden,
blevet modarbejdet af forskellige reaktionære fraktioner. Kopernikus og
Galileo var imod, fordi de nægtede at jorden var centrum for universet;
Darwin var imod, fordi han hævdede at mennesker var opstået fra lavere dyr.
Det er bedst at se stærk AI som et af de sidste gisp fra denne
antividenskabelige tradition, for den nægter at der er noget essentielt
fysisk og biologisk ved det menneskelige sind. Ifølge stærk AI er sindet
uafhængigt af hjernen. Det er et computerprogram og har som sådan ingen essentiel
forbindelse med nogen specifik hardware.
Mange folk, som tvivler på den psykologiske betydning
af AI, tror at computere kunne forstå kinesisk og tænke på tal, men ikke kan
gøre de afgørende menneskelige ting, nemlig - og følger så deres foretrukne
menneskelige specialitet - forelske sig, have humoristisk sans, føle angsten
ved det postindustrielle samfund under den sene kapitalisme eller hvad nu.
Men arbejdere i AI klager - korrekt - over at dette er at flytte
målstolperne. Så snart en AI simulering lykkes, holder den op med at være af
psykologisk betydning. I denne debat ser begge parter ikke forskellen mellem
simulering og duplikation. Hvad angår simulering er det ikke vanskeligt at
programmere min computer, så den udskriver "Jeg elsker dig, Suzy";
"Ha-Ha"; eller "Jeg lider af angst for det postindustrielle
samfund under den sene kapitalisme." Det vigtige punkt er, at simulering
ikke er det samme som duplikering og den kendsgerning er lige så vigtig for
at tænke på aritmetik, som den er for at føle angst. Pointen er ikke, at
computeren kun kommer til 40-yard linien og ikke hele vejen til mållinien.
Computeren kommer slet ikke igang. Den spiller ikke det spil.

* John R. Searle er professor i filosofi på University of
California, Berkeley. Han modtog sin B.A., M.A. og Dr. Phil. fra
University of Oxford, hvor han var Rhodes elev. Han ønsker at takke Stuart
Dreyfus, Stevan Harnad, Elizabeth Lloyd og Irvin Rock for deres kommentarer
og forslag.
Fra Is the Brain's Mind a Computerprogram? Scientific
American, januar 1990, pp.20-25.

18. juli, 2002.
Index
|