知識論對形式邏輯發(fā)展的影響,邏輯學論文

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