葛宇寧

（河南理工大學(xué) 馬克思主義學(xué)院，河南 焦作454000）

西方哲學(xué)的傳統(tǒng)是一種對(duì)知識(shí)的熱愛，對(duì)知識(shí)的“信仰”。它認(rèn)為哲學(xué)的根本追求就是知識(shí)，知識(shí)是對(duì)世界的理論把握，人們擁有了知識(shí)就可以把握這個(gè)世界。而形式邏輯則被認(rèn)為是認(rèn)識(shí)世界的有效工具，它的主要功能就是通過(guò)推理來(lái)獲得新知識(shí)，來(lái)擴(kuò)展我們的知識(shí)范圍。在亞里士多德那里，形式邏輯就是獲得知識(shí)的重要工具，它的主要德行就是知識(shí)。如此以來(lái)，在西方哲學(xué)傳統(tǒng)中，知識(shí)論和形式邏輯就形成了十分密切的聯(lián)系，把這種密切聯(lián)系梳理出來(lái)，將會(huì)有助于我們更好地把握知識(shí)論和形式邏輯本身的特質(zhì)。

一、形式邏輯在西方知識(shí)論形成中的作用

一般認(rèn)為知識(shí)論的主要奠基人是古希臘的亞里士多德，它在《形而上學(xué)》的開篇便提出“求知是人類的本性”[1]1。認(rèn)為人類的本質(zhì)追求就是尋求知識(shí)，認(rèn)識(shí)事物的本質(zhì)和原因，只有知識(shí)才代表了人類的最高追求，才是人類與其他動(dòng)物的一種根本區(qū)別。亞里士多德的形而上學(xué)、物理學(xué)、倫理學(xué)、邏輯學(xué)等，都含有一種知識(shí)論的傾向。他認(rèn)為人類的知識(shí)大致可以分為三種：理論知識(shí)、實(shí)踐知識(shí)和創(chuàng)作知識(shí)。其中理論知識(shí)才是真正的知識(shí)，也是最高的知識(shí)，它尋求的是事物的本質(zhì)和原因，是以得到知識(shí)本身作為目的的知識(shí)，為了求知而求知的知識(shí)。理論知識(shí)在亞里士多德那里主要包括形而上學(xué)、幾何學(xué)、數(shù)學(xué)以及物理學(xué)。實(shí)踐知識(shí)的追求則主要用于指導(dǎo)人類的行動(dòng)，是人們行動(dòng)的一種知識(shí)，更多的帶有經(jīng)驗(yàn)性，它的最終指向是至善。實(shí)踐的知識(shí)主要包括政治學(xué)、倫理學(xué)等。最后一類知識(shí)是創(chuàng)制的知識(shí)，它是用來(lái)指導(dǎo)制造和制作的知識(shí)，主要指一種技藝方面的知識(shí)，看重的是技術(shù)和能力，比如造船的知識(shí)、航海的知識(shí)等。

可以說(shuō)對(duì)知識(shí)的追求一直是西方哲學(xué)發(fā)展的一個(gè)內(nèi)在動(dòng)因，隱含于西方哲學(xué)的追求之中，并且西方哲學(xué)對(duì)知識(shí)的追求和認(rèn)識(shí)，一直都與形式邏輯密不可分，那就是把形式邏輯作為自己的思想基礎(chǔ)。

在亞里士多德那里，這種傾向就很明顯。在亞里士多德那里，形式邏輯不屬于任何一門學(xué)科，它是科學(xué)知識(shí)的工具。甚至在他看來(lái)，形式邏輯的德性就是知識(shí)[2]295。他又說(shuō)：“我們無(wú)論如何都是通過(guò)證明獲得知識(shí)的。我所謂的證明是指產(chǎn)生科學(xué)知識(shí)的三段論。所謂科學(xué)知識(shí)，是指只要我們把握了它，就能據(jù)此知道事物的東西?！盵2]247因此，形式邏輯在其產(chǎn)生之初就和知識(shí)追求糾纏在一起，它不但是知識(shí)的來(lái)源，而且也是建立起知識(shí)體系大廈的重要工具。

