內容簡介
《亞裏士多德的三段論/漢譯世界學術名著叢書》是用現代數理邏輯的觀點解釋亞裏士多德邏輯*重要的部分——三段論理論。《亞裏士多德的三段論/漢譯世界學術名著叢書》全麵、係統地考察瞭亞氏三段論理論,繪齣瞭亞氏三段論理論的嚴格的形式係統。《亞裏士多德的三段論/漢譯世界學術名著叢書》曾對邏輯史的研究産生重大影響,對於把數理邏輯方法運用到其他領域也具有重要意義。
目錄
本書述評
第一版原序
第二版原序
本書所引用的亞裏士多德的原著與注釋的版本
第一章 亞裏士多德三段論係統的要素
§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.結束語
第六章 亞裏士多德的模態命題邏輯
§36.導言
§37.模態函項和它們的相互關係
§38.基本模態邏輯
§39.擴展定律
§40.亞裏士多德對擴展的M-定律的證明
§41.命題之間的必然聯係
§42.“實質”蘊涵還是“嚴格”蘊涵?
§43.分析命題
§44.一個亞裏士多德的悖論
§45.亞裏士多德的偶然性
第七章 模態邏輯係統
§46.真值錶方法
§47.C-N-δ-p係統
§48.δ-定義
§49.模態邏輯的四值係統
§50.必然性和模態邏輯的四值係統
§51.成對的可能性
§52.偶然性和模態邏輯的四值係統
§53.其他某些問題
第八章 亞裏士多德的模態三段論
§54.有兩個必然前提的各式
§55.有一個必然前提和一個實然前提的各式
§56.有一個必然前提和一個實然前提的被排斥的各式
§57.爭論的解決
§58.有可能前提的各式
§59.偶然命題的換位律
§60.糾正亞裏士多德的錯誤
§61.有偶然前提的各式
§62.模態邏輯的哲學涵義
索引
精彩書摘
《亞裏士多德的三段論/漢譯世界學術名著叢書》:
21.一些未解決的問題
亞裏士多德的非模態三段論係統是一個四常項的理論,這四個常項可以由“所有——是”、“沒有——是”、“有些——是”與“有些——不是”來錶示:這些常項是二元的函子。這兩個元由變項錶示,並且僅僅以具體的普遍詞項為值。排除瞭用單一的、空的以及否定詞項等作為它的值,各常項與其元在一起形成四類叫做前提的命題,即“所有A是B”,“沒有A是B”,“有些A是B”和“有些A不是B”。這係統可以稱為“形式邏輯”,因為具體詞項,如“人”或“動物”,並不屬於它而僅係它的應用。這係統不是思維形式的理論,它也不依賴於心理學;正如斯多亞派所正確地觀察到的,它與“大於”關係的數學理論是相似的。
這四類前提藉助於兩個函子“如果——則”與“並且”形成這係統的斷定命題。這些函子屬於命題邏輯,命題邏輯是這係統的輔助理論。在某些證明中,我們會遇見第三個命題函子,即命題的否定“這不是真的……”,簡化地用“非”錶示。這四個亞裏士多德式的常項:“所有——是”“沒有——是”、“有些——是”和“有些——不是”,與三個命題常項:“如果——則”、“並且”與“非”加在一起,就是三段論係統僅有的元素。
這個係統的所有斷定命題,對於在其中齣現的變項的所有的值而言,都是真的。沒有一個亞裏士多德式三段論是作為帶“所以”一詞的推論規則而構成的,如像傳統邏輯那樣。傳統邏輯是一個不同於亞裏士多德三段論係統的係統,而不應當與真正的亞裏士多德邏輯攪混在一起。亞裏士多德劃分三段論為三個格,但是他知道並承認第四格的所有三段論的式。三段論劃分為格沒有什麼邏輯上的重要性,而僅有一個實踐的目的:我們要確信沒有漏掉一個正確的三段論的式。
這係統是公理化的。亞裏士多德取第一格的頭兩個式,Bar-bara與Celarent,作為公理。在這兩條公理之外,我們還應當加上兩條換位定律,因為它們都不能用三段論加以證明。如果我們希望這個係統中有同一律:“所有A是A”,我們就應假定它們是公理。我們能夠得到的最簡單的基礎,是取常項“所有——是”和“有些——是”為原始詞項,憑著它們用命題否定來定義其它兩個常項,並設定四條斷定命題為公理,即兩條同一律和Barbara式與Datisi式,或者Barbara式與Dimaris式。把這個係統建立在僅僅一條公理之上是不可能的,如果“原則”指的是與“公理”相同的東西的話,那麼,尋求亞裏士多德的三段論的原則就是一種徒勞的企圖。“所謂全和零原則”,在這個意義上,也不能是三段論的原則,並且亞裏士多德本人也沒有那樣陳述它。
……
前言/序言
1939年6月,我在剋拉科夫波蘭科學院宣讀瞭一篇論亞裏士多德的三段論的論文。這篇論文的摘要曾於同年排印,但因戰爭的緣故未能齣版。它在戰後纔得以發行,但齣版時間仍標明為“1939年”。1939年夏天,我已用波蘭文寫好一篇談同一主題的更為詳盡的專論,9月間已經收到該文第一部分的校樣,就在這時,齣版所完全毀於轟炸,一切蕩然無存。同時我的全部圖書連同手稿,都遭到轟炸,毀於一炬。要在戰時繼續這項工作是不可能的。
直到十年之後,我纔獲得一個新的機會來再度進行我對於亞裏士多德三段論的研究工作。這一次是在都柏林,從1946年開始直到現在,我一直在那裏的愛爾蘭皇傢科學院講授數理邏輯。我應都柏林大學學院的邀請,於1949年作瞭十次關於亞裏士多德三段論的講演,現在這部著作就是這些講演的成果。
本書僅限於非模態的或者“實然的”三段論,因為與此有關的理論是亞裏士多德邏輯的最重要的部分。這個理論的係統闡述是在《前分析篇》第一捲的第一、第二章與第四至第七章。在外茲的版本(至今已齣版一百多年之久瞭)中的這些章,是我的解說的主要根據。我遺憾未能利用大衛·羅斯爵士編纂並作有導言和評注的、1949年齣版的《前分析篇>的新版本.因為當這個版本齣版時,我的著作的曆史部分已經完成瞭。我僅能利用大衛·羅斯爵士的版本來校正我所引用的亞裏士多德的原文。在《分析篇》希臘文本的英文譯文方麵,我盡可能地遵照亞裏士多德著作的牛津譯本。除瞭《前分析篇》的本文之外,我還考慮瞭古代注釋傢們的意見,特彆是亞曆山大的意見。在這裏我不妨指齣:三段論第四格據說是加倫發明的,有關這一發明的諸曆史問題,能夠得到解決,我就應該感謝一位佚名的古代注釋傢。
現在這本著作包括一個曆史的部分(第一至第三章)和一個體係的部分(第四、第五章)。在曆史部分裏我曾試圖盡可能緊密地依據原文來解說亞裏士多德的學說,但是無論在什麼地方我都企圖從現代形式邏輯的觀點來解釋它們。我認為,今天還不存在對亞裏士多德三段論的可以信賴的闡述。直到現在為止,所有闡述都不是邏輯學傢寫的,而是由哲學傢或語言學傢寫的。這些哲學傢或語言學傢,或者不可能懂得現代形式邏輯(如普蘭特爾)。或者並不懂得現代形式邏輯(如邁爾)。依我看,所有這些闡述都是錯誤的。例如,我未能發現任何一個作者是意識到瞭亞裏士多德式三段論與傳統的三段論之間有著根本差異的。所以,在我看來,我自己的闡述完全是新的。在體係的部分,我曾試圖解釋為理解亞裏士多德三段論所必需的某些現代形式邏輯的理論,並且試圖在亞裏士多德本人所勾畫的輪廓的基礎上使這個三段論係統達到完美。我還切望盡可能地使我的闡述清楚明白,以便那些未曾受過符號思維或數學思維訓練的學者們能夠理解它。因此,我希望我的著作的這一部分可以用作現代形式邏輯的一個導論。
亞裏士多德的三段論/漢譯世界學術名著叢書 epub pdf mobi txt 電子書 下載 2024
亞裏士多德的三段論/漢譯世界學術名著叢書 下載 epub mobi pdf txt 電子書
評分
☆☆☆☆☆
good
評分
☆☆☆☆☆
還沒看
評分
☆☆☆☆☆
愛買書是種病,自從看瞭張之洞的《輶軒語》裏說“買書勿吝”之後,就病入膏肓瞭。要好好看書瞭。
評分
☆☆☆☆☆
還行!!!!!!!
評分
☆☆☆☆☆
還沒看
評分
☆☆☆☆☆
終於等到這本書瞭,一直沒貨……好好學習下!
評分
☆☆☆☆☆
還行,物流快,買書基本在京東自營
評分
☆☆☆☆☆
商品質量好,京東服務好
評分
☆☆☆☆☆
愛買書是種病,自從看瞭張之洞的《輶軒語》裏說“買書勿吝”之後,就病入膏肓瞭。要好好看書瞭。