【作者簡(jiǎn)介】徐獻(xiàn)軍，男，浙江大學(xué)人文學(xué)院博士后研究人員，杭州電子科技大學(xué)馬克思主義學(xué)院副教授，哲學(xué)博士，主要從事現(xiàn)象學(xué)與認(rèn)知科學(xué)研究，浙江　杭州　310028。

【內(nèi)容提要】一般認(rèn)為，現(xiàn)代哲學(xué)與技術(shù)實(shí)踐是分離的，這種未經(jīng)反思的信念之所以為人接受，原因在于哲學(xué)總是作為技術(shù)實(shí)踐的背景而存在。人們只有在技術(shù)難題無法通過技術(shù)手段克服時(shí)，才有可能去反思它背后的哲學(xué)假設(shè)。計(jì)算機(jī)與哲學(xué)的距離似乎是最遙遠(yuǎn)的，然而潛藏在計(jì)算機(jī)科學(xué)和技術(shù)深處的是傳統(tǒng)的哲學(xué)信念——世界的可表征性和主客的二元分立。當(dāng)科學(xué)家們想要弄清知識(shí)表征難題的根源時(shí)，傳統(tǒng)的哲學(xué)信念才開始得到嚴(yán)肅反思和摒棄。海德格爾憑借他對(duì)傳統(tǒng)哲學(xué)的深刻批判而進(jìn)入到計(jì)算機(jī)領(lǐng)域中。在海德格爾式的設(shè)計(jì)進(jìn)路中，最具代表性的工作是：存在主義設(shè)計(jì)、指示表征設(shè)計(jì)、具身交互設(shè)計(jì)。它們說明，哲學(xué)不只是技術(shù)實(shí)踐的批判者和局外人，還可以成為參與者和推動(dòng)者。

【關(guān) 鍵 詞】海德格爾/計(jì)算機(jī)/哲學(xué)/技術(shù)實(shí)踐/被拋境況/上手狀態(tài)/指示表征/具身交互

一般認(rèn)為，古希臘時(shí)期的哲學(xué)是一門包羅萬象的科學(xué)，而到了近代，隨著自然科學(xué)分門別類的發(fā)展，哲學(xué)與具體科學(xué)逐漸拉開了距離，各門具體科學(xué)都以脫離哲學(xué)作為自身獨(dú)立的標(biāo)志(如實(shí)驗(yàn)心理學(xué)從哲學(xué)中的分離)。技術(shù)是對(duì)自然科學(xué)的應(yīng)用，因此，現(xiàn)代技術(shù)與哲學(xué)的距離就更遙遠(yuǎn)了，或者說，兩者根本就是風(fēng)馬牛不相及。然而，隨著哲學(xué)與計(jì)算機(jī)之間的內(nèi)在聯(lián)系逐漸得到解蔽，人們將不得不懷疑甚至放棄上述主流信念。如人工智能(以下簡(jiǎn)稱AI)試圖賦予計(jì)算機(jī)以智能的努力，就是以兩種傳統(tǒng)哲學(xué)假設(shè)為基礎(chǔ)的：存在論假設(shè)——世界可以表征為由非對(duì)即錯(cuò)的原子事實(shí)或命題組成的系統(tǒng)；身心二元論假設(shè)——人分為身體與心靈兩部分，而身體與認(rèn)知是無關(guān)的[1]14。斯坦福大學(xué)計(jì)算機(jī)科學(xué)系教授威諾格拉德(Terry Winograd)和弗洛雷斯(Fernando Flores)也認(rèn)為，盡管計(jì)算機(jī)專家們通常“不把他們自己當(dāng)作哲學(xué)家，但他們的思考方式確實(shí)體現(xiàn)了一種哲學(xué)方向”[2]17。面對(duì)難以克服的困難，一些計(jì)算機(jī)專家開始反思作為其工作基礎(chǔ)的哲學(xué)假設(shè)，并開始以反傳統(tǒng)的海德格爾哲學(xué)為基礎(chǔ)來構(gòu)建一種新式的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)進(jìn)路。其中最具代表性的是：威諾格拉德的存在主義設(shè)計(jì)、阿格勒(Philip E. Agre)的指示表征設(shè)計(jì)和多羅希(Paul Dourish)的具身交互設(shè)計(jì)。

海德格爾與計(jì)算機(jī)的聯(lián)系首先是通過哲學(xué)家德雷弗斯建立起來的。20世紀(jì)60年代，德雷弗斯正在美國(guó)麻省理工學(xué)院教授海德格爾哲學(xué)。來自該校AI實(shí)驗(yàn)室的學(xué)生們告訴他：“你們這些哲學(xué)家坐在躺椅上思考了兩千多年，但你們還是不能理解智能。我們所在的AI實(shí)驗(yàn)室接管了你們的問題，并在你們失敗的地方取得了成功。目前我們?cè)诮o計(jì)算機(jī)編程，讓它們展現(xiàn)人類的智能：?jiǎn)栴}求解、自然語言理解、知覺和學(xué)習(xí)?！盵3]1137著名的AI專家阿格勒當(dāng)時(shí)正是該實(shí)驗(yàn)室的學(xué)生。阿格勒回憶道，當(dāng)時(shí)實(shí)驗(yàn)室里的人普遍認(rèn)為：“哲學(xué)只是思考，而技術(shù)是實(shí)際操作，因此哲學(xué)是先天不足的”[4]239。這種挑戰(zhàn)迫使德雷弗斯開始關(guān)注AI的研究。他發(fā)現(xiàn)AI以之為基礎(chǔ)的哲學(xué)正是為海德格爾和梅洛-龐蒂所批判的[5]22-29。如果海德格爾和梅洛-龐蒂是對(duì)的，那么以傳統(tǒng)哲學(xué)為根基的AI進(jìn)路是不可能成功的。這種觀點(diǎn)遭到了AI陣營(yíng)的強(qiáng)烈排斥。

