擴展的三段論及自動推理

定　價：￥56.00

作　者：	張寅生著
出版社：	科技文獻出版社
叢編項：
標　簽：	世界哲學

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

暫缺《擴展的三段論及自動推理》作者簡介

圖書目錄

第1章　邏輯的本質(zhì)與邏輯學的分類標準
1.1 邏輯學定義的回顧
1.2 對邏輯的重新定義
1.3 對邏輯學分類標準的分析
第2章　亞里士多德三段論產(chǎn)生的背景和三段論研究的意義
2.1 亞里士多德邏輯學的背景
2.2 繼續(xù)研究亞里士多德三段論的意義
　2.2.1 簡短的提示
　 2.2.2 最基本的意義
　 2.2.3 解決第三次數(shù)學危機的又一個實例
　 2.2.4 探討一階語言非Horn語句歸結方法自動推理的一個實例
2.3 結語
第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 基于自動機文法的形式系統(tǒng)
4.4 三個重要的亞里士多德三段論形式公理系統(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ī)則和自動機文法的三段論公理系統(tǒng)ASSA
第5章　亞里士多德三段論面臨的問題
5.1 完善亞里士多德三段論工作的回顧
5.2 對構成亞里士多德三段論的直言命題解釋的現(xiàn)狀
5.3 亞里士多德三段論特稱量詞涵義的自然語言解釋的含混之處
5.4 亞里士多德三段論特稱量詞不周延性概念的含混之處
5.5 亞里士多德本人對于三段論特稱量詞解釋的自相矛盾
5.6 亞里士多德之后對三段論特稱量詞的解釋
　 5.6.1　將特稱量詞解釋為部分量詞
　5.6.2 將特稱量詞解釋為存在量詞
　 5.6.3　將特稱量詞既解釋為存在量詞，又解釋為部分量詞
5.7 對亞里士多德三段論特稱量詞解釋的錯誤原因的分析
5.8 亞里士多德直言命題的另外一個問題：單量詞約束
第6章　擴展的三段論：數(shù)學意義和基本特征
6.1 亞里士多德三段論直言命題矛盾的數(shù)學解決方案
　……
第7章　擴展的三段論的有效格式
第8章　擴展的三段論形式系統(tǒng)　
第9章　一階語言的改進及其對擴展的三段論形式語言的解釋
第10章　擴展的三段論自動推理的實現(xiàn)方式
第11章　結語