認(rèn)識邏輯與認(rèn)知邏輯的比較研究

梁 果（貴州大學(xué) 哲學(xué)與社會發(fā)展學(xué)院 邏輯學(xué) 550000）

認(rèn)識邏輯與認(rèn)知邏輯的比較研究

梁 果（貴州大學(xué) 哲學(xué)與社會發(fā)展學(xué)院 邏輯學(xué) 550000）

認(rèn)識邏輯（Epistemic logic）是產(chǎn)生于非正規(guī)模態(tài)邏輯之下，是研究知識推理的邏輯，而認(rèn)知邏輯（Cognitive logic）是研究認(rèn)知規(guī)律的邏輯理論，它是認(rèn)知科學(xué)與邏輯學(xué)學(xué)科交叉研究產(chǎn)生出來的新學(xué)科和新領(lǐng)域，其產(chǎn)生于認(rèn)知科學(xué)之后、是晚于認(rèn)識邏輯的。但當(dāng)今國內(nèi)學(xué)術(shù)界多數(shù)學(xué)者將Epistemic logic譯為認(rèn)知邏輯，或認(rèn)為認(rèn)知邏輯就是認(rèn)識邏輯。如若繼續(xù)混淆二者，即便是一字之差也會對日后的研究及發(fā)展造成一定的影響。本文從認(rèn)識邏輯與認(rèn)知邏輯的產(chǎn)生及內(nèi)容等方面進(jìn)行研究，以此闡釋二者的異同，希望引起學(xué)界關(guān)注。

認(rèn)知邏輯；認(rèn)識邏輯；邏輯學(xué)；認(rèn)知科學(xué)；哲學(xué)邏輯

一、認(rèn)識邏輯的產(chǎn)生與發(fā)展

認(rèn)識邏輯是研究知識推理的邏輯，指在對認(rèn)識論概念進(jìn)行分析和對認(rèn)識過程的直觀理解基礎(chǔ)上用邏輯分析方法來建構(gòu)的邏輯系統(tǒng)。進(jìn)一步說，認(rèn)識邏輯是在經(jīng)典邏輯的擴(kuò)充系統(tǒng)模態(tài)邏輯產(chǎn)生后才出現(xiàn)，是關(guān)于知識推理的模態(tài)邏輯的子領(lǐng)域。

認(rèn)識邏輯是在經(jīng)典邏輯的擴(kuò)充的基礎(chǔ)上產(chǎn)生的。經(jīng)典邏輯的擴(kuò)充促使模態(tài)邏輯的產(chǎn)生，模態(tài)邏輯則是在經(jīng)典邏輯的基礎(chǔ)上，對其增加新的、非真值的、表達(dá)必然性和可能性的模態(tài)算子而得來的。早在《工具論》中就曾記載過，亞里士多德在其三段論的基礎(chǔ)上加入“必然”、“偶然”和“可能”三個(gè)算子，建立了模態(tài)三段論。在公元九至十二世紀(jì)，中世紀(jì)的阿拉伯邏輯學(xué)家吸取了古希臘有關(guān)模態(tài)邏輯的思想并有所發(fā)展，經(jīng)院哲學(xué)家也研究過模態(tài)命題和模態(tài)三段論。到了近代，萊布尼茨對可能世界與現(xiàn)實(shí)世界的理論對模態(tài)邏輯的發(fā)展產(chǎn)生了深遠(yuǎn)的影響。此后，萊布尼茨的學(xué)生休謨對因果性和必然性進(jìn)行了研究，對必然和可能關(guān)系的認(rèn)識起到了一定的推進(jìn)作用。而后，麥克柯爾比較系統(tǒng)地闡釋了模態(tài)命題邏輯的理論。到了現(xiàn)代，劉易斯是首位通過對經(jīng)典邏輯的擴(kuò)充而建立模態(tài)邏輯系統(tǒng)的人，其提出的5個(gè)以"◇"（可能）為基本符號的模態(tài)邏輯系統(tǒng)S1、S2、S3、S4和S5被稱為經(jīng)典的模態(tài)邏輯系統(tǒng)。在這些對模態(tài)算子采取“必然”和“可能”解釋的正規(guī)模態(tài)邏輯之外，經(jīng)典邏輯的擴(kuò)充還包括對模態(tài)算子采用其他解釋的非正規(guī)的模態(tài)邏輯，包括義務(wù)邏輯、認(rèn)識邏輯（Epistemic logic）、時(shí)間邏輯等。