20世紀(jì)70年代，AI步入了冬天。一些AI專家在困境中開始正視過去不受重視的批評(píng)意見。其中最著名的是威諾格拉德，他曾設(shè)計(jì)了微世界研究中最著名的積木世界程序“SHRDLU”——它可以遵照用日常英語發(fā)出的指令讓計(jì)算機(jī)屏幕上的機(jī)械臂移動(dòng)積木。此后，他領(lǐng)導(dǎo)的小組雄心勃勃地開展起了知識(shí)表征語言的研究。然而，這項(xiàng)工作陷入了難以預(yù)計(jì)的困難之中。2003年，明斯基也確認(rèn)：知識(shí)表征難題正是讓AI徹底癱瘓的難題。

在德雷弗斯的影響下，威諾格拉德開始從哲學(xué)視角，而不單單從技術(shù)角度出發(fā)，來思考AI挫折的根源。他說：“與德雷弗斯的談話對(duì)我在計(jì)算機(jī)科學(xué)中的工作產(chǎn)生了巨大影響?！盵6]viii他把AI的哲學(xué)假設(shè)概括為理性主義進(jìn)路：“思維的本質(zhì)方面可以通過形式符號(hào)表征得到把握。不論它是否直接與形式邏輯相聯(lián)系，它都像邏輯一樣運(yùn)行，因?yàn)榈玫搅己枚x的算法規(guī)則能夠以符號(hào)結(jié)構(gòu)的形式被應(yīng)用在模型(進(jìn)程和知識(shí))中。通過這種邏輯，我們能夠創(chuàng)造出智能程序，并設(shè)計(jì)出使交互得到最優(yōu)化的系統(tǒng)?！盵7]1257紐厄爾和西蒙的物理符號(hào)系統(tǒng)假設(shè)就是這種進(jìn)路的最典型表達(dá)。

威諾格拉德認(rèn)為，既然AI的挫折可溯源至理性主義傳統(tǒng)，那么這種傳統(tǒng)的批判者——海德格爾，完全可以成為新式計(jì)算機(jī)系統(tǒng)設(shè)計(jì)的哲學(xué)基礎(chǔ)。這種設(shè)想一俟提出，就引起了很大爭(zhēng)論。新式AI(即行為主義AI)的開創(chuàng)者布魯克斯(Rodney Brooks)就否認(rèn)海德格爾與計(jì)算機(jī)的聯(lián)系：“在某些圈子里，海德格爾作為理解存在動(dòng)力學(xué)的學(xué)者而得到很大的信任。我們的進(jìn)路與這位德國(guó)哲學(xué)家所激發(fā)的工作有相當(dāng)?shù)念愃疲覀兊墓ぷ鳑]有從他那里得到啟發(fā)。我們的進(jìn)路純粹是以工程考慮為基礎(chǔ)，并不能作為哲學(xué)爭(zhēng)論中某一方的論據(jù)。”[8]97另有學(xué)者主張：計(jì)算機(jī)專家僅憑自身的反思即可，不須涉足海德格爾哲學(xué)也能參透人類活動(dòng)和經(jīng)驗(yàn)的本質(zhì)。上述反對(duì)意見不僅可溯源到現(xiàn)代哲學(xué)與科學(xué)、技術(shù)的分裂，而且反映了主流技術(shù)界對(duì)作為其工作背景的哲學(xué)有嚴(yán)重的輕視和誤解。在這種情況下，有必要對(duì)海德格爾式的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)工作加以考察并探尋以下問題：海德格爾對(duì)當(dāng)代計(jì)算機(jī)領(lǐng)域產(chǎn)生了什么影響？哲學(xué)能否與技術(shù)相融合？

一、存在主義設(shè)計(jì)

威諾格拉德的存在主義設(shè)計(jì)源自對(duì)主流計(jì)算機(jī)工作中的理性主義傳統(tǒng)的反思和摒棄。理性主義傳統(tǒng)認(rèn)為，客觀事物由具有屬性和關(guān)系的要素構(gòu)成；認(rèn)知主體搜集關(guān)于事物的信息，并在頭腦中組建對(duì)客觀事物的精神表征模型?！爸R(shí)就是表征的存儲(chǔ)庫(kù)，而表征可以用于推理，并被翻譯為語言。思維就是操控表征的進(jìn)程?！盵2]73計(jì)算機(jī)通過模擬這種進(jìn)程可以具備人的思維，認(rèn)知主體與認(rèn)知對(duì)象(客觀事物)是分離的。這種思想正是經(jīng)典AI的基礎(chǔ)。

