| 一般所謂「副作用」(side effects),指的是在做事目的之外發生的其他影響。數學是抽象的、具有一般性的學科,所以研究數學途中常會發生預料之外的副作用。我在研習數學、計算機科學時開始對人類語言發生興趣,後來又發現人類語言的句法與語意跟數學、計算機科學有密切關聯,至此科系間的界線、主副之別也越來越模糊不清。
在計算機科學這個領域裡,「副作用」這個詞又有特別的意義,專指在程式語言中會造成「指涉不明」(referential opacity) 的各種功能,如變數、流程、輸出入等。反觀人類語言,也有許多指涉不明的副作用,如代名詞、疑問詞、範域詞 (quantifier) 之類。從程式語言與數理邏輯的觀點看人類語言,有些觀念似乎可以借用給後者,如「延續」(continuations) 便是一例。
|