綁架愛麗絲 之 地下邏輯 014

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

1 Down the rabbit hole: 論理型

掉下兔子洞

十二

有了上述的一點邏輯知識背境,讓我們重抄一遍愛麗絲的毒藥論﹐然後討論幾個邏輯問題。這是愛麗絲的毒藥論:

毒藥論[1]

毒藥論[1]

我們稱這個愛麗絲用自然語言說出來的推理為「毒藥論 [1]」﹐然後我們約定如下:

  • P = 瓶子標著「毒藥」(Poison)
  • H = 飲用瓶子里的水便有害健康 (Health)


那麼毒藥論 [1]可以寫作

毒藥論 [2]

毒藥論 [2]

純用邏輯符號翻譯毒藥論毒藥論便有這個形式﹕

毒藥論[3]

毒藥論[3]

愛麗絲的小腦袋如是思考。

思考有了結果便行動﹐愛麗絲大起膽子﹐試了一試味道﹐還挺美味的 (一種混合著櫻桃餅撻﹑蛋奶糊﹑菠蘿﹑烤火雞﹑牛奶糖﹑熱奶油面包的味道)﹐於是想也不想﹐一口氣就把一瓶的飲料喝光了。果然不是毒藥﹐而且如願以償﹐她的身體竟然像望遠鏡般縮小。

「果然不是毒藥」﹐但愛麗絲的推論是錯的。

「果然不是毒藥」不能證明愛麗絲的毒藥論是正確的。

條件句的前件的否定不能證明後件的否定就是對 (真) 的﹐即使碰巧後件是個真句

愛麗絲的親身體驗證明她的論理的結論是真的﹐但真的結論不能證明她的論理有效

我們要搞清楚幾點。

第一點﹐真結論不能證明論理 (argument) 的有效性(validity)。

用最淺白的例子解釋﹐請看下方的論理:

大學論

大學論

我們稱這個論理為「大學論」。

結論「立命館大學是一所日本大學」是個事實﹐因此是個真句﹐但大學論不是個有效論理。如果我們用「G」代表「哥廷根大學位於德國」﹑「D」代表「哥廷根大學是一所德國大學」﹑「R」代表「立命館大學是一所日本大學」﹐我們立刻便見到結論和前提之間完全沒有關連,雖然 GDR 都是真句:

raw-image

一般化後有這個論理型﹕

論理型 [3號]﹕無效

論理型 [3號]﹕無效

「沒有關連」是指在形式上沒有關連。

我們現在應用的邏輯有時也籠統地稱作「形式邏輯」(formal logic),因為這個邏輯關心的是形式。

有效論理的首要條件是前提和結論有形式上的關連﹕結論起碼要出現在前提之中一次。

R」(論理型 [3號] 中的「r」) 顯然沒有在前提中出現過。如果這樣的論理可以成立﹐根據它的形式﹐我們根本無需引用「GD」(論理型[3號]中的「pq」) 的形式,乾脆提出「R」(論理型 [3號] 中的「r」或任一句子) 便算了。但雖然「R」碰巧是個真句 (事實上,「GD」也碰巧是個真句)﹐我們不可以作出大學論那樣的推論。

結論的真假與論理的有效性完全沒有關係。

第二點,一個無效論理 (invalid argument)﹐即使前提皆真﹐也不能保證結論為真以下便是這樣的一個例子。我們稱它為「信仰論」。19

信仰論

信仰論

約2,300年前﹐阿里士多德已經發現這個論理型是無效的。所謂無效是指形式上無效。信仰論中的兩個前提皆真﹐但結論明顯是假。

有效的論理型就像個立方體模胚﹐成為一個製造立方體鑄件的標準。如果不用立方體模胚﹐便不會製造出特定的立方體鑄件。

我們的信仰論就不是用「立方體」模胚鑄造出來的產品﹐因此不能作準。

一個無效論理﹐即使碰巧前提皆真﹐結論也可能是假的。

但切記,前提和結論皆真不是論理有效性的保障

