擴(kuò)展的三段論及自動(dòng)推理

定　價(jià)：￥56.00

作　者：	張寅生著
出版社：	科技文獻(xiàn)出版社
叢編項(xiàng)：
標(biāo)　簽：	世界哲學(xué)

購買這本書可以去

ISBN：	9787502363185	出版時(shí)間：	2009-03-01	包裝：	平裝
開本：	16開	頁數(shù)：	295	字?jǐn)?shù)：

內(nèi)容簡介

　　本專著著重論述了作者的三段論形式化研究和自動(dòng)推理研究的最新進(jìn)展和創(chuàng)新成果。本書證明：亞里士多德三段論的特稱量詞的定義及其命題形式存在著兩個(gè)違背同一律的邏輯錯(cuò)誤一它將特稱量詞既定義為部分量詞（不包括全集），又定義為不確定量詞（相當(dāng)于一階邏輯中的存在量詞，可包括全集）；組成亞里士多德三段論的直言肯定命題的第二個(gè)項(xiàng)（后項(xiàng)）沒有約束量詞，這使得對(duì)這個(gè)項(xiàng)的量的理解存在歧義：它可能被解釋為全部，也可能被解釋為部分，也可能被解釋為不確定量。為此，本書首先做了糾正這兩個(gè)錯(cuò)誤的工作：——重新定義了部分量詞、全稱量詞和存在量詞，使得特稱量詞和包含特稱量詞的命題作為“部分”和“存在”的意義被區(qū)分，并用不同符號(hào)分別命名，同時(shí)，定義和解釋了這3個(gè)量詞以及包含這3個(gè)量詞的命題的基本邏輯運(yùn)算?！獙?duì)直言命題的第二個(gè)項(xiàng)（后項(xiàng)）加入了約束量詞。這兩項(xiàng)工作構(gòu)建了擴(kuò)展的直言命題體系，由此構(gòu)成了改進(jìn)的三段論——擴(kuò)展的三段論。繼而：對(duì)于擴(kuò)展的直言命題體系及擴(kuò)展的三段論進(jìn)行了嚴(yán)格的數(shù)學(xué)分析，使上述命題形式和推理過程建立在數(shù)學(xué)模型基礎(chǔ)上，這些模型決定了何以命名一個(gè)雙約束量詞的二元直言命題并進(jìn)行邏輯運(yùn)算，如何根據(jù)數(shù)學(xué)定理進(jìn)行擴(kuò)展的三段論推理。改進(jìn)了一階形式語言，使擴(kuò)展的三段論推理以及包括擴(kuò)展的直言命題的其它形式的推理能夠被一階語言所接受，實(shí)現(xiàn)了擴(kuò)展的三段論形式語言和一階形式語言二者在數(shù)學(xué)基礎(chǔ)上融合，從根本上消除了傳統(tǒng)邏輯和一階邏輯的分界限。建立了擴(kuò)展的三段論形式系統(tǒng)，從而論證了擴(kuò)展的三段論的有效格式能夠被計(jì)算機(jī)自動(dòng)生成，并設(shè)計(jì)了面向應(yīng)用的流程和算法。本書認(rèn)為：所謂的第三次數(shù)學(xué)危機(jī)實(shí)際上是首次邏輯學(xué)危機(jī)：邏輯學(xué)由于沒有數(shù)學(xué)的準(zhǔn)確定義使得邏輯規(guī)則失效一一違背同一律。對(duì)于三段論的改進(jìn)與對(duì)羅素悖論的改進(jìn)其意義是一致的，都是先于邏輯準(zhǔn)確定義邏輯的對(duì)象，這是解決邏輯危機(jī)的必由之路。邏輯原子主義應(yīng)該承認(rèn)，沒有數(shù)學(xué)的邏輯學(xué)不可靠，將數(shù)學(xué)完全解釋為邏輯學(xué)是不可能的。

作者簡介

暫缺《擴(kuò)展的三段論及自動(dòng)推理》作者簡介

圖書目錄

第1章　邏輯的本質(zhì)與邏輯學(xué)的分類標(biāo)準(zhǔn)
1.1 邏輯學(xué)定義的回顧
1.2 對(duì)邏輯的重新定義
1.3 對(duì)邏輯學(xué)分類標(biāo)準(zhǔn)的分析
第2章　亞里士多德三段論產(chǎn)生的背景和三段論研究的意義
2.1 亞里士多德邏輯學(xué)的背景
2.2 繼續(xù)研究亞里士多德三段論的意義
　2.2.1 簡短的提示
　 2.2.2 最基本的意義
　 2.2.3 解決第三次數(shù)學(xué)危機(jī)的又一個(gè)實(shí)例
　 2.2.4 探討一階語言非Horn語句歸結(jié)方法自動(dòng)推理的一個(gè)實(shí)例
2.3 結(jié)語
第3章　亞里士多德三段論的特征
3.1 亞里士多德三段論的基本特征
3.2 亞里士多德規(guī)定的三段論的推理規(guī)則
第4章　亞里士多德三段論的形式化
4.1 序言
4.2 形式系統(tǒng)的歷史
　4.2.1 歐幾里得的公理系統(tǒng)
　 4.2.2 形式公理系統(tǒng)的歷史
4.3 基于自動(dòng)機(jī)文法的形式系統(tǒng)
4.4 三個(gè)重要的亞里士多德三段論形式公理系統(tǒng)
　4.4.1 盧卡西維茨創(chuàng)建的亞里士多德三段論形式公理系統(tǒng)
　 4.4.2 蔡曙山創(chuàng)建的亞里士多德三段論形式公理系統(tǒng)AS
　 4.4.3 張家龍創(chuàng)建的亞里士多德三段論形式公理系統(tǒng)
　4.4.4 其它的亞里士多德三段論形式公理系統(tǒng)
4.5 基于亞里士多德三段論推理規(guī)則和自動(dòng)機(jī)文法的三段論公理系統(tǒng)ASSA
第5章　亞里士多德三段論面臨的問題
5.1 完善亞里士多德三段論工作的回顧
5.2 對(duì)構(gòu)成亞里士多德三段論的直言命題解釋的現(xiàn)狀
5.3 亞里士多德三段論特稱量詞涵義的自然語言解釋的含混之處
5.4 亞里士多德三段論特稱量詞不周延性概念的含混之處
5.5 亞里士多德本人對(duì)于三段論特稱量詞解釋的自相矛盾
5.6 亞里士多德之后對(duì)三段論特稱量詞的解釋
　 5.6.1　將特稱量詞解釋為部分量詞
　5.6.2 將特稱量詞解釋為存在量詞
　 5.6.3　將特稱量詞既解釋為存在量詞，又解釋為部分量詞
5.7 對(duì)亞里士多德三段論特稱量詞解釋的錯(cuò)誤原因的分析
5.8 亞里士多德直言命題的另外一個(gè)問題：單量詞約束
第6章　擴(kuò)展的三段論：數(shù)學(xué)意義和基本特征
6.1 亞里士多德三段論直言命題矛盾的數(shù)學(xué)解決方案
　……
第7章　擴(kuò)展的三段論的有效格式
第8章　擴(kuò)展的三段論形式系統(tǒng)　
第9章　一階語言的改進(jìn)及其對(duì)擴(kuò)展的三段論形式語言的解釋
第10章　擴(kuò)展的三段論自動(dòng)推理的實(shí)現(xiàn)方式
第11章　結(jié)語