在長(zhǎng)期的中世紀(jì)基督教哲學(xué)中，由于信仰替代了知識(shí)，成為人類行為的首要追求，信仰高于理性，信仰先于理解。受這種思想的影響，人們減弱了探求外在世界，從而獲得知識(shí)的欲望，知識(shí)論處于一種停滯不前甚至倒退的狀態(tài)。真正使知識(shí)論得到復(fù)興的是近代哲學(xué)，近代哲學(xué)就是對(duì)中世紀(jì)哲學(xué)的一種“反叛”，它又開始回到了追求知識(shí)的主題上來(lái)。笛卡爾是近代知識(shí)論的開創(chuàng)者和重要奠基人。在笛卡爾那里，以“我思故我在”為基點(diǎn)，力求重構(gòu)知識(shí)體系的大廈。他要求把各種感性經(jīng)驗(yàn)排除出去，從“我思”出發(fā)，利用天賦的理性能力，借助形式邏輯的結(jié)構(gòu)，通過(guò)逐步推演的方式建立起人類的知識(shí)。很明顯的是，笛卡爾的知識(shí)論體系借助了幾何學(xué)方法，他的方法論主要是演繹性質(zhì)的。

康德在知識(shí)論上號(hào)稱實(shí)現(xiàn)了“哥白尼式的革命”。在康德之前的知識(shí)論傳統(tǒng)上，一直都是主體圍繞客體轉(zhuǎn)，我們面對(duì)著客體來(lái)開始我們的認(rèn)識(shí)，使我們的認(rèn)識(shí)與客體相符合。而到了康德這里，他提出人能夠?yàn)樽匀涣⒎?，客體要圍著主體轉(zhuǎn)，知識(shí)的形成不再取決于主體的認(rèn)識(shí)與客體的符合，而是我們的先天理性，理性中所具備的先天知識(shí)形式、知識(shí)范疇，也即先驗(yàn)邏輯的結(jié)構(gòu)。能夠符合這種先天形式和結(jié)構(gòu)的對(duì)象才能夠進(jìn)入我們的認(rèn)識(shí)視野，我們的先天形式對(duì)認(rèn)識(shí)對(duì)象具有一種“裁剪”功能?？档碌南闰?yàn)邏輯雖然常常被認(rèn)為是一種新的邏輯范式，但是從根源上，我們就可以發(fā)現(xiàn)，“他的邏輯思想未能跳出形式邏輯的窠臼，他的先驗(yàn)邏輯只是把認(rèn)識(shí)論摻入了形式邏輯體系?！盵3]即他的先驗(yàn)邏輯只是形式邏輯的一種變體，本質(zhì)上依然是一種形式邏輯。這樣看來(lái)，康德的知識(shí)論依然選擇了把形式邏輯作為其思想的基礎(chǔ)。

現(xiàn)代哲學(xué)中知識(shí)論的代表主要是邏輯經(jīng)驗(yàn)主義和批判理性主義。從理論基礎(chǔ)上看，他們都認(rèn)為一種認(rèn)識(shí)能夠有意義，能夠成為知識(shí)，那么它就必須符合兩個(gè)標(biāo)準(zhǔn)：其一是可檢驗(yàn)性標(biāo)準(zhǔn)；其二是無(wú)矛盾性標(biāo)準(zhǔn)。一個(gè)理論能夠接受事實(shí)經(jīng)驗(yàn)的檢驗(yàn)，這是它作為理論的最起碼要求，經(jīng)過(guò)檢驗(yàn)獲得證實(shí)的認(rèn)識(shí)成果就是真理和知識(shí)，沒(méi)有通過(guò)事實(shí)檢驗(yàn)或者被事實(shí)所證偽的就不是知識(shí)，無(wú)權(quán)進(jìn)入知識(shí)的王國(guó)。同時(shí)，知識(shí)的本性也要求它具有自洽性，也即排除矛盾，而這正是形式邏輯的基本要求。邏輯經(jīng)驗(yàn)主義和批判理性主義的區(qū)別就在知識(shí)的增長(zhǎng)上，一個(gè)主張要求通過(guò)證實(shí)的逐漸積累，一個(gè)通過(guò)要求證偽來(lái)逐漸剔除虛假的真理。

二、知識(shí)論對(duì)認(rèn)識(shí)活動(dòng)的影響

