論當(dāng)代邏輯學(xué)研究的信息轉(zhuǎn)向

劉 鵬

在當(dāng)代，邏輯學(xué)研究自身正面臨重大而復(fù)雜的變化。回望過去，我們可以看到兩千多年前，邏輯學(xué)說在古中國、古印度和古希臘孕育發(fā)展，各樹一幟，逐漸形成邏輯學(xué)的三大邏輯流派和邏輯體系。隨著時代的發(fā)展和人類社會實(shí)踐的進(jìn)步，邏輯學(xué)研究的發(fā)展也呈現(xiàn)出時代的特點(diǎn)和自身的規(guī)律，或者說，每個時代，邏輯學(xué)都會集中于某個主題進(jìn)行探討，邏輯學(xué)研究主題的變換就是邏輯學(xué)研究的轉(zhuǎn)向。本文在檢視歷史上的邏輯學(xué)轉(zhuǎn)向問題的基礎(chǔ)上，著重提出當(dāng)前邏輯學(xué)研究的信息轉(zhuǎn)向問題。

邏輯學(xué)研究的轉(zhuǎn)向

(一)第一次研究轉(zhuǎn)向——數(shù)學(xué)轉(zhuǎn)向

19世紀(jì)，邏輯學(xué)研究的歷史來到了它的一個發(fā)展拐點(diǎn)，邏輯的數(shù)學(xué)化，我們稱之為邏輯研究的數(shù)學(xué)轉(zhuǎn)向。我們知道，在這之前的邏輯學(xué)主要關(guān)注和研究的主題是論證和推理。邏輯的這個主題之起始點(diǎn)可以追溯至古希臘時期的亞里士多德。亞里士多德提出了系統(tǒng)的完整的形式邏輯體系，大概包括五種邏輯理論，分別是對當(dāng)關(guān)系理論、換位理論、直言三段論理論、模態(tài)三段論理論和證明理論，奠定了西方邏輯學(xué)理論發(fā)展的傳統(tǒng)方向。①可以說，亞里士多德邏輯是西方邏輯史上的第一個主流的邏輯類型。亞里士多德通過對各種推理模式的分析提出的三段論,曾一度被認(rèn)為是推理的唯一范式,在歷史上具有廣泛的影響。西方哲學(xué)家,特別是像托馬斯·阿奎那、奧卡姆、笛卡爾、康德、黑格爾、胡塞爾、海德格爾等大哲學(xué)家廣泛應(yīng)用的邏輯大都是亞里士多德邏輯。一個歷史事實(shí)是，自亞里士多德邏輯創(chuàng)生以來，由于其理論完善度很高，千年以來，理論內(nèi)容變化不大，因此直到18世紀(jì)，哲學(xué)家康德竟然仍認(rèn)為：亞里士多德已經(jīng)窮盡了邏輯學(xué)的要點(diǎn),邏輯學(xué)既不需要變化,也不會再有新的發(fā)現(xiàn)。然而短短不到百年，19世紀(jì)的邏輯學(xué)理論有了革命性轉(zhuǎn)向。起因是弗雷格要為數(shù)學(xué)尋找邏輯根基。他的著作《算術(shù)基礎(chǔ)》成為這一轉(zhuǎn)向的奠基之作。弗雷格認(rèn)為，邏輯的任務(wù)就是為算術(shù)尋找一個可靠的家。最終，在19世紀(jì)末20世紀(jì)初，清晰的數(shù)學(xué)描述、表達(dá)和推理的數(shù)學(xué)化成為新邏輯表現(xiàn)形態(tài)，人工語言代替自然語言，形式公理系統(tǒng)代替古典亞里士多德詞項(xiàng)邏輯，人們稱這種新的邏輯為數(shù)理邏輯。

邏輯的數(shù)學(xué)轉(zhuǎn)向使得邏輯學(xué)研究主題第一次發(fā)生了重大轉(zhuǎn)向，邏輯開始關(guān)心具有高度數(shù)學(xué)技術(shù)的人工語言的構(gòu)造，其精確性和準(zhǔn)確性達(dá)到異乎尋常的程度，但是邏輯的數(shù)學(xué)化趨勢也使得邏輯漸漸遠(yuǎn)離了它本來的自然境界和人文趣味。

