人工智能邏輯學(xué)

1、人工智能邏輯學(xué)常識(shí)推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素 AI 研究的一個(gè)目標(biāo) 就是用機(jī)器智能模擬人的智能，它選擇各種能反映人的智能特征的問題進(jìn)行實(shí) 踐，希望能做出各種具有智能特征的軟件系統(tǒng)。 AI 研究基于計(jì)算途徑，因此要 建立具有可操作性的符號(hào)模型。一般而言， AI 關(guān)于智能系統(tǒng)的符號(hào)模型可描述 為：由一個(gè)知識(shí)載體(稱為知識(shí)庫(kù) KB)和一組加載在KB上的足以產(chǎn)生智能行 為的過程(稱為問題求解器 PS)構(gòu)成。經(jīng)過20世紀(jì)70年代包括專家系統(tǒng)的發(fā) 展，AI研究者逐步取得共識(shí)，認(rèn)識(shí)到知識(shí)在智能系統(tǒng)中力量，即一般的智能系 統(tǒng)事實(shí)上是一種基于知識(shí)的系統(tǒng)，而知識(shí)包括專門性知識(shí)和常識(shí)性知識(shí)，前者 亦可看

2、做是某一領(lǐng)域內(nèi)專家的常識(shí)。于是，常識(shí)問題就成為 AI 研究的一個(gè)核心 問題，它包括兩個(gè)方面：常識(shí)表示和常識(shí)推理，即如何在人工智能中清晰地表 示人類的常識(shí)，并運(yùn)用這些常識(shí)去進(jìn)行符合人類行為的推理。顯然，如此建立 的常識(shí)知識(shí)庫(kù)可能包含矛盾，是不協(xié)調(diào)的，但這種矛盾或不協(xié)調(diào)應(yīng)不至于影響 到進(jìn)行合理的推理行為；常識(shí)推理還是一種非單調(diào)推理，即人們基于不完全的 信息推出某些結(jié)論，當(dāng)人們得到更完全的信息后，可以改變甚至收回原來(lái)的結(jié) 論；常識(shí)推理也是一種可能出錯(cuò)的不精確的推理模式，是在容許有錯(cuò)誤知識(shí)的 情況下進(jìn)行的推理，簡(jiǎn)稱容錯(cuò)推理。而經(jīng)典邏輯拒斥任何矛盾，容許從矛盾推 出一切命題；并且它是單調(diào)的，即承認(rèn)如下的

3、推理模式：如果p?r,則pu q?r;或者說(shuō)，任一理論的定理屬于該理論之任一擴(kuò)張的定理集。因此，在處理常識(shí) 表示和常識(shí)推理時(shí)，經(jīng)典邏輯應(yīng)該受到限制和修正，并發(fā)展出某些非經(jīng)典的邏 輯，如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯(cuò)推理等。有人指出，常識(shí)推理的邏輯是 次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物，而后者又可看做是對(duì)容錯(cuò)推理的簡(jiǎn)單 且基本的情形的一種形式化?！按螀f(xié)調(diào)邏輯” (Paraconsistent Logic ) 是由普里斯特、達(dá)科斯塔等人在對(duì)悖論的研究 中發(fā)展 出來(lái)的，其基本想法是：當(dāng)在一個(gè) 理論 中發(fā)現(xiàn)難以克服的矛盾或悖論時(shí)，與其徒勞地想盡各種 辦法去排除或防范它們，不如干脆讓它們留在理論體系內(nèi)，但

