邏輯學的歷史和現狀

時間：2021-11-09 17:00:51 資料我要投稿

失獨家庭的現狀和幫扶調研報告推薦度：
市場現狀分析推薦度：
雙減下語文教學現狀推薦度：
我國早期教育的現狀及其思考推薦度：
空巢老人現狀調查報告推薦度：
相關推薦

邏輯學的歷史和現狀

[轉載]辯證法就是反邏輯的詭辯法邏輯悖論Dec 01邏輯學的歷史和現狀

邏輯學的歷史和現狀

邏輯 Add comments邏輯學的歷史和現狀

大約在公元前6世紀左右，古代中國、古代印度和古希臘的學者，就各自獨立地建立了自己的邏輯學說。他們分別是“名辨之學”、因明和古希臘的邏輯學。其中，古希臘的邏輯學最為系統，因而在世界邏輯學發展史上影響也最大、最深。

古希臘學者亞里士多德被認為是古希臘邏輯學的創始人，他在其由后人整理并取名為《工具論》的著作中，第一次全面、系統地論述了傳統形式邏輯，提出了有關范疇、命題、三段證明和謬誤等一系列重要論述和思想。他所創立的邏輯學，邏輯史上稱之為古典的或傳統的形式邏輯（“形式邏輯”這一稱呼是17世紀康德提出的）或古典的演繹邏輯。這一邏輯的主要特點在于：它是建立的對范疇的研究基礎之上，即它主要涉及范疇、又范疇組成的命題、由命題組成的三段論和論證等。這是古代邏輯中較為完整地建立起來的一個三段論系統，它構成了邏輯的一個初等的、但是重要的部分。

亞里士多德以后，麥加拉-斯多葛學派研究了亞里士多德邏輯中欠缺的有關假言命題、選言命題、連言命題等屬于復合命題的問題，研究了由這些命題所組成的各種推理形式及其規則，奠定了命題邏輯的基礎。這是傳統形式邏輯的一個重大發展，極大地豐富了傳統形式邏輯、主要是演繹邏輯的內容。

歐洲中世紀時期，形式邏輯作為一門獨立的科學也得到了發展。這時期的邏輯學家進一步研究了詞項理論(包括對范疇詞與非范疇詞的研究、指代理論的研究等)，創立了推論的學說，并對麥加拉-斯多葛派的命題邏輯作了更深入的研究。

在近代，法國的阿爾諾與尼科爾根據笛卡爾的哲學、邏輯和方法論觀點，于166

大學網 2年發表了《邏輯或思維的藝術》一書。該書分別討論了概念、判斷、推理與方法等內容，曾多次重版，成為歐洲近代邏輯的范本，對以后各種邏輯教材的編寫產生了深遠的影響。可以認為，這是傳統形式邏輯，主要是傳統演繹邏輯的主要代表作之一。

17世紀開始，由于實驗自然科學的'興起，歸納方法的研究被提到重要議事日程。英國哲學家弗蘭西斯培根著《新工具》一書，系統論述了以“三表法”和“排斥法”為核心的歸納方法，奠定了古典歸納邏輯的基礎。此后，赫舍爾、惠威爾等人，繼續發展了培根的歸納邏輯思想。穆勒著《邏輯體系》一書，全面、系統地提出了歸納五法，成為古典的或傳統的歸納邏輯的集大成者。

17世紀末，法國哲學家萊布尼茨提出了邏輯數學化的思想，他在其166

6年發表的《論組合術》一書中，提出了建立一種表意的普遍語言及思維演算，并成功地把命題表達為符號式，被公認為數理邏輯的先驅者。隨后不到100年，英國數學家布爾用數學方法首倡了第一個邏輯演算系統-布爾代數，并把其中的符號解釋為類時，布爾代數即為類代數，以及類邏輯的代表化，從而，把萊布尼茨的設想變成了現實，成為數理邏輯的早期形式。其后，再經德摩根、弗雷格等人的努力到 20世紀初，羅素和懷德合著《數學原理》，總結了前人的研究成果，建立了一個完全的命題演算與謂詞演算系統，標志著數理邏輯作為一門獨立的科學達到了成熟階段。樹立邏輯是再傳統邏輯基礎上發展起來的，因而被是為形式邏輯的現代類型，一般也稱之為現代形式邏輯或簡稱現代邏輯。近幾十年來，現代邏輯得到迅速發展，至今已成為擁有眾多分支的學科。

在形式邏輯由古典類型向現代類型發展的同時，另一種類型的邏輯即辨證邏輯也誕生了他的生態系統，這就是19世紀德國哲學家黑格爾提出的思辨邏輯。黑格爾在批判以往邏輯學中形式與內容相割裂之類的形而上學的觀點，并批判地吸取從亞里士多德到康德等人邏輯學說中所包含的有關辨證邏輯的合理思想的基礎上，建立了邏輯史上第一個全面而系統的辨證邏輯體系。雖然這個體系是建筑在唯心主義基礎之上，因而從根本上說是不科學的，但是，他畢竟是提出了一個與傳統形式邏輯不同的邏輯類型和邏輯形態。黑格爾的思辨邏輯即辨證邏輯可以說是辨證邏輯發展史上的古典形態。

古代中國的邏輯學說形成于春秋戰國時期，稱為“名辨之學”。名家的鄧析以及稍后的惠施和公孫龍，儒家的孔子，墨家的墨子，都對名辯邏輯的產生做出了重要貢獻。后期墨家則在《墨經》中建立起一個邏輯體系，達到了中國古代邏輯發展的高峰。此后，荀子、韓非等也對名辯邏輯的發展起到了重要作用。可惜的是，秦漢以后，由于種種原因，我國古代曾經興起一時的邏輯學說卻走向了衰落，沒有獲得進一步發展。直到近代，隨著西方邏輯的傳入，我國的邏輯研究才重又復興，先秦時期的寶貴遺產也得到了重視。

古代印度的邏輯學說起源于印度公元1世紀左右盛行的辯論術，以婆羅門較的正理論和佛教的因明為代表。因明最初在正理論的基礎上產生，后經著名學者陳那和他的弟子改造，發展到一個嶄新的階段。由陳那改造的因明被成為新因明，陳那之前的因明則稱為古因明，后來，正理論又吸收了新因明的成果，也獲得了發展。

邏輯學發展到今天，已經稱為一個龐大的科學領

域。它主要包括傳統邏輯、數理邏輯、現代歸納邏輯、辨證邏輯、自然語言邏輯、科學邏輯、非形式邏輯等。

傳統邏輯也稱傳統形式邏輯，他結合自然語言研究思維形式。

現代歸納邏輯是以數理邏輯和概率統計理論等為工具，對歸納理論進行形式化、數量化的研究。數理邏輯也稱現代形式邏輯，他憑借人工符號語言，用數學方法來研究思維形式。

邏輯學分支眾多，內容是極為豐富的。這個以后再敘。

【邏輯學的歷史和現狀】相關文章：

專名的涵義和指稱:歷史、現狀與反思07-22