(二)第二次研究轉(zhuǎn)向——認(rèn)知轉(zhuǎn)向

邏輯的數(shù)學(xué)化畢竟只是邏輯的眾多發(fā)展領(lǐng)域中的一個，邏輯注定要在人類知識不同領(lǐng)域展現(xiàn)其存在與力量。20世紀(jì)，隨著信息時代的到來，計算機(jī)科學(xué)技術(shù)和應(yīng)用不斷深入發(fā)展，加之認(rèn)知心理學(xué)的發(fā)展，邏輯學(xué)研究逐漸改變了其原有方向。20世紀(jì)中后期計算機(jī)科學(xué)的發(fā)展進(jìn)入了知識處理和智能模擬階段。構(gòu)造邏輯系統(tǒng)描述(高級)認(rèn)知過程的特征、規(guī)約和驗(yàn)證主體和多主體的性質(zhì)等成為當(dāng)時邏輯學(xué)研究的主流方向。鞠實(shí)兒指出：“所謂邏輯學(xué)的認(rèn)知轉(zhuǎn)向是指：從起源于Frege的以數(shù)學(xué)基礎(chǔ)研究為背景的邏輯學(xué)，轉(zhuǎn)向構(gòu)造認(rèn)知過程的規(guī)范性或描述性模型的邏輯學(xué)?！雹凇罢J(rèn)知轉(zhuǎn)向的目標(biāo)是:給出知識獲取,知識表達(dá)以及知識的擴(kuò)展和修正的方法和模型?！雹塾谑牵壿嬙谟嬎銠C(jī)科學(xué)、人工智能和認(rèn)知心理學(xué)等學(xué)科發(fā)展的洪流中，圍繞智能體認(rèn)知過程的表征與轉(zhuǎn)換，邏輯學(xué)研究的主題實(shí)現(xiàn)了它的認(rèn)知轉(zhuǎn)向。

邏輯的認(rèn)知轉(zhuǎn)向體現(xiàn)在：更加關(guān)注科學(xué)知識的處理過程；更加關(guān)注知識的不確定性研究；更加關(guān)注邏輯與心理學(xué)的關(guān)系；更加關(guān)注實(shí)際智能體認(rèn)知過程的表征；更加關(guān)注不完全形式系統(tǒng)的研究?？梢哉f，邏輯的認(rèn)知轉(zhuǎn)向的根本旨趣在于放棄邏輯研究過去關(guān)于論證和推理的研究，集中精力于智能體的知識獲取、表征和處理的邏輯建模和邏輯方法的探尋，這是人類計算機(jī)和信息技術(shù)進(jìn)一步發(fā)展所要求的。

邏輯學(xué)研究的信息轉(zhuǎn)向

(一)邏輯學(xué)研究的信息轉(zhuǎn)向

21世紀(jì)的今天，邏輯學(xué)并沒有停止其發(fā)展，而是繼續(xù)朝著更深刻的方向變化。邏輯學(xué)研究的轉(zhuǎn)向問題早已經(jīng)被學(xué)界所重視，國內(nèi)外很多學(xué)者都相繼就此發(fā)表了研究成果。通過梳理，學(xué)者共同認(rèn)可的意見有兩條：一在時間順序上得到一致承認(rèn)的是上述邏輯的數(shù)學(xué)轉(zhuǎn)向和認(rèn)知轉(zhuǎn)向，這兩個轉(zhuǎn)向分別產(chǎn)生了數(shù)理邏輯和認(rèn)知邏輯的新邏輯領(lǐng)域；二是著眼于當(dāng)代邏輯學(xué)研究的現(xiàn)狀，認(rèn)為目前邏輯學(xué)研究在前兩個轉(zhuǎn)向之后正在進(jìn)入下一個轉(zhuǎn)向的進(jìn)程之中。但是通過對比可以發(fā)現(xiàn)，對于邏輯學(xué)研究正在經(jīng)歷的這次轉(zhuǎn)向，學(xué)者還有很多不同的提法，如有的認(rèn)為認(rèn)知轉(zhuǎn)向之后還有邏輯的動態(tài)轉(zhuǎn)向④，邏輯的應(yīng)用轉(zhuǎn)向⑤，邏輯的實(shí)踐轉(zhuǎn)向⑥等等。這使得我們不能不感到當(dāng)代邏輯學(xué)研究主題確實(shí)在發(fā)生著顯著的變化。那么我們能否找到這些變化的實(shí)質(zhì)呢？

