人工智能與現(xiàn)今的邏輯學的發(fā)展編纂

1、人工智能與現(xiàn)今邏輯學的發(fā)展摘要本文認為，計算機科學和人工智能將是 21世紀邏輯學 發(fā)展的主要動力源泉，并且在很 大程度上將決定21世紀邏輯學的面貌？至少在21世紀早期，邏輯學將重點關(guān)注下列論題:(1)如何在邏輯中處理常識推理的弗協(xié)調(diào)？非單調(diào)和容錯性因素?(2)如何使機器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導以后行動的可錯的歸納判斷?(3)如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認知主體相互之間的知識而進行的推理？(4)如何結(jié)合各種語境因素進行自然語言理解和推理，使智能機器人能夠用人的自然語言與人進行成 功的交際？等等？ 關(guān)鍵詞人工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯

2、，認知邏輯 啟然語言邏輯現(xiàn)代邏輯創(chuàng)始于19世紀末葉和20世紀早期，其發(fā)展動力主要來自于數(shù)學中的公理化運動？當時的數(shù)學家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導出其他的數(shù)學定理，從而把整個數(shù)學構(gòu)造成為一個嚴格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學體系的可靠性？為此需要發(fā)明和鍛造嚴格 ？精確？適用的邏輯工具？這是現(xiàn)代邏輯誕生的主要動力？由此造成的后果就是 20世紀邏輯研究的嚴重數(shù)學化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學的形式化過程中提出的問題；二是邏輯采納了數(shù)學的方法論，從事邏輯研究就意味著象數(shù)學那樣用嚴 格的形式證明去解決問題？由此發(fā)展出來的邏輯被恰當?shù)胤Q為數(shù)理邏輯”它增強了邏輯研

