綁架愛麗絲 之 地下邏輯 024作者: 黃盛
2 The Pool of Tears: 視角1
一池淚水
五
細心的讀者或許會留意到﹐我們一直在強調「翻譯」這個概念。
我們日常用的語言都是自然語言﹐我們討論政治﹑社會﹑倫理﹑法律等問題時都用自然語言﹐再配以某些專用術語。科學家做證明或寫論文時也少不免要輔以自然語言的解說。 綁架愛麗絲 之 地下邏輯 016作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十三
要做證明﹐我們還沒有足夠的工具。需要預先解決兩件事情才能對吃論[1]做個完整的證明。首先﹐我們要辨識吃論[1]中使用的所有的真值函應聯結詞; 次之﹐我們要學懂使用一些相關的推論規則。
首先﹐我們要找出真