仔細(xì)研究文本，我們發(fā)現(xiàn)，所謂邏輯學(xué)的動態(tài)轉(zhuǎn)向是指邏輯以主體的活動為中心來研究主體的信念、愿望和意圖等變化,反過來,通過主體的信念、愿望和意圖等概念來解釋主體的活動動因及認(rèn)知基礎(chǔ)，其顯著特征和重要標(biāo)志是把活動作為邏輯學(xué)研究的中心任務(wù)來對待。

所謂邏輯的應(yīng)用轉(zhuǎn)向是指邏輯學(xué)與其他學(xué)科領(lǐng)域的種種交互，現(xiàn)代邏輯學(xué)與其他學(xué)科的相互滲透，邏輯理論在應(yīng)用的過程中，逐步形成了既相對獨(dú)立又有內(nèi)在聯(lián)系的由眾多學(xué)科組成的邏輯學(xué)科群。邏輯的應(yīng)用研究還延伸到其他學(xué)科領(lǐng)域，出現(xiàn)了量子邏輯、控制論邏輯、概率邏輯、價值邏輯、法律邏輯、科學(xué)邏輯等。

所謂邏輯研究的實(shí)踐轉(zhuǎn)向是指邏輯學(xué)向生活世界的轉(zhuǎn)變，邏輯學(xué)家發(fā)現(xiàn)人類的推理是有著現(xiàn)實(shí)生活語境的，因此普通的推理是人對于現(xiàn)實(shí)語境的一種應(yīng)變，其中要考慮人這樣的智能主體的認(rèn)知能力，可資利用的外界信息資源以及推理所要達(dá)到的現(xiàn)實(shí)目標(biāo)等因素，而對一個現(xiàn)實(shí)中的推理的判斷標(biāo)準(zhǔn)不是達(dá)到邏輯真，而是達(dá)到主體在認(rèn)知現(xiàn)實(shí)中對結(jié)果的可接受度，這種對“資源—目標(biāo)”邏輯的追求就是邏輯實(shí)踐轉(zhuǎn)向。

通過以上分析，我們發(fā)現(xiàn)上述研究的共同著眼點(diǎn)是信息。動態(tài)轉(zhuǎn)向的實(shí)質(zhì)是指邏輯對主體在推理過程中對進(jìn)出主體的信息之流的研究和刻畫，所謂動態(tài)是指通過信息更新達(dá)到主體信念修正所造成的；所謂應(yīng)用轉(zhuǎn)向是指邏輯學(xué)走向各個學(xué)科，結(jié)合各個學(xué)科的語境信息所建立的各個單獨(dú)的邏輯子類型，它與特定領(lǐng)域的信息規(guī)律和信息結(jié)構(gòu)密切相關(guān)；所謂實(shí)踐轉(zhuǎn)向，其實(shí)質(zhì)是一種對主體在具體現(xiàn)實(shí)語境中的欠信息(資源)的應(yīng)變性推理的研究?？梢钥吹?，繼關(guān)注邏輯形式、主體之后，信息成為邏輯所關(guān)注的對象，成為邏輯學(xué)研究的主題和未來發(fā)展的主要方向。因此，我們提出，當(dāng)代邏輯學(xué)研究正在經(jīng)歷第三次轉(zhuǎn)向——邏輯學(xué)的信息轉(zhuǎn)向，信息已經(jīng)成為邏輯學(xué)研究的時代主題，同時也是邏輯學(xué)未來發(fā)展的主要方向。

