綁架愛麗絲 之 地下邏輯 070

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

6 Pig and Pepper: 邏輯力度 / 瘋論

豬和胡椒

raw-image


十四

但好辯的我們﹐也不是無話可說啊。

數學和邏輯學中有個「域」(domain)59 的概念。 數學和邏輯學工作者在提出某條公式時﹐他們往往假設了一個域﹐有時明言﹐有時預設﹐主要是為了準確地進行論述。

譬如﹐根據意大利數學家皮亞諾 (Giuseppe Peano: 1858-1932) 的公理系統﹐設「0」為自然數﹐自然數 (natural numbers:1, 2, 3, 4, ..., n) 有這樣的一條公理﹕

凡自然數 nS(n) 為自然數」;

即凡自然數 nn 的後繼項 (successor) 為自然數 (可以理解作 S(n) = n+1)。所謂「凡自然數 n」即預設自然數為這條公理的域﹐也就是說﹐這條公理僅在自然數域內為恆真。例﹕S(0) = 11 是自然數; S(1) = 22 是自然數; ...; S (1,999) = 2,0002,000 是自然數; ...; 如此類推。

看一下這個句子﹕「凡 x 皆有後繼項」。

將域設為自然數﹐無論「x」是什麼﹐我們必然知道「S(x)」是個自然數﹐在自然數域內可以找得到。

現在我們將論域設為一個自然數域內的一個有限的域﹐就只有 1 2{1, 2}。那麼﹐如果 x=1S(x) = S(1) = 22 {1, 2} 內﹐沒有問題﹔如果 x=2S(x) = S(2) = 33 不在 {1, 2} 內﹐所以﹐將域設為 {1, 2}﹐「凡 x 皆有後繼項」為假。

我們再看一看這樣的一個句子:「凡 xS(x) 為自然數。」

放在自然數域內﹐即「x」只可以是自然數﹐S(x) 當然是自然數﹔因此在自然數域內﹐此句為真。

假如將域設為無理數 (irrational numbers)60﹐如果 x=πS(x) = S(π) (如理解作 π+1)﹐「π+1」顯然不是自然數﹔因此在無理數域內﹐此句為假。

又譬如「人皆有死」這樣的一個句子﹐將域設為凡人﹐則真﹐將域設為仙人 (假設有仙人﹐而且不死)﹐則假。

「域」的概念在日常生活中不被重視﹐故常出現概括性言論﹐硬塞給人家﹐粗暴無禮﹐論者卻習以為常﹐自以為是﹐當引以為戒。

言歸正傳﹐在瘋論中﹐柴郡貓對「不瘋」的界定是以狗 (的行為) 為論域﹐對「不瘋」的否定卻在貓 (的行為) 域中完成﹐所以有跨域論述之嫌。

跨域論述不一定會有問題﹐但可以出問題。

當然﹐瘋論的論域可以蓋括兔穴中的所有生物﹐並且以狗的行為為界定「不瘋」的準則﹐因此任何生物﹐包括貓﹐只要反其道而行之便是瘋了。

不可以嗎﹖

__________

59 漢譯有「論域」﹑「界域」或「定義域」等。

60 譬如﹕π, e, 狄奧德洛斯的常數 (Theodorus' constant﹔即 3 的平方根), ...。

-| 再往下跳 ﹏﹏﹏>

留言
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
[不平] 如果世界對你不公平 不要只是大吼大叫 就算咬緊牙關 也要踢他個兩腳
Thumbnail
[不平] 如果世界對你不公平 不要只是大吼大叫 就算咬緊牙關 也要踢他個兩腳
Thumbnail
強暴不是笑話,世上不只一個房思琪,性侵受害者不只有一種樣子,我們有話要說,你們願意聽嗎?
Thumbnail
強暴不是笑話,世上不只一個房思琪,性侵受害者不只有一種樣子,我們有話要說,你們願意聽嗎?
Thumbnail
我一直覺得遇到觀點不同的人實在沒必要一直去爭論什麼,所以起初就抱著輕鬆的心情讀這本書,沒想到內容蠻燒腦。作者算是很擅長運用理性跟邏輯來推翻不同立場的人,偏偏遇到的對象都很容易被激怒,導致失去自己堅持的立場,不敵作者的反攻。
Thumbnail
我一直覺得遇到觀點不同的人實在沒必要一直去爭論什麼,所以起初就抱著輕鬆的心情讀這本書,沒想到內容蠻燒腦。作者算是很擅長運用理性跟邏輯來推翻不同立場的人,偏偏遇到的對象都很容易被激怒,導致失去自己堅持的立場,不敵作者的反攻。
Thumbnail
意大利神學家聖安瑟倫 (St. Snselm) 的本體論論理 就是一個「瘋論」。
Thumbnail
意大利神學家聖安瑟倫 (St. Snselm) 的本體論論理 就是一個「瘋論」。
Thumbnail
6 Pig and Pepper: 邏輯力度 / 瘋論 豬和胡椒 七 對愛麗絲不瞧一眼的蛙僕的意見其實十分溫和而實用。 他說﹐愛麗絲的敲門不管用﹐如果愛麗絲是要人來應門的話。 另一個意思是說﹐如果愛麗絲只不過是要進去的話﹐敲門則不必。敲門畢竟是人類社會發展出來的一個習俗。 說起社會習俗﹐
Thumbnail
6 Pig and Pepper: 邏輯力度 / 瘋論 豬和胡椒 七 對愛麗絲不瞧一眼的蛙僕的意見其實十分溫和而實用。 他說﹐愛麗絲的敲門不管用﹐如果愛麗絲是要人來應門的話。 另一個意思是說﹐如果愛麗絲只不過是要進去的話﹐敲門則不必。敲門畢竟是人類社會發展出來的一個習俗。 說起社會習俗﹐
Thumbnail
6 Pig and Pepper: 邏輯力度 / 瘋論 豬和胡椒 六 門論與毒藥論或吃論有明顯的差別。 在前面﹐無論毒藥論或吃論﹐我們都能夠用命題邏輯語言來做了形式化的處理﹐要用命題邏輯語言來將門論形式化卻似乎不大可能。 那麼﹐門論的邏輯力度有多強呢? 門論的結論是「敲門沒有意義 (或不
Thumbnail
6 Pig and Pepper: 邏輯力度 / 瘋論 豬和胡椒 六 門論與毒藥論或吃論有明顯的差別。 在前面﹐無論毒藥論或吃論﹐我們都能夠用命題邏輯語言來做了形式化的處理﹐要用命題邏輯語言來將門論形式化卻似乎不大可能。 那麼﹐門論的邏輯力度有多強呢? 門論的結論是「敲門沒有意義 (或不
Thumbnail
累   做不了壞人     又不是個好人    其實根本也就討厭人           卻是個人       -貓落《廢言錄》-
Thumbnail
累   做不了壞人     又不是個好人    其實根本也就討厭人           卻是個人       -貓落《廢言錄》-
Thumbnail
兩害之間,應該取其中庸之道。一切回歸到事實,大家來講道理。
Thumbnail
兩害之間,應該取其中庸之道。一切回歸到事實,大家來講道理。
追蹤感興趣的內容從 Google News 追蹤更多 vocus 的最新精選內容追蹤 Google News