羅素養哲學雞

歸納法的困境。 羅素養了一隻哲學雞，每天定時定量餵食，經常帶牠散步，對牠說話，久而久之，牠看起來像一隻有智慧的雞。 羅素餵雞時，必先搖鈴三下，接著雞就出現，然後飽食一餐，這隻聰明的雞，學會了歸納法。 一天有位年輕的哲學家造訪，好客的羅素十分高興，拿起搖鈴搖了起來，雖然這不是餵食時間，雞還是出現， 羅素捉住雞脖子，聰明的雞見主人面露凶光，垂死掙扎說道：「主人，您也要殺我，難道歸納法不可靠嗎？」 白斬雞上了桌，主人將雞的話說了一遍。 客人說：「您殺雞，我吃素啊！」 「您怎麼不早說？我的哲學雞白死了！」 客人挾起一塊雞肉送進嘴裡，吃得津津有味。 羅素驚訝問道：「您不是吃素嗎？」 「沒錯，我吃素，可是我也吃葷。」 ------------------------------------ 傳統邏輯: 在三段論中只有三項，因為在結論中的兩項已經在前提中了，而有一項是兩個前提所公共的。這導致了下列定義: 在結論中的謂詞叫做大項,「P」 在結論中的主詞叫做小項,「S」 公共項叫做中項,「M」 包含大項的前提叫做大前提 包含小項的前提叫做小前提 三段論總是寫成大前提，小前提，結論。所以AII形式的三段論寫成 A M-P 所有貓都是食肉的 I S-M 有些動物是貓 I S-P 有些動物是食肉的 語氣和格 三段論的語氣（mood）由兩個前提的性質和數量來區別。 有八種有效的語氣: AA，AI，AE，AO，IA，EA，EI，OA。 三段論的格（figure）由中項的位置來確定。 在第1格中，亞里士多德認為它是最重要的，因為它最接近的反映了我們的推理過程，中項是大前提中的主詞，小前提中的謂詞。在第2格中，它是兩個前提中的謂詞。 在第3格中，它是兩個前提中的主詞。 在第4格（但是亞里士多德沒有討論它）中，它是大前提中的謂詞，小前提中的主詞。 所以 第1格 第2格 第3格 第4格 M-P P-M M-P P-M S-M S-M M-S M-S S-P S-P S-P S-P 換位和簡約 換位（conversion）是通過重新安排項來簡單的把命題變更成另一個的過程。簡單換位是保持命題的意思的改變。例如 「有些S是P」換位成「有些P是S」 「沒有S是P」換位成「沒有P是S」 「偶然」（per accidens）逆轉涉及到把命題變更成它所蘊涵的另一個不是等同的命題。例如 「所有S是P」換位成「有些P是S」 (注意為了使偶然換位有效，「所有S是P」中涉及到了一個存在性的假定) 按亞里士多德的解釋，他認為只有第一或完美的格是完全透明的推理過程。 不完美的三段論的有效性，只在經過對它的前提的換位，把它轉變成第一格的某個語氣的時候才是明顯的。 這被經院哲學家叫做簡約。 四種命題: A型：全稱的和肯定的（「所有人都是必死的」） I型：特稱的和肯定的（「有些人是哲學家」） E型：全稱的和否定的（「沒有哲學家是富裕的」） O型：特稱的和否定的（「有些人不是哲學家」） 這叫做命題的「四重方案」。（字母A、I、E和O的起源請見下面的「三段論」格言）。 亞里士多德用對立四邊形總結了這四種命題之間的聯繫。 三段論是解釋那些真前提的組合產生真結論的形式理論。 使用William of Shyreswood（1190-1249）在13世紀上半葉寫一本手冊中首次介入的所謂的助記韻文。 Barbara, Celarent, Darii, Ferioque, prioris Cesare, Camestres, Festino, Baroco, secundae Tertia, Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison, habet Quarta insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison. 每個詞表示一個有效的語氣公式並依據下列規則來解釋: 前三個母音指示三個命題的性質和數量， 所以Barbara: AAA, Celarent: EAE並以此類推 在前四個公式之後的每個公式的開端輔音指示這個語氣要簡約到前四個語氣中的哪一個有相同開端輔音的語氣 「s」緊隨在母音之後指示對應的命題在簡約期間要被簡單換位 「p」緊隨在母音之後指示對應的命題要被「部分的」或偶然換位 「m」在公式的前兩個母音之間指示兩個前提要被調換大小前提的角色 「c」在前兩個母音之後出現指示這個前提要被結論的否定所替換，而做「不可能性」簡約，就是說結論的否定和另一個前提推導出這個前提的否定。 有一些與三段論有關的格言和韻文。它們的作者不得而知。例如： 字母A、I、E和O是來自拉丁文Affirmo和Nego的母音。 Asserit A, negat E, sed universaliter ambae Asserit I, negat O, sed particulariter ambo Shyreswood版本的「Barbara」韻文如下: Barbara celarent darii ferio baralipton Celantes dabitis fapesmo frisesomorum; Cesare campestres festino baroco; darapti Felapton disamis datisi bocardo ferison. 還有常見的: Barbara, Celarent, Darii, Ferioque prioris Cesare, Camestres, Festino, Baroco secundae Tertia grande sonans recitat Darapti, Felapton Disamis, Datisi, Bocardo, Ferison. Quartae Sunt Bamalip, Calames, Dimatis, Fesapo, Fresison.