(二)邏輯學(xué)信息轉(zhuǎn)向的特征與實(shí)質(zhì)

信息是當(dāng)前哲學(xué)發(fā)現(xiàn)和哲學(xué)概括的最新詞匯，信息性是邏輯學(xué)信息轉(zhuǎn)向的主要特色，信息是這里最為關(guān)鍵的因素。檢視邏輯學(xué)的發(fā)展，我們可以在信息這塊新開發(fā)的平臺上，擁有更為開闊的視野和更加清晰的思考。綜合國內(nèi)外關(guān)于邏輯與信息的相關(guān)研究成果，我們認(rèn)為邏輯學(xué)信息轉(zhuǎn)向具體表現(xiàn)出以下三大特征。

一是動態(tài)特征。當(dāng)代邏輯學(xué)信息轉(zhuǎn)向的動態(tài)特征主要體現(xiàn)為將學(xué)術(shù)研究視野轉(zhuǎn)變到對主體的動態(tài)活動的關(guān)注上來。如Van Benthem提出了新的邏輯學(xué)動態(tài)研究綱領(lǐng)⑦：在邏輯學(xué)研究中引入主體活動這個范疇，把主體的活動作為邏輯命題那樣加以同等對待。這樣，邏輯學(xué)就呈現(xiàn)出由靜態(tài)的認(rèn)知研究轉(zhuǎn)向動態(tài)的認(rèn)知研究的新階段。邏輯開始轉(zhuǎn)向?qū)π畔⒏隆⒔涣骱椭黧w間互動等新內(nèi)容的探索和研究。邏輯不再滿足于抽象的推理有效性的研究，不再止步于邏輯形式的靜態(tài)的演繹，不再自足于從真到真的完美過渡，而是關(guān)注于實(shí)際生活中的人或某個智能體等這樣的主體是如何經(jīng)歷動態(tài)的思維的，關(guān)注主體在有限信息環(huán)境中是如何根據(jù)信息流動來得到結(jié)論的整個行動過程的，關(guān)注立足于主體行為與主體意圖、信念等之間的動態(tài)關(guān)系，關(guān)注主體行為的認(rèn)知基礎(chǔ)和認(rèn)知解釋。比如當(dāng)代動態(tài)認(rèn)知邏輯研究人的會話過程的主要思路是結(jié)合具體情景分析信息如何生成、研究認(rèn)知中的推理過程、分析信息的更新狀態(tài)、分析人的信念的修正來進(jìn)行的，在這個思路中，涉及了大量語言學(xué)、認(rèn)知科學(xué)和邏輯學(xué)知識，最終結(jié)果是建立會話過程的信息結(jié)構(gòu)模型，理清信息流動軌跡。也就是說，邏輯學(xué)動態(tài)性的重要標(biāo)志是把活動作為邏輯學(xué)研究的中心任務(wù)，邏輯的大量工作都集中在對主體諸如言語行為、交流、觀察、學(xué)習(xí)和信念修正等動態(tài)機(jī)制的研究上。這樣的研究既對語言結(jié)構(gòu)分析意義重大，也對主體的動態(tài)化過程認(rèn)識、計算機(jī)信息處理以及人工智能研究等都具有深遠(yuǎn)影響。

