亞里士多德的三段論

本書述評
第一版原序
第二版原序
本書所引用的亞里士多德的原著與注釋的版本
第一章 亞里士多德三段論系統的要素
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、結束語
第六章 亞里士多德的模態命題邏輯
第七章 模態邏輯系統
第八章 亞里士多德的模態三段論
索引

1939年6月，我在克拉科夫波蘭科學院宣讀了一篇論亞里士多德的三段論的論文。這篇論文的摘要曾於同年排印，但因戰爭的緣故未能出版。它在戰後才得以發行，但出版時間仍標明為。1939年」。1939年夏天，我已用波蘭文寫好一篇談同一主題的更為詳盡的專論，9月間已經收到該文第一部分的校樣，就在這玎．出版所完全毀於轟炸，一切盪然無存。同時我的全部圖書連同手稿，都遭到轟炸，毀於一炬。要在戰時繼續這項工作是不可圭的。

直到十年之後，我才獲得一個新的機會來再度進行我對於亞里士多德三段論的研究工作。這一次是在都柏林，從1946年開始直到現在，我一直在那里的愛爾蘭皇家科學院講授數理邏輯。我業都柏林大學學院的邀請，於［949年作了十次關於亞里士多德三畏論的講演，現在這部著作就是這些講演的成果。

本書僅限於非模態的或者「實然的」三段論，因為與此有關的理論是亞里士多德邏輯的最重要的部分。這個理論的系統闡述是在《前分析篇》第一卷的第一、第二章與第四至第七章。在外茲的板本（至今已出版一百多年之久了）中的這些章，是我的解說的主要根據。我遺憾未能利用大衛·羅斯爵士編纂並作有導言和評注妁、1949年出版的《前分析篇》的新版本，因為當這個版本出版時，我的著作的歷史部分已經完成了。我僅能利用大衛·羅斯爵士的板本來校正我所引用的亞里士多德的原文。在《分析篇》希臘文本的英文譯文方面，我盡可能地遵照亞里士多德著作的牛津譯本。除了《前分析篇》的本文之外，我還考慮了古代注釋家們的意見，特別是亞歷山大的意見。在這里我不妨指出：三段論第四格據說是加侖發明的，有關這一發明的諸歷史問題，能夠得到解決，我就應該感謝一位佚名的古代注釋家。

現在這本著作包括一個歷史的部分（第一至第三章）和一個體系的部分（第四、第五章）。在歷史部分里我曾試圖盡可能緊密地依據原文來解說亞里士多德的學說，但是無論在什麽地方我都企圖從現代形式邏輯的觀點來解釋它們◇我認為，今天還不存在對亞里士多德三段論的可以信賴的闡述。直到現在為止，所有闡述都不是邏輯學家寫的，而是由哲學家或語言學家寫的。這些哲學家或語言學家，或者不可能懂得現代形式邏輯（如普蘭特爾）。或者並不懂得現代形式邏輯（如邁爾）。依我看，所有這些闡述都是錯誤的。例如，我未能發現任何一個作者是意識到了亞里士多德式三段論與傳統的三段論之間有著根本差異的。所以，在我看來，我自己的闡述完全是新的。在體系的部分，我曾試圖解釋為理解亞里士多德三段論所必需的某些現代形式邏輯的理論，並且試圖在亞里士多德本人所勾畫的輪廓的基礎上使這個三段論系統達到完美。我還切望盡可能地使我的闡述清楚明白，以便那些未曾受過符號思維或數學思維訓練的學者們能夠理解它。因此，我希望我的著作的這一部分可以用作現代形式邏輯的一個導論。這一部分的最重要的新成就，我認為是判定的證明（這是我的學生J.斯盧派斯基提出的），以及由亞里士多德提出、並由我本人運用於演繹理論的排斥的觀念。

┅┅