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