二是實(shí)踐特征。當(dāng)代邏輯學(xué)信息轉(zhuǎn)向的實(shí)踐特征主要體現(xiàn)為對實(shí)踐性加以深入研究和對待。何謂實(shí)踐性？實(shí)踐性是當(dāng)代邏輯學(xué)研究對邏輯概念的反思，認(rèn)為經(jīng)典邏輯并不能很好地解決人類真實(shí)生活中的論證和推理問題，而這種真實(shí)生活中的論證和推理或者叫實(shí)踐推理，具有一種非單調(diào)、非線性、可協(xié)商、可修正的非完善邏輯結(jié)構(gòu)，邏輯學(xué)不應(yīng)該盲目走向數(shù)學(xué)化而迷途不返，邏輯學(xué)應(yīng)該面向人的生活世界把握生活實(shí)踐中的邏輯，這就是所謂的實(shí)踐性。這種對邏輯的實(shí)踐性的要求不僅是邏輯自身本性的哲學(xué)反思，同時也是諸如計算機(jī)科學(xué)、心理學(xué)、語言學(xué)等現(xiàn)代學(xué)科發(fā)展對邏輯提出的新要求——需要對論辯理論、概率論、謬誤論、語篇分析、會話分析、認(rèn)知科學(xué)、計算機(jī)科學(xué)、演講學(xué)和修辭學(xué)這些不同的推理和論辯的方法進(jìn)行更高的概括和更新的表達(dá)。加貝和伍茲認(rèn)為，那種“純粹的”、“形式的”邏輯應(yīng)該被生活的、實(shí)踐的邏輯所代替。⑧一個實(shí)踐邏輯包括實(shí)踐主體、認(rèn)知資源和認(rèn)知目標(biāo)三個因素。邏輯的實(shí)踐特征就是實(shí)踐主體(agent)在有限的認(rèn)知資源條件下，為完成認(rèn)知目標(biāo)所做的實(shí)踐推理行為的整個過程中所體現(xiàn)的人的生活世界的實(shí)踐本色。邏輯的新任務(wù)就是尋求主體的實(shí)踐推理的那些原則性描述。

三是修正特征。當(dāng)代邏輯學(xué)信息轉(zhuǎn)向的修正特征主要是指主體在實(shí)踐推理過程中為適應(yīng)環(huán)境變化，智能主體利用信息更新來修改內(nèi)部狀態(tài)以驅(qū)動主體行為的過程特點(diǎn)，更廣義地講是指對主體內(nèi)部邏輯前提、邏輯推理、邏輯結(jié)論、信念狀態(tài)以及邏輯真等的一種可修正性。信息轉(zhuǎn)向的邏輯是一種“表征+轉(zhuǎn)換”邏輯，邏輯的任務(wù)不再是單純的推理的有效性的追求，而是摻入了更多信息的角色和信息的作用，這種邏輯在推理之前要引入信息來確定邏輯的前提和主體的信息認(rèn)知狀態(tài)，在推理過程之中要關(guān)注信息流的改變，在推理結(jié)束后要根據(jù)信息狀態(tài)的改變，結(jié)合主體信息認(rèn)知狀態(tài)來論證主體信念的一致性，如果不一致，則要根據(jù)信息更新來對主體進(jìn)行信念修正，這樣就可以很具體地為實(shí)踐主體的推理行為找到契合的推理描述和邏輯模型。Van Benthem認(rèn)為：“為了得到進(jìn)行推理的前提，我們要問問題。為了理解答案，我們必須要解釋所說的，繼而接受這個信息。這樣，邏輯系統(tǒng)就獲得了一項(xiàng)新的任務(wù)：提供有效的推理并系統(tǒng)地描述正在變化的信息的表征。一旦我們得到與我們的信念相矛盾的信息，我們就必須修改我們的信念與之相適應(yīng)。而在現(xiàn)代邏輯里，關(guān)于信念修改和更新的模態(tài)理論對此做了大量的刻畫?！雹?/p>

簡言之，邏輯學(xué)的信息轉(zhuǎn)向其實(shí)質(zhì)是通過對主體間的行為的動態(tài)的信息流動的表征與刻畫，達(dá)到對世界的最佳理解和把握，進(jìn)而為信息哲學(xué)的建立奠定扎實(shí)的基礎(chǔ)。

(三)當(dāng)代邏輯學(xué)研究信息轉(zhuǎn)向的原因分析

當(dāng)代邏輯學(xué)研究的信息轉(zhuǎn)向并非空穴來風(fēng)，它的產(chǎn)生有著深刻和復(fù)雜的原因，可以從時代發(fā)展、哲學(xué)進(jìn)展和邏輯學(xué)自身發(fā)展等方面分析。

