二、邏輯學(xué)的學(xué)科性質(zhì)

　　邏輯學(xué)的研究，還存在諸多爭(zhēng)議，但關(guān)于邏輯學(xué)學(xué)科的工具性，從來都確信無(wú)疑。邏輯學(xué)是以思維形式及其規(guī)律為主要研究對(duì)象，同時(shí)也涉及一些簡(jiǎn)單的邏輯方法的科學(xué)，雖然它本身并不能給人們直接提供各種具體知識(shí)，但它能夠?yàn)槿藗冞M(jìn)行正確思維、獲取新知識(shí)，以及表述、論證思想，提供必要的邏輯手段和方法，這就是邏輯學(xué)的工具性。亞里士多德講述邏輯學(xué)知識(shí)的著作被命名為《工具論》，培根將他的邏輯學(xué)著作稱做《新工具》，都算是極好的例證。作為一種工具性學(xué)科，邏輯學(xué)具有全人類性，而沒有民族性。任何一個(gè)人，只要進(jìn)行思維活動(dòng)，他就必須遵循邏輯學(xué)所揭示的思維的基本規(guī)律，否則，就會(huì)流入謬誤或者詭辯。也只有遵循了這些思維的基本規(guī)律，人們才可能正確的認(rèn)識(shí)客觀世界，人與人之間的正常交際才可能實(shí)現(xiàn)。

　　第三節(jié) 傳統(tǒng)邏輯和現(xiàn)代邏輯

　　一、傳統(tǒng)邏輯和現(xiàn)代邏輯

　　邏輯學(xué)在長(zhǎng)期的發(fā)展過程中，形成了傳統(tǒng)邏輯和現(xiàn)代邏輯兩種基本類型。

　　古希臘的亞里士多德常被人推崇為“邏輯之父”，因?yàn)閭鹘y(tǒng)邏輯正是在他的《工具論》里第一次獲得了較完備的雛型，他關(guān)于詞項(xiàng)、三段論和演繹邏輯的論述都相當(dāng)完備，而且他還提出了邏輯的三大規(guī)律，總結(jié)了很多關(guān)于論證、反駁謬誤和詭辯的方法。我們說的傳統(tǒng)邏輯就主要指由亞里士多德創(chuàng)立、經(jīng)過中世紀(jì)流傳和近代演變一直發(fā)展到19世紀(jì)數(shù)理邏輯產(chǎn)生以前的邏輯學(xué)說。它的主要內(nèi)容包括三段論、古典演繹邏輯和古典歸納邏輯。

　　通常我們把古希臘、古代中國(guó)以及古代印度并稱為邏輯學(xué)的三大源頭。因?yàn)橹袊?guó)古代的墨家、名家提倡的“辯學(xué)”與“名學(xué)”以及古代印度一些思想家創(chuàng)立的“因明學(xué)”都分別為傳統(tǒng)邏輯的發(fā)展作出了卓越的貢獻(xiàn)。除亞里士多德外，還有兩個(gè)英國(guó)人對(duì)傳統(tǒng)邏輯的發(fā)展起了比較大的促進(jìn)作用。一個(gè)是據(jù)說因給雞做冷凍實(shí)驗(yàn)不幸感上風(fēng)寒去世的培根，他的名言“知識(shí)就是力量”跟他在《新工具》里創(chuàng)立的科學(xué)歸納法一起惠澤后人，要知曉科學(xué)歸納法，一個(gè)可行的辦法是學(xué)習(xí)本書的第五章。另一個(gè)是密爾，也有人譯作穆勒，他在邏輯史上的名聲同在哲學(xué)史上一樣響，因?yàn)樗�提出了探求因果�?lián)系的五種方法，也就是“穆勒五法”。

　　現(xiàn)代邏輯指的是19世紀(jì)中葉以后發(fā)展起來的數(shù)理邏輯，又稱符號(hào)邏輯。通常理解的數(shù)理邏輯包括一階邏輯、模型論、公理集合論、遞歸論和證明論。廣義的數(shù)理邏輯還包括高階邏輯、現(xiàn)代歸納邏輯和各種非經(jīng)典邏輯等。現(xiàn)代邏輯的誕生與德國(guó)哲學(xué)家和邏輯學(xué)家萊布尼茲的天才構(gòu)想有關(guān)，他曾希望創(chuàng)造一種“萬(wàn)能的數(shù)學(xué)”，有了它，就可以用計(jì)算代替思考，人們之間萬(wàn)一發(fā)生爭(zhēng)執(zhí)，只需要拿起筆來算一算就行了。他的想法今天看來仍像個(gè)童話，不過，弗雷格在實(shí)施將數(shù)學(xué)方法引入邏輯這一構(gòu)想的時(shí)候卻直接助產(chǎn)了現(xiàn)代邏輯。西方的哲學(xué)家稱“二十世紀(jì)”為分析的時(shí)代，是因?yàn)槎�十世紀(jì)有場(chǎng)影響深遠(yuǎn)的分析哲學(xué)運(yùn)動(dòng)，而幾乎所有的分析哲學(xué)家都使用了現(xiàn)代邏輯這把利斧。就對(duì)現(xiàn)代邏輯的貢獻(xiàn)而言，除萊布尼茲和弗雷格外，羅素、懷特海、希爾伯特、歌德爾等人也理應(yīng)獲得我們最大程度的尊敬，當(dāng)然他們也為人類理智發(fā)展的其他方面耗費(fèi)了才智。在諾貝爾文學(xué)獎(jiǎng)得主羅素的筆下，大家可以發(fā)現(xiàn)讓自己熱愛邏輯的諸多理由。

