要了解現代邏輯必讀的一本書。

什麼是亞里士多德的三段論，舉例，

所有人都是有死的，

蘇格拉底是人，

所以，蘇格拉底是有死的。

亞里士多德的模態命題邏輯，不論從歷史觀點還是從系統觀點來看，對於哲學都具有重大意義。——盧卡西維茨

被後人譽為「希臘三賢」（即蘇格拉底、柏拉圖、亞里士多德）之一的亞里士多德，為古希臘的哲學家、柏拉圖的學生、亞歷山大大帝的老師。其對形式邏輯創造出以三段論為主的一種解釋。

現代符號或數理邏輯發展迅速，已遠超古典形式邏輯，許多西方邏輯學家用現代邏輯觀點解釋古典邏輯，但是全面、系統地應用符號邏輯來解釋亞里士多德的三段論的著作不多，這是其中一本。

本書是波蘭邏輯學家盧卡西維茨的一部重要著作。從符號邏輯的觀點，讓亞里士多德的三段論以無括號符號，省略命題中的邏輯連接詞，從而產生更簡潔的論證結構，這就是著名的「波蘭表示法」。這種運算法對二十世紀邏輯和電腦科學產生了深遠影響。

本書共有八章，合計共有六十二小節，包括

1.亞里士多德三段論系統的要素：首先舉例說明何為亞里斯多德式的三段論式。

2.亞里士多德三段論系統的斷定命題：聚焦在有效論證形式的四個格的問題。

3.亞里士多德三段論系統：對亞里斯多德的三段論做一系統性檢討。

4.用符號形式表達的亞里士多德系統：作者開宗明義地說：「它的目的是根據現代形式邏輯的要求，但與亞里士多德所陳述的觀念密切聯繫，構造一個非模態三段論的系統。」

5.判定問題：提到如何檢驗一個推理的正確性問題。

6.亞里士多德的模態命題邏輯：模態邏輯與定言邏輯有所不同。

7.模態邏輯系統：提及「真值表方法」，這是可以運用於一切的邏輯系統。

8.亞里士多德的模態三段論：檢討亞里士多德的各種模態命題所構件的三段論證的檢驗。

從以上即可以理解，現代邏輯發展並非橫空出世，而是與亞里士多德的原創邏輯有著千絲萬縷的關聯，所以本書其實帶有幾分向亞里士多德致敬的意味，也讓對此有興趣的讀者一賞。