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