現象和理論

前段日子在讀 Robert Stalnaker 於 2014 年出的新書 Context ,由於這書預設相當多背景,討論的許多文獻我都未接觸過,使我讀起來十分吃力。不過儘管辛苦,這書每章還是有些頗特別、有洞見的想法。以第三章為例, Stalnaker 區分「表面現象」 (sur...

Meta-linguistic Negation

一般來說,邏輯裡的「否定」 (negation) 對應到中文的「不是」以及英文的「not」,不過這只是「一般來說」。自然語言裡,一個符號有多種用法已不是新鮮事。中文的「不是」便有一種用法不是邏輯上的否定。 假設在某個宴會,甲在介紹乙女士的時候,說「她是丙的妻子」。乙馬上抗議...

關於我

† 1. 我大學主修哲學,不過所學有限,研習範圍離不開一般所謂的「分析哲學」 (analytic philosophy) 。 † 2. 為甚麼會讀哲學?我一直沒有長遠的人生規劃,未想過要發財,連大學選科也相當隨興。由於中學讀文科,自然便考慮主修歷史,後來...

In Our Time: Philosophy

via here BBC Radio 4 的 In Our Time  其中一個主題是哲學,每集都會邀請幾位哲學教授,和主持人一起討論每集的題目,質素非常高,例如 “ Truth ” 的與談嘉賓是 Crispin Wright, Simon Blackburn, 和 ...

四大證明系統

邏輯系統有分 語意和語法兩個面向 ,證明系統 (proof system) 就是純粹在語法面向運作的系統。目前四類主流的證明系統,分別是「自然演繹證明系統」 (natural deduction system) 、「公理證明系統」 (axiomatic proof sy...

Strawson 論矛盾

via Boreme.com 典型的自相矛盾 (self-contradiction) 具有「p and not-p」的形式,例如「朱諾號抵達木星而且朱諾號沒有抵達木星」、「馬克思是德國人而且馬克思不是德國人」、「加拿大在美國北部而且加拿大不在美國北部」。 這些例...

模態歧義 (modal ambiguity)

支持宿命論 (fatalism) 的眾多論證之中,有一個在當代被診斷在關鍵步驟涉及模態歧義 (modal ambiguity) ,因而犯了歧義謬誤。我之前有兩則筆記提過模態歧義(〈 從偶然未來到真值隙 〉、〈 邏輯系統外、邏輯系統內 〉),但都只是輕輕帶過,沒有進一步解釋。 ...

[Susan Haack] Philosophy of Logics

一直想讀些邏輯哲學的文獻,預備了三本入門書,結果拖到現在才看完第二本。這一次看的是 Susan Haack 的 Philosophy of Logics ,比上一本( W. V. Quine 的 Philosophy of Logic )淺得多。只懂基礎邏輯會覺得有點難,但...

拘束述句的邏輯系統

一階述詞邏輯 (first-order logic) 有量化詞 (quantifier) 、述詞 (predicate) 、常元 (constant) 和變元 (variable) ,量化詞可拘束個體變元 (individual variable) 。比如,「所有人都會死...

對確論證與蓋確論證

論證 (argument) 由前提和結論組成,前提和結論都是命題 (propositions) ,都有真假可言。比如,「小明是人」和「小明有父母」都是命題,以前者支持後者,便構成了以下的論證 小明是人 因此,小明有父母 前提與結論之前的邏輯關連可分為兩種,一...

謬誤剖析何其難

謬誤剖析是批判思考的重要一環,隨著近年批判思考課程的普及,接觸過「謬誤」這一名詞的人也愈來愈多。然而,用心教過批判思考的老師都知道,教謬誤最難之處不在使學生知道哪些言論 犯了 謬誤,而是哪些言論 沒有犯 謬誤。
技術提供:Blogger.