3、究的深度，使邏輯學的發(fā)展繼古希臘邏輯？歐洲中世紀邏輯之后進入第三個高峰期，并且對整個現(xiàn)代科學特別是數(shù)學 ？哲學？語言學和計算機科學產(chǎn)生了非常重要的影響？本文所要探討的問題是：21世紀邏輯發(fā)展的主要動力將來自何處？大致說來將如何發(fā)展？我個人的看法是：計算機科學和人工智能將至少是21世紀早期邏輯學發(fā)展的主要動力源泉，并將由此決定21世紀邏輯學的另一幅面貌 ？由于人工智能要模擬人的智能，它的難點不在于人腦 所進行的各種必然性推理(這一點在20世紀基本上已經(jīng)做到了 ，如用計算機去進行高難度和 高強度的數(shù)學證明，深藍”通過高速？大量的計算去與世界冠軍下棋，而是最能體現(xiàn)人的智能特征的能動性？創(chuàng)造性思維，這

4、種思維活動中包括學習？抉擇？嘗t？修正？推理諸因素，例如選擇性地搜集相關(guān)的經(jīng)驗證據(jù)，在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整？修正自己的行為，由此達到實踐的成功？于是，邏輯學將不得不比較全面地研究 人的思維活動，并著重研究人的思維中最能體現(xiàn)其能動性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強的可應(yīng)用性？實際上，在20世紀中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能(記為AI)之間的相互融合和滲透？例如，哲學邏輯所研究的許多課題在理論計算機和人工智能中具有重要的應(yīng)用價值？AI從認知心理學？社會科學以及決策科學中獲得了許多資源，但邏輯(包括哲學邏輯)在AI中發(fā)揮了特別

5、突出的作用？某些原因促使哲學邏輯家去發(fā)展關(guān)于非數(shù)學推理的理論；基于幾乎同樣的理由，AI研究者也在進行類似的探索，這兩方面的研究正在相互接近？相互借鑒，甚至在逐漸融合在一起？例如,AI特別關(guān)心下述課題：效率和資源有限的推理；感知；做計劃和計劃再認關(guān)于他人的知識和信念的推理；各認知主體之間相互的知識；自然語言理解；知識表小;常識的精確處理；對不確定TIe的處理，容錯推理；關(guān)于時間和因果性的推理；解釋或說明；對歸納概括以及概念的學習？21世紀的邏輯學也應(yīng)該關(guān)注這些問題，并對之進行研究？為了做到這一點，邏輯學家們有必要熟悉AI的要求及其相關(guān)進展，使其研究成果在AI中具有可應(yīng)用性？我認為，至少是21世紀

6、早期，邏輯學將會重點關(guān)注下述幾個領(lǐng)域，并且有可能在這些領(lǐng)域出現(xiàn)具有重大意義的成果：(1)如何在邏輯中處理常識推理中的弗協(xié)調(diào)？非單調(diào)和容錯性因素?(2)如何使機器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導以后行動的歸納判斷?(3)如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認知主體相互之間的知識而 進行的推理？(4)如何結(jié)合各種語境因素進行自然語言理解和推理，使智能機器人能夠用人的自然語言與人進行成功的交際？等等？1 .常識推理中的某些弗協(xié)調(diào) ？非單調(diào)和容錯性因素AI研究的一個目標就是用機器智能模擬人的智能，它選擇各種能反映人的智能特征的問題進行實踐，希望能做出各種具有智能特征

7、的軟件系統(tǒng)？AI研究基于at算途徑，因此要建立具有可操作性的符號模型L般而言,AI關(guān)于智能系統(tǒng)的符號模型可描述為：由一個知識載體(稱為知 識庫KB)和一組加載在 KB上的足以產(chǎn)生智能行為的過程(稱為問題求解器 PS)構(gòu)成？經(jīng)過20世紀70年代包括專家系統(tǒng)的發(fā)展，AI研究者逐步取得共識，認識到知識在智能系統(tǒng)中力量，即一般的智能系統(tǒng)事實上是一種基于知識的系統(tǒng)，而知識包括專門性知識和常識性知識，前者亦可看做是某一領(lǐng)域內(nèi)專家的常識？于是，常識問題就成為 AI研究的一個核心問題，它包括兩個方面：常識表示和常識推理，即如何在人工智能中清晰地表示人類的常識，并運用這些常識去進行符合人類彳T為的推理 ？顯然，

8、如此建立的常識知識庫可能包含矛盾，是不協(xié)調(diào)的，但這種矛盾或不協(xié)調(diào)應(yīng)不至于影響到進行合理的推理行為；常識推理還是一種非單調(diào)推理，即人們基于不完全的信息推出某些結(jié)論，當人們得到更完全的信息后，可以改變甚至收回原來的結(jié)論；常識推理也是一種可能出錯的不精確的推理模式，是在容許有錯誤知識的情況下進行的推理，簡稱容錯推理？而經(jīng)典邏輯拒斥任何矛盾，容許從矛盾推出一切命題；并且它是單調(diào)的，即承認如 下的推理模式：如果p?r,則pfq?r；或者說，任一理論的定理屬于該理論之任一擴張的定理集？因此，在處理常識表示和常識推理時，經(jīng)典邏輯應(yīng)該受到限制和修正，并發(fā)展出某些非經(jīng)典的邏 輯,如次協(xié)調(diào)邏輯？非單調(diào)邏輯？容錯推

9、理等？有人指出，常識推理的邏輯是次協(xié)調(diào)邏輯和非單 調(diào)邏輯的某種結(jié)合物，而后者又可看做是對容錯推理的簡單且基本的情形的一種形式化？次協(xié)調(diào)邏輯”(Paraconsistertiogic)是由普里斯特？達科斯塔等人在對悖論的研究中發(fā)展出 來的，其基本想法是：當在一個理論中發(fā)現(xiàn)難以克服的矛盾或悖論時，與其徒勞地想盡各種辦法去排除或防范它們，不如干脆讓它們留在理論體系內(nèi)，但把它們?nèi)逼饋?，不讓它們?nèi)我鈹U散，以免使我們所創(chuàng)立或研究的理論成為不足道”的？于是，在次協(xié)調(diào)邏輯中，能夠容納有意義？有價值的 真矛盾”但這些矛盾并不能使系統(tǒng)推出一切，導致自毀？因此,這一新邏輯具有一種次于經(jīng)典邏輯但又遠遠高于完全不協(xié)

