傳統邏輯

傳統邏輯，也叫做詞項邏輯，是關於亞里士多德所開創的傳統邏輯學的寬鬆的術語，並有幸的沒有經歷廣泛的改變，直到十九世紀末出現了謂詞邏輯。有時很難理解在弗雷格和羅素之前的哲學，原因是對他們之前的所有哲學家們所共識的術語和觀念沒有基本的掌握。本文提供對傳統系統的基本介紹，和對進一步閱讀的建議。亞里士多德系統.亞里士多德的六篇邏輯學著作被收錄在《工具論》中。特別是其中叫做《前分析篇》和《解釋篇》的兩篇包含了亞里士多德對斷定和形式推理的處理的核心，並且是亞里士多德的著作中與詞項邏輯有關的主要部分。基礎.在理論背後的基本假定是命題由兩項組成 - 這是名稱“二項理論”或“詞項邏輯”的而推理過程依次建造自命題:命題可以是全稱的，並且可以是肯定的或否定的。所以有四種命題:這叫做命題的“四重方案”。。亞里士多德用對立四邊形總結了這四種命題之間的聯絡。三段論是解釋那些真前提的組合產生真結論的形式理論。項.項是命題的基本構件。希臘語horos還有拉丁語terminus的最初意思是“極端”或“邊界”。兩個項加之於命題的外面，由確認或否認的動作連結在一起。對於亞里士多德，項簡單的就是作為命題的一部分的一個“事物”。對於早期的現代邏輯學家如Arnauld(他的《Port Royal邏輯》在過去某個時期是最周知的教科書)它是一個認知實體如“觀念”或“概念”。Mill認為它是一個詞。這些解釋都不是令人非常滿意的。在斷言某個事物是獨角獸的時候，我們根本就沒有斷言“任何事物”。“所有希臘人都是人”表示的既不是希臘人的概念是人的概念，也不是“希臘人”這個詞是“人”這個詞。命題不能建造自真實事物或觀念，但是它也不只是無意義的詞。這是關於語言的意義的仍未完全解決的問題。。命題.在詞項邏輯中，“命題”，所以前提也是一種詞的形式。但是，在現代哲學邏輯中，命題現在意味著作為發表判決的結果而斷言的那個東西，並被當作有獨特的精神或意圖的某種事物。在Frege-Russell之前的作家比如Bradley，有時把“判斷”這個詞，意味著一個評判或判斷，所以等同於“命題”。命題的性質是它是肯定的。所以“所有人都是必死的”是肯定的，因為“人”確認了“必死的”；“沒有人是不死的”是否定的，因為“人”否認了“不死的”。命題的數量是它是全稱的("全部"主詞確認或否認謂詞)還是特稱的("部分"主詞確認或否認謂詞)。單稱項.單稱和全稱之間的區別是亞里士多德的形而上學的基礎，而不只是在文法上。對於亞里士多德而言單稱項是帶有隻能稱謂一個事物的本性的項，比如“Callias”。。它不能稱謂多於一個事物:“蘇格拉底”不能稱謂多於一個主體，所以我們不能象說“所有人”那樣說“所有蘇格拉底”。(Metaphysics D 9, 1018 a4)。它可以被刻畫為文法上的謂詞，比如在句子“從這條路過來的人是Callias”。但是它仍是邏輯上的主詞。他把它對比於“全稱”。全稱項是亞里士多德邏輯的基本素材，包含單稱項的命題根本就不構成它的一部分。它們在解釋篇中被簡要的提及了。後來在前分析篇的章節中，亞里士多德有系統的陳述了他的三段論理論，它們被完全忽略了。這種忽略的原因是很清楚的。項邏輯的根本特徵是，在兩個前提中的四個項中，有一項必須出現兩次。比如所有希臘人都是人所有人都是必死的。在一個前提中是主詞，在另一個前提中是謂詞，所以必須從邏輯中排除掉不能充當主詞和謂詞二者的任何項。單稱項不能以這種方式運用，所以它們被從亞里士多德的邏輯中忽略掉了。在三段論的後來版本中，單稱項被當作全稱的來處理。Port Royal邏輯》的第3章第2部分中的例子。比如所有人都是必死的所有蘇格拉底都是人所有蘇格拉底都是必死的這是明顯的蠢笨的，是Frege用以破壞性攻擊這個系統的缺點。念和物件。著名的三段論“蘇格拉底是人...”，經常被作為亞里士多德的想法來引用。app的《傳統邏輯的希臘基礎》New York 1942, p.17，Copleston的《哲學史》Vol. I. P. 277，羅素的《西方哲學史》London 1946 p. 218中的例子。實際上它在工具論中沒有出現過。它首次被提及是在塞克斯都斯·恩比利克斯 (Hyp. Pyrrh. ii. 164)中。三段論.在三段論中只有三項，因為在結論中的兩項已經在前提中了，而有一項是兩個前提所公共的。這導致了下列定義:三段論總是寫成大前提，小前提，結論。所以AII形式的三段論寫成A M-P 所有貓都是食肉的I S-M 有些動物是貓I S-P 有些動物是食肉的語氣和格.三段論的語氣由兩個前提的性質和數量來區別。有八種有效的語氣: AA，AI，AE，AO，IA，EA，EI，OA。三段論的格中，它是大前提中的謂詞，小前提中的主詞。所以換位和簡約.換位是透過重新安排項來簡單的把命題變更成另一個的過程。簡單換位是保持命題的意思的改變。例如“偶然”逆轉涉及到把命題變更成它所蘊涵的另一個不是等同的命題。例如按亞里士多德的解釋，他認為只有第一或完美的格是完全透明的推理過程。不完美的三段論的有效性，只在經過對它的前提的換位，把它轉變成第一格的某個語氣的時候才是明顯的。這被經院哲學家叫做簡約。解說簡約的規則是最容易的，使用在十三世紀上半葉寫一本手冊中首次介入的所謂的助記韻文。Barbara, Celarent, Darii, Ferioque, priorisCesare, Camestres, Festino, Baroco, secundaeTertia, Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison, habetQuarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison.每個詞表示一個有效的語氣公式並依據下列規則來解釋:有一些與三段論有關的格言和韻文。它們的作者不得而知。例如：字母A、I、E和O是來自拉丁文Affirmo和Nego的母音。Asserit A, negat E, sed universaliter ambaeAsserit I, negat O, sed particulariter amboShyreswood版本的“Barbara”韻文如下:Barbara celarent darii ferio baraliptonCelantes dabitis fapesmo frisesomorum;Cesare campestres festino baroco; daraptiFelapton disamis datisi bocardo ferison.還有常見的:Barbara, Celarent, Darii, Ferioque priorisCesare, Camestres, Festino, Baroco secundaeTertia grande sonans recitat Darapti, FelaptonDisamis, Datisi, Bocardo, Ferison.Quartae Sunt Bamalip, Calames, Dimatis, Fesapo, Fresison.命題邏輯的發端.斯多葛學派的學者特別是Chrysippus繼承了亞里士多德的邏輯學傳統，他們貢獻了針對一般命題的五個推理形式和排中律：詞項邏輯的衰落.詞項邏輯在它歷史上的大多數時期統治著邏輯學，直到一個世紀前出現了謂詞邏輯，在十九世紀晚期和二十世紀早期導致了它的衰落。衰落的最終原因是新邏輯在數學推理上的優勢，它就是為此設計的。例如，詞項邏輯不能解說從“所有轎車都是交通工具”到“所有轎車的主人都是交通工具的主人”的推理，而這對於謂詞邏輯是很基本的事情。它被限制於三段論論證，並且不能解說涉及到多重普遍性的推理。關係和同一性必須被作為主詞-謂詞關係來處理，這使得數學的同一性陳述難於處理，當然還有單稱項和單稱命題，它們對於現代謂詞邏輯是基本性的，根本就不能適當的描述。但是要注意，衰落是緩慢的過程。它不是在1890年-1910年的“弗雷格-羅素”時代一夜之間消失的。這個過程持續了大約70年。蒯因的《邏輯方法》為三段論投入了很大的篇幅，而Joyce的1949年最終版本的手冊根本就沒有提及弗雷格或羅素。#重定向修正後的邏輯.謂詞邏輯的革新導致對傳統系統的幾乎完全的捨棄。它在標準課本的介紹中被辱罵和詆譭。但是，它也不是徹底的被廢棄的。項邏輯仍是天主教學校的課程的一部分直到二十世紀後半葉，即使是在今天在有的地方仍被教授著。最近，一些哲學家開始做修正工作來恢復某些項邏輯的基本思想。他們對現代邏輯主要抱怨是甚至正統的和完全主流的哲學家比如Gareth Evans已經表示了不滿:"我達成了對喜好“主音”理論的語義調查；這種理論嘗試嚴肅考慮語言中實際存在的語法和語義設施...我更喜好[這種]理論...超過只能透過"發現"隱藏的邏輯永恆來處理[形如"所有A都是B"的句子]的理論...反對的理由不是這種[Frege的]真理條件不正確，而是在我們越發深愛有更嚴密的解說的東西的意義上，句子的語法形態被處理成同令人誤解的表面結構一樣多了" (Evans 1977)問題是“舊的詞項邏輯不被教授了，而現代的謂詞邏輯又太難於教授了”。一百年前上學的孩子被教授了一種可用形式的形式邏輯，而今天–在資訊時代–他們卻沒有被教授任何東西。引用., 1951. "Aristotle's Syllogistic, from the Standpoint of Modern Formal Logic". Clarendon Press, Oxford.