綁架愛麗絲 之 地下邏輯 0394 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
八
現在我們嘗試用命題邏輯 (propositional logic: 即命題的邏輯或語句的邏輯) 語言給予愛麗絲那漫不經心的推理一個形式化表述; 凡例先 綁架愛麗絲 之 地下邏輯 0384 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
七
讓我們稱這個論理 (argument) 為「吃論[2]」。
我們先看一下這個論理的假設 (前提)。假設有兩個:
吃上一口糕餅肯定會使她的身形發生變 綁架愛麗絲 之 地下邏輯 037作者: 黃盛
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
六
兔子丟了什麼﹖
愛麗絲猜想它丟的是她先前見過的那把扇子和那雙白色的羊羔皮手套﹐於是好意地幫它尋找起來﹐卻發現環境全都變了﹐池塘不見了 綁架愛麗絲 之 地下邏輯 036作者: 黃盛
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
五
到此為止屬於來自邏輯的幽默﹐但不懂一些初級的邏輯技倆不要緊﹐卡羅有兩手準備﹐還有來自修辭的幽默。
雪貂是什麼東西﹖
雪貂本是野生動 綁架愛麗絲 之 地下邏輯 035作者: 黃盛
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
四
讓我們嘗試分析另一個句子﹐或許能夠多找到一點分析 F1 (雪貂是雪貂) 或 F2 (雪貂 = 雪貂) 或 F3 (x = X) 的 綁架愛麗絲 之 地下邏輯 034作者: 黃盛
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
三
按照上述的理解,我們可以採用精細一點的符號再進一步分析。我們用小寫字母代表個體名稱 (譬如指稱葛洪其人的「葛洪」) 及用大寫字母代表集 綁架愛麗絲 之 地下邏輯 033作者: 黃盛
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
二
我們將「雪貂 (就) 是雪貂」寫作
F1 雪貂是雪貂
這是我們要處理的句子。應該如何理解這個句式是問題所在。這是邏輯學家的工作,也 綁架愛麗絲 之 地下邏輯 032作者: 黃盛
4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則
兔子送上一張小賬單 or 兔子派遣一隻小比爾
白兔走近愛麗絲。牠在尋找牠丟失的手套和扇子。
記得嗎? 不久之前,愛麗絲的突然出現嚇破了白兔的膽子。當時白兔只顧往暗處奔逃,把手套和扇子都