一是時代動因。邏輯學(xué)與時代的關(guān)系密切，時代發(fā)展成為邏輯學(xué)信息轉(zhuǎn)向的一大原因。人類世界進(jìn)入信息時代已經(jīng)成為不爭的事實(shí)。首先，人類生存方式的全球化的融合語境初步形成。數(shù)字化的相互接通促使著人類不斷向全球化與地方化的融合之處進(jìn)展。其次是人類生活的數(shù)字化的交流語境初步形成。數(shù)字化使得人類生活沒有不可逾越的鴻溝和界限，地理的限制成為了歷史。還有，人類價值的虛擬化的社會語境初步形成，信息成為人類交往的憑借和工具，其本身的價值和邏輯亟待深入理解。在這個時代語境中，信息化科學(xué)和技術(shù)的成果快速地改變著人們的生活面貌，同時也急劇地改變著邏輯學(xué)的面貌。最為顯著的變化是計算機(jī)科學(xué)及人工智能發(fā)展與邏輯的關(guān)系，可以看到，計算機(jī)科學(xué)和人工智能的發(fā)展是邏輯學(xué)自身歷史發(fā)展的產(chǎn)物，反過來，計算機(jī)科學(xué)和人工智能發(fā)展的巨大需求又促進(jìn)著邏輯學(xué)的進(jìn)步和轉(zhuǎn)向?？傊?，信息是這個時代的主題詞，信息已經(jīng)逐漸成為當(dāng)代邏輯學(xué)發(fā)展的一條主線。盡管信息邏輯的研究還處于萌芽狀態(tài)，但圍繞信息的邏輯學(xué)正在成為這個學(xué)科的焦點(diǎn)和未來的方向。

二是哲學(xué)動因。邏輯學(xué)與哲學(xué)的關(guān)系是彼此交融休戚與共的。回顧哲學(xué)史和邏輯學(xué)發(fā)展史，可以看到，邏輯學(xué)的每一次重大改變都會在哲學(xué)上產(chǎn)生巨大反響，反過來，哲學(xué)的發(fā)展與進(jìn)步也會對邏輯學(xué)研究產(chǎn)生根本性影響。近百年來，哲學(xué)研究主題發(fā)生了重大轉(zhuǎn)向⑩，從本體論角度看，哲學(xué)研究“從以抽象的、形而上的實(shí)體為基礎(chǔ)的本體論向以現(xiàn)實(shí)的、具體的世界,特別是現(xiàn)實(shí)生活為基礎(chǔ)的存在論轉(zhuǎn)變”；從認(rèn)識論角度看，哲學(xué)研究“從既定的、始終如一的思維向生成、顯現(xiàn)的思維轉(zhuǎn)變”，“從重實(shí)體向重關(guān)系、重過程的觀念轉(zhuǎn)變”；從研究視角看，哲學(xué)研究“從場外觀向場內(nèi)觀轉(zhuǎn)變,亦即從純客觀的視角向以主體因素(語言、符號、實(shí)踐、行為、本質(zhì)直觀)為中介的視角轉(zhuǎn)變”。可以看到，現(xiàn)代哲學(xué)強(qiáng)調(diào)的是經(jīng)驗(yàn)世界、具體、自我、主體、過程等諸如此類的主題，我們認(rèn)為，在深層次上，這是信息哲學(xué)初步萌芽的征兆，這一切所表達(dá)的就是哲學(xué)研究的信息轉(zhuǎn)向，哲學(xué)研究的信息轉(zhuǎn)向促使哲學(xué)研究對象由實(shí)體性世界變?yōu)樾畔⑹澜?。哲學(xué)信息轉(zhuǎn)向一方面將促使哲學(xué)世界觀發(fā)生深刻變化，另一方面將促使哲學(xué)研究方法發(fā)生深刻變化。但是，面對哲學(xué)的信息轉(zhuǎn)向，邏輯學(xué)研究并沒有停滯不前，可以看到，信息的邏輯學(xué)思考已經(jīng)孕育出計算機(jī)、網(wǎng)絡(luò)和人工智能、知識處理、思維建模等新興學(xué)科，可以肯定地說，信息也已成為邏輯學(xué)關(guān)注的最為重要的話題和未來發(fā)展最有價值的方向。因此，邏輯學(xué)的信息轉(zhuǎn)向是人類認(rèn)識能力繼續(xù)深化的體現(xiàn)，是人類思想的本質(zhì)要求。