10、調(diào)系統(tǒng)的協(xié)調(diào)性？次協(xié)調(diào)邏輯家們認為，如果在一理論T中，一語句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é)調(diào)的理論，但不適用于研究不協(xié)調(diào)但又足道的理論？達 科斯塔在20世紀60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng)Cn(1 < n<勵用作不協(xié)調(diào)而又足道的理論的邏輯工具？對次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述命題：(i)矛盾律？(Ad？A)不普遍有效；(

11、ii)從兩個相互否定的公式 A和？A推不出任意公式；即是說，矛盾不會在系統(tǒng)中任意擴散，矛盾不等于災難？(iii)應(yīng)當容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則？這里，(i)和(ii)表明了對矛盾的一種相對寬容的態(tài)度,(iii)則表明次協(xié)調(diào)邏輯對于經(jīng)典邏輯仍有一定的繼承性？在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1 w nw種，下述經(jīng)典邏輯的定理或推理模式都不成立： ？（A i？A）A u ？Af BAf （？A f B）（A？A） - B （A？A） - ？BA ？A（？A u （A u B） B （A-B） （？B -？A）若以C0為經(jīng)典邏輯，則系列C0, C1, C2,Cn,Cw使得對任

12、正整數(shù)i有Ci弱于Ci-1,Cw是 這系列中最弱的演算？已經(jīng)為Cn設(shè)計出了合適的語義學，并已經(jīng)證明Cn相對于此種語義是 可靠的和完全的，并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的？現(xiàn)在，已經(jīng)有人把次協(xié)調(diào)邏輯擴展到模態(tài)邏輯？時態(tài)邏輯？道義邏輯？多值邏輯？集合論等領(lǐng)域的研究中，發(fā)展了這些領(lǐng)域內(nèi)的 次協(xié)調(diào)理論？顯然，次協(xié)調(diào)邏輯將會得到更進一步的發(fā)展？非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯，它的研究開始于 20世紀80年代？1980年,D麥克多莫特和J多伊爾初步嘗試著系統(tǒng)發(fā)展一種關(guān)于非單調(diào)推理的邏輯？他們在經(jīng)典謂詞演算中引入一個算子 M,表示某種 致性”斷言，并將其看做是模態(tài)概念，通過一定程序把模態(tài)邏輯系統(tǒng) T

13、？S4和S5翻譯成非單調(diào)邏輯 ？B摩爾的論文非單調(diào)邏輯的語義思考(1983)據(jù)認為在非單調(diào)邏輯方面作出了令人注目的貢獻？他在 缺省推理”和 自動認知推理”之間做了區(qū)分，并把前者看作是在沒有任何相反信息和缺少證據(jù)的條件下進行推理的過程，這種推理的特征是試探性的：根據(jù)新信息，它們很可能會被撤消 ？自動認知推理則不是這種類型，它是與人們自身的信念或知識相關(guān)的推理，可用它模擬一個理想的具有信念白有理性的代理人的推理？對于在計算機和人工智能中獲得成功的應(yīng)用而言，非單調(diào)邏輯尚需進一步發(fā)展 ？2 .歸納以及其他不確定性推理人類智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造？在人類創(chuàng)造的過程中，具有必然性的演繹推理固然起重要

14、作用，但更為重要的是具有某種不確定性的歸納？類比推理以及模糊推理等？因此，計算機要成功地模擬人的智能，真正體現(xiàn)出人的智能品質(zhì)，就必須對各種具有不確定性的推理模式 進行研究？首先是對歸納推理和歸納邏輯的研究？這里所說的歸納推理”是廣義的，指一切擴展性推理，它們的結(jié)論所斷定的超出了其前提所斷定的范圍，因而前提的真無法保證結(jié)論的真，整個推理因此缺乏必然性？具體說來，這種意義的歸納”包括下述內(nèi)容：簡單枚舉法；排除歸納法，指這樣 一些操作：預先通過觀察或?qū)嶒灹谐霰谎芯楷F(xiàn)象的可能的原因，然后有選擇地安排某些事例或?qū)嶒?，根?jù)某些標準排除不相干假設(shè)，最后得到比較可靠的結(jié)論；統(tǒng)計概括：從關(guān)于有窮數(shù)目樣 本的構(gòu)成