大學論信仰論呈現出一個有趣的案例: 在前提皆真的情況下,前者的結論真,後者的結論假。這說明真前提不是真結論的保證。邏輯的一個目的就是要清除偶然和巧合: 大學論中的真結論僅僅是一個偶然。

邏輯所要求的保證是形式上的保證

所以﹐第三點,一個有效論理要求在前提皆真的情況下即保證結論為真

論理的有效性間接保證結論的真實性。「間接」﹐因為要保證結論為真需要兩個條件:

  • 一,論理有效 (形式上);
  • 二,前提皆真。缺一不可。


一個有效論理在形式上作出保證: 如果前提皆真,結論必真。

一個有效論理對所輸入的前提真假不作保證。

當我們說愛麗絲的毒藥論無效﹐我們的意思是說﹐愛麗絲的毒藥論在形式上無效。但「無效」或「有效」就是形式特性 (formal properties)﹐所以「在形式上無效」便是冗贅。我們單用「無效」或「有效」就可以了。

當我們用「無效」或「有效」時﹐這兩個語詞的應用幅度維持在形式論述之內。

____________________

19 伊斯蘭稱其上帝為「阿拉」,基本意義還是一個創造世界萬物的神或上帝,因此只是用語的差別。

-| 再往下跳 ﹏﹏﹏>