海德格爾堅(jiān)決反對(duì)上述思想?！霸谑譅顟B(tài)的客體源自更基本的存在方式。在這種上手的存在方式中，既沒有客體，也沒有屬性。事物在中斷時(shí)才會(huì)凸顯出來，即在不可上手時(shí)才會(huì)作為被關(guān)注的事物來解蔽它們自己……海德格爾作出了更徹底的批判，他認(rèn)為我們無法區(qū)分有意識(shí)的、反思的認(rèn)知主體和疏離的客體?！盵2]73對(duì)客觀事物的表征只是派生現(xiàn)象，只在正?；顒?dòng)中斷時(shí)才出現(xiàn)。智能的真正根源是在世界之中的存在，而不是反思表征。如果海德格爾是對(duì)的，那么經(jīng)典AI的表征主義進(jìn)路就是錯(cuò)的。因此，威諾格拉德提出，經(jīng)典AI提出的計(jì)算機(jī)能否思考、能否取代人的問題，應(yīng)該轉(zhuǎn)換為這樣的問題：如何讓計(jì)算機(jī)成為思考的工具、人的工具。相應(yīng)地，他放棄了知識(shí)表征語言的研究而轉(zhuǎn)到了人機(jī)交互領(lǐng)域，并倡導(dǎo)存在主義的設(shè)計(jì)進(jìn)路。它的“關(guān)鍵點(diǎn)不在于模擬智能的內(nèi)在運(yùn)作，而在于人與變動(dòng)環(huán)境的交互”[7]1257。

另外，海德格爾對(duì)日常經(jīng)驗(yàn)——被拋境況(Geworfenheit/thrownness)、上手狀態(tài)(Zuhandheit/readiness-to-hand)、中斷(breakdown)等等的分析，也在人機(jī)交互界面的理解和設(shè)計(jì)中得到具體應(yīng)用。

設(shè)計(jì)的初始問題是人能夠用計(jì)算機(jī)做什么。要解答這個(gè)問題，必須要先弄清：人是怎么做的。在經(jīng)典AI中被廣為接受的是西蒙的理性主義決策理論。決策的特征是信息搜集和處理。“在任何時(shí)候；行為主體或由其構(gòu)成的組織，都面臨許多可選擇行為，其中一些是有意識(shí)的，另一些是無意識(shí)的。這里所指的決定或選擇，就是執(zhí)行可選項(xiàng)的過程。決定行為的決策就是策略……任何策略都會(huì)有一定結(jié)果。理性決策的任務(wù)是選擇能夠達(dá)到期待結(jié)果的策略?！盵9]67決策包括以下步驟：列出所有的策略選項(xiàng)；確定每個(gè)策略的所有結(jié)果；對(duì)這些結(jié)果進(jìn)行比較。人不可能知道所有的選項(xiàng)和結(jié)果，因此人的實(shí)際行為不能完全遵循客觀理性。相應(yīng)地，由于計(jì)算機(jī)程序是人來編程的，所以它也不能計(jì)算出所有的結(jié)果，只能根據(jù)“有限理性”來運(yùn)作。在計(jì)算機(jī)領(lǐng)域中，西蒙的理論又被稱為形式進(jìn)路，而計(jì)算機(jī)科學(xué)家們相信這種理論是對(duì)人類決策活動(dòng)的正確解釋。這種理論在經(jīng)典AI中的最著名應(yīng)用就是問題求解——計(jì)算機(jī)程序借助啟式法，在巨大可能性的空間中搜索解法。

海德格爾則提出了不同的解釋。他認(rèn)為當(dāng)我們?cè)谌粘Ｉ钪信c他人進(jìn)行互動(dòng)活動(dòng)時(shí)，我們就進(jìn)入了被拋境況，例如開車、主持會(huì)議、在擁擠的馬路上走路等等。在這種境況中，一個(gè)人首先“被拋入”獨(dú)立于其意志的行動(dòng)情境中；他不能停下來反思，必須立刻作出反應(yīng)；行動(dòng)的效果是無法預(yù)測(cè)的；他不建構(gòu)對(duì)情境的靜態(tài)表征。在被拋境況中，行動(dòng)的特性就是非反思性，人通常只在行動(dòng)過后或行動(dòng)受阻時(shí)才會(huì)反思行動(dòng)的過程。人的最佳行動(dòng)不是理性思慮的結(jié)果，而是完全無我地受被拋境況引導(dǎo)的結(jié)果，即無我的行動(dòng)。莊子稱這種境況為坐忘。因此，存在主義設(shè)計(jì)不再將設(shè)計(jì)的對(duì)象指向疏離于情境的觀察者及其思考，而轉(zhuǎn)向了被拋境況，即主客不分的存在情境。

被拋境況指向的是設(shè)計(jì)的起點(diǎn)，而上手狀態(tài)和中斷分別指向設(shè)計(jì)的終點(diǎn)和過程。威諾格拉德認(rèn)為，在設(shè)計(jì)中被廣泛使用的術(shù)語，如用戶友好的(user-friendly)、易學(xué)的(easy-to-learn)和自解釋的(self-explaining)交互界面屬性等，實(shí)質(zhì)上就是海德格爾所謂的上手狀態(tài)。設(shè)計(jì)的終點(diǎn)是：讓人機(jī)交互界面提供最好的上手狀態(tài)。過去的Apple Mac Intosh(及其先驅(qū)Xerox Star)和近來的Apple iPad 1/2的成功，就在于它們能夠向用戶提供更好的上手狀態(tài)。經(jīng)典AI的人機(jī)交互設(shè)計(jì)傾向于讓計(jì)算機(jī)像人一樣，以便讓人機(jī)交互更為便捷。存在主義設(shè)計(jì)則以上手狀態(tài)為目標(biāo)。因?yàn)楹５赂駹栐赋觯寒?dāng)工具進(jìn)入上手狀態(tài)中時(shí)，人與工具達(dá)成了一體，這時(shí)，兩者的最佳交互就是一種不分主客、無主體、無客體的狀態(tài)。上手狀態(tài)的設(shè)計(jì)就是要讓交互變得更透明。在交互界面表層，有許多方式可用來實(shí)現(xiàn)這種透明性，例如特殊功能鍵(用一個(gè)按鍵來執(zhí)行有意義的行動(dòng)，如一鍵恢復(fù)等)、指點(diǎn)設(shè)備(使選擇屏幕上的一個(gè)客體變得可能，如鼠標(biāo)單擊、觸摸屏等)、菜單(在一系列相關(guān)行動(dòng)中進(jìn)行選擇)。相反，早期的人機(jī)交互設(shè)計(jì)就會(huì)迫使用戶面對(duì)計(jì)算機(jī)的在手狀態(tài)。如讓用戶自己去設(shè)置和處理具體的電子電路來與計(jì)算機(jī)互動(dòng)，這使得用戶只能局限于少數(shù)專業(yè)人員。

