@book {83525, title = {亞里士多德的三段論}, year = {2025}, month = {06/2025}, publisher = {五南}, organization = {五南}, abstract = {

  要了解現代邏輯必讀的一本書。
  什麼是亞里士多德的三段論,舉例,
  所有人都是有死的,
  蘇格拉底是人,
  所以,蘇格拉底是有死的。

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

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

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

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

  本書共有八章,合計共有六十二小節,包括
  1.亞里士多德三段論系統的要素:首先舉例說明何為亞里斯多德式的三段論式。
  2.亞里士多德三段論系統的斷定命題:聚焦在有效論證形式的四個格的問題。
  3.亞里士多德三段論系統:對亞里斯多德的三段論做一系統性檢討。
  4.用符號形式表達的亞里士多德系統:作者開宗明義地說:「它的目的是根據現代形式邏輯的要求,但與亞里士多德所陳述的觀念密切聯繫,構造一個非模態三段論的系統。」
  5.判定問題:提到如何檢驗一個推理的正確性問題。
  6.亞里士多德的模態命題邏輯:模態邏輯與定言邏輯有所不同。
  7.模態邏輯系統:提及「真值表方法」,這是可以運用於一切的邏輯系統。
  8.亞里士多德的模態三段論:檢討亞里士多德的各種模態命題所構件的三段論證的檢驗。

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

作者簡介

盧卡西維茨(Jan {\L}ukasiewicz,1878-1956)
在烏克蘭西部利沃夫出生,為波蘭知名的哲學家與邏輯學家。他求學時對數學很有興趣,後來進入廉堡大學學習數學和哲學,於1902年取得博士學位,並獲皇室頒授一枚鑽石博士戒指;1906-1915年任利沃大學教授;1919年擔任波蘭教育部長;1920-1939年,創立華沙邏輯學院,培養出塔斯基這位高徒而成為國際知名學院,許多蜚聲國際的邏輯學者後來都來自於此;1922-1932年,兩度擔任華沙大學校長;1951-1939年任華沙大學教授;1946年起(第二次世界大戰後)任愛爾蘭皇家科學院教授。

《亞里士多德的三段論》為盧卡西維茨在邏輯學的主要著作,另著有《邏輯中的歸納法和因果關係問題》、《概率論的基礎理論》、《第一個多值邏輯系統的構造,並用以構造模態邏輯系統》、《為形式邏輯和數學表達式而制訂的一種創造性的語言》(即盧卡西維茨沒有括號的符號系統),以及四十餘篇單篇論文等。

因為有盧卡西維茨,波蘭成為數理邏輯的世界中心之一,人才輩出。\ 

}, isbn = {9786263669314}, author = {Jan {\L}ukasiewicz} }