15、的知識到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理；類比論證和假說演繹法，等等？盡管休謨提出著名的歸納問題”對歸納推理的合理性和歸納邏輯的可能性提出了深刻的質(zhì)疑，但我認為，(1)歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認知策略，對于人類來說具有實踐的必然性？(2)人類有理由從經(jīng)驗的重復中建立某種確實性和規(guī)律性,其依據(jù)就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西？這一確信是合理的，而用純邏輯的理由去懷疑一個關(guān)于世界的事實性斷言則是不合理的，除非這個斷言是邏輯矛盾?(3)人類有可能建立起局部合理的歸納邏輯和歸納方法論？并且，歸納邏輯的這種可能性正在計算機科學和人工智能的研究推動下慢慢

16、地演變成現(xiàn)實？恩格斯早就指出，社會一旦有技術(shù)上的需要，則這種需要比十所大學更能把科學推向前進？”有人通過指責現(xiàn)有的歸納邏輯不成熟，得出歸納邏輯不可能”的結(jié)論，他們的推理本身與歸納推理一樣，不具有演繹的必然性？ (4)人類實踐的成功在一定程度上證明了相應(yīng)的經(jīng)驗知識的真理性，也就在一定程度上證明了歸納邏輯和歸納方法論的力量？毋庸否認，歸納邏輯目前還很不成熟 ？有的學者指出，為了在機器的智能模擬中克服對歸納模擬的困難而有所突破，應(yīng)該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機器學習？不確定推理和神經(jīng) 網(wǎng)絡(luò)學習模型與歸納學習中已有的成果結(jié)合起來 ？只有這樣， 才能在已有的歸納學習成果上，在機器歸納和機器發(fā)現(xiàn)上取

17、得新的突破和進展？這是一個極有價值且極富挑戰(zhàn)性的課題，無疑在21世紀將得到重視并取得進展 ？再談模糊邏輯？現(xiàn)實世界中充滿了模糊現(xiàn)象，這些現(xiàn)象反映到人的思維中形成了模糊概念和 模糊命題，如 矮個子“？美人”？甲地在乙地附近”？池很年輕”等?研究模糊概念？模糊命題和 模糊推理的邏輯理論叫做模糊邏輯”？對它的研究始于 20世紀20年代，其代表性人物是L A 查德和P N 馬林諾斯？模糊邏輯為精確邏輯（二值邏輯）解決不了的問題提供了解決的可 能，它目前在醫(yī)療診斷？故障檢測？氣象預報？自動控制以及人工智能研究中獲得重要應(yīng)用？顯然，它在21世紀將繼續(xù)得到更大的發(fā)展 ？3 .廣義內(nèi)涵邏輯經(jīng)典邏輯只是對命題聯(lián)

18、結(jié)詞 ？個體詞？謂詞？量詞和等詞進行了研究，但在自然語言中，除了這些語言成分之外，顯然還存在許多其他的語言成分，如各種各樣的副詞，包括模態(tài)詞必然”？何能”和不可能”？時態(tài)詞 過去"？現(xiàn)在“和 朱來"？道義詞 應(yīng)該“？允許“？禁止”等等，以及各種認知動詞，如 思考"？希望“？相信“？判斷“？猜測“？考慮“？懷疑”這些認知動詞在邏輯和哲學 文獻中被叫做命題態(tài)度詞”？對這些副詞以及命題態(tài)度詞的邏輯研究可以歸類為廣義內(nèi)涵邏輯”？大多數(shù)副詞以及幾乎所有命題態(tài)度詞都是內(nèi)涵性的，造成內(nèi)涵語境，后者與外延語境構(gòu)成對照？外延語境又叫透明語境，是經(jīng)典邏輯的組合性原則 ？等值置換規(guī)則？

