綁架愛麗絲 之 地下邏輯 024作者: 黃盛
2 The Pool of Tears: 視角1
一池淚水
五
細心的讀者或許會留意到﹐我們一直在強調「翻譯」這個概念。
我們日常用的語言都是自然語言﹐我們討論政治﹑社會﹑倫理﹑法律等問題時都用自然語言﹐再配以某些專用術語。科學家做證明或寫論文時也少不免要輔以自然語言的解說。 綁架愛麗絲 之 地下邏輯 018作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十五
我們還需要兩條規則。
吃論用了兩種聯結詞﹐一為條件號﹐另一為析取號。條件句有兩條規則。條件消去規則就是前面談過的肯定模式﹐以後我們稱它為「條件消去規則」。要是在一個證明中有「p ⊃ q」為前提﹐而其中一