擴展的三段論及自動推理（簡體書）

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

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