邏輯學(xué)的歷史和現(xiàn)狀
[轉(zhuǎn)載]辯證法就是反邏輯的詭辯法 邏輯悖論Dec 01邏輯學(xué)的歷史和現(xiàn)狀
邏輯 Add comments邏輯學(xué)的歷史和現(xiàn)狀
大約在公元前6世紀(jì)左右，古代中國(guó)、古代印度和古希臘的學(xué)者，就各自獨(dú)立地建立了自己的邏輯學(xué)說(shuō)。他們分別是“名辨之學(xué)”、因明和古希臘的邏輯學(xué)。其中，古希臘的邏輯學(xué)最為系統(tǒng)，因而在世界邏輯學(xué)發(fā)展史上影響也最大、最深。
古希臘學(xué)者亞里士多德被認(rèn)為是古希臘邏輯學(xué)的創(chuàng)始人，他在其由后人整理并取名為《工具論》的著作中，第一次全面、系統(tǒng)地論述了傳統(tǒng)形式邏輯，提出了有關(guān)范疇、命題、三段證明和謬誤等一系列重要論述和思想。他所創(chuàng)立的邏輯學(xué)，邏輯史上稱之為古典的或傳統(tǒng)的形式邏輯（“形式邏輯”這一稱呼是17世紀(jì)康德提出的）或古典的演繹邏輯。這一邏輯的主要特點(diǎn)在于：它是建立的對(duì)范疇的研究基礎(chǔ)之上，即它主要涉及范疇、又范疇組成的命題、由命題組成的三段論和論證等。這是古代邏輯中較為完整地建立起來(lái)的一個(gè)三段論系統(tǒng)，它構(gòu)成了邏輯的一個(gè)初等的、但是重要的部分。
亞里士多德以后，麥加拉-斯多葛學(xué)派研究了亞里士多德邏輯中欠缺的有關(guān)假言命題、選言命題、連言命題等屬于復(fù)合命題的問(wèn)題，研究了由這些命題所組成的各種推理形式及其規(guī)則，奠定了命題邏輯的基礎(chǔ)。這是傳統(tǒng)形式邏輯的一個(gè)重大發(fā)展，極大地豐富了傳統(tǒng)形式邏輯、主要是演繹邏輯的內(nèi)容。
歐洲中世紀(jì)時(shí)期，形式邏輯作為一門(mén)獨(dú)立的科學(xué)也得到了發(fā)展。這時(shí)期的邏輯學(xué)家進(jìn)一步研究了詞項(xiàng)理論(包括對(duì)范疇詞與非范疇詞的研究、指代理論的研究等)，創(chuàng)立了推論的學(xué)說(shuō)，并對(duì)麥加拉-斯多葛派的命題邏輯作了更深入的研究。
在近代，法國(guó)的阿爾諾與尼科爾根據(jù)笛卡爾的哲學(xué)、邏輯和方法論觀點(diǎn)，于166
大學(xué)網(wǎng) 2年發(fā)表了《邏輯或思維的藝術(shù)》一書(shū)。該書(shū)分別討論了概念、判斷、推理與方法等內(nèi)容，曾多次重版，成為歐洲近代邏輯的范本，對(duì)以后各種邏輯教材的編寫(xiě)產(chǎn)生了深遠(yuǎn)的影響�？梢哉J(rèn)為，這是傳統(tǒng)形式邏輯，主要是傳統(tǒng)演繹邏輯的主要代表作之一。17世紀(jì)開(kāi)始，由于實(shí)驗(yàn)自然科學(xué)的'興起，歸納方法的研究被提到重要議事日程。英國(guó)哲學(xué)家弗蘭西斯培根著《新工具》一書(shū)，系統(tǒng)論述了以“三表法”和“排斥法”為核心的歸納方法，奠定了古典歸納邏輯的基礎(chǔ)。此后，赫舍爾、惠威爾等人，繼續(xù)發(fā)展了培根的歸納邏輯思想。穆勒著《邏輯體系》一書(shū)，全面、系統(tǒng)地提出了歸納五法，成為古典的或傳統(tǒng)的歸納邏輯的集大成者。
17世紀(jì)末，法國(guó)哲學(xué)家萊布尼茨提出了邏輯數(shù)學(xué)化的思想，他在其166
6年發(fā)表的《論組合術(shù)》一書(shū)中，提出了建立一種表意的普遍語(yǔ)言及思維演算，并成功地把命題表達(dá)為符號(hào)式，被公認(rèn)為數(shù)理邏輯的先驅(qū)者。隨后不到100年，英國(guó)數(shù)學(xué)家布爾用數(shù)學(xué)方法首倡了第一個(gè)邏輯演算系統(tǒng)-布爾代數(shù)，并把其中的符號(hào)解釋為類時(shí)，布爾代數(shù)即為類代數(shù)，以及類邏輯的代表化，從而，把萊布尼茨的設(shè)想變成了現(xiàn)實(shí)，成為數(shù)理邏輯的早期形式。其后，再經(jīng)德摩根、弗雷格等人的努力到 20世紀(jì)初，羅素和懷德合著《數(shù)學(xué)原理》，總結(jié)了前人的研究成果，建立了一個(gè)完全的命題演算與謂詞演算系統(tǒng)，標(biāo)志著數(shù)理邏輯作為一門(mén)獨(dú)立的科學(xué)達(dá)到了成熟階段。樹(shù)立邏輯是再傳統(tǒng)邏輯基礎(chǔ)上發(fā)展起來(lái)的，因而被是為形式邏輯的現(xiàn)代類型，一般也稱之為現(xiàn)代形式邏輯或簡(jiǎn)稱現(xiàn)代邏輯。近幾十年來(lái)，現(xiàn)代邏輯得到迅速發(fā)展，至今已成為擁有眾多分支的學(xué)科。
在形式邏輯由古典類型向現(xiàn)代類型發(fā)展的同時(shí)，另一種類型的邏輯即辨證邏輯也誕生了他的生態(tài)系統(tǒng)，這就是19世紀(jì)德國(guó)哲學(xué)家黑格爾提出的思辨邏輯。黑格爾在批判以往邏輯學(xué)中形式與內(nèi)容相割裂之類的形而上學(xué)的觀點(diǎn)，并批判地吸取從亞里士多德到康德等人邏輯學(xué)說(shuō)中所包含的有關(guān)辨證邏輯的合理思想的基礎(chǔ)上，建立了邏輯史上第一個(gè)全面而系統(tǒng)的辨證邏輯體系。雖然這個(gè)體系是建筑在唯心主義基礎(chǔ)之上，因而從根本上說(shuō)是不科學(xué)的，但是，他畢竟是提出了一個(gè)與傳統(tǒng)形式邏輯不同的邏輯類型和邏輯形態(tài)。黑格爾的思辨邏輯即辨證邏輯可以說(shuō)是辨證邏輯發(fā)展史上的古典形態(tài)。
古代中國(guó)的邏輯學(xué)說(shuō)形成于春秋戰(zhàn)國(guó)時(shí)期，稱為“名辨之學(xué)”。名家的鄧析以及稍后的惠施和公孫龍，儒家的孔子，墨家的墨子，都對(duì)名辯邏輯的產(chǎn)生做出了重要貢獻(xiàn)。后期墨家則在《墨經(jīng)》中建立起一個(gè)邏輯體系，達(dá)到了中國(guó)古代邏輯發(fā)展的高峰。此后，荀子、韓非等也對(duì)名辯邏輯的發(fā)展起到了重要作用�？上У氖�，秦漢以后，由于種種原因，我國(guó)古代曾經(jīng)興起一時(shí)的邏輯學(xué)說(shuō)卻走向了衰落，沒(méi)有獲得進(jìn)一步發(fā)展。直到近代，隨著西方邏輯的傳入，我國(guó)的邏輯研究才重又復(fù)興，先秦時(shí)期的寶貴遺產(chǎn)也得到了重視。
古代印度的邏輯學(xué)說(shuō)起源于印度公元1世紀(jì)左右盛行的辯論術(shù)，以婆羅門(mén)較的正理論和佛教的因明為代表。因明最初在正理論的基礎(chǔ)上產(chǎn)生，后經(jīng)著名學(xué)者陳那和他的弟子改造，發(fā)展到一個(gè)嶄新的階段。由陳那改造的因明被成為新因明，陳那之前的因明則稱為古因明，后來(lái)，正理論又吸收了新因明的成果，也獲得了發(fā)展。
邏輯學(xué)發(fā)展到今天，已經(jīng)稱為一個(gè)龐大的科學(xué)領(lǐng)
域。它主要包括傳統(tǒng)邏輯、數(shù)理邏輯、現(xiàn)代歸納邏輯、辨證邏輯、自然語(yǔ)言邏輯、科學(xué)邏輯、非形式邏輯等。
傳統(tǒng)邏輯也稱傳統(tǒng)形式邏輯，他結(jié)合自然語(yǔ)言研究思維形式。
現(xiàn)代歸納邏輯是以數(shù)理邏輯和概率統(tǒng)計(jì)理論等為工具，對(duì)歸納理論進(jìn)行形式化、數(shù)量化的研究。數(shù)理邏輯也稱現(xiàn)代形式邏輯，他憑借人工符號(hào)語(yǔ)言，用數(shù)學(xué)方法來(lái)研究思維形式。
邏輯學(xué)分支眾多，內(nèi)容是極為豐富的。這個(gè)以后再敘。
【邏輯學(xué)的歷史和現(xiàn)狀】相關(guān)文章：
談電視戲曲的歷史和現(xiàn)狀01-20
邏輯學(xué)研究的現(xiàn)狀及趨勢(shì)07-10
河南方言研究的歷史和現(xiàn)狀08-27
關(guān)于姓氏的歷史和現(xiàn)狀的研究報(bào)告01-15
慢滑移及相關(guān)脈動(dòng)和慢地震研究的歷史和現(xiàn)狀10-02