當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究

前言

奉獻(xiàn)給讀者的這部著作是國(guó)家“211”工程重點(diǎn)建設(shè)大學(xué)——貴州大學(xué)邏輯學(xué)教授龔啟榮主持的教育部立項(xiàng)項(xiàng)目“當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究”（項(xiàng)目批準(zhǔn)號(hào)：07JA720006）的最終成果。項(xiàng)目研究小組按申報(bào)計(jì)劃，突破了難點(diǎn)，解決了難題，出色地完成了研究任務(wù)，高質(zhì)量地達(dá)到了預(yù)期研究目標(biāo)?！氨娙耸安窕鹧娓摺?，團(tuán)隊(duì)的力量是強(qiáng)大的。項(xiàng)目組研究人員的年齡結(jié)構(gòu)、職稱結(jié)構(gòu)等較合理?？梢哉f(shuō)，這部著作是項(xiàng)目組的老師們20來(lái)年集體“拾柴”、刻苦努力所獲得的邏輯科學(xué)的研究結(jié)晶。無(wú)論是理論研究還是應(yīng)用理論研究，著作都達(dá)到了國(guó)際先進(jìn)水平。從理論上看，這部著作有一系列亮點(diǎn)。著作有自覺的邏輯客體說(shuō)思想。這是同邏輯思維說(shuō)（認(rèn)為邏輯研究人的思維）、邏輯符號(hào)說(shuō)（認(rèn)為邏輯研究符號(hào)）并列的世界三大學(xué)派之一。邏輯科學(xué)，從它誕生之日起在事實(shí)上研究的就始終是客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律。邏輯科學(xué)，從來(lái)沒有研究過(guò)也沒有能力研究人的思維的形式結(jié)構(gòu)和思維的規(guī)律。這部著作遵循邏輯客體說(shuō)的辯證唯物論理論，踏踏實(shí)實(shí)地、一絲不茍地研究客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律。著作之所以取得許多實(shí)質(zhì)性成果，與這個(gè)思想有著密切的關(guān)系。兩個(gè)形式系統(tǒng)cm系統(tǒng)和cn系統(tǒng)是邏輯的而不是數(shù)學(xué)的形式化公理系統(tǒng)。著作在討論這兩個(gè)形式系統(tǒng)的基礎(chǔ)上，進(jìn)一步深入地研究并證明了兩個(gè)系統(tǒng)的一系列特色。在闡述作為邏輯詞（2元的聯(lián)結(jié)詞）的“必然”、“可能”、“偶然”、“風(fēng)馬牛”邏輯性質(zhì)的基礎(chǔ)上，又進(jìn)一步提出并證明了42個(gè)更精彩的、嶄新的形式定理，計(jì)近百個(gè)推理，并以7個(gè)邏輯方陣通俗易懂的方式展現(xiàn)了兩個(gè)系統(tǒng)的無(wú)限風(fēng)光、無(wú)限前景。研究項(xiàng)目最突出的應(yīng)用——對(duì)國(guó)家、對(duì)民族最有意義最有價(jià)值的應(yīng)用理論，就是在人工智能上的應(yīng)用理論。本項(xiàng)目在人工智能中的應(yīng)用理論完全不同于以美國(guó)為代表的國(guó)際人工智能理論。

內(nèi)容概要

