王太忠
(昭通學院 中文系,云南昭通657000)
認知邏輯簡論
王太忠
(昭通學院 中文系,云南昭通657000)
認知邏輯是邏輯學、認知心理學、計算機科學的交叉研究領域,它研究諸如知道、相信、斷定、問題這樣一些認識論方面的概念范圍內出現的邏輯問題。認知邏輯的學科體系包括邏輯哲學和哲學邏輯、語言邏輯、心理邏輯、文化與進化的邏輯、人工智能的邏輯、神經網絡方法與網格的邏輯。由于跨學科專家的稀缺,目前認知邏輯的研究還存在很多困難。
認知邏輯;邏輯學;認知心理學;計算機科學
認知邏輯亦稱“認識論邏輯”。從字面上來理解,認知邏輯就是有關知識的邏輯。具體來說,認知邏輯“研究諸如知道、相信、斷定、問題這樣一些認識論方面的概念范圍內出現的邏輯問題。”[1]與經典邏輯和其他非經典邏輯不同的是,認知邏輯不處理事實上如何、可能如何、必然如何等問題,而是處理認知者對事實的知道、相信、斷定、疑問等問題。隨著認知邏輯研究的不斷深入和學科交叉的日益復雜,“現在我們看到的認知邏輯的范圍已經從知識擴充到了信念,甚至涉及到更多的認識論概念。”[2]
關于認知邏輯的定義,不同的學者給出了不同的觀點。周昌樂在《認知邏輯導論》中說:“認知邏輯,一作認識邏輯,但與認識論邏輯頗有大小之別,主要是研究知識和信念的形式化問題的邏輯分支。”[3]李志才在其主編的《方法論全書》中指出:“認知邏輯就是用邏輯演算的方法來研究含有諸如知道、相信、斷定、認為、懷疑等認識模態詞的認識模態命題形式的一門學科。”[4]從這些定義,我們不難看出認知邏輯的研究主體及其內容。
認知邏輯的古老源頭可以上溯到亞里士多德,他的前分析篇和后分析篇中都涉及到了現代認知邏輯所研究的基本問題。經歷了2000多年的漫長發展,世界上第一本詳細討論認知邏輯的著作是1962年辛迪卡寫的《知識和信念》。辛迪卡使用模型來刻畫語義,使認知邏輯發展到了一個新的水平,至此,認知邏輯作為邏輯學、認知心理學、計算機科學的交叉科學,被越來越多的人們所重視。隨著學科理論的不斷發展以及交叉研究的不斷深入,認知邏輯研究方向逐漸由理論階段走向具體實際應用。
知識在于運用。實際應用方面的研究推動了認知邏輯的發展動力,拓寬了認知邏輯廣闊的發展空間,開辟了認知邏輯新的研究方向,例如,認知語言的更新語義,模態邏輯動態化,信念修正,動態邏輯的認知研究以及認知邏輯的動態研究,其中,信念修正在認知邏輯的研究中起著重要的作用。信念修正的的理論是由阿爾羅若、梅肯森和加德福斯三人1985年正式提出來的。這一系列的研究成果催生了動態認知邏輯。動態認知邏輯研究是從1989年普拉扎的《公開宣告的邏輯》一文開始的。如今,認知邏輯的研究在更廣闊的領域與更多的學科結合起來,在心理科學、教育學科、社會應用等方面有更為廣闊的應用范圍,從辛提卡所說的第一代認知邏輯的研究進入到了第二代認知邏輯的研究。
中山大學邏輯與認知研究所的鞠實兒認為,認知邏輯的研究內容包括認識邏輯和心理邏輯兩個方面。認識邏輯的基礎是哲學思辨,心理邏輯的基礎是心理學研究。認識邏輯的主要成果有知道邏輯和非單調邏輯等,心理邏輯的主要成果Johnson-Laird的心理模型理論,S. Braine和O.Brien的心理邏輯理論,楊英銳的心理元邏輯理論等。[5]
清華大學的蔡曙山認為,認知邏輯的學科體系包括邏輯哲學和哲學邏輯、語言邏輯、心理邏輯、文化與進化的邏輯、人工智能的邏輯、神經網絡方法與網格的邏輯,它們共同構成認知邏輯的整體。[6]28
中山大學邏輯與認知研究所的鞠實兒認為,認知邏輯的主要研究有哲學思辯方法、邏輯的或數學的方法等。哲學思辨的方法主要用于對人類認知過程作直觀理解,邏輯的或數學的方法主要用于構造反映認知過程的邏輯系統。[5]
清華大學的蔡曙山認為,“認知邏輯的研究方法有現代語言學方法和現代邏輯學方法。現代語言學的方法可以分為唯理主義和經驗主義兩種基本的形式,前者以喬姆斯基的語法學和蒙太格的語義學為代表,后者以拉柯夫的認知語言學為代表;奧斯汀的言語行為理論和塞爾的語用邏輯則處于兩者之間。”[6]25現代邏輯的方法由數理邏輯發展起來的形式主義和形式化方法。
認知邏輯是邏輯學、認知心理學與計算機科學的交叉研究領域,由于三科兼備的復合型專家的稀缺,目前的研究并沒有在這三者之間達到高度的融合,科研成果自然呈現出明顯的專業傾向性。
在邏輯學研究基礎上的認知邏輯研究是國內外普遍存在的現象。中山大學邏輯與認知研究所的鞠實兒在自我欺騙的問題的研究上取得了一定的成果。他從邏輯學角度運用概念分析和演繹推理方法給出一種基于證據的信念理論,說明自我欺騙的邏輯結構,解決自我欺騙悖論,指出自我欺騙的發生是邏輯可能的。[4]
在認知心理學研究領域,人們認為人類的思維是有一定模式的,推理是依據類似邏輯的形式規則按步驟進行的。以Johnson Laird為代表的心理模型理論認為推理是推理者理解了前提的意義,并整合個人的知識背景,構建表示各種可能性的心理模型來進行的。以楊英銳為代表的心理元邏輯理論認為人類的思維是語法和語義交互作用的過程。
在計算機科學領域,美國坦普爾大學計算機與信息科學系的王培認為,人工智能研究的目的是機器模仿人腦的功能,但是,現階段計算機中程序應用的結果只完成了人腦最后達到的目的,而難以模仿人腦的思維過程和方法。要想精確模仿人腦功能,人工智能研究需要接的難題還很多,例如,認知主體間的知識判斷、自然語言理解、對不確定性的處理等。人工智能研究的成果是開發具有人類智能的計算機軟件。“智能軟件的開發主要以認知邏輯、非形式邏輯、數理邏輯和人工智能的邏輯為工具,以人類知識表達為背景,結合具體學科的知識表達和推理特點,建構智能化推理的模型,開發具有實用性的智能軟件,將人文科學的技術成果轉化為生產力。”[7]
認知邏輯研究的目的是為人工智能研究提供有力的工具。然而,目前認知邏輯的研究成果卻遠遠沒有達到這個目的,理論與實踐、理想與現實之間的存在很大的差距。造成這種狀況的原因是多方面的。
第一,當下,認知邏輯研究還停留于理論方面,缺少可操作性,理論向實踐的轉化尚有許多困難和很長一段路程。
第二,認知邏輯研究認知者對事實的知道、相信、斷定、疑問等問題要以實驗心理學的研究成果為基礎,但是從目前世界范圍來看,心理實驗學研究是相當困難的領域。
第三,認知邏輯的研究涉及邏輯學、認知心理學、計算機科學等多個學科,要求研究人員在這些學科方面都有很深的造詣,而跨學科人才的培養與成長也是一個難題。
[1]彭漪漣,馬欽榮,主編.邏輯學大辭典[Z].上海:上海辭書出版社,2004:383.
[2]陳曉華.認知邏輯研究述評[J].哲學動態,2008(8):89.
[3]周昌樂.認知邏輯導論[M].北京:清華大學出版社,2001.
[4]李志才.方法論全書(17)[M].南京:南京大學出版社,1998:171.
[5]鞠實兒.論邏輯學的發展方向[J].中山大學學報:社會科學版,2003年增刊:3-8.
[6]蔡曙山.認知科學背景下的邏輯學:認知邏輯的對象、方法、體系和意義[J].江海學刊,2004(6).
[7]李夏妍,張敏強.認知邏輯研究概觀[J].首都師范大學學報:社會科學版,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—),男,漢族,湖北隨州人,碩士,昭通學院中文系,講師,主要從事形式邏輯與邏輯哲學研究。
楊揚]