4、把它們“圈禁” 起來(lái)，不讓它們?nèi)我鈹U(kuò)散，以免使我們所創(chuàng)立或研究的理論成為“不足道” 的。于是，在次協(xié)調(diào)邏輯中，能夠容納有意義、有價(jià)值的“真矛盾”，但這些 矛盾并不能使系統(tǒng)推出一切，導(dǎo)致自毀。因此，這一新邏輯具有一種次于經(jīng)典 邏輯但又遠(yuǎn)遠(yuǎn)高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認(rèn)為，如果在一 理論T中，一語(yǔ)句A及其否定?A都是定理，則T是不協(xié)調(diào)的；否則，稱T是協(xié) 調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或 推理，則不協(xié)調(diào)的T也是不足道的(trivial)。因此，通常以經(jīng)典邏輯為基礎(chǔ)的 理論，如果它是不協(xié)調(diào)的，那它一定也是不足道的。這一現(xiàn)象表明，經(jīng)典邏輯 雖可用于研究協(xié)

5、調(diào)的理論，但不適用于研究不協(xié)調(diào)但又足道的理論。達(dá)科斯 塔在20世紀(jì)60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng) Cn( K n W,以用作不 協(xié)調(diào)而又足道的理論的邏輯工具。對(duì)次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述(iii) 應(yīng)(i) 和 (ii)命題：(i)矛盾律?(AU?A)不普遍有效；(ii)從兩個(gè)相互否定的公式 A和?A推不 出任意公式；即是說(shuō)，矛盾不會(huì)在系統(tǒng)中任意擴(kuò)散，矛盾不等于災(zāi)難。 當(dāng)容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里，表明了對(duì)矛盾的一種相對(duì)寬容的態(tài)度， (iii) 則表明次協(xié)調(diào)邏輯對(duì)于經(jīng)典邏輯仍 有一定的繼承性。 在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1w n w)中，下

6、述經(jīng)典邏輯的定 理或推理模式都不成立：？(A u ?A) A u ?A B A- (?A B) (A?A) - B（A?A）?B A ?A （?A u （A u B） B（AB）（?B?A）若以 CO為經(jīng)典邏輯， 則系列CO, C1, C2,Cn,Cw使得對(duì)任正整數(shù)i有Ci弱于Ci-1 , Cw是這系 列中最弱的演算。已經(jīng)為Cn設(shè)計(jì)出了合適的語(yǔ)義學(xué)，并已經(jīng)證明 Cn相對(duì)于此 種語(yǔ)義是可靠的和完全的，并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的?，F(xiàn)在，已經(jīng)有人把次協(xié)調(diào)邏輯擴(kuò)展到模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、多值邏輯、集 合論等領(lǐng)域的研究中，發(fā)展了這些領(lǐng)域內(nèi)的次協(xié)調(diào)理論。顯然，次協(xié)調(diào)邏輯將 會(huì)得到更進(jìn)一

7、步的發(fā)展。 非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯，它的研究 開始于20世紀(jì)80年代。1980年，D 麥克多莫特和J 多伊爾初步嘗試著系統(tǒng) 發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們?cè)诮?jīng)典謂詞演算中引入一個(gè)算子M表示某種“一致性”斷言，并將其看做是模態(tài)概念，通過一定程序把模態(tài)邏輯系 統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B 摩爾的論文非單調(diào)邏輯的語(yǔ)義思考 （1983）據(jù)認(rèn)為在非單調(diào)邏輯方面作出了令人注目的貢獻(xiàn)。他在“缺省推理” 和“自動(dòng)認(rèn)知推理”之間做了區(qū)分，并把前者看作是在沒有任何相反信息和缺 少證據(jù)的條件下進(jìn)行推理的過程，這種推理的特征是試探性的：根據(jù)新信息， 它們很可能會(huì)被撤消。自動(dòng)認(rèn)知推理則不是這種類型