另外，中斷也在設(shè)計(jì)中起重要作用。中斷，即用具由上手狀態(tài)轉(zhuǎn)入不可上手狀態(tài)，也就是錯(cuò)誤的出現(xiàn)。但它不是設(shè)計(jì)者所要避免的負(fù)面情境，相反，它對(duì)于設(shè)計(jì)有非常積極的意義，因?yàn)橹袛嗫梢宰屧O(shè)計(jì)者更深入地認(rèn)識(shí)存在。“在海德格爾這里，問題出現(xiàn)的情境是中斷，即我們習(xí)慣的、標(biāo)準(zhǔn)的、舒服的'在世界中存在’的中斷時(shí)刻。中斷具有極端重要的認(rèn)知功能，它能向我們揭示我們實(shí)踐和器具的本質(zhì)，并讓它們?cè)谑帧Ｔ谶@個(gè)意義上，中斷具有正面效用……新的設(shè)計(jì)只有在經(jīng)常出現(xiàn)的中斷結(jié)構(gòu)涌現(xiàn)出來的空間中才能進(jìn)行。設(shè)計(jì)是對(duì)中斷的解釋，以及預(yù)測(cè)未來中斷的努力?！盵2]77-78

威諾格拉德的存在主義設(shè)計(jì)進(jìn)路在海德格爾式的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)發(fā)展史上屬于早期的理念構(gòu)建階段，還不是非常具體化。它最重要的意義是：發(fā)掘了計(jì)算機(jī)科學(xué)和技術(shù)深處的哲學(xué)假設(shè)；將海德格爾引入到計(jì)算機(jī)領(lǐng)域，開創(chuàng)了海德格爾式的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)的新進(jìn)路。這種新的理念雖然還沒有成為主流，但也吸引了一批年輕的計(jì)算機(jī)專家。

二、指示表征設(shè)計(jì)

阿格勒是加州大學(xué)洛杉磯分校信息學(xué)系的副教授，他曾就讀于MIT的人工智能實(shí)驗(yàn)室。與大多數(shù)AI研究者一樣，阿格勒一開始也對(duì)德雷弗斯的批判意見不屑一顧。然而，當(dāng)他試圖建構(gòu)符合日常經(jīng)驗(yàn)的AI模型時(shí)，他發(fā)現(xiàn)德雷弗斯是對(duì)的，而經(jīng)典AI對(duì)人類活動(dòng)的分析是錯(cuò)誤的。“我相信人們?nèi)牡赝渡碛?involved in)他們的周遭世界中，而被笛卡兒視為當(dāng)然的認(rèn)知獨(dú)立是錯(cuò)誤的。這個(gè)立場(chǎng)海德格爾與梅洛-龐蒂已經(jīng)主張過了，我希望用技術(shù)手段來論證它。”[4]xi

阿格勒認(rèn)為，正是經(jīng)典AI對(duì)人類活動(dòng)的錯(cuò)誤認(rèn)識(shí)導(dǎo)致技術(shù)難題反復(fù)出現(xiàn)，海德格爾對(duì)人類活動(dòng)本質(zhì)的批判分析有助于解決這些難題。阿格勒既不想完全站在技術(shù)實(shí)踐者的立場(chǎng)上，也不想完全站在哲學(xué)家的立場(chǎng)上。因?yàn)榍罢邞岩蓙碜苑羌夹g(shù)領(lǐng)域的理智工具能夠提升技術(shù)，而后者不僅不喜歡技術(shù)，也懷疑前者可以對(duì)技術(shù)革新做出正面貢獻(xiàn)。他主張批判性的技術(shù)實(shí)踐，即將哲學(xué)與技術(shù)實(shí)踐合為一體。“在這種實(shí)踐中，對(duì)實(shí)踐的批判反思是實(shí)踐本身的一部分?！盵4]xii這種實(shí)踐工作的重點(diǎn)不是闡釋海德格爾哲學(xué)，而是通過解蔽技術(shù)實(shí)踐中的哲學(xué)思想來擴(kuò)展技術(shù)實(shí)踐。

計(jì)算技術(shù)篤信的人類活動(dòng)觀源于笛卡兒主義，兩者之間存在動(dòng)態(tài)的共同強(qiáng)化關(guān)系。前者強(qiáng)調(diào)計(jì)算機(jī)中的計(jì)算過程，后者強(qiáng)調(diào)心靈中的思維過程；前者認(rèn)為計(jì)算與硬件無關(guān)，后者認(rèn)為心靈與身體分立。“計(jì)算主義顯然繼承了笛卡兒主義，但它以復(fù)雜和原創(chuàng)的方式革新了笛卡兒的思想。”[4]2

