作者：劉奮榮《光明日報》（ 2016年04月13日 14版）
眾所周知，在傳統(tǒng)邏輯基礎(chǔ)上發(fā)展起來的現(xiàn)代邏輯及其應(yīng)用成為當(dāng)代邏輯學(xué)的主流類型。這種發(fā)展是一個與哲學(xué)、數(shù)學(xué)、計算機(jī)科學(xué)、認(rèn)知科學(xué)等學(xué)科不斷交叉的歷程。正是這種學(xué)科交叉，賦予邏輯學(xué)新的活力，促使其譜寫出輝煌篇章。總體而言，現(xiàn)代邏輯的發(fā)展主要體現(xiàn)在以下兩個研究方向上。
從單主體推理到多主體互動
傳統(tǒng)上，現(xiàn)代邏輯關(guān)注的是單主體推理，如今，多主體之間的動態(tài)互動已經(jīng)成為當(dāng)代邏輯學(xué)的中心議題。其標(biāo)志是兩個視角轉(zhuǎn)向：一是從單主體推理研究到多主體論證研究的轉(zhuǎn)向；二是從靜態(tài)的推理片段研究到對動態(tài)的互動過程研究。
這一領(lǐng)域近年來取得了十分豐碩的成果。例如，牛津大學(xué)伍德里奇教授2009年出版的專著《多主體系統(tǒng)導(dǎo)引》、阿姆斯特丹大學(xué)和斯坦福大學(xué)范本特姆教授2014年出版的專著《邏輯與博弈》等。這些著作集中研究多主體互動，引領(lǐng)著該領(lǐng)域的發(fā)展。
對博弈和論辯的邏輯研究一直是當(dāng)代多主體互動研究的熱點(diǎn)。博弈是兩個主體或多個主體之間互動的一個典型實例。在博弈中，面對對手，一個玩家要根據(jù)自己所擁有的知識、持有的信念和偏好以及他對對手的判斷，做出自己的選擇。論辯是多主體互動又一杰出實例。論辯雙方積極搜集證據(jù)，支持自己的論點(diǎn)，同時反駁對方的觀點(diǎn)。
多主體互動是一個動態(tài)的過程，主體在互動過程中會不斷更新自己的信息，獲得新知識，有時需要改變自己的計劃、修正自己的信念或改變自己的偏好，等等。這些方面也是多主體互動研究領(lǐng)域的重要內(nèi)容。在這個領(lǐng)域中，也涌現(xiàn)出了很多新的重要問題：
首先，目前大多數(shù)研究都沒有關(guān)注主體類型這個問題。換句話說，就是不同類型主體之間的互動?，F(xiàn)實中的主體不是千篇一律的，每個主體都有自己的特點(diǎn)和個性。我們不能苛求理論研究與現(xiàn)實完全吻合，但對主體的類型進(jìn)行科學(xué)劃分，建立研究不同類型主體的推理模式，的確是一個十分重要的理論問題。舉例來說，對手是優(yōu)柔寡斷者還是當(dāng)機(jī)立斷者，會對玩家的策略選擇產(chǎn)生直接影響。美國康奈爾大學(xué)哈爾彭教授在一次邏輯學(xué)國際會議的發(fā)言中明確表示，現(xiàn)行研究中假設(shè)的主體都一樣，而且太過理想。他號召研究者們要關(guān)注對現(xiàn)實主體的研究。
其次，多主體互動的研究近幾年與網(wǎng)絡(luò)的最新發(fā)展相結(jié)合，出現(xiàn)了很多具有挑戰(zhàn)性的新問題。社交網(wǎng)絡(luò)平臺推陳出新，同一個主體常常分屬不同的群體。主體之間是如何聯(lián)系在一起的？顯然，社會關(guān)系是一個重要的紐帶。然而，在以往關(guān)于多主體系統(tǒng)的邏輯模型中，社會關(guān)系從來沒有明確扮演過重要角色。讓我們考慮這樣一個簡單現(xiàn)象：當(dāng)一個主體知道周遭朋友對某個問題都持有相同的態(tài)度時，他會跟從還是會堅持自己的觀點(diǎn)？要討論類似問題，我們就無法回避對社會關(guān)系作用的分析。
邁向推理的智能化研究
人類推理機(jī)制的獨(dú)特性在于其智能化，也就是說，我們?nèi)菀走m應(yīng)環(huán)境，能夠見機(jī)行事，善于知錯就改。
“智能化”將是未來社會發(fā)展的一個趨勢。目前，眾多的科學(xué)研究領(lǐng)域已經(jīng)將此作為一個發(fā)展目標(biāo)。邏輯學(xué)以研究主體的推理見長，應(yīng)當(dāng)在這個領(lǐng)域作出自己的貢獻(xiàn)。斯坦福大學(xué)心理學(xué)系古德曼教授曾表示，在研究中，他試圖借助邏輯學(xué)和統(tǒng)計學(xué)領(lǐng)域的工具，建構(gòu)更為精確的關(guān)于人類知識和推理的理論，從而幫助設(shè)計更為智能的機(jī)器。
確實，我們希望制造的機(jī)器不僅僅能存儲信息，還能根據(jù)具體情境使用信息、解決新問題。這就為邏輯學(xué)的理論研究提出了更高的要求，我們需要對主體的推理機(jī)制做出系統(tǒng)、全面的深入研究。應(yīng)該說，過去幾十年的邏輯學(xué)發(fā)展確實也是朝著這個方向進(jìn)行的。
一階邏輯和模態(tài)邏輯相繼成為經(jīng)典邏輯后，眾多哲學(xué)邏輯和計算機(jī)邏輯分支不斷發(fā)展出來。譬如，認(rèn)知邏輯、道義邏輯、時態(tài)邏輯，以及后來相繼出現(xiàn)的空間邏輯、動態(tài)邏輯等。這些邏輯對主體如何利用知識、信念、義務(wù)、時間和空間等概念進(jìn)行推理的規(guī)律展開研究。
每一個邏輯都經(jīng)歷了從奠基、發(fā)展到成熟的過程，這是幾代邏輯學(xué)者辛勤科研的成果。對于這些邏輯的形式語言、形式語義和邏輯系統(tǒng)的元邏輯性質(zhì)，都可以在英國國王大學(xué)格拜教授主編的《哲學(xué)邏輯手冊》相關(guān)章節(jié)中見到?？梢哉f，我們已經(jīng)對單個邏輯的研究非常深入，對具體邏輯系統(tǒng)的性質(zhì)有了良好的把握。
然而，主體推理的智能性恰恰在于對不同推理系統(tǒng)的智能整合。上面提到的概念并不是單獨(dú)起作用的，而是常常相互交織在一起。主體的智能往往體現(xiàn)在他可以隨意調(diào)動自己推理機(jī)制的不同部分?？梢哉f，到目前為止，哲學(xué)邏輯或計算邏輯不同分支的發(fā)展在一定程度上完成了推理模塊的理論部分?？梢韵胂?，設(shè)計智能機(jī)的一條路徑是將目前發(fā)展起來的不同邏輯系統(tǒng)作為推理模塊，不同的模塊處理不同的推理任務(wù)。根據(jù)問題的性質(zhì)，智能機(jī)能夠調(diào)動自己不同的推理模塊，進(jìn)行靈活應(yīng)對。
此外，我們應(yīng)該看到目前在邏輯學(xué)領(lǐng)域興起的一個趨勢：概率方法和邏輯在自然語言識別、數(shù)據(jù)搜集甚至音樂認(rèn)知等學(xué)科中起著越來越關(guān)鍵的作用。這也不難理解，畢竟邏輯學(xué)最注重的是尋找抽象模式，這與上面這些研究課題不謀而合。然而，對邏輯學(xué)的發(fā)展而言，如何將新發(fā)展起來的基于概率的邏輯納入傳統(tǒng)的邏輯學(xué)框架，以便進(jìn)一步提高推理的智能性？這是一個挑戰(zhàn)，也是一種動力。
從邏輯技術(shù)角度看，不同模塊之間的整合是不同邏輯系統(tǒng)之間如何組合的問題。美國紐約城市大學(xué)的帕瑞克教授在他2006年的論文中就對此類問題展開了深入的討論。其他學(xué)者也正在開展各種各樣的嘗試。但是，作為一個一般的技術(shù)問題，這對邏輯學(xué)的發(fā)展是一個挑戰(zhàn)。因為邏輯系統(tǒng)不是可以隨意疊加在一起的，這樣會使邏輯語言和系統(tǒng)變得異常復(fù)雜，在解決問題時笨拙無力。
格拜教授早在1999年就出版了專著《組合邏輯》，專門對此類問題展開研究。我們確實需要對邏輯組合的現(xiàn)象有更多的理解。我們一方面在構(gòu)造新的邏輯，另一方面是時候停下來思考一下，這些邏輯系統(tǒng)之間的聯(lián)系在哪里？理解他們的聯(lián)系事實上是對我們本身的推理機(jī)制的更加深入的探討。這個研究目前方興未艾，還需要有更多的學(xué)者投入精力。
（作者單位：清華大學(xué)哲學(xué)系）