知識(shí)論作為西方哲學(xué)中的一個(gè)重要分支，也是西方哲學(xué)的一種重要傳統(tǒng)。無(wú)論是古代的實(shí)體論哲學(xué)，還是近代以來(lái)的主體性哲學(xué)，它們都含有一種知識(shí)論的觀念在里面。知識(shí)論認(rèn)為理論活動(dòng)在人類生活中具有最高的地位。人類只有在理論活動(dòng)中，通過(guò)把握到真正的本體，獲致關(guān)于本體的絕對(duì)知識(shí)，才算完成了自己的使命。知識(shí)論有兩大理論預(yù)設(shè)：其一，認(rèn)為在我們的現(xiàn)實(shí)世界的背后還存在著一個(gè)本真的世界，它是我們這個(gè)現(xiàn)實(shí)世界的本質(zhì)，知識(shí)就是對(duì)這個(gè)更加本真世界的把握；其二，把人設(shè)定為世界之外的抽象理性存在，認(rèn)為人可以憑借理性實(shí)現(xiàn)對(duì)本真世界的終極把握。

知識(shí)論的理論預(yù)設(shè)對(duì)人類的認(rèn)識(shí)活動(dòng)產(chǎn)生了重要的影響，在許多方面都影響著人類的認(rèn)識(shí)行為和追求，把人類的認(rèn)識(shí)活動(dòng)限定在一定的理論框架內(nèi)。

首先，知識(shí)論認(rèn)為人們的認(rèn)識(shí)活動(dòng)的最終追求就是知識(shí)，知識(shí)是人們進(jìn)行認(rèn)識(shí)活動(dòng)的目的，不以獲得知識(shí)為目的而進(jìn)行認(rèn)識(shí)的活動(dòng)是一種無(wú)意義的行為。而且知識(shí)論主張人們的真正知識(shí)是關(guān)于事物本質(zhì)的認(rèn)識(shí)，事物的本質(zhì)屬性使事物成為其自身，只有把握了事物的本質(zhì)規(guī)定性，我們才能真正把握事物本身，也才能占有和控制事物。亞里士多德在《物理學(xué)》中對(duì)事物因果關(guān)系的研究也就是基于事物本質(zhì)的研究，他的四因說(shuō)，即質(zhì)料因、形式因、目的因、動(dòng)力因，就是關(guān)于事物本質(zhì)的一種學(xué)說(shuō)。原因就是事物之間的本質(zhì)關(guān)聯(lián)，是探究事物之間本質(zhì)聯(lián)系的一條重要路徑。

其次，知識(shí)論對(duì)認(rèn)識(shí)活動(dòng)持一種反映論。知識(shí)論既然懸設(shè)人是處在世界之外的存在，人（哲學(xué)家、智者）就高高站在世界之上，立于各種事物的對(duì)立面，作為一種認(rèn)識(shí)的主體，把被認(rèn)識(shí)的事物把握成客體，采取主體和客體相分離的態(tài)度以及反映主義的手法來(lái)描述認(rèn)識(shí)的過(guò)程。這種反映論認(rèn)為，“只有主體與客體之間存在差別或本質(zhì)性的歧異，主體才有認(rèn)識(shí)客體的必要。如果主客體是一致或同一的關(guān)系，認(rèn)識(shí)也就失去了必要性。在主客體二分的基礎(chǔ)上，兩者分別兩重化，主體兩重化為感性和理性，客體兩重化為現(xiàn)象與本質(zhì)，其中感性把握現(xiàn)象，理性即邏輯把握本質(zhì)，只有關(guān)于本質(zhì)的認(rèn)識(shí)才是真正的知識(shí)，因?yàn)橹R(shí)必須具有客觀性和可靠性。”[4]

