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

閆達(dá)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

（if （> x 0） x 0）

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

參考文獻(xiàn)：

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

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

[3] 維特根斯坦. 邏輯哲學(xué)論[M]，商務(wù)印書館，1996。

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