收藏
二手徵求有驚喜
本書述評
第一版原序
第二版原序
本書所引用的亞里士多德的原著與註釋的版本
第一章亞里士多德三段論系統的要素
1、亞里士多德式三段論的正確形式
2、前提和詞項
3、為什麼單一詞項被亞里多德略去了
4、變項
5、三段論的必然性
6、什麼是形式邏輯
7、什麼是形式化
第二章亞里士多德三段論系統的斷定命題
8、斷定命題與推論規則
9、三段論的格
10、大項、中項和小項
11、關於一個錯誤的歷史
12、前提的次序
13、一些現代註釋家的錯誤
14、加侖的四個格
第三章亞里士多德三段論系統
15、完全的和不完全的三段論
16、詞項邏輯與命題邏輯
17、換位法證明
18、歸謬法證明
19、顯示法證明
20、排斥的形式
21、一些未解決的問題
第四章用符號形式表達的亞里士多德系統
22、符號系統的說明
23、演繹理論
24、量詞
25、三段論系統的基本要素
26、三段論的斷定命題的推導
27、排斥的表達式的公理和規則
28、我國的公理和規則不充分
第五章判定問題
29、不能判定的表達式的數目
30、斯盧派斯基的排斥規則
31、化歸為初的表達式
32、演繹的等值式
33、三段論系統的初等表達式
34、三段論系統的一個算術的解釋
35、結束語
第六章亞里士多德的模態命題邏輯
第七章模態邏輯系統
第八章亞里士多德的模態三段論
索引
2024專利防護中