前言**章 亞里士多德的生平與邏輯著作《工具論》 第二章 范疇與謂詞 **節 十范疇 第二節 四謂詞與本質主義 第三章 直言命題與直言三段論 **節 直言命題 第二節 直言三段論的格和式的原貌 第三節 直言三段論的化歸 第四節 無效式的排斥 第五節 直言三段論的規則 第六節 對直言三段論的補充討論 第四章 直言三段論的現代研究 **節 萊布尼茨的直言三段論系統 第二節 希爾伯特和阿克曼的聯合演算中的直言三段論 第三節 盧卡西維茨的蘊涵式公理系統 第四節 科科倫的自然演繹系統 第五節 斯邁利的自然演繹系統 第五章 作為一階邏輯子系統的直言三段論 **節 一階邏輯的自然演繹系統ND第二節 直言三段論在ND中的兩種推演 第六章 樹枝形的直言三段論自然演繹系統 **節 系統的出發點 第二節 定理的推演 第三節 無效式的形式排斥系統 第四節 算術模型、集合代數模型以及可靠性和語義完全性 第五節 判定程序與簡單完全性 第七章 偏好邏輯 **節 何謂“偏好” 第二節 關于偏好的基本原理 第三節 組合SHOU*選擇項的偏好問題 第八章 關系理論 **節 關系的一般特點 第二節 后范疇 第三節 其他類型的關系理論 第九章 模態命題邏輯 **節 模態命題邏輯的基本內容 第二節 包含偶然算子的模態命題邏輯 第三節 模態命題邏輯的哲學意義 第十章 模態三段論 **節 必然三段論概述 第二節 亞里士多德在偶然命題方面的嚴重錯誤及其糾正方案 第三節 偶然模態三段論概述 第十一章 模態三段論的現代研究 **節 麥考爾的蘊涵式公理系統 第二節 托姆的自然演繹系統 第十二章 樹枝形的必然三段論自然演繹系統 **節 必然式系統 第二節 可能式 第三節 必然式的形式排斥系統 第四節 可能世界模型、集合代數模型以及可靠性和語義完全性 第五節 必然式系統的判定程序與簡單完全性 第十三章 樹枝形的偶然三段論自然演繹系統 **節 偶然式系統 第二節 偶然式的形式排斥系統 第三節 集合代數模型以及可靠性和語義完全性 第四節 偶然式系統的判定程序與簡單完全性 第十四章 邏輯規律 **節 同一律、矛盾律和排中律 第二節 亞里士多德駁三種曲解排中律的觀點 第三節 亞里士多德對排中律的限制與三值邏輯 第十五章 公理方法和歸納方法 **節 公理方法的要素 第二節 初始前提與直覺歸納法 第三節 其他類型的歸納法 第十六章 辨謬理論 **節 辨謬的目的 第二節 語言謬誤與邏輯謬誤 第三節 消除謬誤的方法 參考文獻