鄒崇理

1. 邏輯和語言學(xué)是密切關(guān)聯(lián)的學(xué)科

在古希臘時代，邏輯和語言學(xué)是同根同源的。當(dāng)時的邏輯和語言學(xué)均建立在古希臘文的基礎(chǔ)上，邏輯的理論術(shù)語跟語法的理論術(shù)語很難區(qū)分。古希臘時代邏輯上和語法上都把一個句子分為主詞和謂詞兩部分，這是邏輯分析和語言分析互動的結(jié)果?！斑壿嬛浮眮喞锸慷嗟碌闹鳌督忉屍分铝τ谘芯空Z言中的名詞、動詞和語句同邏輯命題之間的關(guān)系。歷史延續(xù)到近現(xiàn)代，邏輯和語言學(xué)越走越近，逐漸交織融合，其典型代表就是美國邏輯學(xué)家蒙太格創(chuàng)立的蒙太格語法。蒙太格語法基于理論語言學(xué)家喬姆斯基的轉(zhuǎn)換生成語法和邏輯學(xué)家塔斯基的模型論語義學(xué)，采用邏輯方法研究語言。蒙太格語法之后的廣義量詞理論、話語表述理論、類型邏輯語法和組合范疇語法等都是跟語言學(xué)密切關(guān)聯(lián)的邏輯理論。

2. 從邏輯學(xué)視角看語言的特性

從邏輯學(xué)視角看語言，語言至少具有三大特征：普遍性的特征、個案個例的特征、句法和語義對應(yīng)的特征。（1）普遍性的特征：語言構(gòu)造表現(xiàn)為“由小到大”的生成過程，詞條生成詞組短語，詞組短語生成句子……生成依據(jù)普遍性的規(guī)則。蒙太格語法確立了這樣的規(guī)則，反復(fù)運用規(guī)則可以生成無窮多的語句，這也是語言的無窮遞歸機制。如語言中的復(fù)雜長句：

a. That that something is wrong is possible is known to the public.

b. Mary loves a man such that he has a daughter such that she admires a boy.

a是反復(fù)運用主語從句鑲嵌規(guī)則的結(jié)果，b是多次引入定語從句的結(jié)果，二者都是語言無窮遞歸機制的產(chǎn)物。人腦先天具有生成構(gòu)造語言的機制，人就能夠說出從來沒有聽過的句子，也可以理解從來沒有見過的句子，這就是語言的普遍性特征。（2）個案個例的特征：作為真實文本的實際語言總是具體語境下的語言，同一個詞條或詞組在不同的語境下呈現(xiàn)出多種多樣的具體用法和語義。如清華大學(xué)和微軟亞洲研究院合作開發(fā)的漢語組合范疇語法語料庫的統(tǒng)計表明，漢語動詞“學(xué)”在7類不同語句的語境中有7種不同的用法，因而被賦予7個不同的范疇，這是針對語言真實文本的研究，也凸顯出語言的個案個例特征。（3）句法和語義對應(yīng)的特征，也叫作組合原則。在蒙太格語法看來，句法形式引領(lǐng)語義模式。如英語句“John loves Mary”，句法上是主謂賓形式，謂語“l(fā)oves”對應(yīng)邏輯謂詞“LOVE”，主語“John”對應(yīng)邏輯常項“j”，賓語“Mary”對應(yīng)邏輯常項“m”，整句對應(yīng)邏輯公式“LOVE（j，m）”，這就是邏輯語義的謂詞-論元模式。句子的邏輯語義直接依賴句子的句法形式而確定，此所謂句法生成引領(lǐng)語義組合的特征。

3. 從邏輯學(xué)視角看語言的演化