認(rèn)識邏輯在模態(tài)邏輯的基礎(chǔ)上再加入“知道”、“相信”、“懷疑”等算子進(jìn)行研究，并應(yīng)用于哲學(xué)、計(jì)算機(jī)科學(xué)、人工智能以及其他領(lǐng)域。最早的相關(guān)內(nèi)容出現(xiàn)在辛迪卡的《知識和信念》中，他利用可能世界來刻畫知識這一相關(guān)領(lǐng)域。辛迪卡建立的Epistemic logic system被后來的學(xué)者稱為經(jīng)典的認(rèn)識邏輯系統(tǒng)。認(rèn)識邏輯在經(jīng)典邏輯的擴(kuò)充的基礎(chǔ)上加入算子建立起來，其屬于非正規(guī)模態(tài)邏輯。認(rèn)識邏輯的基本模態(tài)算子通常寫為K，它可以讀做：“有人知道??????”，“??????在認(rèn)識上是必然的”，或者“??????與已知相矛盾”。認(rèn)識邏輯一般有如下形式：

其中a（agent）為認(rèn)識主體即代理人，M（Modal）為某認(rèn)識模態(tài)詞，p（proposition）為任意命題（包括認(rèn)識命題）。如果有多于一個(gè)的其知識要被表現(xiàn)的認(rèn)識主體（代理者），可以向這個(gè)算子附加下標(biāo)（如：有關(guān)于信念的系統(tǒng)K45和KD45）來指示談?wù)摰氖悄囊粋€(gè)認(rèn)識主體（代理者）。根據(jù)認(rèn)識邏輯研究的模態(tài)詞可以認(rèn)為認(rèn)識邏輯包括斷定邏輯、知道邏輯、信念邏輯、廣義認(rèn)識邏輯、認(rèn)識狀態(tài)邏輯、認(rèn)識缺省邏輯等。

此處所說的認(rèn)識邏輯即Epistemic logic，而目前眾多學(xué)者使用的譯詞為：認(rèn)知邏輯，但研究內(nèi)容等方面都與本文所說的認(rèn)識邏輯的相關(guān)內(nèi)容是一致的，只是在譯詞使用上有所出入。

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

認(rèn)知科學(xué)于20世紀(jì)70年代中期在美國正式建立，是研究在認(rèn)知規(guī)律的邏輯理論，由六大基礎(chǔ)學(xué)科構(gòu)成，后期又加入了教育學(xué)，形成了七角形的基礎(chǔ)框架。認(rèn)知科學(xué)有兩大目標(biāo)，一是它的科學(xué)目標(biāo)——揭開人類心智的奧秘；二是它的學(xué)科目標(biāo)——促進(jìn)相關(guān)學(xué)科發(fā)展。也就是在這樣的背景下，認(rèn)知科學(xué)的跨學(xué)科研究為邏輯學(xué)的轉(zhuǎn)向提供了機(jī)會，也讓認(rèn)知邏輯這個(gè)交叉研究的成果得到重視。同時(shí)，認(rèn)知科學(xué)以體驗(yàn)哲學(xué)為基礎(chǔ)，以涉身心智為研究對象，對理性主義的邏輯學(xué)乃至近代以來整個(gè)西方的理性主義思想提出挑戰(zhàn)。

