邏輯學(xué)范文精選

【內(nèi)容提要】邏輯學(xué)的發(fā)展是多層面的，邏輯的涵義也是分層次的，邏輯可以有廣義與狹義之分。對現(xiàn)代邏輯背景下出現(xiàn)的關(guān)于邏輯的一元論、多元論與工具主義要作具體分析。事實(shí)上，每種觀點(diǎn)都有一定的道理，但總體上來說，多元論更符合現(xiàn)代邏輯科學(xué)發(fā)展的實(shí)際。

【關(guān)鍵詞】邏輯/廣義與狹義/一元論/多元論/工具主義

【正文】

一、廣義的邏輯與狹義的邏輯

什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學(xué)科都統(tǒng)一在一個(gè)明確清晰的“邏輯”的定義之下，這是很困難的，甚至是不可能的。

不妨先對邏輯發(fā)展史作一簡單考察。

一、廣義的邏輯與狹義的邏輯

什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學(xué)科都統(tǒng)一在一個(gè)明確清晰的“邏輯”的定義之下，這是很困難的，甚至是不可能的。

不妨先對邏輯發(fā)展史作一簡單考察。

在西方，公元前4世紀(jì)，古希臘哲學(xué)家亞里士多德集其前人研究之大成，寫成了邏輯巨著《工具論》（由亞氏的六部著作編排而成：《范疇篇》、《解釋篇》、《前分析篇》、《后分析篇》、《論辯篇》、《辨謬篇》）。雖然在亞氏的著作中他并沒有明確地使用“邏輯”這一名稱，也沒有明確地以“邏輯”這一術(shù)語命名其學(xué)說，但是，歷史事實(shí)是，亞氏使形式邏輯從哲學(xué)、認(rèn)識論中分化出來，形成了一門以推理為中心，特別是以三段論為中心的獨(dú)立的科學(xué)。因此，可以說，亞里士多德是形式邏輯的創(chuàng)始人。

亞氏之后，亞里士多德學(xué)派即逍遙學(xué)派和斯多葛學(xué)派都以不同形式發(fā)展了亞氏的形式邏輯理論——逍遙學(xué)派的德奧弗拉斯特和歐德慕給亞里士多德邏輯的推理形式增補(bǔ)了一些新的形式與內(nèi)容，提出了命題邏輯問題，斯多葛學(xué)派克里西普斯等人則構(gòu)造了一個(gè)與亞里士多德詞項(xiàng)邏輯不同的命題邏輯理論。

弗蘭西斯·培根是英國近代唯物主義哲學(xué)家，也是近代歸納邏輯的創(chuàng)始人，他在總結(jié)前人歸納法的基礎(chǔ)上，在批判了經(jīng)院邏輯和亞里士多德邏輯之后，以其古典歸納邏輯名著《新工具》為標(biāo)志，奠定了歸納邏輯的基礎(chǔ)。

［摘要］本文認(rèn)為，計(jì)算機(jī)科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈⑶以诤艽蟪潭壬蠈Q定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯學(xué)將重點(diǎn)關(guān)注下列論題：（1）如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素？（2）如何使機(jī)器人具有人的創(chuàng)造性智能，如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動(dòng)的可錯(cuò)的歸納判斷？（3）如何進(jìn)行知識表示和知識推理，特別是基于已有的知識庫以及各認(rèn)知主體相互之間的知識而進(jìn)行的推理？（4）如何結(jié)合各種語境因素進(jìn)行自然語言理解和推理，使智能機(jī)器人能夠用人的自然語言與人進(jìn)行成功的交際？等等。

［關(guān)鍵詞］人工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯，認(rèn)知邏輯，自然語言邏輯

現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期，其發(fā)展動(dòng)力主要來自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿ΑＳ纱嗽斐傻暮蠊褪?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強(qiáng)了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之后進(jìn)入第三個(gè)高峰期，并且對整個(gè)現(xiàn)代科學(xué)特別是數(shù)學(xué)、哲學(xué)、語言學(xué)和計(jì)算機(jī)科學(xué)產(chǎn)生了非常重要的影響。

本文所要探討的問題是：21世紀(jì)邏輯發(fā)展的主要?jiǎng)恿碜院翁帲看笾抡f來將如何發(fā)展？我個(gè)人的看法是：計(jì)算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈⒂纱藳Q定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能，它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理（這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了，如用計(jì)算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明，“深藍(lán)”通過高速、大量的計(jì)算去與世界冠軍下棋），而是最能體現(xiàn)人的智能特征的能動(dòng)性、創(chuàng)造性思維，這種思維活動(dòng)中包括學(xué)習(xí)、抉擇、嘗試、修正、推理諸因素，例如選擇性地搜集相關(guān)的經(jīng)驗(yàn)證據(jù)，在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為，……由此達(dá)到實(shí)踐的成功。于是，邏輯學(xué)將不得不比較全面地研究人的思維活動(dòng)，并著重研究人的思維中最能體現(xiàn)其能動(dòng)性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強(qiáng)的可應(yīng)用性。