8、，它是與人們自身的信念 或知識(shí)相關(guān)的推理，可用它模擬一個(gè)理想的具有信念的有理性的代理人的推 理。對(duì)于在 計(jì)算 機(jī)和人工智能中獲得成功的 應(yīng)用 而言，非單調(diào)邏輯尚需進(jìn) 一步發(fā)展。 摘要 本文認(rèn)為， 計(jì)算 機(jī) 科學(xué) 和人工智能將是 21 世紀(jì)邏輯 學(xué) 發(fā)展 的主要?jiǎng)恿υ慈?，并且在很大程度上將決定 21 世紀(jì)邏輯學(xué)的面貌。至 少在 21 世紀(jì)早期，邏輯學(xué)將重點(diǎn)關(guān)注下列論題：（ 1）如何在邏輯中處理常識(shí) 推理的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素？（ 2）如何使機(jī)器人具有人的創(chuàng)造性智 能，如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動(dòng)的可錯(cuò)的歸納判斷？（3）如何進(jìn)行知識(shí)表示和知識(shí)推理，特別是基于已有的知識(shí)庫(kù)以及各認(rèn)知主體相

9、互之間的知 識(shí)而進(jìn)行的推理？（ 4）如何結(jié)合各種語(yǔ)境因素進(jìn)行 自然 語(yǔ)言理解和推理，使 智能機(jī)器人能夠用人的自然語(yǔ)言與人進(jìn)行成功的交際？等等。 關(guān)鍵詞 人 工智能，常識(shí)推理，歸納邏輯，廣義內(nèi)涵邏輯，認(rèn)知邏輯，自然語(yǔ)言邏輯 人類 智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過程中，具有必然性的演繹 推理固然起重要作用，但更為重要的是具有某種不確定性的歸納、類比推理以 及模糊推理等。因此，計(jì)算機(jī)要成功地模擬人的智能，真正體現(xiàn)出人的智能品 質(zhì)，就必須對(duì)各種具有不確定性的推理模式進(jìn)行研究。 首先是對(duì)歸納推理和歸 納邏輯的研究。這里所說(shuō)的“歸納推理”是廣義的，指一切擴(kuò)展性推理，它們 的結(jié)論所斷定的超出了

10、其前提所斷定的范圍，因而前提的真無(wú)法保證結(jié)論的 真，整個(gè)推理因此缺乏必然性。具體說(shuō)來(lái)，這種意義的“歸納”包括下述 內(nèi) 容 ：簡(jiǎn)單枚舉法；排除歸納法，指這樣一些操作：預(yù)先通過觀察或?qū)嶒?yàn)列出被 研究現(xiàn)象的可能的原因，然后有選擇地安排某些事例或?qū)嶒?yàn)，根據(jù)某些標(biāo)準(zhǔn)排 除不相干假設(shè)，最后得到比較可靠的結(jié)論；統(tǒng)計(jì)概括：從關(guān)于有窮數(shù)目樣本的 構(gòu)成的知識(shí)到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理；類比論證和假說(shuō)演繹法， 等等。盡管休謨提出著名的“歸納 問題 ”，對(duì)歸納推理的合理性和歸納邏輯 的可能性提出了深刻的質(zhì)疑，但我認(rèn)為，（ 1）歸納是在茫茫宇宙中生存的人類 必須采取也只能采取的認(rèn)知策略，對(duì)于人類來(lái)說(shuō)具有實(shí)踐的必

11、然性。（ 2）人類 有理由從經(jīng)驗(yàn)的重復(fù)中建立某種確實(shí)性和 規(guī)律 性，其依據(jù)就是確信宇宙中存 在某種類似于 自然 齊一律和客觀因果律之類的東西。這一確信是合理的，而 用純邏輯的理由去懷疑一個(gè)關(guān)于世界的事實(shí)性斷言則是不合理的，除非這個(gè)斷 言是邏輯矛盾。（ 3）人類有可能建立起局部合理的歸納邏輯和歸納方法 論。應(yīng)用 。顯然，它在 21 世紀(jì)將繼續(xù)得到3 廣義內(nèi)涵邏輯 經(jīng)典邏輯只是對(duì)命題聯(lián)結(jié)詞、個(gè)體詞、 自然 語(yǔ)言中，除了這些語(yǔ)言成分之外，并且，歸納邏輯的這種可能性正在計(jì)算機(jī) 科學(xué) 和人工智能的研究推動(dòng)下慢慢 地演變成現(xiàn)實(shí)。恩格斯早就指出，“ 社會(huì) 一旦有技術(shù)上的需要，則這種需要 比十所大學(xué)更能把科學(xué)