既然笛卡兒主義為經(jīng)典AI提供了思想基礎(chǔ)，那么反笛卡兒的潮流(如海德格爾對(duì)日?；顒?dòng)的現(xiàn)象學(xué)分析)就有可能成為新式AI的基礎(chǔ)。當(dāng)然，其中的困難也是顯而易見的。一方面，無論是現(xiàn)象學(xué)還是技術(shù)陣營(yíng)，普遍都認(rèn)為現(xiàn)象學(xué)和技術(shù)領(lǐng)域是不可通約的。另一方面，現(xiàn)象學(xué)在與技術(shù)領(lǐng)域?qū)訒r(shí)，其詞匯是貧乏的(盡管德雷弗斯做了大量努力)?！霸谶@種框架下，并且在所有概念都要被技術(shù)實(shí)現(xiàn)的前提下，反表征主義的意向性思想很容易被當(dāng)作神秘主義，就好像意向性是聯(lián)結(jié)精神狀態(tài)與其指稱物的超自然力量。”[4]239這兩方面的原因都導(dǎo)致絕大多數(shù)設(shè)計(jì)者們更偏愛計(jì)算主義以及笛卡兒式的哲學(xué)背景。

指示表征設(shè)計(jì)就是為了將現(xiàn)象學(xué)與技術(shù)領(lǐng)域相對(duì)接，并克服反表征主義之神秘性而進(jìn)行的重要努力?！爱?dāng)前的技術(shù)是隱秘的哲學(xué)，關(guān)鍵在于讓它成為公開的哲學(xué)?！盵4]240與指示表征相對(duì)的是客觀表征，而在經(jīng)典AI中占據(jù)主導(dǎo)地位的正是后者。與這兩種表征觀相對(duì)應(yīng)的是兩種存在論：客觀存在論與指示存在論?？陀^存在論認(rèn)為：對(duì)個(gè)別事物的定義不需要訴諸任何智能體活動(dòng)、意向狀態(tài)或活動(dòng)環(huán)境；智能體通過事物的客觀屬性與事物發(fā)生聯(lián)系，而且事物獨(dú)立于智能體而存在。與之相反的是，在指示存在論中，個(gè)別事物必須在索引和功能意義上得到定義。索引性指事物與智能體的聯(lián)系，而功能性指事物在智能體活動(dòng)中的作用。客觀實(shí)在的例子是門、信封，而指示實(shí)在的例子是：我現(xiàn)在打開的門、我剛剛打開的信封。這種主張直接來自海德格爾在《存在與時(shí)間》中對(duì)日常意向性的分析。與客觀存在論相對(duì)應(yīng)的是事物的在手狀態(tài)，而與指示存在論相對(duì)應(yīng)的是事物的上手狀態(tài)。海德格爾認(rèn)為上手狀態(tài)優(yōu)先于在手狀態(tài)，因?yàn)榍罢叻从沉巳祟惢顒?dòng)的真正本質(zhì)。相應(yīng)地，阿格勒認(rèn)為，指示表征是主導(dǎo)的表征形式，因此，程序設(shè)計(jì)應(yīng)由客觀表征設(shè)計(jì)轉(zhuǎn)向指示表征設(shè)計(jì)?！叭斯ぶ破凡煌ㄟ^既定客體的客觀屬性與它互動(dòng)，而通過客體在人工制品活動(dòng)中的角色與它互動(dòng)?！盵4]246

在傳統(tǒng)的客觀表征設(shè)計(jì)中，符號(hào)表征并關(guān)聯(lián)著客體，而智能體就通過符號(hào)與客體進(jìn)行互動(dòng)。這種設(shè)計(jì)的困難①長(zhǎng)期以來困擾著經(jīng)典AI。指示表征與客觀表征設(shè)計(jì)相比要更易編程。因?yàn)樘幵谝欢ㄇ榫持械目腕w是很難定義的，明斯基的框架理論、尚克等人的腳本理論都沒有解決這個(gè)難題。然而，在指示表征中，客體在智能體活動(dòng)的功能即可用作對(duì)客體的定義?！爸灰腕w在既定范疇內(nèi)保持索引和功能上的不可區(qū)分，那么就沒有必要追蹤特定個(gè)體；相反，人們只要簡(jiǎn)單地維持某種范疇立場(chǎng)……其次，更重要的是，設(shè)計(jì)者通常能夠歸納互動(dòng)變量，這使我們不需要追蹤客體的清晰位置?！盵4]248

指示表征的實(shí)際應(yīng)用是阿格勒和查普曼一起設(shè)計(jì)的Pengi程序[4]263。在Pengi程序上運(yùn)行的是一個(gè)名為Pengo的商業(yè)視頻游戲(簡(jiǎn)稱企鵝推冰)，而它是以LISP語言的系統(tǒng)函數(shù)寫成的。在這個(gè)游戲中，玩家可以在顯示器上看到大量的具體卡通形象：一只企鵝、一些蜜蜂和一些冰塊。玩家用操縱桿、按鈕來控制企鵝。蜜蜂和冰塊總在隨機(jī)移動(dòng)。規(guī)則是這樣的：如果企鵝讓蜜蜂靠近就會(huì)被蜇死，玩家就失敗了。如果企鵝或蜜蜂踢到冰塊，冰塊就會(huì)滑向它被踢的方向——沿垂直或水平方向。游戲者通過撳按鈕來讓企鵝踢冰塊，如果滑動(dòng)的冰塊剛好擊中一個(gè)蜜蜂，蜜蜂就會(huì)死掉并消失；如果所有蜜蜂都死了，玩家就勝利了。另外，滑動(dòng)的冰塊也能擊殺企鵝。

