知識(shí)論對(duì)形式邏輯發(fā)展的影響,邏輯學(xué)論文

知識(shí)論對(duì)形式邏輯發(fā)展的影響,邏輯學(xué)論文西方哲學(xué)的傳統(tǒng)是一種對(duì)知識(shí)的熱愛，對(duì)知識(shí)的信仰。它以為哲學(xué)的根本追求就是知識(shí)，知識(shí)是對(duì)世界的理論把握，人們擁有了知識(shí)就能夠把握這個(gè)世界。而形式邏輯則被以為是認(rèn)識(shí)世界的有效工具，它的主要功能就是通過推理來獲得新知識(shí)，來擴(kuò)展我們的知識(shí)范圍。在亞里士多德那里，形式邏輯就是獲得知識(shí)的重要工具，它的主要德行就是知識(shí)。如此以來，在西方哲學(xué)傳統(tǒng)中，知識(shí)論和形式邏輯就構(gòu)成了特別密切的聯(lián)絡(luò)，把這種密切聯(lián)絡(luò)梳理出來，將會(huì)有助于我們更好地把握知識(shí)論和形式邏輯本身的特質(zhì)。一、形式邏輯在西方知識(shí)論構(gòu)成中的作用。一般以為知識(shí)論的主要奠基人是古希臘的亞里士多德，它在(形而上學(xué)〕的開篇便提出求知是人類的本性［１］１。以為人類的本質(zhì)追求就是尋求知識(shí)，認(rèn)識(shí)事物的本質(zhì)和原因，只要知識(shí)才代表了人類的最高追求，才是人類與其他動(dòng)物的一種根本區(qū)別。亞里士多德的形而上學(xué)、物理學(xué)、倫理學(xué)、邏輯學(xué)等，都含有一種知識(shí)論的傾向。他以為人類的知識(shí)大致能夠分為三種：理論知識(shí)、實(shí)踐知識(shí)和創(chuàng)作知識(shí)。華而不實(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í)，它是用來指導(dǎo)制造和制作的知識(shí)，主要指一種技藝方面的知識(shí)，看重的是技術(shù)和能力，比方造船的知識(shí)、航海的知識(shí)等。能夠講對(duì)知識(shí)的追求一直是西方哲學(xué)發(fā)展的一個(gè)內(nèi)在動(dòng)因，隱含于西方哲學(xué)的追求之中，并且西方哲學(xué)對(duì)知識(shí)的追求和認(rèn)識(shí)，一直都與形式邏輯密不可分，那就是把形式邏輯作為自個(gè)的思想基礎(chǔ)。在亞里士多德那里，這種傾向就很明顯。在亞里士多德那里，形式邏輯不屬于任何一門學(xué)科，它是科學(xué)知識(shí)的工具。甚至在他看來，形式邏輯的德性就是知識(shí)［２］２９５。他又講：我們無論怎樣都是通過證明獲得知識(shí)的。我所謂的證明是指產(chǎn)生科學(xué)知識(shí)的三段論。所謂科學(xué)知識(shí)，是指只要我們把握了它，就能據(jù)此知道事物的東西。［２］２４７因而，形式邏輯在其產(chǎn)生之初就和知識(shí)追求糾纏在一起，它不但是知識(shí)的來源，而且也是建立起知識(shí)體系大廈的重要工具。在長(zhǎng)期的中世紀(jì)基督教哲學(xué)中，由于信仰替代了知識(shí)，成為人類行為的首要追求，信仰高于理性，信仰先于理解。受這種思想的影響，人們減弱了探求外在世界，進(jìn)而獲得知識(shí)的欲望，知識(shí)論處于一種停滯不前甚至倒退的狀態(tài)。真正使知識(shí)論得到復(fù)興的是近代哲學(xué)，近代哲學(xué)就是對(duì)中世紀(jì)哲學(xué)的一種反叛，它又開場(chǎng)回到了追求知識(shí)的主題上來。笛卡爾是近代知識(shí)論的創(chuàng)始者和重要奠基人。在笛卡爾那里，以我思故我在為基點(diǎn)，力求重構(gòu)知識(shí)體系的大廈。他要求把各種感性經(jīng)歷體驗(yàn)排除出去，從我思出發(fā)，利用天賦的理性能力，借助形式邏輯的構(gòu)造，通過逐步推演的方式建立起人類的知識(shí)。很明顯的是，笛卡爾的知識(shí)論體系借助了幾何學(xué)方式方法，他的方式方法論主要是演繹性質(zhì)的?？档略谥R(shí)論上號(hào)稱實(shí)現(xiàn)了哥白尼式的革命。在康德之前的知識(shí)論傳統(tǒng)上，一直都是主體圍繞客體轉(zhuǎn)，我們面對(duì)著客體來開場(chǎng)我們的認(rèn)識(shí)，使我們的認(rèn)識(shí)與客體相符合。而到了康德這里，他提出人能夠?yàn)樽匀涣⒎?，客體要圍著主體轉(zhuǎn)，知識(shí)的構(gòu)成不再取決于主體的認(rèn)識(shí)與客體的符合，而是我們的先天理性，理性中所具備的先天知識(shí)形式、知識(shí)范疇，也即先驗(yàn)邏輯的構(gòu)造。能夠符合這種先天形式和構(gòu)造的對(duì)象才能夠進(jìn)入我們的認(rèn)識(shí)視野，我們的先天形式對(duì)認(rèn)識(shí)對(duì)象具有一種裁剪功能。康德的先驗(yàn)邏輯固然經(jīng)常被以為是一種新的邏輯范式，但是從根本源頭上，我們就能夠發(fā)現(xiàn)，他的邏輯思想沒有能跳出形式邏輯的窠臼，他的先驗(yàn)邏輯只是把認(rèn)識(shí)論摻入了形式邏輯體系。［３］即他的先驗(yàn)邏輯只是形式邏輯的一種變體，本質(zhì)上仍然是一種形式邏輯。這樣看來，康德的知識(shí)論仍然選擇了把形式邏輯作為其思想的基礎(chǔ)。當(dāng)代哲學(xué)中知識(shí)論的代表主要是邏輯經(jīng)歷體驗(yàn)主義和批判理性主義。從理論基礎(chǔ)上看，他們都以為一種認(rèn)識(shí)能夠有意義，能夠成為知識(shí)，那么它就必須符合兩個(gè)標(biāo)準(zhǔn)：其一是可檢驗(yàn)性標(biāo)準(zhǔn)；其二是無矛盾性標(biāo)準(zhǔn)。一個(gè)理論能夠接受事實(shí)經(jīng)歷體驗(yàn)的檢驗(yàn)，這是它作為理論的最最少要求，經(jīng)過檢驗(yàn)獲得證實(shí)的認(rèn)識(shí)成果就是真理和知識(shí)，沒有通過事實(shí)檢驗(yàn)或者被事實(shí)所證偽的就不是知識(shí)，無權(quán)進(jìn)入知識(shí)的王國。同時(shí)，知識(shí)的本性也要求它具有自洽性，也即排除矛盾，而這正是形式邏輯的基本要求。邏輯經(jīng)歷體驗(yàn)主義和批判理性主義的區(qū)別就在知識(shí)的增長(zhǎng)上，一個(gè)主張要求通過證實(shí)的逐步積累，一個(gè)通過要求證偽來逐步剔除虛假的真理。二、知識(shí)論對(duì)認(rèn)識(shí)活動(dòng)的影響知識(shí)論作為西方哲學(xué)中的一個(gè)重要分支，也是西方哲學(xué)的一種重要傳統(tǒng)。無論是古代的實(shí)體論哲學(xué)，還是近代以來的主體性哲學(xué)，它們都含有一種知識(shí)論的觀念在里面。知識(shí)論以為理論活動(dòng)在人類生活中具有最高的地位。人類只要在理論活動(dòng)中，通過把握到真正的本體，獲致關(guān)于本體的絕對(duì)知識(shí)，才算完成了自個(gè)的責(zé)任。知識(shí)論有兩大理論預(yù)設(shè)：其一，以為在我們的現(xiàn)實(shí)世界的背后還存在著一個(gè)本真的世界，它是我們這個(gè)現(xiàn)實(shí)世界的本質(zhì)，知識(shí)就是對(duì)這個(gè)愈加本真世界的把握；其二，把人設(shè)定為世界之外的抽象理性存在，以為人能夠憑借理性實(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)識(shí)活動(dòng)的最終追求就是知識(shí)，知識(shí)是人們進(jìn)行認(rèn)識(shí)活動(dòng)的目的，不以獲得知識(shí)為目的而進(jìn)行認(rèn)識(shí)的活動(dòng)是一種無意義的行為。而且知識(shí)論主張人們的真正知識(shí)是關(guān)于事物本質(zhì)的認(rèn)識(shí)，事物的本質(zhì)屬性使事物成為其本身，只要把握了事物的本質(zhì)規(guī)定性，我們才能真正把握事物本身，也才能占有和控制事物。亞里士多德在(物理學(xué)〕中對(duì)事物因果關(guān)系的研究也就是基于事物本質(zhì)的研究，他的四因講，即質(zhì)料因、形式因、目的因、動(dòng)力因，就是關(guān)于事物本質(zhì)的一種學(xué)講。原因就是事物之間的本質(zhì)關(guān)聯(lián)，是探究事物之間本質(zhì)聯(lián)絡(luò)的一條重要途徑。其次，知識(shí)論對(duì)認(rèn)識(shí)活動(dòng)持一種反映論。知識(shí)論既然懸設(shè)人是處在世界之外的存在，人〔哲學(xué)家、智者〕就高高站在世界之上，立于各種事物的對(duì)立面，作為一種認(rèn)識(shí)的主體，把被認(rèn)識(shí)的事物把握成客體，采取主體和客體相分離的態(tài)度以及反映主義的手法來描繪敘述認(rèn)識(shí)的經(jīng)過。這種反映論以為，只要主體與客體之間存在差異不同或本質(zhì)性的歧異，主體才有認(rèn)識(shí)客體的必要。假如主客體是一致或同一的關(guān)系，認(rèn)識(shí)也就失去了必要性。在主客體二分的基礎(chǔ)上，兩者分別兩重化，主體兩重化為感性和理性，客體兩重化為現(xiàn)象與本質(zhì)，華而不實(shí)感性把握現(xiàn)象，理性即邏輯把握本質(zhì)，只要關(guān)于本質(zhì)的認(rèn)識(shí)才是真正的知識(shí)，由于知識(shí)必須具有客觀性和可靠性。［４］再次，知識(shí)論還主張知識(shí)應(yīng)該用語言和數(shù)學(xué)的形式表述出來。只要一個(gè)人愿意學(xué)習(xí)知識(shí)，他就能通過別人的教授而獲得，因而，知識(shí)還必須借助語言。只要通過一定的語言把知識(shí)表述出來，知識(shí)才能去掉它的神秘性質(zhì)，這一點(diǎn)有一定的人類歷史事實(shí)能夠佐證。在人類社會(huì)的早期，人類的語言文字很不發(fā)達(dá)，于是知識(shí)就變成一種神秘性的東西，為巫師和一些高級(jí)統(tǒng)治者所壟斷，知識(shí)的科學(xué)性就被迷信和荒唐所覆蓋。語言不但能夠表述知識(shí)，是知識(shí)的重要載體，而且語言也是人們進(jìn)行知識(shí)教授的橋梁。同時(shí)，知識(shí)論以為知識(shí)必須具有較強(qiáng)的普適性，而只要抽象化的東西才具有普適性，越抽象化的東西，其普適程度越高?？v觀各門科學(xué)，只要數(shù)學(xué)語言最抽象，所以很多知識(shí)論家都注重把知識(shí)用數(shù)學(xué)的思維表現(xiàn)出來。亞里士多德采用了字母變?cè)凸砘绞椒椒?、笛卡爾把自個(gè)哲學(xué)的反思建立在幾何學(xué)的方式之上，斯賓諾莎的倫理學(xué)是用幾何學(xué)的方式方法寫就的，萊布尼茨的直接追求就是通過借助數(shù)學(xué)語言建立起一種普遍的知識(shí)。最后，知識(shí)論還以為主體具有把握客體的足夠能力。當(dāng)然這是一種理性的樂觀主義預(yù)設(shè)，這種樂觀主義主要表現(xiàn)為歷史上哲學(xué)家自以為能夠以真理之名代真理發(fā)言的態(tài)度上。［４］也就是知識(shí)論的主體不是一般的人，而是那些知識(shí)論家，他們往往把自個(gè)視為標(biāo)準(zhǔn)的認(rèn)識(shí)主體，以為只要像他們一樣的主體，才能獲得真正的知識(shí)，才能走向真理。在這種觀念下，真理成為一種外在于人的抽象存在。三、知識(shí)論對(duì)形式邏輯發(fā)展的影響知識(shí)論通過對(duì)人類認(rèn)識(shí)活動(dòng)的規(guī)制把握了人們的認(rèn)識(shí)活動(dòng)，影響了人們的認(rèn)識(shí)經(jīng)過。而形式邏輯正是人們認(rèn)識(shí)經(jīng)過中的重要方式和方式方法，它與認(rèn)識(shí)活動(dòng)是內(nèi)在一體的。如此一來，知識(shí)論就把握住了形式邏輯的發(fā)展走向，它成了形式邏輯發(fā)展的理論指導(dǎo)，而形式邏輯越來越走向知識(shí)論的道路，呈現(xiàn)出知識(shí)論的理論氣質(zhì)。其一，形式邏輯追求精到準(zhǔn)確性。精到準(zhǔn)確性一直是形式邏輯的內(nèi)在追求。形式邏輯和其他考慮論證方式相比，它的一個(gè)主要優(yōu)點(diǎn)就在于它具有較高的嚴(yán)格性和精到準(zhǔn)確性［５］１６２。我們知道，當(dāng)前人類的語言主要分為自然語言和人工語言，自然語言就是人們?nèi)粘Ｊ褂玫恼Z言，是隨著文化的演化而自然產(chǎn)生和發(fā)展的語言；而人工語言也稱人造語言，是人類為了一定目的特意構(gòu)造出來的符號(hào)語言。自然語言和人工語言相比，具有歧義性、多義性、模糊性，也就是精到準(zhǔn)確性不夠，比不上人工語言，人工語言具有單一性、明確性。形式邏輯在其最初誕生時(shí)，主要采用的是自然語言，但是形式邏輯發(fā)展的內(nèi)在要求就是要逐步擺脫自然語言的模糊性，采用一種精到準(zhǔn)確的語言。在亞里士多德那里就開場(chǎng)使用了字母變?cè)姆绞椒椒?，這是形式邏輯將走向形式化、符號(hào)化的前兆。自此以后，構(gòu)造人工語言，妄圖建立起人間的巴別塔，就成為很多哲學(xué)家的夢(mèng)想。萊布尼茨是這類哲學(xué)家中最重要的一員，他的夢(mèng)想就是構(gòu)建出一種普通語言，使這種語言通行于全人類，任何人都能把握它，進(jìn)而實(shí)現(xiàn)無障礙的溝通。他的這一設(shè)想在后繼者弗雷格、羅素等人的共同努力下，初步得以實(shí)現(xiàn)，這就是一種符號(hào)邏輯，也即當(dāng)代邏輯。當(dāng)代邏輯就是人類構(gòu)造人工語言的一種偉大成就，它初步實(shí)現(xiàn)了語言的精到準(zhǔn)確性。在人工語言的基礎(chǔ)上，借助形式化方式方法，人們建立起各種形式公理系統(tǒng)，比方經(jīng)典邏輯的命題演算系統(tǒng)和狹謂詞演算系統(tǒng)，實(shí)現(xiàn)了形式邏輯的精到準(zhǔn)確性。從知識(shí)論的角度來看，我們對(duì)形式邏輯的精到準(zhǔn)確性追求完全就是知識(shí)論理念深切進(jìn)入的結(jié)果。知識(shí)要求自個(gè)通過語言，尤其是數(shù)學(xué)的語言表示出出來，這主要是由于數(shù)學(xué)語言是一種精到準(zhǔn)確性的象征。這一觀念在古希臘就有，亞里士多德就以為幾何學(xué)、算術(shù)學(xué)是最精到準(zhǔn)確的科學(xué)，所以他在構(gòu)造形式邏輯時(shí)就借助了幾何學(xué)和算術(shù)學(xué)的字母變?cè)约肮砘绞椒椒?。后來的笛卡爾、斯賓諾莎、萊布尼茨等一大批哲學(xué)家也都堅(jiān)守這一理念，把數(shù)學(xué)化、形式化看作是知識(shí)的一大追求。也正是在這一追求下，形式邏輯就把自個(gè)的發(fā)展目的界定在運(yùn)用幾何學(xué)和數(shù)學(xué)語言和方式來發(fā)展自個(gè)，笛卡爾、布爾等都采取了幾何學(xué)的方式，弗雷格、羅素等則采用了數(shù)學(xué)的方式。其二，形式邏輯追求普遍性。普遍性也是形式邏輯的重要追求。在亞里士多德那里，形式邏輯就不屬于任何一門科學(xué)，它是所有科學(xué)的工具，具有普遍性和通用性。后來的形式邏輯也是朝著普遍性方向發(fā)展的，推行形式化的方式方法就是它對(duì)自個(gè)成為一種普遍方式方法的渴求的象征。萊布尼茨構(gòu)造普通語言就是為了實(shí)現(xiàn)一種理性的演算，在這里基礎(chǔ)上建立起通用科學(xué)，使它成為各門科學(xué)同適用的普遍原則。形式化也即意味著抽象化，而抽象化一直被看作是普遍性的基本途徑。越是抽象的東西，就越具有普遍性。因而，作為理論，邏輯是最抽象的研究，而作為工具，邏輯具有最普遍的可應(yīng)用性。［６］２８６今天的當(dāng)代邏輯已經(jīng)被很多科學(xué)所接受，成為其重要的研究方式方法之一，因此采用形式邏輯的方式方法也成為了各種科學(xué)科學(xué)性標(biāo)志，就連哲學(xué)也不例外。在邏輯實(shí)證主義看來，哲學(xué)不是別的，而只是對(duì)科學(xué)的邏輯分析，哲學(xué)唯一正當(dāng)?shù)娜蝿?wù)就是邏輯分析［７］２０８，所以，我們一般很少議論當(dāng)代邏輯的局限性，由于我們不僅不應(yīng)該講邏輯的局限性，而且應(yīng)該講邏輯是局限性最小的一門科學(xué)［６］２８７。仔細(xì)研究我們就會(huì)發(fā)現(xiàn)，形式邏輯對(duì)普遍性的追求，也是知識(shí)論的要求。既然知識(shí)論以為只要關(guān)于事物本質(zhì)的認(rèn)識(shí)才是知識(shí)，那么知識(shí)就應(yīng)該是必然的，是一種真理，因而，它具有普遍性。同時(shí)知識(shí)論堅(jiān)持著一種十分的信念：知識(shí)越是普遍，就越重要，就越有價(jià)值。［８］知識(shí)論借用數(shù)學(xué)語言，就是為了建立一種普遍適用的語言，這是它要使自個(gè)更具有普遍性的一種要求。其三，形式邏輯追求單一性。單一性是形式邏輯的一種內(nèi)在追求，這種內(nèi)在追求是通過形式邏輯的長(zhǎng)期發(fā)展來實(shí)現(xiàn)的。單一性不如精到準(zhǔn)確性和普遍性那樣直接就顯示在形式邏輯的形式和內(nèi)容上，而是顯示在它的整體性上。就西方邏輯的單獨(dú)發(fā)展來看，形式邏輯從亞里士多德那里建構(gòu)時(shí)起已經(jīng)歷經(jīng)了兩千余年，但形式邏輯的發(fā)展一直沿著一條清楚明晰脈絡(luò)進(jìn)行，那就是通過對(duì)詞項(xiàng)和語言的分析，來獲得認(rèn)識(shí)。即便斯多葛學(xué)派的命題邏輯也仍然是符合這條道路的，所以發(fā)展到當(dāng)代邏輯時(shí)，才能把亞里士多德的詞項(xiàng)邏輯和斯多葛學(xué)派的命題邏輯完全融合在一起。能夠講，在整個(gè)西方邏輯史上沒有出現(xiàn)一種能夠和這種形式邏輯相抗衡的形式邏輯，形式邏輯就只要一種，那就是奠基于亞里士多德三段論基礎(chǔ)上的邏輯。從整個(gè)人類范圍來看，在形式邏輯的最初發(fā)展時(shí)，曾出現(xiàn)三支邏輯鼎足天下的局面，即古希臘邏輯、古中國邏輯和古印度邏輯。三大邏輯各有自個(gè)的特色，帶有自個(gè)的民族性。中國邏輯是一種以正名、道德政治教化為主導(dǎo)的邏輯；印度邏輯則主要是服務(wù)于宗教教義的論證和傳播；古希臘邏輯的直接追求是知識(shí)，尤其是科學(xué)知識(shí)