三是學(xué)科動因。從邏輯學(xué)學(xué)科自身發(fā)展上分析，如果說古典邏輯的研究對象是自然語言中的必然性，其范圍還有局限，還略帶有一點(diǎn)籠統(tǒng)，那么數(shù)理邏輯則依靠精確的數(shù)學(xué)化手段，通過人工語言的構(gòu)建，將古典邏輯的那點(diǎn)局限性和籠統(tǒng)性給予剔除，達(dá)到了很高的精確性和良好的工具性，給人類帶來了認(rèn)識手段的巨大進(jìn)步。但是數(shù)理邏輯的另外一面是忽視了主體的能動性和信息的欠缺性，暗含著諸如將人類思維引入歧途等隱患。而認(rèn)知轉(zhuǎn)向?qū)⑼ㄟ^承認(rèn)人作為主體在實(shí)際中推理的能動性，并且引入認(rèn)知心理學(xué)的東西使得邏輯得以很好地刻畫主體推理模型，令邏輯學(xué)研究生面別開。然而，邏輯是要為人思考服務(wù)的，認(rèn)知邏輯還只是一種靜態(tài)的認(rèn)識，而人的思維是動態(tài)的、交流的、受限的，因而邏輯需要一種動態(tài)的在資源受限條件下的達(dá)到主體間的相對真的認(rèn)識，所以邏輯沒有停止其步伐，邏輯學(xué)研究當(dāng)前正進(jìn)行著這種轉(zhuǎn)向，而這種認(rèn)識是高度依賴信息的。這種轉(zhuǎn)向后的邏輯必然是動態(tài)的、多元的和修正的，在更高的水平上，我們認(rèn)為在邏輯學(xué)數(shù)學(xué)轉(zhuǎn)向和認(rèn)知轉(zhuǎn)向之后的這個轉(zhuǎn)向應(yīng)該被綜合歸納為邏輯學(xué)研究的信息轉(zhuǎn)向。邏輯學(xué)研究的信息轉(zhuǎn)向這個概括具有更好的包容性，更高的歸納性和更開闊的研究視野。

①張家龍主編：《邏輯學(xué)思想史》，湖南教育出版社2002年版，第312頁。

②③鞠實(shí)兒：《論邏輯學(xué)發(fā)展的方向》，《中山大學(xué)學(xué)報》(邏輯與認(rèn)知?？?2003年第S1期。

④參見王景周、崔建英《從實(shí)踐思維看現(xiàn)代邏輯的發(fā)展》，《暨南學(xué)報》(哲學(xué)社會科學(xué)版)2010年第1期。

⑤參見沈躍春《現(xiàn)代邏輯學(xué)及其發(fā)展趨勢(研究綜述)》，《人民日報》2004年12月10日。

⑥⑧see from Gabbay Dov M，Woods J．The ractical Turn in Logic,Gabbay Dov M，Guenthner F．HandbookofPhilosophicallogic，Vo1.13.Berlin：Springer，2005,pp.15～122,pp.15～122．

⑦see from Van Benthem J. Logic and the Dynamics of Information,Floridi L.MindsandMachines, 2003, 13, (4).

⑨see from Van Benthem J.LogicandReasoning:DotheFactsMatter,Stanford: CLLI Publications, 2007.

⑩參見孫美堂《從哲學(xué)轉(zhuǎn)向的角度看馬克思主義哲學(xué)的現(xiàn)代性》，《中國人民大學(xué)學(xué)報》2002年第2期。