19、同一性替換規(guī)則在其中 適用的語境；內(nèi)涵語境又稱晦暗語境 ，是上述規(guī)則在其中不適用的語境？相應(yīng)于外延語境和內(nèi)涵語境的區(qū)別，一切語言表達式（包括自然語言的名詞 ？動詞？形容詞直至語句）都可以區(qū)分為 外延性的和內(nèi)涵性的，前者是提供外延語境的表達式，后者是提供內(nèi)涵性語境的表達式？例如,殺死？見到？擁抱？吻？砍？踢？才T？與一下棋等都是外延性表達式 ，而知道？相信？認識？必然？可 能？允許？禁止？過去？現(xiàn)在？未來等都是內(nèi)涵性表達式 ？ 在內(nèi)涵語境中會出現(xiàn)一些復雜的情況？首先，對于個體t項來說，關(guān)鍵性的東西是我們不僅必須考慮它們在現(xiàn)實世界中的外延，而且要考慮它們在其他可能世界中的外延？例如，由于必然”是內(nèi)

20、涵性表達式，它提供內(nèi)涵語境，因而下述推理是非有效的： 晨星必然是晨星，晨星就是暮星，所以，晨星必然是暮星？這是因為：這個推理只考慮到 晨星“和暮星”在現(xiàn)實世界中的外延，并沒有考慮到它們在每一 個可能世界中的外延，我們完全可以設(shè)想一個可能世界，在其中晨星”的外延不同于暮星”的 外延？因此，我們就不能利用同一性替換規(guī)則，由該推理的前提得出它的結(jié)論 ：晨星必然是暮星”？其次，在內(nèi)涵語境中，語言表達式不再以通常是它們的外延的東西作為外延，而以通常是它們的內(nèi)涵的東西作為外延 ？以達爾文相信人是從猿猴進化而來的 ”這個語句為例？這里，達爾文所相信的是 人是從猿猴進化而來的”所表達的思想，而不是它所指稱的真

21、值，于是在這種 情況下，人是從猿猴進化而來的”所表達的思想(命題)就構(gòu)成它的外延？再次,在內(nèi)涵語境中 雖然適用于外延的函項性原則不再成立，但并不是非要拋棄不可，可以把它改述為新的形式一復合表達式的外延是它出現(xiàn)于外延語境中的部分表達式的外延加上出現(xiàn)于內(nèi)涵語境中的 部分表達式的內(nèi)涵的函項 ？這個新的組合性或函項性原則在內(nèi)涵邏輯中成立？一般而言，一個好的內(nèi)涵邏輯至少應(yīng)滿足兩個條件:(i)它必須能夠處理外延邏輯所能處理的問題;(ii)它還必須能夠處理外延邏輯所不能處理的難題？這就是說，它既不能與外延邏輯相矛盾，又要克服外延邏輯的局限？這樣的內(nèi)涵邏輯目前正在發(fā)展中，并且已有初步輪廓？從術(shù)語上說，內(nèi)涵邏輯

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

23、,x是任一類型的變元，(入x)心身是一函項，它把變元x在其中取值的那種類型的對象映射 到A所屬的那種類型上；(3)其他需要的模態(tài)的或內(nèi)涵的算子，例如？，1？u？而一個內(nèi)涵邏輯的解釋，則由下列要素組成：(1)一個可能世界的非空集W;(2) 一個可能個體的非空集D;(3) 一個賦值,它給系統(tǒng)內(nèi)的表達式指派它們在每w W中的外延？對于任一的解釋 Q和任一的世界 w C W,判定內(nèi)涵邏輯系統(tǒng)中的任一表達式X相對于解釋 Q在wC W中的外延總是可能的？這樣的內(nèi)涵邏輯系統(tǒng)有丘奇的LSD系統(tǒng),R蒙塔古的IL系統(tǒng)，以及EN 扎爾塔的FIL系統(tǒng)等？在各種內(nèi)涵邏輯中，認識論邏輯(epistemic logic)具

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

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

26、層面，而且要深入到語義層面 ？其次是哲學特別是語言哲學，在20世紀哲學家們對語言表達式的意義問題傾注了異乎尋常的精力，發(fā)展了各種各樣的意義理論，如觀念論今旨稱論？使用論？言語行為理論？真值條件論等等，以致有人 說，關(guān)注意義成了 20世紀哲學家的職業(yè)??？再次是語言學自身發(fā)展的需要，例如在研究自然語言的意義問題時，不能僅僅停留在脫離語境的抽象研究上面，而要結(jié)合使用語言的特定環(huán)境去研究，這導致了語義學？語用學？新修辭學等等發(fā)展？各個方面發(fā)展的成果可以總稱為自然語言邏輯”它力圖綜合后期維特根斯坦提倡的使用論,J L奧斯汀？J L塞爾等人發(fā)展的言語行為理論，以及P格賴斯所創(chuàng)立的會話含義學說等成果透過自然