留言
avatar-img
留言分享你的想法!
avatar-img
sen的沙龍
9會員
401內容數
我們這裡談兩個東西: 哲學和邏輯,以及與哲學和邏輯相關的東西。 首先開設的房間是《綁架愛麗絲 之 地下邏輯》。 隨後將陸續開設《綁架愛麗絲 之 鏡像語言》和《上古漢語的邏輯結構》。 聯絡作者﹕sen.wong@protonmail.com
sen的沙龍的其他內容
2024/06/27
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 五 數學工作者書寫恆等式是尋常事﹐譬如「9 = 9」或「6 = 4+2」等。為什麼數學工作者可以這麼輕鬆地做這種陳述﹐即一個恆等式中的等號的左項與等號的右項同一或等值? 因為一個恆等式中的等號的左
Thumbnail
2024/06/27
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 五 數學工作者書寫恆等式是尋常事﹐譬如「9 = 9」或「6 = 4+2」等。為什麼數學工作者可以這麼輕鬆地做這種陳述﹐即一個恆等式中的等號的左項與等號的右項同一或等值? 因為一個恆等式中的等號的左
Thumbnail
2024/05/06
愛麗絲的姊姊輕輕地拂去從樹上飄落到她臉上的枯葉,並說﹕ 「醒醒吧,親愛的愛麗絲!真是的,睡得這麼久!」 「哎喲,我做了一個好奇怪的夢啊!」 ...
Thumbnail
2024/05/06
愛麗絲的姊姊輕輕地拂去從樹上飄落到她臉上的枯葉,並說﹕ 「醒醒吧,親愛的愛麗絲!真是的,睡得這麼久!」 「哎喲,我做了一個好奇怪的夢啊!」 ...
Thumbnail
2024/05/04
國王搓著雙手說﹕ 「這是我們迄今為止聽到的最重要的證據,所以現在讓陪審團來 ...」。 愛麗絲一反常態,隨口便插話 ,因為在過去的幾分鐘裡,她長大了,便不再戰戰兢競了﹕ 「如果他們中有人能解釋一下,我會給他六...
Thumbnail
2024/05/04
國王搓著雙手說﹕ 「這是我們迄今為止聽到的最重要的證據,所以現在讓陪審團來 ...」。 愛麗絲一反常態,隨口便插話 ,因為在過去的幾分鐘裡,她長大了,便不再戰戰兢競了﹕ 「如果他們中有人能解釋一下,我會給他六...
Thumbnail
看更多
你可能也想看
Thumbnail
TOMICA第一波推出吉伊卡哇聯名小車車的時候馬上就被搶購一空,一直很扼腕當時沒有趕緊入手。前陣子閒來無事逛蝦皮,突然發現幾家商場都又開始重新上架,價格也都回到正常水準,估計是官方又再補了一批貨,想都沒想就立刻下單! 同文也跟大家分享近期蝦皮購物紀錄、好用推薦、蝦皮分潤計畫的聯盟行銷!
Thumbnail
TOMICA第一波推出吉伊卡哇聯名小車車的時候馬上就被搶購一空,一直很扼腕當時沒有趕緊入手。前陣子閒來無事逛蝦皮,突然發現幾家商場都又開始重新上架,價格也都回到正常水準,估計是官方又再補了一批貨,想都沒想就立刻下單! 同文也跟大家分享近期蝦皮購物紀錄、好用推薦、蝦皮分潤計畫的聯盟行銷!
Thumbnail
每年4月、5月都是最多稅要繳的月份,當然大部份的人都是有機會繳到「綜合所得稅」,只是相當相當多人還不知道,原來繳給政府的稅!可以透過一些有活動的銀行信用卡或電子支付來繳,從繳費中賺一點點小確幸!就是賺個1%~2%大家也是很開心的,因為你們把沒回饋變成有回饋,就是用卡的最高境界 所得稅線上申報
Thumbnail
每年4月、5月都是最多稅要繳的月份,當然大部份的人都是有機會繳到「綜合所得稅」,只是相當相當多人還不知道,原來繳給政府的稅!可以透過一些有活動的銀行信用卡或電子支付來繳,從繳費中賺一點點小確幸!就是賺個1%~2%大家也是很開心的,因為你們把沒回饋變成有回饋,就是用卡的最高境界 所得稅線上申報
Thumbnail
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 七 愛麗絲的懷疑論 (skepticism) 來自一個非常簡單的推理: 首先﹐如前述﹐結論可能是個無意義的句子﹐如果不是矛盾的話。 第二﹐推論無效。我們見不到前提和結論之間的必然性,即前提和結
Thumbnail
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 七 愛麗絲的懷疑論 (skepticism) 來自一個非常簡單的推理: 首先﹐如前述﹐結論可能是個無意義的句子﹐如果不是矛盾的話。 第二﹐推論無效。我們見不到前提和結論之間的必然性,即前提和結
Thumbnail
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 三 假設「你是誰」是個問題的話﹐毛毛蟲是否從哲學的角度提問呢? 這不是沒有可能的事﹐但實話實說﹐我們真的不知道。文本沒有足夠的資訊告訴讀者毛毛蟲是位哲學家而牠的問題是個哲學問題。但如果毛毛蟲是位哲
Thumbnail
5 Advice from a Caterpillar: 一個哲學問題 / 視角2 毛毛蟲的忠告 三 假設「你是誰」是個問題的話﹐毛毛蟲是否從哲學的角度提問呢? 這不是沒有可能的事﹐但實話實說﹐我們真的不知道。文本沒有足夠的資訊告訴讀者毛毛蟲是位哲學家而牠的問題是個哲學問題。但如果毛毛蟲是位哲
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十六 好了,我們現在有足夠的工具 (概念+推論規則) 來處理吃論[1]了。 要判斷愛麗絲的吃論[1]是否有效﹐基本上有兩個途逕: (甲) 直接證明 (direct proof): 直接證明沒有什麼花巧﹐就是
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十六 好了,我們現在有足夠的工具 (概念+推論規則) 來處理吃論[1]了。 要判斷愛麗絲的吃論[1]是否有效﹐基本上有兩個途逕: (甲) 直接證明 (direct proof): 直接證明沒有什麼花巧﹐就是
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十五 我們還需要兩條規則。 吃論用了兩種聯結詞﹐一為條件號﹐另一為析取號。條件句有兩條規則。條件消去規則就是前面談過的肯定模式﹐以後我們稱它為「條件消去規則」。要是在一個證明中有「p ⊃ q」為前提﹐而其中一
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十五 我們還需要兩條規則。 吃論用了兩種聯結詞﹐一為條件號﹐另一為析取號。條件句有兩條規則。條件消去規則就是前面談過的肯定模式﹐以後我們稱它為「條件消去規則」。要是在一個證明中有「p ⊃ q」為前提﹐而其中一
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十四 繞道: 要分析吃論,我們還要學懂使用推論規則 (rules of inference)。 命題邏輯可以用不同風格的推演系統表達。我們用自然演繹方法 (natural deduction)。自然演繹系統好
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十四 繞道: 要分析吃論,我們還要學懂使用推論規則 (rules of inference)。 命題邏輯可以用不同風格的推演系統表達。我們用自然演繹方法 (natural deduction)。自然演繹系統好
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十三 要做證明﹐我們還沒有足夠的工具。需要預先解決兩件事情才能對吃論[1]做個完整的證明。首先﹐我們要辨識吃論[1]中使用的所有的真值函應聯結詞; 次之﹐我們要學懂使用一些相關的推論規則。 首先﹐我們要找出真
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 十三 要做證明﹐我們還沒有足夠的工具。需要預先解決兩件事情才能對吃論[1]做個完整的證明。首先﹐我們要辨識吃論[1]中使用的所有的真值函應聯結詞; 次之﹐我們要學懂使用一些相關的推論規則。 首先﹐我們要找出真
Thumbnail
1 Down the rabbit hole: 論理型 掉下兔子洞 十二 有了上述的一點邏輯知識背境,讓我們重抄一遍愛麗絲的毒藥論﹐然後討論幾個邏輯問題。這是愛麗絲的毒藥論: 我們稱這個愛麗絲用自然語言說出來的推理為「毒藥論 [1]」﹐然後我們協定如下: P = 瓶子標著
Thumbnail
1 Down the rabbit hole: 論理型 掉下兔子洞 十二 有了上述的一點邏輯知識背境,讓我們重抄一遍愛麗絲的毒藥論﹐然後討論幾個邏輯問題。這是愛麗絲的毒藥論: 我們稱這個愛麗絲用自然語言說出來的推理為「毒藥論 [1]」﹐然後我們協定如下: P = 瓶子標著
Thumbnail
1 Down the rabbit hole: 論理型 掉下兔子洞 八 我們丟下愛麗絲太久了,趕緊回去找她。 雖然愛麗絲並不懂得「邏輯學」﹐但在查看瓶子有否貼上「毒藥」標記的時候﹐她無疑是在進行推理﹐盡管推理出錯了。是的,錯了。愛麗絲的推理是這樣的: ... 如果喝了過多
Thumbnail
1 Down the rabbit hole: 論理型 掉下兔子洞 八 我們丟下愛麗絲太久了,趕緊回去找她。 雖然愛麗絲並不懂得「邏輯學」﹐但在查看瓶子有否貼上「毒藥」標記的時候﹐她無疑是在進行推理﹐盡管推理出錯了。是的,錯了。愛麗絲的推理是這樣的: ... 如果喝了過多
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 六 我們可以這樣看條件句式: 條件句提出了前件與後件之間的一個假設的關係。關於前述的三條小規則﹕握撥火棒的時間太久和燒壞手大概有某種關係; 小刀在手指上割了很深的口子和出血大概有某種關係; 喝了過多標著「毒藥」
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉下兔子洞 六 我們可以這樣看條件句式: 條件句提出了前件與後件之間的一個假設的關係。關於前述的三條小規則﹕握撥火棒的時間太久和燒壞手大概有某種關係; 小刀在手指上割了很深的口子和出血大概有某種關係; 喝了過多標著「毒藥」
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉進兔子洞 五 「喝我」? 我沒有那麼笨﹐你要我喝你我便喝你嗎? 愛麗絲心裡想。愛麗絲是個小心聰明的孩子哩。愛麗絲記得她讀過好幾個很精彩的小故事: 關于孩子們如何被燒傷,如何被野獸吃掉,以及如何發生了其他一些令人不愉快
Thumbnail
作者: 黃盛 1 Down the rabbit hole: 論理型 掉進兔子洞 五 「喝我」? 我沒有那麼笨﹐你要我喝你我便喝你嗎? 愛麗絲心裡想。愛麗絲是個小心聰明的孩子哩。愛麗絲記得她讀過好幾個很精彩的小故事: 關于孩子們如何被燒傷,如何被野獸吃掉,以及如何發生了其他一些令人不愉快
追蹤感興趣的內容從 Google News 追蹤更多 vocus 的最新精選內容追蹤 Google News