12、推向前進(jìn)?！?有人通過指責(zé)現(xiàn)有的歸納邏輯不成 熟，得出“歸納邏輯不可能”的結(jié)論，他們的推理本身與歸納推理一樣，不具 有演繹的必然性。（ 4）人類實(shí)踐的成功在一定程度上證明了相應(yīng)的經(jīng)驗(yàn)知識(shí)的 真理性，也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認(rèn)， 歸納邏輯 目前 還很不成熟。有的學(xué)者指出，為了在機(jī)器的智能模擬中克服對(duì) 歸納模擬的困難而有所突破，應(yīng)該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機(jī)器 學(xué) 習(xí) 、不確定推理和神經(jīng) 網(wǎng)絡(luò) 學(xué)習(xí)模型與歸納學(xué)習(xí)中已有的成果結(jié)合起來(lái)。只 有這樣，才能在已有的歸納學(xué)習(xí)成果上，在機(jī)器歸納和機(jī)器發(fā)現(xiàn)上取得新的突 破和進(jìn)展。 這是一個(gè)極有價(jià)值且極富挑戰(zhàn)性的課題，無(wú)疑

13、在 21 世紀(jì)將得 到重視并取得進(jìn)展。 再談模糊邏輯?，F(xiàn)實(shí)世界中充滿了模糊現(xiàn)象，這些現(xiàn)象反 映到人的思維中形成了模糊概念和模糊命題，如“矮個(gè)子”、“美人”、“甲 地在乙地附近”、“他很年輕”等。 研究 模糊概念、模糊命題和模糊推理的 邏輯 理論 叫做“模糊邏輯”。對(duì)它的研究始于 20世紀(jì) 20年代，其代表性人 物是L A 查德和P- N 馬林諾斯。模糊邏輯為精確邏輯（二值邏輯）解決不 了的 問題 提供了解決的可能，它 目前 在醫(yī)療診斷、故障檢測(cè)、氣象預(yù)報(bào)、 自動(dòng)控制以及人工智能研究中獲得重要 更大的 發(fā)展 。謂詞、量詞和等詞進(jìn)行了研究，但在 顯然還存在許多其他的語(yǔ)言成分，如各種各樣的副詞，包括

14、模態(tài)詞“必然”、 “可能”和“不可能”、時(shí)態(tài)詞“過去”、“現(xiàn)在”和“未來(lái)”、道義詞“應(yīng) 該”、“允許”、“禁止”等等，以及各種認(rèn)知?jiǎng)釉~，如“思考”、“希 望”、“相信”、“判斷”、“猜測(cè)”、“考慮”、“懷疑”，這些認(rèn)知?jiǎng)釉~ 在邏輯和 哲學(xué) 文獻(xiàn) 中被叫做“命題態(tài)度詞”。對(duì)這些副詞以及命題態(tài)度詞的 邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。 大多數(shù)副詞以及幾乎所有命題態(tài)度詞 都是內(nèi)涵性的，造成內(nèi)涵語(yǔ)境，后者與外延語(yǔ)境構(gòu)成對(duì)照。外延語(yǔ)境又叫透明 語(yǔ)境，是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用 的語(yǔ)境；內(nèi)涵語(yǔ)境又稱晦暗語(yǔ)境，是上述規(guī)則在其中不適用的語(yǔ)境。相應(yīng)于外 延語(yǔ)境和內(nèi)涵語(yǔ)境的區(qū)

