綁架愛麗絲 之 地下邏輯 035

綁架愛麗絲 之 地下邏輯 035

更新於 發佈於 閱讀時間約 2 分鐘

作者: 黃盛

4 The Rabbit Sends a Little Bill: 重言式/析取消去派生規則

兔子送上一張小賬單 or 兔子派遣一隻小比爾

raw-image

讓我們嘗試分析另一個句子﹐或許能夠多找到一點分析 F1 (雪貂是雪貂) 或 F2 (雪貂 = 雪貂) 或 F3 (x = X) 的靈感。

D1 恐龍是爬行動物。

這是一個歸類句式﹐無需解釋﹐用接近經典邏輯的語言分析﹐ 大概可以理解為

D2 如某物是恐龍﹐那麼該物是爬行動物。

為方便閱讀﹐我們引入兩對方括號﹐並重寫 D2

D3 如 [某物] 是恐龍﹐那麼 [該物] 是爬行動物。

「該物」指稱的就是「某物」指稱的個體﹐我們代入同一個變元「z」:

D4 如 [z] 是恐龍﹐那麼 [z] 是爬行動物。

如果讀者還記得﹐這是一個條件句的句式。我們將每一對方括號的範圍擴大至包括整

個成份句﹐並得出

D5 [z 是恐龍] ⊃ [z 是爬行動物]

D5 其實就是我們在第一章說的「p q」句式的一個案例。如果我們這樣去理解﹐F1 便有這個形式:

F4 [x 是 雪貂] ⊃ [x 是 雪貂]

F3 的分析此時可以派上用場﹐以大寫「X」代表由雪貂組成的集(或類)﹐F4 便可以寫作:

F5 [x X] ⊃ [x X]

因為 F5 的前件和後件是同一命題﹐所以 F5 實際上只有一個成份句([x X])﹐並有以下的真值表:

真值表[8]: 雪貂就是雪貂

真值表[8]: 雪貂就是雪貂

我們說過﹐條件句只在一個情況之下為假: 就是前件真而後件假。但仔細地看一下真值表[8] (即 F5 的真值表)﹐我們發覺根本就沒有前件真而後件假這個選項﹐即窮盡所有真值配對的可能性﹐ 沒有假的可能性﹐也就是說﹐ 在任何情況之下都是真的。

但不要忘記﹐F5 是分析 F1 而得出的結果﹐故此 F1 在任何情況之下都是真的。「雪貂就是雪貂」在任何情況之下都是真的﹐就是這個意義下的「肯定」。公爵夫人會因為白兔找不到它丟失的東西而砍掉白兔的頭顱是無可避免的事情﹔白兔私下如是認為。

這種句式 (F1) 在邏輯學上碰巧有一個名字﹐稱為「tautology」,漢譯有「重言式」﹑「恆真句式」或「套套言」。42Tautology」來自古希臘語,是「tauto」(同樣)+「logos」(話語)的組合,即重複說過的話的意思,所以「重言式」是比較準確的漢譯。

____________________

42 「套套言」應是音譯,而「恆真句式」則過譯了。

-| 再往下跳 ﹏﹏﹏>

avatar-img
sen的沙龍
9會員
386內容數
我們這裡談兩個東西: 哲學和邏輯,以及與哲學和邏輯相關的東西。 首先開設的房間是《綁架愛麗絲 之 地下邏輯》。 隨後將陸續開設《綁架愛麗絲 之 鏡像語言》和《上古漢語的邏輯結構》。 聯絡作者﹕sen.wong@protonmail.com
留言
avatar-img
留言分享你的想法!
sen的沙龍 的其他內容
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 五 數學工作者書寫恆等式是尋常事﹐譬如「9 = 9」或「6 = 4+2」等。為什麼數學工作者可以這麼輕鬆地做這種陳述﹐即一個恆等式中的等號的左項與等號的右項同一或等值? 因為一個恆等式中的等號的左
愛麗絲的姊姊輕輕地拂去從樹上飄落到她臉上的枯葉,並說﹕ 「醒醒吧,親愛的愛麗絲!真是的,睡得這麼久!」 「哎喲,我做了一個好奇怪的夢啊!」 ...
國王搓著雙手說﹕ 「這是我們迄今為止聽到的最重要的證據,所以現在讓陪審團來 ...」。 愛麗絲一反常態,隨口便插話 ,因為在過去的幾分鐘裡,她長大了,便不再戰戰兢競了﹕ 「如果他們中有人能解釋一下,我會給他六...
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 五 數學工作者書寫恆等式是尋常事﹐譬如「9 = 9」或「6 = 4+2」等。為什麼數學工作者可以這麼輕鬆地做這種陳述﹐即一個恆等式中的等號的左項與等號的右項同一或等值? 因為一個恆等式中的等號的左
愛麗絲的姊姊輕輕地拂去從樹上飄落到她臉上的枯葉,並說﹕ 「醒醒吧,親愛的愛麗絲!真是的,睡得這麼久!」 「哎喲,我做了一個好奇怪的夢啊!」 ...
國王搓著雙手說﹕ 「這是我們迄今為止聽到的最重要的證據,所以現在讓陪審團來 ...」。 愛麗絲一反常態,隨口便插話 ,因為在過去的幾分鐘裡,她長大了,便不再戰戰兢競了﹕ 「如果他們中有人能解釋一下,我會給他六...