讀古今文學網 > 人工智能的進化 > 用符號表示無形 >

用符號表示無形

接下來的內容將會有概念上的飛躍,只有萊布尼茨這樣的天才才能發現。以下是我的解讀。

萊布尼茨認為,思考能夠重新回顧某些我們深信不疑的想法。但是這些想法與數字一樣,也是抽像的。比如說休認為約翰愛著瑪麗,所以心生嫉妒,這種情況該如何解釋?約翰愛瑪麗的這種想法怎麼能夠影響休的特定行為呢?約翰和瑪麗是確實存在的,但是約翰愛瑪麗的這種想法無形、無狀又無聲。如果告訴休約翰愛瑪麗這一信息的人撒了謊,這種想法還有可能是錯誤的。

本書一直在強調,休的行為是由她的信念所支配的。在這種情況下,她的行為被自己對約翰和瑪麗之間關係的理解所左右。如果將此信念摘除,那麼她的行為毫無疑問就會做出相應改變。但是信念真的有這麼大的威力嗎?這種純粹抽像的東西怎麼能支配一個人的行為呢?

萊布尼茨提出了這樣一個設想。

根據他對算術的研究,萊布尼茨認為:我們與想法之間沒有直接的互動,而是與代表這些想法的符號表達式互動。萊布尼茨建議我們對待這些想法時,應像對待以某種方式寫下來的符號形式一樣,然後以某種形式進行運算,即某種符號處理,以便於向下一個想法過渡。當然,這些想法我們不會寫在紙上,在腦海裡進行也是一樣的。

換句話說,萊布尼茨做出了以下類比:

‧ 算術規則使我們運用具體的符號就能解決抽像的數字問題。關於符號的處理反映了其代表的數字之間的關係。

‧ 某種邏輯的規則使我們運用具體的符號就能解釋抽像的想法。關於符號的處理反映了其代表的想法之間的關係。

多麼天才的想法!它告訴我們,即使人的思想是無形的、抽像的,我們仍可以通過符號代表、符號計算等手段進行心算。當我們需要思考、解決問題、下結論或者與他人討論時,我們可以通過計算來實現。萊布尼茨的信中曾有一句拉丁文名言「Calculemus」,意思就是說「讓我們計算吧!」

萊布尼茨的設想恰好為人類這一難以理解的行為做出了解釋,即人的抽像信念如何影響實際行為。破天荒地,萊布尼茨向我們講述了這一行為發生的原因和過程,儘管人的想法中也包括一些錯誤的。