再次，知識(shí)論還主張知識(shí)應(yīng)該用語(yǔ)言和數(shù)學(xué)的形式表述出來(lái)。只要一個(gè)人愿意學(xué)習(xí)知識(shí)，他就能通過(guò)別人的傳授而獲得，因此，知識(shí)還必須借助語(yǔ)言。只有通過(guò)一定的語(yǔ)言把知識(shí)表述出來(lái)，知識(shí)才能去掉它的神秘性質(zhì)，這一點(diǎn)有一定的人類歷史事實(shí)可以佐證。在人類社會(huì)的早期，人類的語(yǔ)言文字很不發(fā)達(dá)，于是知識(shí)就變成一種神秘性的東西，為巫師和一些高級(jí)統(tǒng)治者所“壟斷”，知識(shí)的“科學(xué)性”就被迷信和荒誕所“籠罩”。語(yǔ)言不但可以表述知識(shí)，是知識(shí)的重要載體，而且語(yǔ)言也是人們進(jìn)行知識(shí)傳授的“橋梁”。同時(shí)，知識(shí)論認(rèn)為知識(shí)必須具有較強(qiáng)的普適性，而只有抽象化的東西才具有普適性，越抽象化的東西，其普適程度越高?？v觀各門科學(xué)，只有數(shù)學(xué)語(yǔ)言最抽象，所以許多知識(shí)論家都注重把知識(shí)用數(shù)學(xué)的思維表現(xiàn)出來(lái)。亞里士多德采用了字母變?cè)凸砘椒?、笛卡爾把自己哲學(xué)的反思建立在幾何學(xué)的方式之上，斯賓諾莎的倫理學(xué)是用幾何學(xué)的方法寫就的，萊布尼茨的直接追求就是通過(guò)借助數(shù)學(xué)語(yǔ)言建立起一種普遍的知識(shí)。

最后，“知識(shí)論還認(rèn)為主體具有把握客體的足夠能力。當(dāng)然這是一種理性的樂(lè)觀主義預(yù)設(shè)，這種樂(lè)觀主義主要表現(xiàn)為歷史上哲學(xué)家自認(rèn)為能夠以真理之名代真理發(fā)言的態(tài)度上?！盵4]也就是知識(shí)論的主體不是一般的“人”，而是那些知識(shí)論家，他們往往把自己視為標(biāo)準(zhǔn)的認(rèn)識(shí)主體，認(rèn)為只有像他們一樣的主體，才能獲得真正的知識(shí)，才能走向真理。在這種觀念下，真理成為一種外在于人的抽象存在。

三、知識(shí)論對(duì)形式邏輯發(fā)展的影響

知識(shí)論通過(guò)對(duì)人類認(rèn)識(shí)活動(dòng)的規(guī)制把握了人們的認(rèn)識(shí)活動(dòng)，影響了人們的認(rèn)識(shí)過(guò)程。而形式邏輯正是人們認(rèn)識(shí)過(guò)程中的重要方式和方法，它與認(rèn)識(shí)活動(dòng)是內(nèi)在一體的。如此一來(lái)，知識(shí)論就把握住了形式邏輯的發(fā)展走向，它成了形式邏輯發(fā)展的理論指導(dǎo)，而形式邏輯越來(lái)越走向知識(shí)論的“道路”，呈現(xiàn)出知識(shí)論的“理論氣質(zhì)”。

其一，形式邏輯追求精確性。精確性一直是形式邏輯的內(nèi)在追求。形式邏輯和其他思考論證方式相比，它的“一個(gè)主要優(yōu)點(diǎn)就在于它具有較高的嚴(yán)格性和精確性”[5]162。我們知道，目前人類的語(yǔ)言主要分為自然語(yǔ)言和人工語(yǔ)言，自然語(yǔ)言就是人們?nèi)粘Ｊ褂玫恼Z(yǔ)言，是隨著文化的演化而自然產(chǎn)生和發(fā)展的語(yǔ)言；而人工語(yǔ)言也稱人造語(yǔ)言，是人類為了一定目的特意構(gòu)造出來(lái)的符號(hào)語(yǔ)言。自然語(yǔ)言和人工語(yǔ)言相比，具有歧義性、多義性、模糊性，也就是精確性不夠，比不上人工語(yǔ)言，人工語(yǔ)言具有單一性、明確性。形式邏輯在其最初誕生時(shí)，主要采用的是自然語(yǔ)言，但是形式邏輯發(fā)展的內(nèi)在要求就是要逐漸擺脫自然語(yǔ)言的模糊性，采用一種精確的語(yǔ)言。在亞里士多德那里就開始使用了字母變?cè)姆椒?，這是形式邏輯將走向形式化、符號(hào)化的先兆。自此以后，構(gòu)造人工語(yǔ)言，妄圖建立起人間的“巴別塔”，就成為許多哲學(xué)家的夢(mèng)想。萊布尼茨是這類哲學(xué)家中最重要的一員，他的夢(mèng)想就是構(gòu)建出一種“普通語(yǔ)言”，使這種語(yǔ)言通行于全人類，任何人都能掌握它，從而實(shí)現(xiàn)無(wú)障礙的交流。他的這一設(shè)想在后繼者弗雷格、羅素等人的共同努力下，初步得以實(shí)現(xiàn)，這就是一種符號(hào)邏輯，也即現(xiàn)代邏輯?，F(xiàn)代邏輯就是人類構(gòu)造人工語(yǔ)言的一種偉大成就，它初步實(shí)現(xiàn)了語(yǔ)言的精確性。在人工語(yǔ)言的基礎(chǔ)上，借助形式化方法，人們建立起各種形式公理系統(tǒng)，比如經(jīng)典邏輯的命題演算系統(tǒng)和狹謂詞演算系統(tǒng)，實(shí)現(xiàn)了形式邏輯的精確性。

