邏輯學(xué)是一門古老而又年輕的科學(xué)。
說它古老，是因為形式邏輯已有兩千多年的悠久歷史。早在公元前5世紀前后，古代中國、古印度和古希臘就產(chǎn)生了各具特色的邏輯學(xué)說e5a48de588b6e799bee5baa6e79fa5e9819331333264646461。中國的名辯、印度的因明和西方的邏輯，三大邏輯流派各自獨樹一幟，自成體系，在世界邏輯史上鼎足而立，交相輝映。說它年輕，是指邏輯學(xué)的發(fā)展仍充滿著活力。伴隨著時代進步和人類社會實踐的發(fā)展，邏輯學(xué)不再只是哲學(xué)的一個部分，它正廣泛地滲透到其他科學(xué)技術(shù)領(lǐng)域，在自然科學(xué)技術(shù)、人文社會科學(xué)和思維科學(xué)發(fā)展的進程中不斷革新其內(nèi)容，開拓新的研究領(lǐng)域，日益顯示出重要的理論意義和應(yīng)用價值?，F(xiàn)代邏輯學(xué)的形成與發(fā)展康德曾斷言：邏輯學(xué)在亞里士多德之后“一步也不能前進了”。但不到一百年，邏輯學(xué)的“數(shù)學(xué)”轉(zhuǎn)向所引發(fā)的邏輯革命，表明康德的斷言失敗了。20世紀30年代，邏輯學(xué)相繼取得了三個劃時代的成果（哥德爾不完全性定理、塔斯基形式語言真理論、圖靈機及其應(yīng)用理論），為現(xiàn)代邏輯學(xué)的蓬勃發(fā)展奠定了理論基礎(chǔ)?？梢哉f，這個時期是邏輯學(xué)發(fā)展史上的重大轉(zhuǎn)折點。隨著現(xiàn)代邏輯學(xué)突飛猛進的發(fā)展和日益廣泛的應(yīng)用，邏輯學(xué)越來越受到人們的關(guān)注和重視。大英百科全書將邏輯學(xué)列于眾學(xué)科之首，聯(lián)合國教科文組織把邏輯學(xué)與數(shù)學(xué)、天文學(xué)和天體物理學(xué)、地球科學(xué)和空間科學(xué)、物理學(xué)、化學(xué)、生命科學(xué)并列為七大基礎(chǔ)學(xué)科?，F(xiàn)代邏輯學(xué)是相對于由亞里士多德建立，經(jīng)過中世紀予以完善，包括近代歸納邏輯在內(nèi)的傳統(tǒng)邏輯學(xué)而言的?，F(xiàn)代邏輯學(xué)廣泛采用數(shù)學(xué)方法，其研究的廣度和深度都大大超過了傳統(tǒng)邏輯學(xué)?，F(xiàn)代邏輯學(xué)的產(chǎn)生和發(fā)展標志著邏輯學(xué)進入了新的發(fā)展階段。一切在現(xiàn)代產(chǎn)生、發(fā)展起來的邏輯都可以稱為現(xiàn)代邏輯。但就其內(nèi)容來說，現(xiàn)代邏輯主要指數(shù)理邏輯和在數(shù)理邏輯基礎(chǔ)上發(fā)展起來的邏輯。數(shù)理邏輯是研究數(shù)學(xué)推理的邏輯，屬于數(shù)學(xué)基礎(chǔ)的范疇。目前，現(xiàn)代邏輯學(xué)已從單一學(xué)科逐步發(fā)展成為理論嚴密、分支眾多、應(yīng)用廣泛的學(xué)科群。現(xiàn)代邏輯學(xué)的基本理論是多方面的，大致包括數(shù)理邏輯、哲學(xué)邏輯、自然語言邏輯、邏輯與計算機科學(xué)的交叉研究、現(xiàn)代歸納邏輯、邏輯哲學(xué)等方面的內(nèi)容?，F(xiàn)代邏輯學(xué)研究的范圍還在不斷擴大，許多新的邏輯分支大量涌現(xiàn)，邏輯研究在觀念、對象、范圍、方法等方面都發(fā)生了深刻的變革?，F(xiàn)代邏輯學(xué)不是從天而降的，它是適應(yīng)人類社會實踐和科學(xué)技術(shù)發(fā)展的需要而產(chǎn)生的，是遵循人類認識的發(fā)展規(guī)律而發(fā)展起來的。就現(xiàn)代邏輯理論自身而言，其發(fā)展動力主要有兩個：一是來源于數(shù)學(xué)中的公理化運動，以及對日常思維的命題形式和推理規(guī)則進行精確化、嚴格化研究的推動?？朔鹘y(tǒng)形式邏輯的缺陷是現(xiàn)代數(shù)理邏輯興起的決定性因素。二是來源于對數(shù)學(xué)基礎(chǔ)與邏輯悖論的研究。這是現(xiàn)代邏輯學(xué)發(fā)展的巨大動力。數(shù)理邏輯的創(chuàng)立，奠定了現(xiàn)代邏輯學(xué)的基礎(chǔ)，為新的邏輯分支學(xué)科的產(chǎn)生、發(fā)展奠定了理論基礎(chǔ)。分析哲學(xué)、人工智能、計算機科學(xué)和認知科學(xué)以及現(xiàn)代語言學(xué)等學(xué)科的發(fā)展，也為現(xiàn)代邏輯學(xué)的許多分支學(xué)科的發(fā)展提供了重要條件?，F(xiàn)代邏輯學(xué)的發(fā)展趨勢如果說20世紀是邏輯學(xué)發(fā)展史上的黃金時代，那么，21世紀邏輯學(xué)將朝什么方向發(fā)展呢？有邏輯學(xué)家預(yù)測，在新世紀，邏輯學(xué)將不再是哲學(xué)的主導(dǎo)方向之一。然而，這并不意味著邏輯學(xué)的發(fā)展終結(jié)了。在21世紀，邏輯學(xué)在科學(xué)技術(shù)發(fā)展中將占有十分重要的地位。邏輯學(xué)與其他學(xué)科的交叉和融合，預(yù)示著邏輯學(xué)將進入一個新的發(fā)展時期。從已有的成果來看，現(xiàn)代邏輯學(xué)將呈現(xiàn)以下發(fā)展趨勢：多元化。邏輯學(xué)是一門多類型、多分支的學(xué)科。在現(xiàn)代邏輯學(xué)發(fā)展過程中，多元化是其發(fā)展的一個重要標志。20世紀80年代，邏輯學(xué)在計算機科學(xué)和人工智能領(lǐng)域獲得了基礎(chǔ)性地位。從此以后，現(xiàn)代邏輯學(xué)與哲學(xué)、語言學(xué)、計算機科學(xué)與技術(shù)、人工智能等學(xué)科不斷交叉與融合，進一步推動了經(jīng)典邏輯理論的應(yīng)用和發(fā)展，促進了哲學(xué)邏輯、自然語言邏輯、人工智能邏輯、現(xiàn)代歸納邏輯等新興邏輯分支學(xué)科的發(fā)展。特別是在計算機科學(xué)、人工智能和認知科學(xué)等現(xiàn)代科學(xué)技術(shù)研究中，邏輯學(xué)與其他學(xué)科互相融合，出現(xiàn)了多學(xué)科交叉研究的趨向，產(chǎn)生了許多新的研究領(lǐng)域。數(shù)學(xué)化。20世紀初以來，現(xiàn)代邏輯學(xué)的主流是沿著數(shù)學(xué)化方向發(fā)展的。用形式化、公理化的數(shù)學(xué)方法研究邏輯問題，構(gòu)成了現(xiàn)代邏輯學(xué)的重要特征。所以，人們常常把現(xiàn)代邏輯等同于數(shù)理邏輯。用數(shù)學(xué)方法研究邏輯問題，或者用邏輯方法研究數(shù)學(xué)問題，促進了數(shù)理邏輯的發(fā)展。邏輯的數(shù)學(xué)化，極大地推動了現(xiàn)代邏輯學(xué)的發(fā)展，促進了邏輯更廣泛地應(yīng)用到自然科學(xué)、工程技術(shù)、人文社會科學(xué)等領(lǐng)域。邏輯學(xué)是一門基礎(chǔ)性、工具性科學(xué)，也是一門人文性質(zhì)的科學(xué)。隨著現(xiàn)代邏輯形式化的深入發(fā)展，邏輯學(xué)的人文性質(zhì)也日益突出。近十幾年來，邏輯悖論、謬誤理論、非形式邏輯和批判性思維等已經(jīng)成為國際邏輯學(xué)界研究的熱點問題。實際上，現(xiàn)代邏輯學(xué)的發(fā)展，就是在形式化的技術(shù)性研究與非形式化的邏輯哲學(xué)研究這一辯證矛盾運動中實現(xiàn)的。應(yīng)用化。邏輯是科學(xué)技術(shù)的基礎(chǔ)，一切科學(xué)技術(shù)的發(fā)展都離不開邏輯。現(xiàn)代邏輯學(xué)與其他學(xué)科的相互滲透，既為邏輯學(xué)的發(fā)展注入了活力，也為現(xiàn)代邏輯開辟了廣闊的應(yīng)用途徑。例如，現(xiàn)代邏輯應(yīng)用于哲學(xué)而產(chǎn)生的哲學(xué)邏輯、應(yīng)用于自然語言而產(chǎn)生的自然語言邏輯、應(yīng)用于計算機科學(xué)和人工智能而產(chǎn)生的人工智能邏輯等。在邏輯理論應(yīng)用的過程中，逐步形成了既相對獨立又有內(nèi)在聯(lián)系的眾多學(xué)科組成的邏輯學(xué)科群。邏輯的應(yīng)用研究還延伸到其他學(xué)科領(lǐng)域，出現(xiàn)了量子邏輯、控制論邏輯、概率邏輯、價值邏輯、法律邏輯、科學(xué)邏輯等。這說明，在當前科學(xué)技術(shù)迅速發(fā)展的條件下，現(xiàn)代邏輯已經(jīng)從哲學(xué)研究的范圍中走了出來，也不再局限于數(shù)學(xué)領(lǐng)域，而是更廣泛地應(yīng)用到其他許多學(xué)科領(lǐng)域之中。邏輯理論在現(xiàn)代科學(xué)技術(shù)各領(lǐng)域的應(yīng)用，促進了邏輯理論自身的發(fā)展，也促進了其他學(xué)科的發(fā)展。參考資料：現(xiàn)代邏輯學(xué)及其發(fā)展趨勢（研究綜述）