數(shù)學(xué)邏輯在不斷發(fā)展的過程中，其數(shù)學(xué)表達(dá)方式的局限性也慢慢突顯出來，而目前國際主流邏輯學(xué)家們正有意識地運(yùn)用哲學(xué)、認(rèn)知科學(xué)、認(rèn)知心理學(xué)等相關(guān)學(xué)科對人類心智與認(rèn)知進(jìn)行研究，建立新的邏輯系統(tǒng)，認(rèn)知轉(zhuǎn)向在國內(nèi)外的發(fā)展?fàn)顩r證明了認(rèn)知已成為邏輯學(xué)界研究的重點(diǎn)。鞠實(shí)兒曾提出：“邏輯學(xué)的認(rèn)知轉(zhuǎn)向指從起源于弗雷格的以數(shù)學(xué)基礎(chǔ)研究為背景的邏輯學(xué)，轉(zhuǎn)向構(gòu)造認(rèn)知過程的規(guī)范性或描述性模型的邏輯學(xué)?！痹诖嘶A(chǔ)上，不少學(xué)者也認(rèn)為邏輯學(xué)的認(rèn)知轉(zhuǎn)向也讓邏輯學(xué)不再只重視形式化的理性主義，能夠真正理性的察覺到形式公理方法的局限性，明晰經(jīng)驗(yàn)的因素也應(yīng)該在研究中被考慮到，甚至可以占更多的比重。在研究中，演繹是有一定的局限性，例如結(jié)論已蘊(yùn)涵在前提之中且只跟隨前提的增加而增加，并且不能從中學(xué)習(xí)到新知識。而邏輯學(xué)的認(rèn)知轉(zhuǎn)向?qū)е卵堇[邏輯不再是“一家獨(dú)大”，經(jīng)驗(yàn)、理性等都能和演繹一樣得到同等的對待。至此，邏輯學(xué)的認(rèn)知轉(zhuǎn)向是對西方從近代以來的唯理主義思想的挑戰(zhàn)，同時(shí)也是邏輯學(xué)關(guān)注與語言使用者有關(guān)的邏輯理論的一次重要的契機(jī)！

認(rèn)知科學(xué)研究的跨學(xué)科性質(zhì)促使著邏輯學(xué)的研究不再固守純邏輯、純形式等研究方式，邏輯學(xué)與語言學(xué)、心理學(xué)等學(xué)科的交叉研究讓人類在探求心智的認(rèn)知的過程中，不再受限于邏輯學(xué)現(xiàn)有理論的影響，而是以問題為中心，以人為主，多視角、多領(lǐng)域、跨學(xué)科的進(jìn)行研究與分析。約翰遜在1999年發(fā)表的《體驗(yàn)哲學(xué)——涉身的心智及其對西方思想的挑戰(zhàn)》中提出：思維通常是無意識的。這對長期以來邏輯學(xué)中關(guān)于人的推理和預(yù)測能力的假定提出了挑戰(zhàn)。人們在思考與決策的那一瞬間起著決定性作用的思維方式是三段論、假言推理，還是說是非理性因素占主導(dǎo)作用？1966年，沃森設(shè)計(jì)并實(shí)施了一項(xiàng)推理實(shí)驗(yàn)，實(shí)驗(yàn)中實(shí)驗(yàn)者告知被試有四張紙牌，字母與數(shù)字各一面，并要求被試回答，滿足“如果卡片的一面是元音字母，那么另一面為偶數(shù)”的條件，需要翻看哪些紙牌？實(shí)驗(yàn)結(jié)果是只有4%的被試認(rèn)為需翻看元音字母的紙牌和奇數(shù)的紙牌；46%的被試翻看元音字母的紙牌和偶數(shù)的紙牌；35%的被試認(rèn)為只須翻看元音字母的紙牌；約5%的被試認(rèn)為必須翻看奇數(shù)紙牌。實(shí)驗(yàn)結(jié)果表明：否定后件式的正確率顯然低于肯定前件式的正確率，其主要原因是否定加工困難，需要消耗更多的能量，即人們更愿意做肯定的推理。因此，肯定轉(zhuǎn)化為否定是困難的，并且，否定存在著不確定性因素，對不確定性的恐懼是人類的普遍心理，這也大大增加了否定加工的難度。而實(shí)驗(yàn)結(jié)果也表明，在人們推理過程中，心理因素占主導(dǎo)，而充分條件假言推理的主導(dǎo)性受到了挑戰(zhàn)。用邏輯學(xué)家的邏輯模型來規(guī)范頭腦中的邏輯，還是用頭腦中的邏輯去修改邏輯模型？此刻，為思維立法的邏輯學(xué)是否需要重新審視自身呢。認(rèn)知科學(xué)與邏輯學(xué)的交叉研究即認(rèn)知邏輯是否能幫助邏輯學(xué)家去研究這一問題呢。

認(rèn)知科學(xué)與邏輯學(xué)的交叉研究產(chǎn)生了認(rèn)知邏輯這門新興的學(xué)科，認(rèn)知邏輯是研究認(rèn)知規(guī)律的邏輯理論。因此將認(rèn)知科學(xué)的六角形學(xué)科結(jié)構(gòu)映射到現(xiàn)代邏輯的背景中，蔡曙山在此基礎(chǔ)上最早提出并建立了認(rèn)知邏輯的體系來適應(yīng)科學(xué)技術(shù)特別是認(rèn)知科學(xué)的發(fā)展。認(rèn)知邏輯的體系包括：哲學(xué)邏輯、語言邏輯、心理邏輯、文化與進(jìn)化邏輯、人工智能的邏輯、神經(jīng)網(wǎng)格方法和網(wǎng)絡(luò)邏輯。

三、認(rèn)識邏輯與認(rèn)知邏輯的區(qū)別

在Epistemic logic相關(guān)研究引入國內(nèi)時(shí)，國內(nèi)大多學(xué)者將其翻譯為認(rèn)知邏輯，但認(rèn)知邏輯（Cognitive logic）是認(rèn)知科學(xué)與邏輯學(xué)的學(xué)科交叉研究的新領(lǐng)域，而Epistemic logic的相關(guān)內(nèi)容早在《知識和信念》中就出現(xiàn)了。那么，將Epistemic logic翻譯為認(rèn)知邏輯，認(rèn)知邏輯豈不是比認(rèn)知科學(xué)產(chǎn)生還要早嗎？在認(rèn)識邏輯剛引入國內(nèi)時(shí)，介紹相關(guān)內(nèi)容的專著比較少，較為詳細(xì)的是周昌樂教授的《認(rèn)知邏輯導(dǎo)論》，其中提到：“認(rèn)知邏輯（Epistemic logic）關(guān)心知識和信念概念，并源于哲學(xué)中對這些概念進(jìn)行邏輯分析而發(fā)展起來的。有時(shí)，認(rèn)知邏輯也被譯為認(rèn)識邏輯，是認(rèn)識論邏輯（Epistemologicol logic）的重要組成部分”。如此，可以所認(rèn)為的認(rèn)知邏輯（Epistemic logic）的產(chǎn)生進(jìn)行追溯，其發(fā)展與認(rèn)識論邏輯有緊密聯(lián)系，并且，認(rèn)為認(rèn)知邏輯也可以叫做認(rèn)識邏輯。但在鞠實(shí)兒認(rèn)為：“認(rèn)識邏輯（Epistemic logic）是指在對認(rèn)識論概念分析和對認(rèn)識過程直觀理解的基礎(chǔ)上構(gòu)造起來的邏輯系統(tǒng)”。他還表示，認(rèn)識邏輯（Epistemic logic）與心理邏輯這兩類邏輯統(tǒng)稱為認(rèn)知邏輯（Cognitive logic）。那么鞠實(shí)兒是將認(rèn)知邏輯與認(rèn)識邏輯分開來的，并認(rèn)為認(rèn)知邏輯是包含認(rèn)識邏輯的。

再從認(rèn)知邏輯的研究內(nèi)容看，學(xué)者們都有多種的觀點(diǎn)。王左立認(rèn)為：“認(rèn)知邏輯研究的目的是為人工智能研究提供有利的工具。”然而，目前認(rèn)知邏輯的研究成果難于應(yīng)用于人工智能的實(shí)踐當(dāng)中，因?yàn)檎J(rèn)知邏輯的相關(guān)理論缺少可操作性以及相關(guān)理論研究難以對認(rèn)知語句進(jìn)行合情合理的解釋。于是，不少學(xué)者開始去思索，是否需要對原有的方法進(jìn)行反思。蔡曙山認(rèn)為：認(rèn)知邏輯是回歸于自然語言、且企圖放棄作為思維立法者的姿態(tài)，以人為中心，是更加關(guān)注語言使用者的邏輯體系。也就是說它是無需形式化、演繹化，不再局限于數(shù)學(xué)邏輯之中，不再妄圖找到適用于一切人的邏輯。換句話說，人的真正思維形式不在于以往邏輯學(xué)中的理性主義、公理形式化系統(tǒng)，而更加關(guān)注于經(jīng)驗(yàn)的影響。如此，人類腦中的邏輯不再受限于邏輯學(xué)的規(guī)范，創(chuàng)造性思維不再受到限制，人們的溯因推理的能力得到了釋放，而溯因推理正是科學(xué)發(fā)明的重要方法。