Pengi表現(xiàn)出了很高的智能，它玩游戲的勝率甚至超過了阿格勒本人。由于不按計(jì)劃來執(zhí)行任務(wù)，它的設(shè)計(jì)具有很高的節(jié)儉性。如果根據(jù)客觀表征來設(shè)計(jì)，Pengi程序就必須維持一個(gè)表征世界模型，給游戲中的每個(gè)客體都標(biāo)上符號(hào)名稱，而這會(huì)帶來巨大的計(jì)算量。相反，Pengi的中央系統(tǒng)通過組合邏輯回路規(guī)避了客觀表征。原因在于：“Pengi所體現(xiàn)的指示表征不包括變量，因此它能夠通過組合邏輯得到執(zhí)行。另外，Pengi能夠投身在與世界的有序、有彈性和有目標(biāo)的互動(dòng)中，而不需要維持一個(gè)計(jì)劃或世界模型，因此它的中央系統(tǒng)不需要保有任何狀態(tài)。”[4]266另外，指示表征很好地與活動(dòng)契合在一起。以下是Pengi與之互動(dòng)的實(shí)體：我正在踢的冰塊、我正在攻擊的蜜蜂、冰塊另側(cè)的蜜蜂，等等。這使“Pengi的中央系統(tǒng)能夠在沒有模式匹配或其他復(fù)雜的變量捆綁設(shè)備的情況下運(yùn)行，因?yàn)橹甘颈碚髂軌驓w納具有相同索引和功能的情境”[4]267。

盡管阿格勒的指示表征設(shè)計(jì)不完全符合海德格爾所描述的生活經(jīng)驗(yàn)，但它仍是運(yùn)用計(jì)算主義手段來展現(xiàn)海德格爾思想的成功范本。它表明，哲學(xué)家們的洞見完全可以應(yīng)用在技術(shù)實(shí)踐中，而且哲學(xué)的應(yīng)用需要技術(shù)手段的輔助。這既是哲學(xué)得到實(shí)證的重要機(jī)會(huì)，也是技術(shù)實(shí)踐得到改進(jìn)的重要途徑。

三、具身交互設(shè)計(jì)

多羅希是加州大學(xué)爾灣分校信息與計(jì)算科學(xué)學(xué)院的教授。他與威諾格拉德、阿格勒一樣，也認(rèn)為計(jì)算機(jī)科學(xué)是一種哲學(xué)實(shí)踐?！坝?jì)算機(jī)科學(xué)是一門工程科學(xué)，然而它也是哲學(xué)事業(yè)。它之所以是一門哲學(xué)，是因?yàn)樗ㄟ^創(chuàng)造和操控實(shí)在、人類及行動(dòng)模型來表征世界。軟件的每一部分都反映了難以計(jì)數(shù)的哲學(xué)觀點(diǎn)和角度，沒有這些哲學(xué)思想，就不會(huì)有軟件。軟件無疑依賴著我們關(guān)于表征和實(shí)在的觀念?！盵10]viii因此，他以現(xiàn)象學(xué)的具身理論為基礎(chǔ)來構(gòu)建人機(jī)交互的新理論。

他將人機(jī)交互的歷史概括為五個(gè)階段：電子、符號(hào)、文本、圖形、可觸和社會(huì)計(jì)算。在電子階段，人機(jī)交互的前提是用戶能夠理解和設(shè)置具體的電子電路。在符號(hào)階段，計(jì)算機(jī)硬件可以在諸如注冊(cè)表和數(shù)字存儲(chǔ)器這樣的功能意義上得到更抽象的理解，而人與電路的交互變成了人與符號(hào)的交互。在文本階段，用戶可以坐在計(jì)算機(jī)終端面前，通過自然語言來輸入命令和閱讀機(jī)器的反應(yīng)。在圖形階段，人機(jī)交互界面是可視的，用戶可以通過管理虛擬空間(二維空間)來管理信息，如Xerox 8010 Information System(1981)。

可觸和社會(huì)計(jì)算是人機(jī)交互的當(dāng)前階段?？捎|計(jì)算的初始工作是由石井裕(Hiroshi Ishii)領(lǐng)導(dǎo)的MIT媒體實(shí)驗(yàn)室可觸媒體小組開發(fā)的可觸比特(tangible bits)?？捎|比特通過給予數(shù)字信息以物理形式，讓比特變得可直接操控和知覺，從而達(dá)到比特和原子之間的無縫耦合。無紙辦公、電子書都屬于可觸比特的應(yīng)用?？捎|計(jì)算的代表工作是數(shù)位桌(metaDESK)，它是一個(gè)可觸計(jì)算平臺(tái)，而用戶可以把一些小物件(方塊、三角錐)當(dāng)作虛擬世界的控制器，換言之，可通過對(duì)這些物件的操作來控制虛擬世界?！翱捎|交互的本質(zhì)在于：它允許計(jì)算向日常世界中的我們顯現(xiàn)；這個(gè)世界是我們可以解釋的，并且是通過我們的理解和行動(dòng)而變得有意義的世界?！盵10]53

