9/29/2013 08:32:00 上午

獨二無三的二位連詞

之前 提過 「 | 」 (not-and) 和「 ↓ 」 (not-or) 都能獨自一個定義全部五個古典連詞 「|」稱作 Sheffer stroke ,也可寫作「↑」。 ,但有沒有其他二位連詞同樣神通廣大,同樣能以一替五?答案是「沒有」。二位連詞之中就只有這兩個特別威猛,能夠...
9/28/2013 12:21:00 上午

並非:p 若且唯若 q

我在〈 兩個以一替五的二位連詞 〉提到,有兩個二位連詞各自足以定義五個古典邏輯連詞。由於這兩個連詞的意思分別是 not-and (p nand q) 和 not-or (p nor q) ,於是引起一個疑問:是否由 not 配合二位連詞而產生的二位連詞,都能獨自定義全部五個古典...
9/27/2013 02:22:00 上午

Inclusive-or, Exclusive-or, Unless

我之前整理了 三個常見的基礎邏輯翻譯 ,這篇是算是延伸,進一步介紹 “or” 的兩個意義,以及連帶對 “unless” 的影響。由於 “or” 和 “unless” 的意思與中文的「或者」和「除非」大致一樣,我會交錯使用中英文。 考慮第一個例子。颱風天兔明日襲港,你和一群朋...
9/25/2013 03:42:00 上午

修改 Evans 的論證

我在〈 模糊等同 〉介紹 Gareth Evans 反對模糊等同的論證, phantoms 留言說 ,模糊等同和萊布尼茲定律說的等同有不一樣的意思。
9/21/2013 03:35:00 上午

模糊等同

等同關係 (identity relation) 可說是最根深蒂固的概念,諸如「今屆香港特首是有史以來民望最差的」
9/18/2013 01:21:00 下午

笛卡爾這麼簡單就錯了嗎?

兩年前在網路上看到〈 見不賢而內自省 〉,裡面引了《 邏輯學入門 》(下簡稱《邏》)部分內容,由於當時沒有開放留言,所以只在自己的網誌寫了一則很短的批評。
9/17/2013 03:36:00 下午

自然數集合的冪集

讓我們把所有自然數,從 $0$ 開始,收集起來,放在一個菜籃裡,用大括號表示菜籃的範圍,於是,我們把這個擺放了所有自然數的菜籃寫成: $$\{0,1,2,3,4,5,6,7,8,9,…\}$$ 假設你是一個零售商,專門賣裝自然數的菜籃。你知道並非每個人都嚥得下所有自然數,...
9/15/2013 06:58:00 下午

更換RSS地址

看了免費資源網路社群的〈 FeedPress:全新 FeedBurner 替代方案,你準備好跳槽了嗎? 〉,我決定把 RSS 換成 FeedPress 。 新地址: http://feedpress.me/thiseven
9/08/2013 12:05:00 上午

學術中的笑料

這是很久之前寫的記錄, 都是當時從文章讀到的笑料, 前些日子偶然再看到, 仍對這些哲學家的幽默感感到十分驚嘆! 1. Saul Kripke 在他的名著 Naming and Necessity 攻擊 cluster concept theory of names, 不過在...
9/05/2013 08:51:00 上午

Philosophy Experiments

偶然發現  Philosophy Experiments  這個網站,裡面有一連串與哲學有關的測驗,做完之後除了答案,還提供分析,十分過癮。(連 wason selection task 也有!) 站名:Philosophy Experiments 網址: http://w...
技術提供:Blogger.