15、別，一切語(yǔ)言表達(dá)式（包括自然語(yǔ)言的名詞、動(dòng)詞、形 容詞直至語(yǔ)句）都可以區(qū)分為外延性的和內(nèi)涵性的，前者是提供外延語(yǔ)境的表 達(dá)式，后者是提供內(nèi)涵性語(yǔ)境的表達(dá)式。例如，殺死、見到、擁抱、吻、砍、 踢打、與下棋等都是外延性表達(dá)式，而知道、相信、認(rèn)識(shí)、必然、可能、 允許、禁止、過去、現(xiàn)在、未來(lái)等都是內(nèi)涵性表達(dá)式。 在內(nèi)涵語(yǔ)境中會(huì)出現(xiàn)一 些復(fù)雜的情況。首先，對(duì)于個(gè)體詞項(xiàng)來(lái)說(shuō)，關(guān)鍵性的東西是我們不僅必須考慮 它們?cè)诂F(xiàn)實(shí)世界中的外延，而且要考慮它們?cè)谄渌赡苁澜缰械耐庋?。例如?由于“必然”是內(nèi)涵性表達(dá)式，它提供內(nèi)涵語(yǔ)境，因而下述推理是非有效的： 晨星必然是晨星， 晨星就是暮星， 所以，晨星必然是暮星。 這是

16、因?yàn)椋哼@個(gè) 推理只考慮到“晨星”和“暮星”在現(xiàn)實(shí)世界中的外延，并沒有考慮到它們?cè)?每一個(gè)可能世界中的外延，我們完全可以設(shè)想一個(gè)可能世界，在其中“晨星” 的外延不同于“暮星”的外延。因此，我們就不能利用同一性替換規(guī)則，由該 推理的前提得出它的結(jié)論：“晨星必然是暮星”。其次，在內(nèi)涵語(yǔ)境中，語(yǔ)言 表達(dá)式不再以通常是它們的外延的東西作為外延，而以通常是它們的內(nèi)涵的東 西作為外延。以“達(dá)爾文相信人是從猿猴進(jìn)化而來(lái)的”這個(gè)語(yǔ)句為例。這里，達(dá)爾文所相信的是“人是從猿猴進(jìn)化而來(lái)的”所表達(dá)的思想，而不是它所指稱 的真值，于是在這種情況下，“人是從猿猴進(jìn)化而來(lái)的”所表達(dá)的思想（命 題）就構(gòu)成它的外延。再次，在內(nèi)涵

17、語(yǔ)境中，雖然適用于外延的函項(xiàng)性原則不 再成立，但并不是非要拋棄不可，可以把它改述為新的形式：一復(fù)合表達(dá)式的 外延是它出現(xiàn)于外延語(yǔ)境中的部分表達(dá)式的外延加上出現(xiàn)于內(nèi)涵語(yǔ)境中的部分 表達(dá)式的內(nèi)涵的函項(xiàng)。這個(gè)新的組合性或函項(xiàng)性原則在內(nèi)涵邏輯中成立。 一般 而言，一個(gè)好的內(nèi)涵邏輯至少應(yīng)滿足兩個(gè)條件：（ i ）它必須能夠處理外延邏輯 所能處理的問題；（ ii ）它還必須能夠處理外延邏輯所不能處理的難題。這就 是說(shuō)，它既不能與外延邏輯相矛盾，又要克服外延邏輯的局限。這樣的內(nèi)涵邏 輯目前正在發(fā)展中，并且已有初步輪廓。從術(shù)語(yǔ)上說(shuō)，內(nèi)涵邏輯除需要真、 假、語(yǔ)句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等

18、外延邏輯 的術(shù)語(yǔ)之外，還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù) 語(yǔ)。廣而言之，可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知 道”、“相信”，“允許”、“禁止”等提供內(nèi)涵語(yǔ)境的語(yǔ)句算子的一般邏 輯。在這種廣義之下，模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)知邏輯、問題邏輯 等都是內(nèi)涵邏輯。不過，還有一種狹義的內(nèi)涵邏輯，它可以粗略定義如下：一 個(gè)內(nèi)涵邏輯是一個(gè)形式語(yǔ)言，其中包括（ 1）謂詞邏輯的算子、量詞和變?cè)?，這 里的謂詞邏輯不必局限于一階謂詞邏輯，也可以是高階謂詞邏輯；（2）合式的入一表達(dá)式，例如（入x）A，這里A是任一類型的表達(dá)式，x是任一類型的變 元，（入x）A本身是一函項(xiàng)，它