　　傳統(tǒng)邏輯和現(xiàn)代邏輯作為邏輯的兩個(gè)類型，二者有千絲萬(wàn)縷的聯(lián)系，當(dāng)然他們也有幾個(gè)主要的區(qū)別：

　　第一，傳統(tǒng)邏輯與現(xiàn)代邏輯的研究對(duì)象不完全相同。有些內(nèi)容如類比與假說，是傳統(tǒng)邏輯的重要內(nèi)容，但現(xiàn)代邏輯尚未展開這些方面的全面研究�，F(xiàn)代邏輯研究的許多內(nèi)容則是傳統(tǒng)邏輯沒有研究甚至也沒有能力去研究的，比如，一個(gè)公理系統(tǒng)的完全性與無(wú)矛盾性。

　　第二，傳統(tǒng)邏輯與現(xiàn)代邏輯在人們的實(shí)踐中所起的認(rèn)識(shí)作用有些區(qū)別。傳統(tǒng)邏輯是一般思維中的便利工具，它對(duì)實(shí)際思維中常見的思維形式類型（主要是推理）加以分析、研究。這種研究的理論成果，在規(guī)范、導(dǎo)引人們進(jìn)行符合邏輯的思維方面發(fā)揮著重要作用。而現(xiàn)代邏輯是數(shù)學(xué)研究中的有用工具，它運(yùn)用一些數(shù)學(xué)方法對(duì)思維形式類型進(jìn)行研究，這種研究的成果對(duì)數(shù)學(xué)、計(jì)算機(jī)科學(xué)、人工智能等科學(xué)的發(fā)展有重要意義。

　　第三，傳統(tǒng)邏輯和現(xiàn)代邏輯所使用的工具語(yǔ)言不同。傳統(tǒng)邏輯的研究主要運(yùn)用自然語(yǔ)言，因?yàn)樽匀徽Z(yǔ)言本身具有模糊、歧義性等特點(diǎn)，使得傳統(tǒng)邏輯在理論上有某些缺陷，比如不能準(zhǔn)確地處理關(guān)系命題、必須預(yù)設(shè)命題的主項(xiàng)和謂項(xiàng)所指稱的對(duì)象存在等等。但自然語(yǔ)言同我們的日常經(jīng)驗(yàn)比較接近，因此，傳統(tǒng)邏輯在日常生活的應(yīng)用上較之現(xiàn)代邏輯更為廣泛�，F(xiàn)代邏輯則主要運(yùn)用人工語(yǔ)言，通過建立形式系統(tǒng)以實(shí)現(xiàn)對(duì)思維形式的研究。人工語(yǔ)言和數(shù)學(xué)方法的運(yùn)用使得現(xiàn)代邏輯較之傳統(tǒng)邏輯更為精確，研究的內(nèi)容也更為深刻。當(dāng)然，這也使得現(xiàn)代邏輯更為抽象而遠(yuǎn)離人們的日常經(jīng)驗(yàn)。

　　二、邏輯學(xué)的現(xiàn)代發(fā)展及其體系

　　邏輯在現(xiàn)代社會(huì)的發(fā)展主要體現(xiàn)為兩大路向：一條是以現(xiàn)代邏輯為代表的與數(shù)學(xué)相結(jié)合的形式化方向。二十世紀(jì)以來，通過對(duì)算術(shù)、代數(shù)、函數(shù)、公理化方法、數(shù)學(xué)歸納法等數(shù)學(xué)方法的吸納，邏輯越來越趨向于數(shù)學(xué)化，并在這個(gè)方向的研究取得一系列重要的成果。另一條是非形式化方向上的進(jìn)展。比如批判性思維、言語(yǔ)行為理論、言語(yǔ)交際理論、預(yù)設(shè)理論等方面的研究，這些論題一般與自然語(yǔ)言聯(lián)系緊密。美國(guó)哲學(xué)家斯特勞森甚至認(rèn)為存在兩個(gè)邏輯系統(tǒng)：一個(gè)是形式邏輯系統(tǒng)；一個(gè)是自然語(yǔ)言邏輯系統(tǒng)。不過，自然語(yǔ)言邏輯的研究仍并不充分。

