王太忠

(昭通學(xué)院 中文系，云南昭通657000)

認(rèn)知邏輯簡論

王太忠

(昭通學(xué)院 中文系，云南昭通657000)

認(rèn)知邏輯是邏輯學(xué)、認(rèn)知心理學(xué)、計算機(jī)科學(xué)的交叉研究領(lǐng)域，它研究諸如知道、相信、斷定、問題這樣一些認(rèn)識論方面的概念范圍內(nèi)出現(xiàn)的邏輯問題。認(rèn)知邏輯的學(xué)科體系包括邏輯哲學(xué)和哲學(xué)邏輯、語言邏輯、心理邏輯、文化與進(jìn)化的邏輯、人工智能的邏輯、神經(jīng)網(wǎng)絡(luò)方法與網(wǎng)格的邏輯。由于跨學(xué)科專家的稀缺，目前認(rèn)知邏輯的研究還存在很多困難。

認(rèn)知邏輯；邏輯學(xué)；認(rèn)知心理學(xué)；計算機(jī)科學(xué)

1 認(rèn)知邏輯的概念

認(rèn)知邏輯亦稱“認(rèn)識論邏輯”。從字面上來理解,認(rèn)知邏輯就是有關(guān)知識的邏輯。具體來說，認(rèn)知邏輯“研究諸如知道、相信、斷定、問題這樣一些認(rèn)識論方面的概念范圍內(nèi)出現(xiàn)的邏輯問題?！盵1]與經(jīng)典邏輯和其他非經(jīng)典邏輯不同的是，認(rèn)知邏輯不處理事實上如何、可能如何、必然如何等問題，而是處理認(rèn)知者對事實的知道、相信、斷定、疑問等問題。隨著認(rèn)知邏輯研究的不斷深入和學(xué)科交叉的日益復(fù)雜，“現(xiàn)在我們看到的認(rèn)知邏輯的范圍已經(jīng)從知識擴(kuò)充到了信念,甚至涉及到更多的認(rèn)識論概念?！盵2]

關(guān)于認(rèn)知邏輯的定義，不同的學(xué)者給出了不同的觀點。周昌樂在《認(rèn)知邏輯導(dǎo)論》中說：“認(rèn)知邏輯,一作認(rèn)識邏輯,但與認(rèn)識論邏輯頗有大小之別,主要是研究知識和信念的形式化問題的邏輯分支?！盵3]李志才在其主編的《方法論全書》中指出：“認(rèn)知邏輯就是用邏輯演算的方法來研究含有諸如知道、相信、斷定、認(rèn)為、懷疑等認(rèn)識模態(tài)詞的認(rèn)識模態(tài)命題形式的一門學(xué)科?！盵4]從這些定義，我們不難看出認(rèn)知邏輯的研究主體及其內(nèi)容。

2 認(rèn)知邏輯的產(chǎn)生與發(fā)展

認(rèn)知邏輯的古老源頭可以上溯到亞里士多德，他的前分析篇和后分析篇中都涉及到了現(xiàn)代認(rèn)知邏輯所研究的基本問題。經(jīng)歷了2000多年的漫長發(fā)展，世界上第一本詳細(xì)討論認(rèn)知邏輯的著作是1962年辛迪卡寫的《知識和信念》。辛迪卡使用模型來刻畫語義,使認(rèn)知邏輯發(fā)展到了一個新的水平，至此,認(rèn)知邏輯作為邏輯學(xué)、認(rèn)知心理學(xué)、計算機(jī)科學(xué)的交叉科學(xué)，被越來越多的人們所重視。隨著學(xué)科理論的不斷發(fā)展以及交叉研究的不斷深入，認(rèn)知邏輯研究方向逐漸由理論階段走向具體實際應(yīng)用。