從知識(shí)論的角度來(lái)看，我們對(duì)形式邏輯的精確性追求完全就是知識(shí)論理念深入的結(jié)果。知識(shí)要求自己通過(guò)語(yǔ)言，尤其是數(shù)學(xué)的語(yǔ)言表達(dá)出來(lái)，這主要是因?yàn)閿?shù)學(xué)語(yǔ)言是一種精確性的象征。這一觀念在古希臘就有，亞里士多德就認(rèn)為幾何學(xué)、算術(shù)學(xué)是最精確的科學(xué)，所以他在構(gòu)造形式邏輯時(shí)就借助了幾何學(xué)和算術(shù)學(xué)的字母變?cè)约肮砘椒ā：髞?lái)的笛卡爾、斯賓諾莎、萊布尼茨等一大批哲學(xué)家也都堅(jiān)守這一理念，把數(shù)學(xué)化、形式化看作是知識(shí)的一大追求。也正是在這一追求下，形式邏輯就把自己的發(fā)展目標(biāo)界定在運(yùn)用幾何學(xué)和數(shù)學(xué)語(yǔ)言和方式來(lái)發(fā)展自己，笛卡爾、布爾等都采取了幾何學(xué)的方式，弗雷格、羅素等則采用了數(shù)學(xué)的方式。

其二，形式邏輯追求普遍性。普遍性也是形式邏輯的重要追求。在亞里士多德那里，形式邏輯就不屬于任何一門科學(xué)，它是所有科學(xué)的工具，具有普遍性和通用性。后來(lái)的形式邏輯也是朝著普遍性方向發(fā)展的，推行形式化的方法就是它對(duì)自己成為一種普遍方法的渴求的象征。萊布尼茨構(gòu)造普通語(yǔ)言就是為了實(shí)現(xiàn)一種理性的演算，在此基礎(chǔ)上建立起通用科學(xué)，使它成為各門科學(xué)中共同適用的普遍原則。形式化也即意味著抽象化，而抽象化一直被看作是普遍性的基本路徑?！霸绞浅橄蟮臇|西，就越具有普遍性。因此，作為理論，邏輯是最抽象的研究，而作為工具，邏輯具有最普遍的可應(yīng)用性?！盵6]286今天的現(xiàn)代邏輯已經(jīng)被許多科學(xué)所接受，成為其重要的研究方法之一，因而采用形式邏輯的方法也成為了各種科學(xué)“科學(xué)性”標(biāo)志，就連哲學(xué)也不例外。在邏輯實(shí)證主義看來(lái)，“哲學(xué)不是別的，而只是對(duì)科學(xué)的邏輯分析”，“哲學(xué)唯一正當(dāng)?shù)娜蝿?wù)就是邏輯分析”[7]208，所以，我們一般很少談?wù)摤F(xiàn)代邏輯的局限性，因?yàn)槲覀儭安粌H不應(yīng)該說(shuō)邏輯的局限性，而且應(yīng)該說(shuō)邏輯是局限性最小的一門科學(xué)”[6]287。

仔細(xì)研究我們就會(huì)發(fā)現(xiàn)，形式邏輯對(duì)普遍性的追求，也是知識(shí)論的要求。既然知識(shí)論認(rèn)為只有關(guān)于事物本質(zhì)的認(rèn)識(shí)才是知識(shí)，那么知識(shí)就應(yīng)該是必然的，是一種真理，因此，它具有普遍性。同時(shí)知識(shí)論堅(jiān)持著一種特別的信念：“知識(shí)越是普遍，就越重要，就越有價(jià)值?！盵8]知識(shí)論借用數(shù)學(xué)語(yǔ)言，就是為了建立一種普遍適用的語(yǔ)言，這是它要使自己更具有普遍性的一種要求。

