10/29/2013 08:45:00 下午

數學哲學的柏拉圖主義

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

表述（Expression）

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

補充：別無選擇 仍要負責

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

胎兒是人嗎？（下）

上一篇 提到胎兒在母親體內發育的狀況，有些人以其中部分特徵，作為胎兒是不是人的判準，這些判準常見的有六個： via WikiPaintings 受精後（fertilized） 有腦電波（brain wave） 胎動 （quickening） 能獨立於母親身體生...
10/27/2013 12:59:00 上午

胎兒是人嗎？（上）

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

一個反墮胎論證

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

別無選擇 仍要負責

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

自由意志論（Libertarianism）

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

索引詞

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

蓋提爾難題（Gettier Problem）

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

她是理髮師！

續 上篇 ， Mary 說她是某個群體的成員，那群人之中除了她都是男人，而且那群人裡有成員是理髮師，為且只為群體裡不替自己刮鬍子的男人刮鬍子。
10/22/2013 02:32:00 上午

她是理髮師？

Scott Soames 在 Beyond Rigidity 用了一個很有趣的例子，值得一記。 Soames 的原話是： Mary says that she is a member of an otherwise all male group of adults, an...
10/11/2013 12:15:00 上午

看你要畫到甚麼時候

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

從訊息量少的原則說起

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