27、語言的指謂性和交際性去研究自然語言中的推理？自然語言具有表達和交際兩種職能，其中交際職能是自然語言最重要的職能，是它的生命力之所在？而言語交際總是在一定的語言環(huán)境(簡稱語境)中進行的，語境有廣義和狹義之分？狹義的語境僅指一個語詞？一個句子出現(xiàn)的上下文？廣義的語境除了上下文之外，還包括該語詞或語句出現(xiàn)的整個社會 歷史條件，如該語詞或語句出現(xiàn)的時間？地點？條件？講話白人(作者)？聽話的人(讀者)以及交際雙方所共同具有的背景知識，這里的背景知識包括交際雙方共同的信念和心理習慣，以及共同的知識和假定等等？這些語境因素對于自然語言的表達式(語詞？語句)的意義有著極其重要的影響，這具體表現(xiàn)在：(i)語境具

28、有消除自然語言語詞的多義性？歧義性和模糊性的能力，具有嚴格規(guī)定語言表達式意義的能力？(ii)自然語言的句子常常包含指示代詞？人稱代詞？時間副詞等，要弄清楚這些句子的意義和內(nèi)容，就要弄清楚這句話是誰說的？對誰說的？什么時候說的？什么地點說的？針對什么說的，等等，這只有在一定的語境中才能進 行？依賴語境的其他類型的語句還有：包含著象 宥些”和 每一個”這類量化表達式的句子的意義取決于依語境而定的論域，包含著象大的“？冷的”這類形容詞的句子的意義取決于依語 境而定的相比較的對象類模態(tài)語句和條件語句的意義取決于因語境而變化的語義決定因素，如此等等？(iii)語言表達式的意義在語境中會出現(xiàn)一些重要的變化

29、，以至偏離它通常所具有的意義(抽象意義，而產(chǎn)生一種新的意義即語用涵義？有人認為，一個語言表達式在它的具體語境中的意義，才是它的完全的真正的意義，一旦脫離開語境，它就只具有抽象的意義？語言的抽 象意義和它的具體意義的關(guān)系，正象解剖了的死人肢體與活人肢體的關(guān)系一樣？邏輯應(yīng)該去研究？理解？把握自然語言的具體意義，當然不是去研究某一個(或一組)特定的語句在某個特定語境中唯一無二的意義，而是專門研究確定自然語言具體意義的普遍原則？美國語言學家保羅格賴斯把語言表達式在一定的交際語境中產(chǎn)生的一種不同于字面意義的特殊涵義，叫做語用涵義”？含話涵義”或隱涵"(implicature)并于1975年提出

30、了一組 交際 合作原則”包括一個總則和四組準則？總則的內(nèi)容是：在你參與會話時，你要依據(jù)你所參與的談話交流的公認目的或方向，使你的會話貢獻符合這種需要？仿照康德把范疇區(qū)分為量？質(zhì)？關(guān)系和方式四類，格賴斯提出了如下四組準則：(1)數(shù)量準則：在交際過程中給出的信息量要適中a.給出所要求的信息量；b.給出的信息量不要多于所要求的信息量？(2)質(zhì)量準則：力求講真話？ a.不說你認為假的東西b.不說你缺少適當證據(jù)的東西？(3)關(guān)聯(lián)準則：說話要與已定的交際目的相關(guān)聯(lián)？(4)方式準則：說話要意思明確，表達清晰？a.避免晦澀生僻的表達方式；b.避免有歧義的表達方式；c.說話要簡潔；d.說話要有順序性？后來對這些原則提出了不少修正和補充，例如有人還提出了交際過程中所要遵守的禮貌原則”？只要把交際雙方遵守交際合作原則之類的語用規(guī)則作為基本前提，這些原則