其三，形式邏輯追求單一性。單一性是形式邏輯的一種內(nèi)在追求，這種內(nèi)在追求是通過(guò)形式邏輯的長(zhǎng)期發(fā)展來(lái)實(shí)現(xiàn)的。單一性不如精確性和普遍性那樣直接就顯示在形式邏輯的形式和內(nèi)容上，而是顯示在它的整體性上。就西方邏輯的單獨(dú)發(fā)展來(lái)看，形式邏輯從亞里士多德那里建構(gòu)時(shí)起已經(jīng)歷經(jīng)了兩千余年，但形式邏輯的發(fā)展一直沿著一條清晰脈絡(luò)進(jìn)行，那就是通過(guò)對(duì)詞項(xiàng)和語(yǔ)言的分析，來(lái)獲得認(rèn)識(shí)。即使斯多葛學(xué)派的命題邏輯也依然是符合這條路線的，所以發(fā)展到現(xiàn)代邏輯時(shí)，才能把亞里士多德的詞項(xiàng)邏輯和斯多葛學(xué)派的命題邏輯完全融合在一起?？梢哉f(shuō)，在整個(gè)西方邏輯史上沒(méi)有出現(xiàn)一種可以和這種形式邏輯相抗衡的“形式邏輯”，形式邏輯就只有一種，那就是奠基于亞里士多德三段論基礎(chǔ)上的邏輯。從整個(gè)人類范圍來(lái)看，在形式邏輯的最初發(fā)展時(shí)，曾出現(xiàn)三支邏輯“鼎足天下”的局面，即古希臘邏輯、古中國(guó)邏輯和古印度邏輯。三大邏輯各有自己的特色，帶有自己的民族性。中國(guó)邏輯是一種以正名、道德政治教化為主導(dǎo)的邏輯；印度邏輯則主要是服務(wù)于宗教教義的論證和傳播；古希臘邏輯的直接追求是知識(shí)，尤其是科學(xué)知識(shí)。但是到了現(xiàn)代邏輯這里，邏輯就只有了一種邏輯，也就是西方邏輯，是肇始于古希臘，完善于現(xiàn)代的邏輯，它就叫“現(xiàn)代邏輯”，通過(guò)弗雷格和羅素等人的努力，它成為了“經(jīng)典邏輯”，通行于天下。在現(xiàn)代邏輯地盤上，所呈現(xiàn)出來(lái)的是西方邏輯一枝獨(dú)秀的局面。

形式邏輯單一化過(guò)程的內(nèi)在根據(jù)就是知識(shí)論，知識(shí)論是形式邏輯單一性的理論根據(jù)。在知識(shí)論看來(lái)，真正的知識(shí)就只有一種，那就是關(guān)于事物本質(zhì)的知識(shí)，其他知識(shí)都不是真正意義上的知識(shí)，既然形式邏輯服務(wù)于知識(shí)的獲取，那么形式邏輯也就只能有一種形式。

[1][希臘]亞里士多德.形而上學(xué)[M].北京：商務(wù)印書館，1959.

[2]亞里士多德全集：第1卷[M].北京：中國(guó)人民大學(xué)出版社，1990.

[3]葛宇寧.康德的邏輯思想探賾[J].重慶理工大學(xué)學(xué)報(bào)：社會(huì)科學(xué)版，2012，（11）.

[4]葛宇寧.論邏輯的人文向度[J].燕山大學(xué)學(xué)報(bào)：哲學(xué)社會(huì)科學(xué)版，2013，（1）.

[5]Susan Haack.Philosophy of Logics[M].Cam bridge：Cam bridge University Press，2001.

[6]王路.邏輯的觀念[M].北京：商務(wù)印書館，2000.

[7][美]卡爾納普.哲學(xué)與邏輯語(yǔ)法[M]//懷特.分析的時(shí)代.北京：商務(wù)印書館，1981.

[8]晉榮東.現(xiàn)代邏輯的理性觀及其知識(shí)論根源[J].南京社會(huì)科學(xué)，2008，（4）.