現(xiàn)代歸納邏輯理論及其應(yīng)用研究
定 價(jià):148 元
- 作者:何向東 劉邦凡 任曉明等
- 出版時(shí)間:2019/12/11
- ISBN:9787521803334
- 出 版 社:經(jīng)濟(jì)科學(xué)
- 中圖法分類:B812.3
- 頁碼:
- 紙張:膠版紙
- 版次:1
- 開本:16K
《現(xiàn)代歸納邏輯理論及其應(yīng)用研究》主要包括以下三個(gè)部分: 一是現(xiàn)代歸納邏輯與知識(shí)創(chuàng)新。 當(dāng)代邏輯的新發(fā)展表明,邏輯學(xué)與知識(shí)創(chuàng)新直接緊密地聯(lián)系起來,出現(xiàn)了鞠實(shí)兒所提示的“邏輯學(xué)的認(rèn)知轉(zhuǎn)向”態(tài)勢(shì)。這可以從兩個(gè)方面加以說明。一方面,邏輯學(xué)多元化發(fā)展已經(jīng)表明,邏輯學(xué)不存在,亞里士多德邏輯不是只此一個(gè)邏輯,數(shù)理邏輯也不是只此一個(gè)邏輯。眾所周知,當(dāng)今是一個(gè)信息爆炸的時(shí)代、一個(gè)知識(shí)創(chuàng)新的時(shí)代,人們?cè)谛畔⒊d的前提下要實(shí)現(xiàn)知識(shí)創(chuàng)新,工具與方法的選擇就顯得更為重要。在這樣的情況下,從一個(gè)角度看歸納是人類必須采取也只能采取的認(rèn)知策略,人類有理由從經(jīng)驗(yàn)的重復(fù)中建立某種確實(shí)性和規(guī)律性,其思維工具就只能是歸納,目的就只能是建立事實(shí)的局部合理,實(shí)現(xiàn)知識(shí)的階段創(chuàng)新。如此,歸納邏輯重新為人們所矚目,它大有用武之地,將成為引導(dǎo)知識(shí)創(chuàng)新的重要研究范式與工具。另一方面,從當(dāng)今一些重要科學(xué)——信息科學(xué)、人工智能、知識(shí)管理、心理科學(xué)對(duì)于歸納邏輯的運(yùn)用來看,人類在獲取知識(shí)、修正知識(shí)、規(guī)范知識(shí)、表達(dá)知識(shí)的認(rèn)知過程中,面對(duì)的不再僅僅是線性的模型環(huán)境,而更多的時(shí)候是非線性的模糊環(huán)境和復(fù)雜性,由此,對(duì)于工具與范式的選擇也就不再是單一化的和僅僅是演繹化的,只要是能夠?qū)崿F(xiàn)知識(shí)創(chuàng)新的工具與范式,都在備選之列。一句話,只要是能實(shí)現(xiàn)知識(shí)創(chuàng)新的邏輯學(xué),而不管它是否演繹,都有可能成為邏輯學(xué)的發(fā)展主流。因此,從科學(xué)認(rèn)知和當(dāng)代邏輯發(fā)展的態(tài)勢(shì)看,廣泛深入地進(jìn)行歸納邏輯(尤其是現(xiàn)代歸納邏輯)與知識(shí)創(chuàng)新研究,不僅具有理論意義,而且具有實(shí)踐意義,是推動(dòng)知識(shí)創(chuàng)新、科學(xué)認(rèn)知的現(xiàn)實(shí)需要。 二是現(xiàn)代歸納邏輯在人工智能及認(rèn)知科學(xué)中的應(yīng)用。 20世紀(jì)是科學(xué)和技術(shù)的世紀(jì),科學(xué)和技術(shù)的飛速發(fā)展是這個(gè)世紀(jì)的非常顯著的特征。當(dāng)今,人類已經(jīng)可以抵達(dá)遙遠(yuǎn)的太空,潛入深邃的海洋、窺探微細(xì)的粒子。這種上天入地、攬宏握微的本領(lǐng)大大地拓寬了人類的視野,加深了人類對(duì)各種現(xiàn)象和奧秘的了解。然而,從古至今,有一個(gè)問題一直在深深困擾著我們,那就是創(chuàng)造出如此高級(jí)的科技文明的人類是如何進(jìn)行思維的,思維和智能活動(dòng)的機(jī)制是什么?科學(xué)試圖解釋一切現(xiàn)象,但是,怎樣解釋人類自己身上的智能現(xiàn)象?直到21世紀(jì)中葉,人類對(duì)智能的奧秘的探索,與兩千年前的認(rèn)識(shí)相比較,并無突破性的進(jìn)展。原因是多方面的。非常重要的一點(diǎn)可能是,對(duì)智能活動(dòng)的機(jī)制,我們?nèi)狈χ苯拥挠^察。我們一直認(rèn)為,智能活動(dòng)是人腦的功能,但是,我們不能用打開大腦的方法來觀察這些活動(dòng)。即使可以用手術(shù)打開大腦,我們能看到的也只是一堆復(fù)雜的物質(zhì),而觀察這些物質(zhì)不足以將智能機(jī)制呈現(xiàn)在我們眼前。從這個(gè)角度看,智能現(xiàn)象與科學(xué)研究的其他自然現(xiàn)象之間有著深刻的差別。 這種觀察上的限制是否意味著智能的奧秘之門對(duì)人類會(huì)永遠(yuǎn)緊鎖呢?當(dāng)然不是。隨著20世紀(jì)40年代世界首臺(tái)電子計(jì)算機(jī)出現(xiàn),人們逐漸發(fā)現(xiàn),計(jì)算機(jī)可以在許多場(chǎng)合完成通常只有人腦才能完成的任務(wù)。這使得人們猜想,人腦可能就是一臺(tái)非常復(fù)雜的計(jì)算機(jī),人類的所謂智能活動(dòng)只不過是類似于在計(jì)算機(jī)中發(fā)生的計(jì)算過程。而能夠從事非常復(fù)雜的工作的計(jì)算機(jī)系統(tǒng)也因此被認(rèn)為具有智能,這種智能被稱為人工智能,以區(qū)別于人類具有的自然智能。
西南大學(xué)教授、博士生導(dǎo)師、重慶人文科技學(xué)院院長。1982年于河南大學(xué)邏輯學(xué)專業(yè)研究生畢業(yè)并獲哲學(xué)碩士學(xué)位,同年分配到西南師范大學(xué)政治系任教。歷任政治系副主任、教務(wù)處副處長、教務(wù)處長。1987年破格晉升副教授,1992年晉升教授。1995年4—6月在國家高級(jí)教育行政學(xué)院參加中青年干部培訓(xùn),1998年元月任校長助理,1998年9月任副校長。1992年以來,已招收研究生16名、國內(nèi)高級(jí)訪問學(xué)者2名。
緒論
第一章 概率命題邏輯
第一節(jié) 概率演算的常用規(guī)則
第二節(jié) 概率命題邏輯系統(tǒng)Pr
第三節(jié) Pr的一個(gè)子系統(tǒng)系列
第四節(jié) 貝葉斯定理及其應(yīng)用
第二章 概率解釋及其發(fā)展
第一節(jié) 頻率解釋
第二節(jié) 邏輯解釋
第三節(jié) 主觀解釋
第四節(jié) 主觀解釋的新發(fā)展:主體交互解釋
第三章 認(rèn)證邏輯與認(rèn)證悖論
第一節(jié) 古典認(rèn)證邏輯
第二節(jié) 貝葉斯認(rèn)證邏輯
第三節(jié) 認(rèn)證悖論
第四章 概率動(dòng)態(tài)認(rèn)知邏輯
第一節(jié) 概率認(rèn)知邏輯(PEL)
第二節(jié) 概率動(dòng)態(tài)認(rèn)知邏輯(PDEL)
第五章 概率認(rèn)知博弈邏輯
第一節(jié) 引論
第二節(jié) 概率認(rèn)知博弈邏輯
第三節(jié) 基于PAL求解均衡
第四節(jié) 剔除算法邏輯刻畫的比較與分析
第六章 對(duì)合作博弈的邏輯分析
第一節(jié) 引論
第二節(jié) 穩(wěn)定性和博弈解
第三節(jié) 特征函數(shù)聯(lián)盟博弈的邏輯刻畫
第四節(jié) 基于邏輯規(guī)則的夏普里值計(jì)算
第七章 支持邏輯及其發(fā)展
第一節(jié) 邏輯的視角:非帕斯卡概率邏輯的支持理論
第二節(jié) 認(rèn)知的視角:主觀概率判斷的支持理論
第三節(jié) 支持理論的形式闡述
第四節(jié) 小結(jié)與展望
第八章 歸納邏輯的認(rèn)知基礎(chǔ)問題
第一節(jié) 三門問題的認(rèn)知分析
第二節(jié) “睡美人”問題的認(rèn)知分析
第三節(jié) 貝葉斯推理的認(rèn)知分析
第九章 因果化的歸納邏輯
第一節(jié) 穆勒五法的現(xiàn)代解讀
第二節(jié) 因果陳述句邏輯系統(tǒng)
第三節(jié) 因果陳述邏輯推進(jìn)了歸納邏輯的發(fā)展
第四節(jié) 因果陳述句邏輯與機(jī)器語言
第十章 歸納邏輯在人工智能中的應(yīng)用
第一節(jié) 歸納邏輯與人工智能概述
第二節(jié) 歸納邏輯程序設(shè)計(jì)概述
第三節(jié) 歸納推理與機(jī)器學(xué)習(xí)
……
第十一章 人工智能中的不確定推理
第十二章 基于認(rèn)知的神經(jīng)網(wǎng)絡(luò)及其應(yīng)用
第十三章 現(xiàn)代歸納邏輯與信息檢索技術(shù)
第十四章 模糊邏輯、數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn)
第十五章 決策邏輯及其應(yīng)用
第十六章 認(rèn)證邏輯及其應(yīng)用
第十七章 進(jìn)化邏輯及其應(yīng)用
附錄
參考文獻(xiàn)
西方傳統(tǒng)邏輯學(xué)誕生之初就一直沿著多元化道路在發(fā)展,其中最重要的兩條道路就是演繹邏輯和歸納邏輯。數(shù)理邏輯誕生以后,逐漸成為邏輯學(xué)的主體,而歸納邏輯盡管從培根開始,經(jīng)過赫舍爾(J.F.Herschel)和惠威爾(W.Whewell)等的工作,在英國著名邏輯學(xué)家約翰·穆勒那里達(dá)到了古典歸納邏輯的高峰,遺憾的是從19世紀(jì)末開始沉寂不語近1個(gè)世紀(jì),沒有較大的發(fā)展,直到20世紀(jì)50年代才開始引起人們的足夠重視,出現(xiàn)了許多貫徹現(xiàn)代科學(xué)思想的新興歸納邏輯分支,形成了與現(xiàn)代數(shù)理邏輯(以亞里士多德邏輯演繹性為標(biāo)識(shí)的數(shù)理邏輯、哲學(xué)邏輯等)、非形式邏輯等并駕齊驅(qū)的歸納邏輯。這些分支主要集中在三個(gè)方面:一是概率歸納邏輯。20世紀(jì)二三十年代以后,隨著數(shù)學(xué)概率論趨于成熟,概率歸納邏輯得以產(chǎn)生和發(fā)展。概率歸納邏輯是應(yīng)用概率論來系統(tǒng)地研究和表述或然性推理的。20世紀(jì)70年代前后,出現(xiàn)了一種非數(shù)學(xué)概率論的歸納邏輯理論,這種理論也被稱為“非帕斯卡概率歸納邏輯”。出于對(duì)“概率”的不同解讀與回歸,概率歸納邏輯自20世紀(jì)50年代以后逐漸形成三大流派——經(jīng)驗(yàn)主義概率歸納邏輯、邏輯主義概率歸納邏輯和主觀主義概率歸納邏輯。二是因果陳述邏輯。因果陳述邏輯的創(chuàng)始人是當(dāng)代哲學(xué)家、計(jì)算機(jī)理論家勃克斯(A.W.Burks),1951年他在Mind雜志上發(fā)表論文《因果命題邏輯》。三是局部歸納邏輯。局部(local)歸納邏輯是20世紀(jì)六七十年代新興的歸納邏輯主流范式之一,其代表人物是科恩、萊維(I.Levi)等。局部歸納邏輯是相對(duì)于整體(global)歸納邏輯而言的,而且同歸納邏輯的辯護(hù)問題直接相關(guān)。因此,從邏輯學(xué)歷史進(jìn)程看,開展歸納邏輯尤其是現(xiàn)代歸納邏輯的理論與方法的研究,對(duì)于推動(dòng)邏輯科學(xué)整體進(jìn)步不僅具有重大的理論意義,而且具有重要的實(shí)踐意義。
關(guān)于本書的體例安排,一方面,為了凸顯對(duì)現(xiàn)代歸納邏輯的研究,我們把古典歸納邏輯、現(xiàn)代歸納邏輯的一些基礎(chǔ)理論等預(yù)備知識(shí)、對(duì)有些理論的應(yīng)用如數(shù)據(jù)挖掘?qū)嵗茸鳛楦戒;另一方面,我們基本上依?jù)課題內(nèi)容,從現(xiàn)代歸納邏輯的創(chuàng)新功能、應(yīng)用和認(rèn)知基礎(chǔ)三個(gè)方面建構(gòu)體系。在我們看來,創(chuàng)新、應(yīng)用與認(rèn)知是現(xiàn)代歸納邏輯研究前沿的三個(gè)相互聯(lián)系而各有側(cè)重的發(fā)展方向。毋庸諱言,創(chuàng)新是歸納邏輯發(fā)展的第一要義,歸納邏輯的學(xué)術(shù)價(jià)值和實(shí)踐意義就在于它強(qiáng)大的創(chuàng)新功能。然而,創(chuàng)新只有在應(yīng)用中才能體現(xiàn)其價(jià)值和實(shí)踐意義。只有通過應(yīng)用才能不斷體現(xiàn)其創(chuàng)新功能。歸納邏輯應(yīng)用的目的不是別的,就是為了創(chuàng)新。歸納邏輯的認(rèn)知基礎(chǔ)研究本身就是為了擴(kuò)展歸納邏輯研究視野,實(shí)現(xiàn)歸納邏輯認(rèn)知轉(zhuǎn)向的過程就是一個(gè)理論創(chuàng)新的過程。我們的研究表明,歸納邏輯的創(chuàng)新功能研究和應(yīng)用研究將推動(dòng)歸納邏輯認(rèn)知基礎(chǔ)研究的深入、持久發(fā)展。