實(shí)際上，在20世紀(jì)中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能（記為AI）之間的相互融合和滲透。例如，哲學(xué)邏輯所研究的許多課題在理論計(jì)算機(jī)和人工智能中具有重要的應(yīng)用價(jià)值。AI從認(rèn)知心理學(xué)、社會科學(xué)以及決策科學(xué)中獲得了許多資源，但邏輯（包括哲學(xué)邏輯）在AI中發(fā)揮了特別突出的作用。某些原因促使哲學(xué)邏輯家去發(fā)展關(guān)于非數(shù)學(xué)推理

的理論；基于幾乎同樣的理由，AI研究者也在進(jìn)行類似的探索，這兩方面的研究正在相互接近、相互借鑒，甚至在逐漸融合在一起。例如，AI特別關(guān)心下述課題：

【內(nèi)容提要】邏輯學(xué)的發(fā)展是多層面的，邏輯的涵義也是分層次的，邏輯可以有廣義與狹義之分。對現(xiàn)代邏輯背景下出現(xiàn)的關(guān)于邏輯的一元論、多元論與工具主義要作具體分析。事實(shí)上，每種觀點(diǎn)都有一定的道理，但總體上來說，多元論更符合現(xiàn)代邏輯科學(xué)發(fā)展的實(shí)際。

【關(guān)鍵詞】邏輯/范圍與性質(zhì)/廣義與狹義/一元論/多元論/工具主義

【正文】

一、廣義的邏輯與狹義的邏輯

什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學(xué)科都統(tǒng)一在一個(gè)明確清晰的“邏輯”的定義之下，這是很困難的，甚至是不可能的。

不妨先對邏輯發(fā)展史作一簡單考察。

［摘要］本文認(rèn)為，計(jì)算機(jī)科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈⑶以诤艽蟪潭壬蠈Q定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯學(xué)將重點(diǎn)關(guān)注下列論題：（1）如何在邏輯中處理常識推理的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素？（2）如何使機(jī)器人具有人的創(chuàng)造性智能，如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動(dòng)的可錯(cuò)的歸納判斷？（3）如何進(jìn)行知識表示和知識推理，特別是基于已有的知識庫以及各認(rèn)知主體相互之間的知識而進(jìn)行的推理？（4）如何結(jié)合各種語境因素進(jìn)行自然語言理解和推理，使智能機(jī)器人能夠用人的自然語言與人進(jìn)行成功的交際？等等。

［關(guān)鍵詞］人工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯，認(rèn)知邏輯，自然語言邏輯

現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期，其發(fā)展動(dòng)力主要來自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿ΑＳ纱嗽斐傻暮蠊褪?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強(qiáng)了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之后進(jìn)入第三個(gè)高峰期，并且對整個(gè)現(xiàn)代科學(xué)特別是數(shù)學(xué)、哲學(xué)、語言學(xué)和計(jì)算機(jī)科學(xué)產(chǎn)生了非常重要的影響。

本文所要探討的問題是：21世紀(jì)邏輯發(fā)展的主要?jiǎng)恿碜院翁帲看笾抡f來將如何發(fā)展？我個(gè)人的看法是：計(jì)算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈⒂纱藳Q定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能，它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理（這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了，如用計(jì)算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明，“深藍(lán)”通過高速、大量的計(jì)算去與世界冠軍下棋），而是最能體現(xiàn)人的智能特征的能動(dòng)性、創(chuàng)造性思維，這種思維活動(dòng)中包括學(xué)習(xí)、抉擇、嘗試、修正、推理諸因素，例如選擇性地搜集相關(guān)的經(jīng)驗(yàn)證據(jù)，在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為，……由此達(dá)到實(shí)踐的成功。于是，邏輯學(xué)將不得不比較全面地研究人的思維活動(dòng)，并著重研究人的思維中最能體現(xiàn)其能動(dòng)性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強(qiáng)的可應(yīng)用性。

實(shí)際上，在20世紀(jì)中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能（記為AI）之間的相互融合和滲透。例如，哲學(xué)邏輯所研究的許多課題在理論計(jì)算機(jī)和人工智能中具有重要的應(yīng)用價(jià)值。AI從認(rèn)知心理學(xué)、社會科學(xué)以及決策科學(xué)中獲得了許多資源，但邏輯（包括哲學(xué)邏輯）在AI中發(fā)揮了特別突出的作用。某些原因促使哲學(xué)邏輯家去發(fā)展關(guān)于非數(shù)學(xué)推理

的理論；基于幾乎同樣的理由，AI研究者也在進(jìn)行類似的探索，這兩方面的研究正在相互接近、相互借鑒，甚至在逐漸融合在一起。例如，AI特別關(guān)心下述課題：