社會(huì)計(jì)算則超越了傳統(tǒng)的工程范疇，因?yàn)樗诮换ソ缑嬖O(shè)計(jì)中應(yīng)用了社會(huì)理解，是計(jì)算機(jī)科學(xué)與社會(huì)學(xué)、民族學(xué)和人類學(xué)結(jié)合的產(chǎn)物。這里主要涉及民族學(xué)在交互設(shè)計(jì)中的應(yīng)用。民族學(xué)強(qiáng)調(diào)通過深入的、長(zhǎng)期的參與來獲取對(duì)文化的詳細(xì)理解。它不僅要描述文化成員做了什么，還要了解他們?cè)谧鰰r(shí)經(jīng)驗(yàn)到的東西。從現(xiàn)象學(xué)的理論來看，民族學(xué)不僅要探索文化中的客觀事實(shí)，還要探索海德格爾所謂的不可言說者、施密茨所謂的主觀事實(shí)?！吧鐣?huì)計(jì)算研究者們認(rèn)為，民族學(xué)進(jìn)路可以通過對(duì)工作環(huán)境的詳細(xì)觀察來揭示系統(tǒng)設(shè)計(jì)的要求。相反，更傳統(tǒng)的設(shè)計(jì)進(jìn)路(以功能說明或?qū)嶒?yàn)室可用性研究為基礎(chǔ))傾向于疏遠(yuǎn)工作的生活細(xì)節(jié)……民族學(xué)者們認(rèn)為，局限于實(shí)驗(yàn)室的、脫離生活情境的問題是沒有意義的，他們尋找的是更直接的參與?！盵10]62這種思想與海德格爾不謀而合。

社會(huì)計(jì)算的交互設(shè)計(jì)區(qū)分了兩種進(jìn)程：工作進(jìn)程和工作實(shí)踐。工作進(jìn)程是可形式化或規(guī)則化的工作程序，人們可以通過規(guī)則書、手冊(cè)來掌握它們；工作實(shí)踐是非形式化的日常機(jī)制。社會(huì)計(jì)算學(xué)者們更關(guān)注后者。這種設(shè)計(jì)最著名的成果是英國(guó)蘭徹斯特大學(xué)由社會(huì)學(xué)家和計(jì)算機(jī)科學(xué)家組成的多學(xué)科團(tuán)隊(duì)所創(chuàng)建的航空交通控制中心?！白鳛橐环N民族學(xué)研究，這個(gè)團(tuán)隊(duì)調(diào)查的不是在組織手冊(cè)中列出的航空交通控制的規(guī)則和程序，而是航空交通控制的真實(shí)實(shí)踐，每一刻的、每一天的實(shí)踐，被航空交通控制者執(zhí)行和經(jīng)驗(yàn)到的實(shí)踐?！盵10]64

在人機(jī)交互領(lǐng)域，可觸計(jì)算與社會(huì)計(jì)算被當(dāng)成是不同的設(shè)計(jì)程序。然而，多羅希認(rèn)為，兩者成功的關(guān)鍵是它們都以具身為設(shè)計(jì)的出發(fā)點(diǎn)，因此兩者應(yīng)該被視為具身交互的兩個(gè)不同方面。“具身就是我們?cè)庥鋈粘Ｊ澜缰形锢砗蜕鐣?huì)實(shí)在的通常方式。具身現(xiàn)象是我們直接而非抽象遭遇的現(xiàn)象。對(duì)于可觸和社會(huì)計(jì)算來說，它們有效性的關(guān)鍵是這個(gè)事實(shí)：我們和我們的行動(dòng)都具身化于日常世界中?！盵10]100

盡管具身設(shè)計(jì)是人機(jī)交互中的新方向，但具身經(jīng)驗(yàn)已經(jīng)在現(xiàn)象學(xué)中得到詳細(xì)的討論，而多羅希也正是以身體現(xiàn)象學(xué)為基礎(chǔ)提出了具身交互。在他看來，胡塞爾現(xiàn)象學(xué)是一種探索人類經(jīng)驗(yàn)和知覺本質(zhì)的方法，而它的宗旨是克服現(xiàn)代科學(xué)對(duì)日常經(jīng)驗(yàn)和日常實(shí)踐的疏離?！艾F(xiàn)象學(xué)是對(duì)傳統(tǒng)哲學(xué)的重要背叛。最重要的是：它摒棄了抽象和形式推理，轉(zhuǎn)而關(guān)注前理論的、前理智的日常經(jīng)驗(yàn)世界。盡管后來很多人摒棄了純粹的胡塞爾立場(chǎng)，但他的工作有兩種重要意義：一是將注意力轉(zhuǎn)到日常經(jīng)驗(yàn)而不是形式化知識(shí)上；二是將注意力轉(zhuǎn)到了作為獨(dú)特現(xiàn)象的經(jīng)驗(yàn)上?！盵10]106相應(yīng)地，在人機(jī)交互的歷史發(fā)展中，設(shè)計(jì)者越來越發(fā)現(xiàn)：產(chǎn)品的可用性、用戶體驗(yàn)都是主觀事實(shí)，無法通過客觀方法獲得，而現(xiàn)象學(xué)卻以這些無法形式化、明晰化的東西為主要研究對(duì)象，因此現(xiàn)象學(xué)得到人機(jī)交互設(shè)計(jì)的重視。“通過訴諸身體現(xiàn)象學(xué)傳統(tǒng)，我們可以明白具身交互是如何工作的以及為什么能夠起作用，而具身交互模式能夠?yàn)榉治龊驮O(shè)計(jì)提供支撐。”[10]191

盡管胡塞爾是現(xiàn)象學(xué)的開創(chuàng)者，但對(duì)技術(shù)實(shí)踐產(chǎn)生更大影響的是海德格爾。“我們?cè)庥鍪澜绲淖钪匾绞绞俏覀冊(cè)趯?shí)踐中遭遇它……海德格爾摒棄了抽象的、離散的意向性，而主張意向性是實(shí)踐事務(wù)的一個(gè)方面：'正如我們已經(jīng)說明的，我們最切近的處理方式不是一味地進(jìn)行知覺認(rèn)知，而是操控和使用事物的操勞?！盵10]108

