亞里士多德的三段論 - 城邦阅读花园


	要了解現代邏輯必讀的一本書。　　什麼是亞里士多德的三段論，舉例，　　所有人都是有死的，　　蘇格拉底是人，　　所以，蘇格拉底是有死的。　　亞里士多德的模態命題邏輯，不論從歷史觀點還是從系統觀點來看，對於哲學都具有重大意義。——盧卡西維茨　　被後人譽為「希臘三賢」（即蘇格拉底、柏拉圖、亞里士多德）之一的亞里士多德，為古希臘的哲學家、柏拉圖的學生、亞歷山大大帝的老師。其對形式邏輯創造出以三段論為主的一種解釋。　　現代符號或數理邏輯發展迅速，已遠超古典形式邏輯，許多西方邏輯學家用現代邏輯觀點解釋古典邏輯，但是全面、系統地應用符號邏輯來解釋亞里士多德的三段論的著作不多，這是其中一本。　　本書是波蘭邏輯學家盧卡西維茨的一部重要著作。從符號邏輯的觀點，讓亞里士多德的三段論以無括號符號，省略命題中的邏輯連接詞，從而產生更簡潔的論證結構，這就是著名的「波蘭表示法」。這種運算法對二十世紀邏輯和電腦科學產生了深遠影響。　　本書共有八章，合計共有六十二小節，包括　　1.亞里士多德三段論系統的要素：首先舉例說明何為亞里斯多德式的三段論式。　　2.亞里士多德三段論系統的斷定命題：聚焦在有效論證形式的四個格的問題。　　3.亞里士多德三段論系統：對亞里斯多德的三段論做一系統性檢討。　　4.用符號形式表達的亞里士多德系統：作者開宗明義地說：「它的目的是根據現代形式邏輯的要求，但與亞里士多德所陳述的觀念密切聯繫，構造一個非模態三段論的系統。」　　5.判定問題：提到如何檢驗一個推理的正確性問題。　　6.亞里士多德的模態命題邏輯：模態邏輯與定言邏輯有所不同。　　7.模態邏輯系統：提及「真值表方法」，這是可以運用於一切的邏輯系統。　　8.亞里士多德的模態三段論：檢討亞里士多德的各種模態命題所構件的三段論證的檢驗。　　從以上即可以理解，現代邏輯發展並非橫空出世，而是與亞里士多德的原創邏輯有著千絲萬縷的關聯，所以本書其實帶有幾分向亞里士多德致敬的意味，也讓對此有興趣的讀者一賞。


	目錄出版緣起本書述評第一版原序第二版原序克拉連頓出版社聲明本書所引用的亞里士多德的原著與注釋的版本導言一、盧卡西維茨的生平二、時代背景與社會環境三、盧卡西維茨的學術發展四、西方傳統邏輯的基本原則五、本書值得關注的重點第一章亞里士多德三段論系統的要素一、亞里士多德式三段論的正確形式二、前提和詞項三、為什麼單一詞項被亞里士多德略去了四、變項五、三段論的必然性六、什麼是形式邏輯七、什麼是形式化第二章亞里士多德三段論系統的斷定命題八、斷定命題與推論規則九、三段論的格十、大項、中項和小項十一、關於一個錯誤的歷史十二、前提的次序十三、一些現代注釋家的錯誤十四、加倫的四個格第三章亞里士多德三段論系統十五、完全的和不完全的三段論十六、詞項邏輯與命題邏輯十七、換位法證明十八、歸謬法證明十九、顯示法證明二十、排斥的形式二一、一些未解決的問題第四章用符號形式表達的亞里士多德系統二二、符號系統的說明二三、演繹理論二四、量詞二五、三段論系統的基本要素二六、三段論的斷定命題的推導二七、排斥的表達式的公理和規則二八、我們的公理和規則不充分第五章判定問題二九、不能判定的表達式的數目三十、斯盧派斯基的排斥規則三一、演繹的等值式三二、化歸為初等表達式三三、三段論系統的初等表達式三四、三段論系統的一個算術的解釋三五、結束語第六章亞里士多德的模態命題邏輯三六、導言三七、模態函項和它們的相互關係三八、基本模態邏輯三九、擴展定律四十、亞里士多德對擴展的M-定律的證明四一、命題之間的必然連繫四二、「實質」蘊涵還是「嚴格」蘊涵？四三、分析命題四四、一個亞里士多德的悖論四五、亞里士多德的偶然性第七章模態邏輯系統四六、真值表方法四七、C—N—δ—p系統四八、δ-定義四九、模態邏輯的四值系統五十、必然性和模態邏輯的四值系統五一、成對的可能性五二、偶然性和模態邏輯的四值系統五三、其他某些問題第八章亞里士多德的模態三段論五四、有兩個必然前提的各式五五、有一個必然前提和一個實然前提的各式五六、有一個必然前提和一個實然前提的被排斥的各式五七、爭論的解決五八、有可能前提的各式五九、偶然命題的換位律六十、糾正亞里士多德的錯誤六一、有偶然前提的各式六二、模態邏輯的哲學含義索引