19、把變?cè)獂在其中取值的那種類型的對(duì)象映射到 A 所屬的那種類型上；（3）其他需要的模態(tài)的或內(nèi)涵的算子，例如 ？，u、u。而 一個(gè)內(nèi)涵邏輯的解釋，則由下列要素組成：（ 1）一個(gè)可能世界的非空集 W；（2） 一個(gè)可能個(gè)體的非空集D;（ 3） 一個(gè)賦值，它給系統(tǒng)內(nèi)的表達(dá)式指派它 們?cè)诿縲W中的外延。對(duì)于任一的解釋 Q和任一的世界w W判定內(nèi)涵邏輯 系統(tǒng)中的任一表達(dá)式X相對(duì)于解釋Q在wW中的外延總是可能的。這樣的內(nèi)涵 邏輯系統(tǒng)有丘奇的LSD系統(tǒng)，R蒙塔古的IL系統(tǒng)，以及EN扎爾塔的FIL 系統(tǒng)等。在各種內(nèi)涵邏輯中，認(rèn)識(shí)論邏輯（epistemic logic ）具有重要意 義。它有廣義和狹義之分。廣義的認(rèn)

20、識(shí)論邏輯 研究 與感知（ perception ）、 知道、相信、斷定、理解、懷疑、 問題 和回答等相關(guān)的邏輯問題，包括問題 邏輯、知道邏輯、相信邏輯、斷定邏輯等；狹義的認(rèn)識(shí)論邏輯僅指知道和相信 的邏輯，簡(jiǎn)稱“認(rèn)知邏輯”。馮賴特在 1951年提出了對(duì)“認(rèn)知模態(tài)”的邏輯 分析，這對(duì)建立認(rèn)知邏輯具有極大的啟發(fā)作用。J麥金西首先給出了一個(gè)關(guān) 于“知道”的模態(tài)邏輯。A-帕普于1957年建立了一個(gè)基于6條規(guī)則的相信邏 輯系統(tǒng)。J 亨迪卡于60年代出版的知識(shí)和信念一書是認(rèn)知邏輯史上的重 要著作，其中提出了一些認(rèn)知邏輯的系統(tǒng)，并為其建立了基于“模型集”的語(yǔ) 義學(xué)，后者是可能世界語(yǔ)義學(xué)的先導(dǎo)之一。當(dāng)今的認(rèn)知邏

21、輯紛繁復(fù)雜，既不成 熟也面臨許多難題。由于認(rèn)知邏輯涉及認(rèn)識(shí)論、心 理學(xué) 、語(yǔ)言學(xué)、 計(jì)算 機(jī) 科學(xué) 和人工智能等諸多領(lǐng)域，并且認(rèn)知邏輯的 應(yīng)用 技術(shù)，又稱關(guān)于知識(shí)的推 理技術(shù)，正在成為計(jì)算機(jī)科學(xué)和人工智能的重要分支之一，因此認(rèn)知邏輯在 20 世紀(jì)中后期成為國(guó)際邏輯學(xué)界的一個(gè)熱門研究方向。這一狀況在21 世紀(jì)將得到繼續(xù)并進(jìn)一步強(qiáng)化，在這方面有可能出現(xiàn)突破性的重要結(jié)果。4 對(duì) 自然語(yǔ)言的邏輯研究 對(duì)自然語(yǔ)言的邏輯研究有來(lái)自幾個(gè)不同領(lǐng)域的推動(dòng)力。首先是 計(jì)算機(jī)和人工智能的研究，人機(jī)對(duì)話和通訊、計(jì)算機(jī)的自然語(yǔ)言理解、知識(shí)表 示和知識(shí)推理等課題，都需要對(duì)自然語(yǔ)言進(jìn)行精細(xì)的邏輯分析，并且這種分析不能僅停留