認(rèn)識邏輯是研究相關(guān)模態(tài)詞的模態(tài)邏輯，而認(rèn)知邏輯則是研究與語言使用者有關(guān)的邏輯體系。認(rèn)知邏輯與哲學(xué)邏輯都是現(xiàn)代邏輯的新興學(xué)科，而認(rèn)識邏輯產(chǎn)生早于認(rèn)知科學(xué)，且現(xiàn)代邏輯所研究的相關(guān)內(nèi)容如知道邏輯、信念邏輯等只是哲學(xué)邏輯中的子領(lǐng)域。從內(nèi)容上看，兩者的研究方向、對象、方法上都有所不同，雖然在中文翻譯中，“認(rèn)識”與“認(rèn)知”只有一字之差，較容易混淆，但卻有著不同的兩個(gè)邏輯體系。

四、結(jié)語

認(rèn)識邏輯與認(rèn)知邏輯的誤用在一方面有可能是翻譯造成的，猶如過去學(xué)術(shù)界一遇到“truth”就翻譯為“真理”，這是不對的，需要按當(dāng)時(shí)句段的背景來多加考慮。另一方面也是相關(guān)知識的理解上存在著一定的分歧，以致翻譯的選詞上有所不同。所以，在學(xué)習(xí)不同學(xué)者的相關(guān)理論時(shí)，要多加比較相似概念及譯詞情況，不可混淆而誤用于學(xué)習(xí)與研究中。學(xué)術(shù)研究需要求真、嚴(yán)謹(jǐn)?shù)膽B(tài)度，需切實(shí)掌握其義，不斷深入、探索。將Epistemic logic和Cognitive logic進(jìn)行研究對比后，蔡曙山所提出的認(rèn)知科學(xué)與邏輯學(xué)交叉研究中產(chǎn)生的認(rèn)知邏輯也就更好的與以往學(xué)界所說的“認(rèn)知邏輯”（Epistemic logic）所區(qū)別開來。而認(rèn)識邏輯與認(rèn)知邏輯之間的混淆與勿用，需要翻閱更多的文獻(xiàn)、更加全面、更為透徹地進(jìn)行論述，以便得到更為深刻的研究。

項(xiàng)目及編號：貴州大學(xué)研究生創(chuàng)新基金：國內(nèi)“認(rèn)知邏輯”發(fā)展述評 （編號：研人文2017024）