數學哲學的柏拉圖主義

一、基本主張 柏拉圖 (Plato, 428BC-348BC) 的理型論主張有抽象的物件獨立存在,因為柏拉圖和他的理型論極具名氣,以致日後在某領域相似的主張常被稱為該領域的柏拉圖主義。在數學哲學上主張數學物件乃抽象、獨立存在的物件,即被稱為數學哲學的柏拉圖主義。 數學哲...

表述(Expression)

英文的 “expression” 有時會翻譯成中文的「表述」,其實並不恰當,因為中文的「表述」是動詞,意思是「表達陳述」,但英文的 “expression” 卻是名詞,泛指一組聲音或(晝寫上的)符號。奈何我還未遇過更好的中文翻譯,所以有時亦逼於無奈要用「表述」來代替 “expr...

補充:別無選擇 仍要負責

最近貼的〈 別無選擇 仍要負責 〉其實是三年前寫的舊文。之所以會寫,原因是看到 Frankfurt Example 有股強烈的茅塞頓開的感覺,深深佩服 Harry Frankfurt 的創見和才智。記得當時貼在部落格,也有引起一點點回應,內容大多是對 Frankfurt Exa...

胎兒是人嗎?(下)

上一篇 提到胎兒在母親體內發育的狀況,有些人以其中部分特徵,作為胎兒是不是人的判準,這些判準常見的有六個: via WikiPaintings 受精後(fertilized) 有腦電波(brain wave) 胎動 (quickening) 能獨立於母親身體生...

胎兒是人嗎?(上)

photo credit: Leo Reynolds via photopin cc Peter Singer 提到一個簡單的 反墮胎論證 ,據我所知,反對這個論證的人有很多把火力瞄準第二個前提:他們會反駁胎兒不一定是人,因為胎兒缺少某些人類必備的條件。在胎兒缺乏這...

一個反墮胎論證

photo credit: Liz | populational via photopin cc 記得小時候看港劇,有段時間常有角色被搞大肚子,要跑到內地找黑市醫生墮胎,但卻也常常因為黑市診所素質參差,最後落得不孕的下場。那時候我就常納悶:為甚麼有香港的醫院不去,...

別無選擇 仍要負責

Photo Credit: Thunderkiss59 via Compfight cc 假設你被困在一個籠子裡,用盡各種方法亦無法脫身。再假設你目光所及,有人被綁在籠子前的火車軌上,只要你能靠近他,幫他解開一個扣,他便能立即逃離車軌。可惜無論你如何伸手,無論你使...

自由意志論(Libertarianism)

決定論 (determinism) 主張現實世界每刻的狀態都被更早之前的狀態決定。假如世界最初處於 X 1 ,接下來便注定只有一個後果 X 2 ,而 X 2 也只有一個後果 X 3  , X 3 之後只會是 X 4  、 X 5 、 X 6 ,如此類推。由最初的事件...

索引詞

《愛麗絲夢遊仙境》的續集《鏡中奇綠》有段這樣的故事。白皇后請愛麗絲幫她做事,她開的條件是美味的果醬,不過,拿到果醬的規矩是: The rule is, jam tomorrow and jam yesterday – but never jam today. (明天有果醬...

蓋提爾難題(Gettier Problem)

根據一個非常流行對「知識」的分析,某個人知道 P ,代表 P 是真的 他相信 P 他有好理由相信 P 原文是 “ S is justified in believing P ”,它不可以翻譯成「 S 合理地相信 P 」,因為「 S 合理地相信 P 」的意思是「S jus...

她是理髮師!

續 上篇 , Mary 說她是某個群體的成員,那群人之中除了她都是男人,而且那群人裡有成員是理髮師,為且只為群體裡不替自己刮鬍子的男人刮鬍子。

她是理髮師?

Scott Soames 在 Beyond Rigidity 用了一個很有趣的例子,值得一記。 Soames 的原話是: Mary says that she is a member of an otherwise all male group of adults, an...

看你要畫到甚麼時候

在語句邏輯,判斷語句是否重言句 (tautology) 的慣常做法是畫真值表。每個語句的真值表行數取決於它所包含的簡單述句數目,例如,如果 $p$ 包含 2 個簡單述句,它的真值表就有 $2^2 (=4)$ 行,如果包含 3 個簡單述句,就有 $2^3 (=8)$ 行。換言...

從訊息量少的原則說起

十九世紀的哲學家 John Stuart Mill 是著名的自由主義者 (liberalist) ,他主張政府在某情況下可以限制人們的自由,至於是哪種情況,他有段話十分清楚地表明他的想法
技術提供:Blogger.