22、在句法層面，而且要深入到語(yǔ)義層面。其次是 哲學(xué) 特別是語(yǔ)言哲 學(xué)，在 20 世紀(jì)哲學(xué)家們對(duì)語(yǔ)言表達(dá)式的意義問題傾注了異乎尋常的精力， 發(fā) 展 了各種各樣的意義 理論 ，如觀念論、指稱論、使用論、言語(yǔ)行為理論、真 值條件論等等，以致有人說(shuō)，關(guān)注意義成了 20 世紀(jì)哲學(xué)家的職業(yè)病。再次是語(yǔ) 言學(xué)自身發(fā)展的需要，例如在研究自然語(yǔ)言的意義問題時(shí)，不能僅僅停留在脫 離語(yǔ)境的抽象研究上面，而要結(jié)合使用語(yǔ)言的特定環(huán)境去研究，這導(dǎo)致了語(yǔ)義 學(xué)、語(yǔ)用學(xué)、新修辭學(xué)等等發(fā)展。各個(gè)方面發(fā)展的成果可以總稱為“自然語(yǔ)言 邏輯”，它力圖綜合后期維特根斯坦提倡的使用論，J L 奧斯汀、J L 塞爾等人發(fā)展的言語(yǔ)行為理論，以及

23、 P格賴斯所創(chuàng)立的會(huì)話含義學(xué)說(shuō)等成果， 透過自然語(yǔ)言的指謂性和交際性去研究自然語(yǔ)言中的推理。 自然語(yǔ)言具有表達(dá) 和交際兩種職能，其中交際職能是自然語(yǔ)言最重要的職能，是它的生命力之所 在。而言語(yǔ)交際總是在一定的語(yǔ)言環(huán)境（簡(jiǎn)稱語(yǔ)境）中進(jìn)行的，語(yǔ)境有廣義和 狹義之分。狹義的語(yǔ)境僅指一個(gè)語(yǔ)詞、一個(gè)句子出現(xiàn)的上下文。廣義的語(yǔ)境除 了上下文之外，還包括該語(yǔ)詞或語(yǔ)句出現(xiàn)的整個(gè) 社會(huì) 歷史 條件，如該語(yǔ)詞或 語(yǔ)句出現(xiàn)的時(shí)間、地點(diǎn)、條件、講話的人（作者）、聽話的人（讀者）以及交 際雙方所共同具有的背景知識(shí)，這里的背景知識(shí)包括交際雙方共同的信念和心 理習(xí)慣，以及共同的知識(shí)和假定等等。這些語(yǔ)境因素對(duì)于自然語(yǔ)言的表達(dá)

24、式 （語(yǔ)詞、語(yǔ)句）的意義有著極其重要的 影響 ，這具體表現(xiàn)在：（ i ）語(yǔ)境具有 消除自然語(yǔ)言語(yǔ)詞的多義性、歧義性和模糊性的能力，具有嚴(yán)格規(guī)定語(yǔ)言表達(dá) 式意義的能力。（ ii ）自然語(yǔ)言的句子常常包含指示代詞、人稱代詞、時(shí)間副 詞等，要弄清楚這些句子的意義和 內(nèi)容 ，就要弄清楚這句話是誰(shuí)說(shuō)的、對(duì)誰(shuí) 說(shuō)的、什么時(shí)候說(shuō)的、什么地點(diǎn)說(shuō)的、針對(duì)什么說(shuō)的，等等，這只有在一定的 語(yǔ)境中才能進(jìn)行。依賴語(yǔ)境的其他類型的語(yǔ)句還有：包含著象“有些”和“每 一個(gè)”這類量化表達(dá)式的句子的意義取決于依語(yǔ)境而定的論域，包含著象“大 的”、“冷的”這類形容詞的句子的意義取決于依語(yǔ)境而定的相比較的對(duì)象 類；模態(tài)語(yǔ)句和條件語(yǔ)句

