心靈計算理論

在哲學中 ， 心靈計算理論 ， 又名心智計算理論 （ 英語 ： Computational theory of mind ， CTM ） 指的是一系列關於 「 人類心靈是一個訊息處理系統 」 的觀點 。 該理論認爲 ， 認知和意識同爲一種計算形式 。 沃倫 · 麥卡洛克和沃爾特 · 皮茨 （ 1943 ） 爲最早提出神經活動是計算性的人 。 他們認爲神經計算性可以解釋認知 。 該理論的當代形式由希拉里 · 普特南於1967年提出 ， 並由他的博士生 ， 同時也是哲學家和認知科學家的傑瑞 · 福多在1960至1980年代發展起來 。 儘管在1990年代 ， 由於普特南 、 希爾勒等人的研究 ， 這一觀點在分析哲學領域中受到了強烈反駁 ， 但此觀點仍普遍存於現代認知心理學中 ， 許多演化心理學理論家也將其假定爲正確的 。 2000至2010年代之間 ， 這一觀點在分析哲學領域再度引起注意 。 （ Scheutz 2003 ， Edelman 2008 ） 。 心靈計算理論認爲 ， 心靈是一個由大腦神經活動所實現的計算系統 。 該理論能以多種方式進行闡述 ， 並且根據對術語 「 計算 」 的理解 ， 在闡述上會有很大的不同 。 計算通常是以圖靈機的方式來理解 ， 圖靈機會根據規則並結合機器的內部狀態來處理符號 。 以圖靈機的方式來理解計算的關鍵之處在於 ， 我們可以將計算機的物理細節之外的本質抽象出來 。 也就是說 ， 只要輸出是基於 「 輸入及內部狀態之處理 」 ， 並根據規則來執行 ， 計算就能夠透過矽晶片或神經網路來實現 。 因此 ， CTM認爲 ， 心靈不只是一個類比於計算機程式的東西 ， 心靈實際上是一個計算系統 。 心靈計算理論通常被認爲需要心智表徵 ， 因爲計算中的 「 輸入 」 是以客體的符號或其他表徵形式出現 。 雖然計算機不能計算實際的客體 ， 但必須以某種形式解釋和表示該客體 ， 然後才得以對該表徵進行計算 。 心靈計算理論與心智表徵理論有關 ， 它們都要求心理狀態是表徵的形式 。 然而 ， 心智表徵理論將焦點放在被處理的符號上 。 這種方法更好地解釋了系統性和生產性 。 在福多最初的觀點中 ， 心靈計算理論也與思維語言 （ 心語 ） 有關 。 思維語言理論允許心靈在語義的幫助下處理更復雜的表徵 。 （ 參見下文心智狀態的語義 ） 。 近期的工作建議我們把心靈和認知區分開來 。 根據麥卡洛克和皮茨的傳統看法 ， 認知計算理論 （ CTC ） 指出神經計算性能夠解釋認知 。 心靈計算理論則認爲 ， 不只是認知 ， 現象意識或感質也都是計算性的 。 也就是說CTM勢必蘊涵著CTC 。 然而現象意識可以發揮一些其他的功能 ， 認知計算理論爲 「 心靈的某些部分是非計算的 」 留下了開放的可能性 。 因此 ， 認知計算理論爲理解神經網絡提供了一個重要的解釋框架 ， 同時也避開了以現象意識爲中心的反駁 。