知識在于運用。實際應(yīng)用方面的研究推動了認(rèn)知邏輯的發(fā)展動力，拓寬了認(rèn)知邏輯廣闊的發(fā)展空間，開辟了認(rèn)知邏輯新的研究方向,例如，認(rèn)知語言的更新語義,模態(tài)邏輯動態(tài)化,信念修正,動態(tài)邏輯的認(rèn)知研究以及認(rèn)知邏輯的動態(tài)研究,其中，信念修正在認(rèn)知邏輯的研究中起著重要的作用。信念修正的的理論是由阿爾羅若、梅肯森和加德福斯三人1985年正式提出來的。這一系列的研究成果催生了動態(tài)認(rèn)知邏輯。動態(tài)認(rèn)知邏輯研究是從1989年普拉扎的《公開宣告的邏輯》一文開始的。如今，認(rèn)知邏輯的研究在更廣闊的領(lǐng)域與更多的學(xué)科結(jié)合起來，在心理科學(xué)、教育學(xué)科、社會應(yīng)用等方面有更為廣闊的應(yīng)用范圍，從辛提卡所說的第一代認(rèn)知邏輯的研究進(jìn)入到了第二代認(rèn)知邏輯的研究。

3 認(rèn)知邏輯的研究內(nèi)容和方法

中山大學(xué)邏輯與認(rèn)知研究所的鞠實兒認(rèn)為，認(rèn)知邏輯的研究內(nèi)容包括認(rèn)識邏輯和心理邏輯兩個方面。認(rèn)識邏輯的基礎(chǔ)是哲學(xué)思辨，心理邏輯的基礎(chǔ)是心理學(xué)研究。認(rèn)識邏輯的主要成果有知道邏輯和非單調(diào)邏輯等,心理邏輯的主要成果Johnson-Laird的心理模型理論,S. Braine和O.Brien的心理邏輯理論,楊英銳的心理元邏輯理論等。[5]

清華大學(xué)的蔡曙山認(rèn)為，認(rèn)知邏輯的學(xué)科體系包括邏輯哲學(xué)和哲學(xué)邏輯、語言邏輯、心理邏輯、文化與進(jìn)化的邏輯、人工智能的邏輯、神經(jīng)網(wǎng)絡(luò)方法與網(wǎng)格的邏輯，它們共同構(gòu)成認(rèn)知邏輯的整體。[6]28

中山大學(xué)邏輯與認(rèn)知研究所的鞠實兒認(rèn)為，認(rèn)知邏輯的主要研究有哲學(xué)思辯方法、邏輯的或數(shù)學(xué)的方法等。哲學(xué)思辨的方法主要用于對人類認(rèn)知過程作直觀理解,邏輯的或數(shù)學(xué)的方法主要用于構(gòu)造反映認(rèn)知過程的邏輯系統(tǒng)。[5]

清華大學(xué)的蔡曙山認(rèn)為，“認(rèn)知邏輯的研究方法有現(xiàn)代語言學(xué)方法和現(xiàn)代邏輯學(xué)方法?，F(xiàn)代語言學(xué)的方法可以分為唯理主義和經(jīng)驗主義兩種基本的形式，前者以喬姆斯基的語法學(xué)和蒙太格的語義學(xué)為代表，后者以拉柯夫的認(rèn)知語言學(xué)為代表；奧斯汀的言語行為理論和塞爾的語用邏輯則處于兩者之間?！盵6]25現(xiàn)代邏輯的方法由數(shù)理邏輯發(fā)展起來的形式主義和形式化方法。

4 認(rèn)知邏輯的研究現(xiàn)狀

認(rèn)知邏輯是邏輯學(xué)、認(rèn)知心理學(xué)與計算機(jī)科學(xué)的交叉研究領(lǐng)域，由于三科兼?zhèn)涞膹?fù)合型專家的稀缺，目前的研究并沒有在這三者之間達(dá)到高度的融合，科研成果自然呈現(xiàn)出明顯的專業(yè)傾向性。

在邏輯學(xué)研究基礎(chǔ)上的認(rèn)知邏輯研究是國內(nèi)外普遍存在的現(xiàn)象。中山大學(xué)邏輯與認(rèn)知研究所的鞠實兒在自我欺騙的問題的研究上取得了一定的成果。他從邏輯學(xué)角度運用概念分析和演繹推理方法給出一種基于證據(jù)的信念理論,說明自我欺騙的邏輯結(jié)構(gòu),解決自我欺騙悖論,指出自我欺騙的發(fā)生是邏輯可能的。[4]

在認(rèn)知心理學(xué)研究領(lǐng)域，人們認(rèn)為人類的思維是有一定模式的，推理是依據(jù)類似邏輯的形式規(guī)則按步驟進(jìn)行的。以Johnson Laird為代表的心理模型理論認(rèn)為推理是推理者理解了前提的意義,并整合個人的知識背景,構(gòu)建表示各種可能性的心理模型來進(jìn)行的。以楊英銳為代表的心理元邏輯理論認(rèn)為人類的思維是語法和語義交互作用的過程。

