語言哲學視角下自然語言與程序設(shè)計語言對比研究

閆達

摘要：隨著計算機網(wǎng)絡技術(shù)的發(fā)展以及相關(guān)學科的演進，程序設(shè)計語言正在逐步從單一學科工具進化成為一種通用的實用人工語言，如何將在自然語言研究中行之有效的語言學準則和理論運用與人工語言之上是一個不可回避的問題。本文立足借助語言哲學提供的理論工具，結(jié)合語言學和計算機科學的相關(guān)理論對自然語言與程序設(shè)計語言的關(guān)系進行分析和研究，力圖展示作為人造語言的計算機程序設(shè)計語言在其內(nèi)部構(gòu)造中映射出的與自然語言類似之處。

關(guān)鍵詞：語言對比、程序設(shè)計語言、自然語言、語言哲學

* 本文是2015年度河南省教育廳人文社會科學研究一般項目（獲得河南省教育廳人文社會科學研究項目資助）《生成語法視閾下跨語言語法比較研究的價值及其在教學中的應用》（2015-QN-454）的階段性研究成果。

一、20世紀語言哲學的發(fā)展歷程

20世紀是語言學和哲學高速發(fā)展的時代，隨著一些哲學家開始走出傳統(tǒng)的哲學研究范疇，將語言當作自己的研究目標，于此同時一些語言學家也開始從傳統(tǒng)的哲學中汲取養(yǎng)分，隨后一些哲學家開始提出語言哲學的概念。維特根斯坦正式其中的主要代表人物。他的哲學主要研究的是語言，他想揭示當人們交流時，表達自己的時候到發(fā)生了什么。他主張哲學的本質(zhì)就是語言。語言是人類思想的表達，是整個文明的基礎(chǔ)，哲學的本質(zhì)只能在語言中尋找。他消解了傳統(tǒng)形而上學的唯一本質(zhì)，為哲學找到了新的發(fā)展方向。

隨著時代的發(fā)展，計算機網(wǎng)絡技術(shù)逐漸不再以新技術(shù)的面貌出現(xiàn)在世界中，而在更多的場景中，在越來越多的領(lǐng)域中，計算機網(wǎng)絡技術(shù)扮演者骨干和中流砥柱的作用。甚至可以好不夸張的說，當今時代所享受的快捷高效的節(jié)奏正是由于有了無數(shù)的計算機網(wǎng)絡節(jié)點構(gòu)成的網(wǎng)絡骨架才得以實現(xiàn)。

人類自然語言，伴隨著人類歷史和文明的發(fā)展，從簡單粗糙的雛形逐步發(fā)展成為翔實豐富、表現(xiàn)能力極強的語言體系，是人類智慧和人類文明發(fā)展的一個充分的體現(xiàn)。自然語言的發(fā)展經(jīng)歷了人類主動的選擇和進化，而程序設(shè)計語言的演變過程中，這些來自自然語言與人類文明的啟示能否發(fā)揮相應的作用呢？這些都將是吸引學界的新視角、新話題。

二、 Lisp程序設(shè)計語言介紹

本文立足借用語言哲學提供的方法論和理論依據(jù)結(jié)合自然語言和程序設(shè)計語言進行對比分析研究，從語言生成的內(nèi)部對自然語言和程序設(shè)計語言（亦可理解為人工語言）進行比較。為了更好的進行分析研究，首先需要闡明所選擇的自然語言與程序設(shè)計語言。自然語言方面，選擇使用英語與漢語兩種主流語言。而在程序設(shè)計語言方面，則選擇使用Lisp語言的方言Common Lisp程序設(shè)計語言來進行與兩種自然語言的對比。

Lisp語言是現(xiàn)在仍然在使用的所有程序設(shè)計語言中第二老的。Lisp擁有非常久遠的歷史。它最早的出現(xiàn)可以追溯到20世紀50年代。Lisp由圖靈獎獲得者 John McCarthy 發(fā)明。Lisp最早的初衷是為了解決人工智能發(fā)展的需要，盡管人工智能早期的發(fā)展非常緩慢，但是Lisp作為一種理想化的工具卻的到了長久的關(guān)注和支持，久而久之，越來越多來自與計算機行業(yè)其他領(lǐng)域的專家加入到Lisp的開發(fā)隊伍中。隨著時代的變遷，Lisp逐步從一種單一的語言變化成一個語言家族，從一種實實在在的計算機程序設(shè)計語言變成了一種規(guī)范，所有遵循這種規(guī)范、有在特殊領(lǐng)域進行深度挖掘的語言被稱為Lisp的方言。而我們這里涉及的Common Lisp則是一種通用的Lisp方言。

三、 自然語言與程序設(shè)計語言對比研究

1. 語言的基本構(gòu)成單位

語言作為表達思想的外在工具，是由基本的單位構(gòu)成的，從詞法的角度，語素和語素合成單詞是有一定規(guī)則的。例如漢語中的‘庫字，作為一個語素，和其它語素結(jié)合成單詞時有一個限制條件，必須是單音語素。如：庫存、庫房、車庫。程序設(shè)計語言所使用的基本單位也有著類似的規(guī)定，從而保證其基本構(gòu)成單位的有效與合法，在程序設(shè)計語言中，這些基本的構(gòu)成單位可以成為identifier（標示詞），而在Common Lisp中這些單位則又被稱為Symbol（符號）或者atom（原子）。例如this-is-a-symbol 就是一個合法的Symbol，而還有一些其他類型的Symbol可以出現(xiàn)在Common Lisp語言中，例如關(guān)鍵詞，比如，：keywords就是一個合法的關(guān)鍵詞符號。這一規(guī)則，嚴格的規(guī)定了可以作為語言構(gòu)成單位的基本元素的組成方式，從而保證了更高一級語言表達的整潔與合理。

2. 語言內(nèi)部的邏輯關(guān)系

有了基本的表達單位，便可以在此基礎(chǔ)上構(gòu)建出更加復雜的表達結(jié)構(gòu)，從而表達邏輯關(guān)系。首先我們來分析一下漢語與英語的邏輯關(guān)系構(gòu)成方式。兩種語言在構(gòu)成邏輯關(guān)系表達結(jié)構(gòu)的最大差別在于，漢語使用的是隱性的邏輯關(guān)系表達方式，也就是不一定需要借助明確的邏輯關(guān)系連接詞來構(gòu)成邏輯關(guān)系，而英語與此相反，英語中所有的邏輯關(guān)系，都需要借用邏輯關(guān)系詞語來表達，否則就會被認為是缺失或者不符合語法規(guī)定。

例如，漢語句子中“車未停穩(wěn)，不要下車”就將表達邏輯關(guān)系的“如果”省略掉了，而其英語地對等表達方式“If the car is not steady， please dont get off the car”中的“if”則不能省略，否則便會造成整個句子的缺失和不完整。

而Common Lisp語言中表達類似的邏輯判斷，也需要借助明確的語法標志詞，例如：

（if （> x 0） x 0）

在這個語句中，如果x大于0的先決條件得到滿足，則語句會返回x的值，反之則會輸出0作為整個語句的返回值。

參考文獻：

[1] P. Graham. On Lisp： Advanced Techniques for Common Lisp [M]， Prentice Hall， Upper Saddle River， New Jersey， 1993.

[2] 陳嘉映. 語言哲學[M]，北京：北京大學出版社，2003。

[3] 維特根斯坦. 邏輯哲學論[M]，商務印書館，1996。

（作者單位：信陽農(nóng)林學院）