25、的意義取決于因語(yǔ)境而變化的語(yǔ)義決定因素，如此等 等。（ iii ）語(yǔ)言表達(dá)式的意義在語(yǔ)境中會(huì)出現(xiàn)一些重要的變化，以至偏離它通 常所具有的意義（抽象意義），而產(chǎn)生一種新的意義即語(yǔ)用涵義。有人認(rèn)為， 一個(gè)語(yǔ)言表達(dá)式在它的具體語(yǔ)境中的意義，才是它的完全的真正的意義，一旦 脫離開語(yǔ)境，它就只具有抽象的意義。語(yǔ)言的抽象意義和它的具體意義的關(guān) 系，正象解剖了的死人肢體與活人肢體的關(guān)系一樣。邏輯應(yīng)該去研究、理解、 把握自然語(yǔ)言的具體意義，當(dāng)然不是去研究某一個(gè)（或一組）特定的語(yǔ)句在某 個(gè)特定語(yǔ)境中唯一無(wú)二的意義，而是專門研究確定自然語(yǔ)言具體意義的普遍原 則。美國(guó)語(yǔ)言學(xué)家保羅格賴斯把語(yǔ)言表達(dá)式在一定的交際語(yǔ)境中

26、產(chǎn)生的 一種不同于字面意義的特殊涵義，叫做“語(yǔ)用涵義”、“會(huì)話涵義”或“隱 涵”（ implicature ），并于 1975年提出了一組“交際合作原則”，包括一個(gè) 總則和四組準(zhǔn)則?？倓t的 內(nèi)容 是：在你參與會(huì)話時(shí)，你要依據(jù)你所參與的談 話交流的公認(rèn)目的或方向，使你的會(huì)話貢獻(xiàn)符合這種需要。仿照康德把范疇區(qū) 分為量、質(zhì)、關(guān)系和方式四類，格賴斯提出了如下四組準(zhǔn)則：（1）數(shù)量準(zhǔn)則：在交際過程中給出的信息量要適中。a .給出所要求的信息量；b .給出的信息量不要多于所要求的信息量。（2）質(zhì)量準(zhǔn)則：力求講真話。a .不說(shuō)你認(rèn)為假的東西，。b .不說(shuō)你缺少適當(dāng)證據(jù)的東西。（3）關(guān)聯(lián)準(zhǔn)則：說(shuō)話要與已定的交際

27、目的相關(guān)聯(lián)。（4）方式準(zhǔn)則：說(shuō)話要意思明確，表達(dá)清晰。a.避免晦澀生僻的表達(dá)方式；b .避免有歧義的表達(dá)方式；c .說(shuō)話要簡(jiǎn)潔；d.說(shuō)話要有順序性。后來(lái)對(duì)這些原則提出了不少修正和補(bǔ)充，例如有人 還提出了交際過程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作 原則之類的語(yǔ)用規(guī)則作為基本前提，這些原則就可以用來(lái)確定和把握 自然 語(yǔ) 言的具體意義（語(yǔ)用涵義）。實(shí)際上，一個(gè)語(yǔ)句 p 的語(yǔ)用涵義，就是聽話人在 具體語(yǔ)境中根據(jù)語(yǔ)用規(guī)則由 p 得到的那個(gè)或那些語(yǔ)句。更具體地說(shuō)，從說(shuō)話人 S說(shuō)的話語(yǔ)P推出語(yǔ)用涵義q的一般過程是：（i）S說(shuō)了 P； （ii ）沒有理由認(rèn)為S不遵守準(zhǔn)則，或至少S會(huì)遵守總的合作原則；（iii ）S說(shuō)了 P而又要遵