在計算機(jī)科學(xué)領(lǐng)域，美國坦普爾大學(xué)計算機(jī)與信息科學(xué)系的王培認(rèn)為,人工智能研究的目的是機(jī)器模仿人腦的功能，但是，現(xiàn)階段計算機(jī)中程序應(yīng)用的結(jié)果只完成了人腦最后達(dá)到的目的,而難以模仿人腦的思維過程和方法。要想精確模仿人腦功能，人工智能研究需要接的難題還很多，例如，認(rèn)知主體間的知識判斷、自然語言理解、對不確定性的處理等。人工智能研究的成果是開發(fā)具有人類智能的計算機(jī)軟件?！爸悄苘浖拈_發(fā)主要以認(rèn)知邏輯、非形式邏輯、數(shù)理邏輯和人工智能的邏輯為工具,以人類知識表達(dá)為背景,結(jié)合具體學(xué)科的知識表達(dá)和推理特點,建構(gòu)智能化推理的模型,開發(fā)具有實用性的智能軟件,將人文科學(xué)的技術(shù)成果轉(zhuǎn)化為生產(chǎn)力?！盵7]

5 認(rèn)知邏輯研究中存在的問題

認(rèn)知邏輯研究的目的是為人工智能研究提供有力的工具。然而,目前認(rèn)知邏輯的研究成果卻遠(yuǎn)遠(yuǎn)沒有達(dá)到這個目的，理論與實踐、理想與現(xiàn)實之間的存在很大的差距。造成這種狀況的原因是多方面的。

第一,當(dāng)下，認(rèn)知邏輯研究還停留于理論方面，缺少可操作性,理論向?qū)嵺`的轉(zhuǎn)化尚有許多困難和很長一段路程。

第二,認(rèn)知邏輯研究認(rèn)知者對事實的知道、相信、斷定、疑問等問題要以實驗心理學(xué)的研究成果為基礎(chǔ)，但是從目前世界范圍來看，心理實驗學(xué)研究是相當(dāng)困難的領(lǐng)域。

第三,認(rèn)知邏輯的研究涉及邏輯學(xué)、認(rèn)知心理學(xué)、計算機(jī)科學(xué)等多個學(xué)科,要求研究人員在這些學(xué)科方面都有很深的造詣，而跨學(xué)科人才的培養(yǎng)與成長也是一個難題。

［1］彭漪漣,馬欽榮,主編.邏輯學(xué)大辭典[Z].上海：上海辭書出版社,2004：383.

［2］陳曉華.認(rèn)知邏輯研究述評[J].哲學(xué)動態(tài),2008(8)：89.

［3］周昌樂.認(rèn)知邏輯導(dǎo)論[M].北京：清華大學(xué)出版社,2001.

［4］李志才.方法論全書(17)[M].南京：南京大學(xué)出版社,1998：171.

［5］鞠實兒.論邏輯學(xué)的發(fā)展方向[J].中山大學(xué)學(xué)報：社會科學(xué)版,2003年增刊：3-8.

［6］蔡曙山.認(rèn)知科學(xué)背景下的邏輯學(xué)：認(rèn)知邏輯的對象、方法、體系和意義[J].江海學(xué)刊,2004(6).

［7］李夏妍,張敏強(qiáng).認(rèn)知邏輯研究概觀[J].首都師范大學(xué)學(xué)報：社會科學(xué)版,2005 (5)：119.

Brief Discussion on Cognitive Logic

WANG Tai-zhong
(Chinese Department,Zhaotong University,Zhaotong Yunnan 657000,China)

Cognitive logic is the interdisciplinary of logic,cognitive psychology and computer science,it studies such logic problems as knowing, belief,conclusion and question within the scope of some concepts in epistemology.The subject system of cognitive logic includs philosophy of logic and philosophic logic,language logic,psychological logic,logic of culture and evolution,logic of artificial intelligence,logic of neural network method and grid.Due to the scarcity of multi-disciplinary experts,there are many difficulties in current research of cognitive logic.

Cognitive logic;Logic;Cognitive psychology;Computer science

王太忠（1972—），男，漢族，湖北隨州人，碩士，昭通學(xué)院中文系，講師，主要從事形式邏輯與邏輯哲學(xué)研究。

楊揚］