　　《當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究》在人工智能中的應(yīng)用理論完全不同于以美國(guó)為代表的國(guó)際人工智能理論。著作提出并回答了一系列屬于人工智能的邏、輯理論的重大問題；指出了人工智能的根本使命；完成了古典邏輯和形形色色非古典邏輯以及傳統(tǒng)形式邏輯不能作為人工智能的邏輯理論基礎(chǔ)的論證；充分證明了，當(dāng)代形式邏輯向人類提供了從已有知識(shí)獲取新知識(shí)的推理工具，因而是人工智能最合適的邏輯工具。著作清晰地刻畫了必然門的邏輯性質(zhì)，為研制必然門從而進(jìn)一步設(shè)計(jì)、制造內(nèi)涵智能機(jī)提供了重要邏輯理論基礎(chǔ)，其研究深度可以說(shuō)幾乎達(dá)到了呼之欲出的程度。著作嚴(yán)格證明并嚴(yán)肅地指出，在剛過(guò)去的半個(gè)世紀(jì)內(nèi)，國(guó)際人工智能界的兩個(gè)方針（“認(rèn)知模擬”、“人機(jī)合一”）是方向性、路線性的失誤。這種局面為我國(guó)在新世紀(jì)迎來(lái)超越國(guó)際先進(jìn)水平提供了絕好機(jī)遇。該項(xiàng)研究對(duì)我國(guó)在經(jīng)濟(jì)、軍事實(shí)力上發(fā)生質(zhì)的變革，取得國(guó)際先進(jìn)地位具有重要意義，其應(yīng)用前景是不可估量的。

作者簡(jiǎn)介

龔啟榮，江西景德鎮(zhèn)人。1964年貴州大學(xué)畢業(yè)后被選派到貴州省委黨校理論研究班學(xué)習(xí)并開始從事理論教育工作。系貴州省先進(jìn)科技工作者、國(guó)際符號(hào)邏輯協(xié)會(huì)會(huì)員、BLS國(guó)際邏輯學(xué)金會(huì)員、東亞國(guó)際符號(hào)學(xué)會(huì)會(huì)員、貴州省社科聯(lián)委員、貴州省科協(xié)第四屆委員貴州制約邏輯學(xué)會(huì)理事長(zhǎng)。貴州省邏輯教學(xué)研究會(huì)會(huì)長(zhǎng)。任貴州大學(xué)老科學(xué)技術(shù)工簪者協(xié)會(huì)基礎(chǔ)與人文社會(huì)科學(xué)工作委員會(huì)副主任，邏輯學(xué)教授，學(xué)術(shù)帶頭人，邏輯學(xué)研究主導(dǎo)師、任貴州人民武裝學(xué)院督導(dǎo)和邏輯學(xué)教授，發(fā)表論著Entailment Logic——A Development of Traditional Logic Our Times（J）（第八屆國(guó)際邏輯、科學(xué)哲學(xué)和科學(xué)方法討論會(huì)論文集，莫斯科科學(xué)出版社，1987年）、Entailment Logic And Knowledge Representation（J）（《符號(hào)邏輯雜志》，美國(guó)，1992年第1期第57卷），Orthodox Mathematical Logic is Not a Reasoning Theory（J）（《符號(hào)邏輯會(huì)刊》，美國(guó)，2007年第3期第13卷）、《形式邏輯導(dǎo)引》（M）（貴州人民出版社，1995年）、《邏輯斯諦——又稱”數(shù)理邏輯”的二值數(shù)學(xué)》年）、《邏輯斯諦——又稱”數(shù)理邏輯”的：二值數(shù)學(xué)》（M）（貴州教育出版社，1998年）《邏輯學(xué)》（（M）貴州人民出版社，2005年）、《當(dāng)代形式邏輯基石出》（M）（貴州教育出版社，2006年）。《形式邏輯客體說(shuō)導(dǎo)論》（M）（天馬出版有限公司，2008年）《當(dāng)代形式邏輯引論》（M）（電子工業(yè)出版社，2009年）等100多篇（部）。完成工業(yè)和信息化部、教育部和省級(jí)科研課題十余項(xiàng)。曾十余次受國(guó)際重要邏輯學(xué)術(shù)會(huì)議邀請(qǐng)并發(fā)表論文。龔啟榮的教學(xué)、科研情況在《團(tuán)結(jié)報(bào)》、《貴州日?qǐng)?bào)》、《貴州經(jīng)濟(jì)報(bào)》?！吨袊?guó)哲學(xué)年鑒》、《貴州年鑒》及一些網(wǎng)站上均有介紹。

