從現(xiàn)代邏輯的觀點(diǎn)看亞里士多德的邏輯理論

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