　　就目前看來，第一條路向所取得的成果對(duì)邏輯學(xué)本身的發(fā)展更為重要。現(xiàn)代邏輯運(yùn)用人工語(yǔ)言和數(shù)學(xué)方法，不僅推動(dòng)了原傳統(tǒng)邏輯中的經(jīng)典演繹邏輯和經(jīng)典歸納邏輯在現(xiàn)代的發(fā)展，更突破了經(jīng)典邏輯的一些局限，發(fā)展了內(nèi)容非常豐富的非經(jīng)典邏輯，如多值邏輯、直覺主義邏輯、模態(tài)邏輯等等。這些發(fā)展都極大的促進(jìn)了邏輯學(xué)在各個(gè)領(lǐng)域的應(yīng)用，尤其在哲學(xué)、數(shù)學(xué)、語(yǔ)言學(xué)、物理學(xué)、計(jì)算機(jī)科學(xué)與人工智能等領(lǐng)域展現(xiàn)出很誘人的前景。

　　如果從宏觀的角度來看，現(xiàn)代邏輯學(xué)呈現(xiàn)為一個(gè)多層次的龐大的學(xué)科體系。這個(gè)體系我們可以用下圖來表示：[③]

　　                                                 邏輯語(yǔ)義學(xué)

　　                                  元邏輯         邏輯語(yǔ)法學(xué)

　　                                                 邏輯語(yǔ)形學(xué)

　　                                  基礎(chǔ)邏輯       經(jīng)典邏輯

　　       現(xiàn)代形式邏輯                              非經(jīng)典邏輯

　　                                                  數(shù)學(xué)邏輯

　　                                                 哲學(xué)邏輯

　　         應(yīng)用邏輯        語(yǔ)言邏輯

　　   現(xiàn)代邏輯                                        科學(xué)邏輯

　　                                                  技術(shù)邏輯

　　                                    藝術(shù)邏輯、

　　                        現(xiàn)代歸納邏輯

　　             現(xiàn)代辯證邏輯

　　圖（2）

　　圖（2）中的現(xiàn)代形式邏輯是指?jìng)鹘y(tǒng)邏輯中的演繹邏輯的現(xiàn)代發(fā)展；現(xiàn)代歸納邏輯是指?jìng)鹘y(tǒng)邏輯中歸納邏輯的現(xiàn)代發(fā)展；而現(xiàn)代辯證邏輯是指?jìng)鹘y(tǒng)辯證邏輯的現(xiàn)代發(fā)展。元邏輯是指用數(shù)理邏輯的方法對(duì)邏輯學(xué)自身進(jìn)行理論研究和系統(tǒng)分析的邏輯學(xué)分支，它包括邏輯語(yǔ)義學(xué)、邏輯語(yǔ)形學(xué)、邏輯語(yǔ)法學(xué)三個(gè)主要組成部分�；�礎(chǔ)邏輯是指限于研究命題聯(lián)結(jié)詞和量詞兩種邏輯常項(xiàng)的諸現(xiàn)代形式邏輯分支學(xué)科，包括經(jīng)典邏輯和非經(jīng)典邏輯兩大類。經(jīng)典邏輯的主要內(nèi)容有一階邏輯、模型論、集合論、遞歸論、證明論等。非經(jīng)典邏輯主要有多值邏輯、模態(tài)邏輯、模糊邏輯、相干邏輯、內(nèi)涵邏輯、直覺主義邏輯、不協(xié)調(diào)邏輯、時(shí)態(tài)邏輯、道義邏輯、現(xiàn)代歸納與概率邏輯等等。應(yīng)用邏輯則一般是現(xiàn)代形式邏輯和現(xiàn)代歸納邏輯在各個(gè)領(lǐng)域的具體應(yīng)用，如哲學(xué)邏輯是用數(shù)理邏輯方法來研究哲學(xué)的基本概念和基本理論，而技術(shù)邏輯中的電路分析邏輯就是數(shù)理邏輯在電路分析中的應(yīng)用。

　　現(xiàn)代邏輯的基礎(chǔ)部分是一階邏輯，它主要包括命題演算和謂詞演算，這也是現(xiàn)代邏輯與傳統(tǒng)邏輯關(guān)系最密切的部分。一階邏輯也被稱為一階謂詞邏輯，它是傳統(tǒng)邏輯的直接發(fā)展。由于使用了符號(hào)語(yǔ)言，一階邏輯較之傳統(tǒng)邏輯具有更加精確、有效的分析工具，從而大大發(fā)展了傳統(tǒng)邏輯對(duì)于命題和詞項(xiàng)推理的研究，并建立起命題邏輯和謂詞邏輯的精確完備的體系。我們?cè)诒緯�的下編主要介紹這部分內(nèi)容。

更多信息請(qǐng)?jiān)L問：考試吧公務(wù)員欄目

希望與其他公務(wù)員考生進(jìn)行交流？點(diǎn)擊進(jìn)入公務(wù)員論壇>>> 

進(jìn)入考試吧博客記錄下自己的備考?xì)v程吧

上一頁(yè)  [1] [2] [3] [4] [5] 下一頁(yè)