書籍目錄

第1篇 導(dǎo)論第1章 前言1.1 邏輯科學(xué)在現(xiàn)代科學(xué)中的地位1.2 傳統(tǒng)形式邏輯與正統(tǒng)數(shù)理邏輯1.3 研究當(dāng)代形式邏輯的目標(biāo)1.4 當(dāng)代形式邏輯的研究領(lǐng)域、哲學(xué)思想和理論觀點(diǎn)1.5 邏輯科學(xué)的定義第2章 當(dāng)代形式邏輯語(yǔ)義學(xué)基礎(chǔ)2.1 客觀世界的集——兼對(duì)所謂“羅素悖論”的剖析2.1.1 對(duì)象、個(gè)體與集2.1.2 集的共僅屬性2.1.3 集的性質(zhì)2.1.4 集的分類2.1.5 集與集之間的關(guān)系2.2 n目組、n目組集和n元關(guān)系——兼談數(shù)理邏輯頂多只能算k分之一的邏輯2.3 n元函數(shù)關(guān)系2.3.1 映射2.3.2 n元函數(shù)關(guān)系2.4 客觀世界的項(xiàng)2.4.1 個(gè)體變?cè)?.4.2 n元函數(shù)的變值2.4.3 項(xiàng)的定義2.4.4 項(xiàng)的分類2.5 客觀世界的原子事件2.5.1 閉原子事件2.5.2 開原子事件2.5.3 原子事件2.5.4 原子事件有、無(wú)的不矛盾律、排中律和選一律2.6 真值函數(shù)關(guān)系與純真值復(fù)合事件2.6.1 真值函數(shù)關(guān)系2.6.2 真值表2.6.3 純真值聯(lián)結(jié)關(guān)系2.6.4 純真值復(fù)合事件2.7 基本的非純真值聯(lián)結(jié)關(guān)系——充分條件關(guān)系及其兩個(gè)獨(dú)立性2.7.1 充分條件關(guān)系與必然關(guān)系同義2.7.2 充分條件事件的定義及充分條件關(guān)系的兩個(gè)獨(dú)立性2.7.3 對(duì)“充分條件”的界說(shuō)的歷史回顧2.7.4 兩個(gè)獨(dú)立性從經(jīng)驗(yàn)進(jìn)到邏輯的歷史追溯2.8 導(dǎo)出的非純真值聯(lián)結(jié)關(guān)系和非純真值復(fù)合事件2.8.1 必要條件關(guān)系和必要條件事件2.8.2 約合關(guān)系和約合事件2.8.3 盡舉相容選擇關(guān)系和盡舉相容選擇事件2.8.4 盡舉反相容選擇關(guān)系和盡舉反相容選擇事件2.8.5 盡舉不相容選擇關(guān)系和盡舉不相容選擇事件2.8.6 充分必要條件關(guān)系和充分必要條件事件2.9 客觀世界的事件2.9.1 事件的形成準(zhǔn)則2.9.2 閉事件和開事件的交叉遞歸定義2.9.3 事件的性質(zhì)2.10 客觀世界的邏輯結(jié)構(gòu)2.11 客觀世界的邏輯規(guī)律及其種類2.12 客觀世界的邏輯定律2.12.1 客觀世界的事件邏輯定律2.12.2 客觀世界的項(xiàng)邏輯定律2.13 客觀世界的邏輯法則2.13.1 客觀世界的事件邏輯法則2.13.2 客觀世界的項(xiàng)邏輯法則第3章 邏輯規(guī)律是客觀世界的規(guī)律3.1 邏輯規(guī)律概述3.2 邏輯規(guī)律不是思維自身的規(guī)律3.3 邏輯規(guī)律不是符號(hào)自身的規(guī)律3.4 邏輯規(guī)律是且只能是客觀世界的規(guī)律3.5 彪炳古今的韓非定律第2篇 邏輯思考第4章 邏輯思考概述4.1 邏輯思考的定義4.2 邏輯思維的內(nèi)容4.2.1 邏輯思維的內(nèi)容4.2.2 思維的內(nèi)容究竟是思維還是思維外的客觀物質(zhì)及其屬性4.3 邏輯思維的形式化4.4 邏輯思維、思維對(duì)象、語(yǔ)言載體的關(guān)系4.5 當(dāng)代形式邏輯語(yǔ)義學(xué)、語(yǔ)構(gòu)學(xué)、語(yǔ)用學(xué)4.6 當(dāng)代形式邏輯語(yǔ)用學(xué)1、2、3準(zhǔn)則第5章 概念5.1 概念的概述5.2 概念的內(nèi)涵和外延5.2.1 概念的外延5.2.2 概念的內(nèi)涵5.3 2元關(guān)系概念5.3.1 性質(zhì)概念和關(guān)系概念5.3.2 何謂2元關(guān)系概念5.3.3 2元關(guān)系的性質(zhì)5.4 傳統(tǒng)概念理論中存在的問題5.4.1 關(guān)于概念的定義至今仍不能自圓其說(shuō)5.4.2 有些概念種類劃分不合理5.4.3 “概念不明確”是一種自相矛盾或者模棱兩可的提法5.4.4 值得推敲的其他問題第6章 原子命題純真值復(fù)合命題6.1 命題的概述6.1.1 命題就是關(guān)于事件的思考6.1.2 命題的真值6.1.3 命題的分類6.2 原子命題6.2.1 閉原子命題6.2.2 開原子命題6.2.3 1元原子命題和多元原子命題6.2.4 原子命題的真值6.3 純真值復(fù)合命題6.3.1 基本的純真值復(fù)合命題6.3.2 導(dǎo)出的純真值復(fù)合命題6.4 重言式的判定6.4.1 真值表方法……第7章 非純真值復(fù)合命題第8章 邏輯定理第9章 邏輯證明與證實(shí)第10章 關(guān)于邏輯證明哲學(xué)意義的深入探討第3篇 當(dāng)代形式邏輯Cm系統(tǒng)第11章 命題邏輯cm系統(tǒng)的形式語(yǔ)言第12章 Cm的公理、導(dǎo)出公式、規(guī)則和元定理第13章 關(guān)于Cm系統(tǒng)的討論(一)——Cm是夠用的無(wú)衍系統(tǒng)第14章 關(guān)于Cm系統(tǒng)的討論(二)——Cm的判定問題第4篇 當(dāng)代形式邏輯名詞演算Cn系統(tǒng)第15章 名詞演算Cn系統(tǒng)的形式語(yǔ)言第16章 Cn的公理模式、規(guī)則、導(dǎo)出公式和元定理第17章 關(guān)于Cn系統(tǒng)的討論(一)——Cn與傳統(tǒng)形式邏輯第18章 關(guān)于Cn系統(tǒng)的討論(二)——Cn與傳統(tǒng)的“必然”、“可能”、歸納、類比的推理第19章 關(guān)于Cn系統(tǒng)的討論(三)——Cn的無(wú)限風(fēng)光：更精彩的形式定理第20章 關(guān)于Cn系統(tǒng)的討論(四)——Cn與正統(tǒng)一階謂詞演算F第五篇 人工智能機(jī)器推理和知識(shí)表示的邏輯理論工具探討第21章 人工智能機(jī)器推理的邏輯理論工具研究第22章 人工智能知識(shí)表示的邏輯理論工具研究第23章 當(dāng)代形式邏輯在人工智能中又一應(yīng)用理論研究附錄A附錄B參考文獻(xiàn)后記