語言分為自然語言和人工語言：自然語言指各國各民族在長期共同生活中形成的語言（國際輔助語協(xié)估計有2500—3500種），人工語言主要指數(shù)學(xué)和邏輯的符號語言和計算機的程序語言（主流的編程語言也有上千種）。中國著名數(shù)理邏輯學(xué)家莫紹揆先生指出：“事實上，程序設(shè)計或者就是數(shù)理邏輯，或者是用計算機語言書寫的數(shù)理邏輯，或者是數(shù)理邏輯在計算機上的應(yīng)用?！笨梢哉f程序語言是在計算機領(lǐng)域內(nèi)的邏輯語言，邏輯語言作為人工語言的代表對自然語言的影響是很大的。邏輯對自然語言的分析能夠揭示其演化的某些內(nèi)在規(guī)律，在邏輯看來，自然語言中的動詞和介詞都被翻譯成謂詞，這恰恰揭示了動詞和介詞在語言演化史上的同根同源，其邏輯語義功能是類似的，或許今后不再區(qū)分動詞和介詞了。再則，邏輯的廣義量詞理論對自然語言量化表達(dá)式的態(tài)度是，保留其中體現(xiàn)純粹量化意義的部分，如漢語“每個（人）”中的“每”，“三匹（馬）”中的“三”，而抽象掉其中與量化意義無關(guān)的部分，如“每個（人）”中的單位詞“個”，“三匹（馬）”中的“匹”。邏輯對漢語量化表達(dá)式的分析顯示出漢語言演化的規(guī)律：古漢語的量化表達(dá)式中基本上沒有與數(shù)量詞搭配的單位詞，說“三人行必有我?guī)熝伞?，而不說“三個人行必有我?guī)熝伞?。近現(xiàn)代漢語開始出現(xiàn)含有單位詞的“一頭牛”“一只貓”和“一尾魚”之類的量化表達(dá)式。雖然有些單位詞也有特定量化意義，如說“一碗水”和說“一桶水”是不一樣的。然而單位詞夾雜在量化表達(dá)式中明顯弊大于利，使得在網(wǎng)絡(luò)上常見到暗藏思維混亂的搞笑段子：1元=1元×1元=10角×10角=100角=10元。邏輯和計算機程序語言對單位詞的態(tài)度是否定的，當(dāng)今漢語量化表達(dá)式中的單位詞有弱化減少的趨勢，說“選出一人做代表”，而不必說“選出一個人做代表”?？梢灶A(yù)見，漢語量化表達(dá)式中的大量單位詞在將來會逐漸消亡。

當(dāng)今國家科技發(fā)展的重大戰(zhàn)略是在2030年占領(lǐng)計算機人工智能制高點，計算機人工智能的核心就是算法，算法的表述離不開程序語言。作為博弈機器人的AlphaGo完勝所有人類圍棋高手，其秘訣是：思考不過你，但算死你！表述算法的編程語言強勢影響自然語言的演化。從動態(tài)邏輯視角看，編程語言采用的變項賦值等式“x=x+1”，右邊的“x”加“1”更新為左邊的“x”，兩個“x”的所指是不同的。自然語言也有類似的動態(tài)表述，如“張三認(rèn)為李四不喜歡他，李四也認(rèn)為張三不喜歡他”，前一句中的“他”不同于后一句中的“他”，兩個“他”的所指發(fā)生了變化。當(dāng)今人工智能發(fā)展一日千里，新的“智慧物種”即將誕生。新物種的產(chǎn)生將極大顛覆人類社會現(xiàn)存的方方面面，同時該物種所具有的程序語言的特征也將極大影響人類的自然語言。

4. 漢語邏輯的思想萌芽

在計算機人工智能的信息時代看來，中國古代最偉大的發(fā)明，并不是火藥、造紙、活字印刷和指南針，而是我們小學(xué)中學(xué)過的“九九乘法表”?！熬啪疟怼憋@示出中國古代的算法思想，獲得中國首屆最高科學(xué)技術(shù)獎的著名數(shù)學(xué)家吳文俊開創(chuàng)的數(shù)學(xué)機械化證明領(lǐng)域，就是傳承中國古代算法思想的偉大成就。而英國人、德國人等國家的國民則大都不習(xí)慣使用初級運算法則的“九九乘法表”，究其原因，乃是中國漢語發(fā)音和構(gòu)詞以及語義表達(dá)的優(yōu)勢，造成了中國人在數(shù)學(xué)基礎(chǔ)教育上的領(lǐng)先。歐洲人數(shù)學(xué)語言表達(dá)方式與東方人截然不同，以法語為例，數(shù)字71的念法相當(dāng)于60+11，數(shù)字99的念法相當(dāng)于4×20+10+9，導(dǎo)致初級的數(shù)學(xué)計算變得異常復(fù)雜?！叭叨弧边@種乘法運算的口訣，簡潔高效地體現(xiàn)了算法思想，是漢語追求簡潔、講究效率的重要特征，完整表述應(yīng)是：三乘七等于二十一。漢語省略了其中的算子“乘”和關(guān)系詞“等于”，而印歐語言如英語的表述是：three seven twenty-one，顯得頗為繞口。漢語發(fā)音有節(jié)奏且易記，更重要的是漢語內(nèi)藏的“意義組合，語義至上”的原則使得漢語表述略去某些句法表征而具有簡潔性。對漢語句“張三愛讀《紅樓夢》，張三《紅樓夢》愛讀，《紅樓夢》張三愛讀”，漢語母語者都能夠理解，靈活的句法語序絲毫不影響語義的邏輯組合。簡潔的句法形式直接內(nèi)藏了豐富的邏輯語義，這就是漢語的表達(dá)效率。研究漢語松散靈活的句法表述如何裝載豐富復(fù)雜語義的規(guī)律是漢語邏輯的重大任務(wù)，也是漢語邏輯未來在世界邏輯舞臺上獲取話語權(quán)的宏偉目標(biāo)。