在人機(jī)交互中，海德格爾已在威諾格拉德等人那里得到了應(yīng)用。他們特別強(qiáng)調(diào)在手與上手的區(qū)別。如當(dāng)我在打字時(shí)，我注意不到鍵盤上具體按鍵的存在，這時(shí)鍵盤是上手的；而當(dāng)我拿起它，仔細(xì)端詳它上面按鍵的排列時(shí)，即當(dāng)我把它作為我認(rèn)知的對(duì)象時(shí)，它是在手的。多羅希認(rèn)為，海德格爾還提供了更深刻的、可為人機(jī)交互學(xué)習(xí)的觀察。“當(dāng)我們通過已經(jīng)上手的技術(shù)來行動(dòng)時(shí)，技術(shù)本身就已經(jīng)消失在了我們當(dāng)下的操勞中了……我們的存在模式就是消釋的應(yīng)付(absorbed coping)。器具隱入了背景當(dāng)中。我們行動(dòng)展開的不可言說背景就是海德格爾在世存在思想的核心。”[10]109因此，具身交互就是要讓人感覺不到他在與計(jì)算機(jī)進(jìn)行交互。

盡管作為人機(jī)交互未來階段的具身交互還處在理念構(gòu)建階段，但它已經(jīng)得到了部分實(shí)現(xiàn)。當(dāng)前具身交互的一個(gè)范本是Media Space。它是一個(gè)用于交往與合作的，集音頻、視頻和計(jì)算機(jī)于一體的網(wǎng)絡(luò)環(huán)境。施樂公司帕洛阿爾托研究中心(Xerox PARC)的研究小組在20世紀(jì)80年代提出了這個(gè)術(shù)語，用于描述能提供新式合作方式的原型系統(tǒng)。這個(gè)術(shù)語不是對(duì)技術(shù)發(fā)展的描述，而是對(duì)技術(shù)可以提供的新式工作實(shí)踐的描述。Media Space的目標(biāo)是：把音頻和視頻技術(shù)與用于分享工作和控制信息的計(jì)算機(jī)相結(jié)合，創(chuàng)造一個(gè)超越時(shí)空界限的合作媒介。“Media Space反映了媒介的具身本質(zhì)。Media Space的革新不僅在于音頻和視頻傳遞的特征，還在于這些技術(shù)如何情境化于物理環(huán)境中?！盵10]146如當(dāng)一個(gè)人與朋友在Media Space中進(jìn)行聯(lián)系時(shí)，朋友問他最近的超市在哪里，他可以用手來進(jìn)行指示。通過觀察他的身體就會(huì)發(fā)現(xiàn)：當(dāng)他用手指向一個(gè)方向時(shí)，他在視頻上的意象會(huì)指向反方向。因此，他要指向反方向，從而使顯示器中的意象指向正確的方向。

盡管海德格爾式的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)進(jìn)路還沒有在計(jì)算機(jī)科學(xué)與技術(shù)領(lǐng)域中占據(jù)中心地位，但它不會(huì)是終結(jié)。正如威諾拉德所言：“不可避免的'停滯’不前，促使計(jì)算機(jī)科學(xué)家和實(shí)踐者們深入地思考他們成功和失敗的根源。他們會(huì)離開未經(jīng)檢查的理性主義方法論，而海德格爾的工作在未來的新式設(shè)計(jì)理念中會(huì)發(fā)揮更大作用?！盵11]125未來，海德格爾對(duì)計(jì)算機(jī)系統(tǒng)設(shè)計(jì)的影響可能會(huì)表現(xiàn)在以下方面：首先，更深入地批判和分析主流計(jì)算機(jī)工作背后的哲學(xué)假設(shè)。盡管德雷弗斯和威諾格拉德等人已經(jīng)揭示了表征主義可以追溯到柏拉圖、笛卡兒等哲學(xué)家，但人們還是不清楚傳統(tǒng)的哲學(xué)信念究竟是如何不加批判和無意識(shí)地為計(jì)算機(jī)科學(xué)和技術(shù)所接受的。其次，解釋計(jì)算機(jī)系統(tǒng)設(shè)計(jì)失敗和成功的原因。例如：知識(shí)表征失敗的原因是人類智能活動(dòng)的內(nèi)核在于其非表征和不可形式化部分；一些人機(jī)交互界面設(shè)計(jì)的成功(如iPad)在于其能夠提供比以往更好的上手狀態(tài)、更為具身化。最后，同時(shí)也是最重要的影響在于直接參與到計(jì)算機(jī)系統(tǒng)設(shè)計(jì)中。海德格爾的理論不僅要為設(shè)計(jì)師的思考提供一般的詞匯和概念(如上手、在手、具身等)，還要幫助提供設(shè)計(jì)新式人工制品的系列原則。顯然，這項(xiàng)工作不可能單由哲學(xué)家，也不能只靠技術(shù)專家來完成，未來的設(shè)計(jì)者應(yīng)該是身兼二職的。不過，考慮到哲學(xué)所追求的真理是難以言說和明晰化的，因此，哲學(xué)與具體的技術(shù)實(shí)踐之間仍然應(yīng)該保持一定的張力。

注釋：

　?、俚吕赘ニ狗Q之為動(dòng)態(tài)性和相關(guān)性難題；麥卡錫和丹尼特等人稱之為框架難題；哈納德稱之為符號(hào)接地難題。這些難題的根源在于：經(jīng)典AI聚焦于抽象推理，并依賴由內(nèi)在表征構(gòu)成的世界模型?！　?/em>