章節(jié)摘錄

插圖： “這只蘋果能吃”對(duì)原始人來(lái)說(shuō)，判斷和命題可能是同時(shí)產(chǎn)生的，因?yàn)?，蘋果本來(lái)就是猿猴的食物。然而，“這只螃蟹能吃”對(duì)人類遠(yuǎn)古的祖先來(lái)說(shuō)，就是先有命題，然后才斷定的。而伴隨這個(gè)命題的斷定則是一番勇敢的嘗試：剝開長(zhǎng)相嚇人的螃蟹來(lái)聞聞，挺香；拿下一塊蟹肉嘗嘗，很鮮；吃下去再說(shuō)，結(jié)果十分養(yǎng)人。魯迅在盛贊第一批試吃螃蟹的人類祖先的勇氣的同時(shí)，還揣想曾經(jīng)也有人考慮過(guò)“這只蜘蛛能吃”這個(gè)命題，又經(jīng)過(guò)一番勇敢的嘗試，證實(shí)了這個(gè)命題并不符合實(shí)際，因而為假。于是，這個(gè)命題本身未被斷定，而被斷定了的卻是它的否定“這只蜘蛛不能吃?！痹谄胀ǖ倪壿嬎伎紝?shí)際中，那種“只是考慮并未斷定”的事情是大量存在的：醫(yī)生在診查病情的過(guò)程中起初只是考慮各種可能的病因；司法人員對(duì)被審訊的供詞也往往是“聽而不信”；即使是顧客在商店里挑選貨物這種日常小事，人們通常也須經(jīng)過(guò)一段“謀而不斷”的考慮過(guò)程；至于科學(xué)史上的種種猜想、假設(shè)，那更是“只考慮，不斷定”。譬如，數(shù)學(xué)中的著名的“四色問題”——“如果要求地圖的相鄰區(qū)域著色不同，那么，至多用四種顏色就足夠了?！痹诿绹?guó)數(shù)學(xué)家阿佩爾等于1976年用計(jì)算機(jī)做出證明以前，就是個(gè)未斷定的命題；而更加著名的“哥德巴赫猜想”——“任意大于4的偶數(shù)必定是兩個(gè)奇素?cái)?shù)之和?！弊詮?00年前提出來(lái)后，迄今還是個(gè)有待斷定的命題。只要那些作為關(guān)于某個(gè)事件的思考的命題始終未斷定，那就只有命題而無(wú)相應(yīng)的判斷?！案绲掳秃盏牟孪搿本褪且粋€(gè)這種沒有相應(yīng)判斷的命題，等待著有志者前去斷定。顯然，命題發(fā)展為判斷與命題真實(shí)性是兩回事，盡管，對(duì)命題的斷定需要有一定的根據(jù)，而且，這種根據(jù)的獲得往往并不是輕而易舉的。如果說(shuō)，考慮中的命題對(duì)人們的實(shí)踐來(lái)說(shuō)還只是一種尚有待于進(jìn)一步分析、考核的初步的信息，伴隨著這種初步信息的獲得有時(shí)也會(huì)做出一些試探性的行動(dòng)；那么，經(jīng)過(guò)一番試探，獲得了一定的根據(jù)后，一經(jīng)斷定而成為判斷，做出判斷的人對(duì)它的真實(shí)性就會(huì)具有信心，信息就往往轉(zhuǎn)變成需要堅(jiān)定地執(zhí)行的指令，伴隨著的將是果斷的行動(dòng)：醫(yī)生采取重大的醫(yī)療措施；法官對(duì)罪犯進(jìn)行判決；顧客付款購(gòu)買貨物；數(shù)學(xué)家將已獲證明的定理納入數(shù)學(xué)體系；等等。然而，盡管如此，那種對(duì)命題做出斷定的根據(jù)有時(shí)未必充分、屬實(shí)，因此，斷定了的判斷仍然會(huì)不符實(shí)際，判斷仍然可能是虛假的：醫(yī)生可能誤診；法官有時(shí)錯(cuò)判；顧客也會(huì)買來(lái)不合用的商品；而數(shù)學(xué)家以為已經(jīng)“證明”了的“定理”其實(shí)并不正確。在這里，檢驗(yàn)判斷的真理性的標(biāo)準(zhǔn)歸根結(jié)底要靠社會(huì)實(shí)踐。

后記

本著作是龔啟榮教授主持的教育部立項(xiàng)項(xiàng)目“當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究”（項(xiàng)目批準(zhǔn)號(hào)：07JA720006）的最終成果。項(xiàng)目的中期成果《當(dāng)代形式邏輯引論》（電子工業(yè)出版社2009年出版）系項(xiàng)目的基礎(chǔ)部分。本項(xiàng)目的研究，追溯起來(lái)，早在20世紀(jì)80年代就已經(jīng)開始了。本書第19章關(guān)于Cn系統(tǒng)的討論（三）——Cn的無(wú)限風(fēng)光：更精彩的形式定理”中的幾十個(gè)定理，龔啟榮教授在1991年就已經(jīng)證明了。由龔啟榮獨(dú)立完成的當(dāng)代形式邏輯在人工智能中的應(yīng)用理論研究項(xiàng)目（在國(guó)內(nèi)外共發(fā)表7篇論文），1989年就通過(guò)了貴州省科學(xué)技術(shù)委員會(huì)組織的國(guó)內(nèi)同行專家鑒定，并進(jìn)行了國(guó)際聯(lián)機(jī)查新檢索，鑒定結(jié)論認(rèn)為，一些成果居國(guó)際先進(jìn)水平。獲貴州省科技進(jìn)步獎(jiǎng)。在本項(xiàng)目的中期成果《當(dāng)代形式邏輯引論》即將出版之際，經(jīng)過(guò)課題組認(rèn)真準(zhǔn)備，2008年12月17日，由項(xiàng)目主持人龔啟榮教授主持，在貴陽(yáng)市風(fēng)景秀麗的“高原明珠”花溪河畔召開了本著作撰稿會(huì)議。貴州邏輯界、人工智能界楊黔福、曾慶華、褚智萍、高東舁、蔣學(xué)鋒教授，貴州人民武裝學(xué)院兩位講師吳春紅（碩士）、張延伍（碩士）和貴州大學(xué)邏輯學(xué)專業(yè)05級(jí)碩士研究生葉森等課題組成員出席了撰稿會(huì)議。龔啟榮在會(huì)上重申了申報(bào)本項(xiàng)目時(shí)討論過(guò)的下述幾個(gè)問題：（1）撰寫本書的哲學(xué)指導(dǎo)思想是堅(jiān)定而徹底的辯證唯物論。一定要“外師造化，中得心源”（唐·張璨《繪境》），“從無(wú)字句處讀書”（周恩來(lái)《自勉聯(lián)》）；堅(jiān)決杜絕那種“一犬吠形，百犬吠聲”（漢·王符《潛夫論·賢難》）、層層抄襲的不良作風(fēng)！要求完成后著作的整個(gè)體系從頭至尾與唯心論的東西完全排斥。辯證唯物論的指導(dǎo)思想在著作中體現(xiàn)出來(lái)是堅(jiān)定的、徹底的。（2）從邏輯哲學(xué)學(xué)術(shù)上說(shuō)，我們是堅(jiān)定的邏輯一元論者。我們堅(jiān)信，邏輯必須對(duì)所有論域一概地正確，只存在一種唯一正確的邏輯。提出并對(duì)當(dāng)代形式邏輯進(jìn)行研究的目的正是為了探索、尋找這種唯一的邏輯。從貴州省邏輯學(xué)學(xué)術(shù)社團(tuán)等組織和作為社會(huì)的成員、學(xué)校的教師來(lái)說(shuō)，我們又是多元論者，贊成和擁護(hù)黨的“百花齊放、百家爭(zhēng)鳴”的方針。

編輯推薦

《當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究》是由電子工業(yè)出版社出版的。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究 PDF格式下載

---