現象和理論

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

規範性論證 (the normative argument)

Photo Credit: ToGa Wanderings Flickr via Compfight cc 古典邏輯 (classical logic) 自二十世紀誕生後，取代亞氏三段論 (Aristotlean syllogism) ，一躍而起成為邏輯學新的標...

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, 和 ...

形式邏輯與非形式邏輯 ── 由師徒論辯看形式與非形式之分

Photo Credit: turlingtonlaw Flickr via Compfight cc 古希臘時期，當兩個人或團體有重要爭執，便需要到類似現今的法庭的地方互相陳詞、詰辯，再由他人仲裁。當事人若是伶口俐舌，固然比較有利；若是不擅辭令，便得請其他巧言...

[王偉雄, 劉創馥] 宗哲對話錄

回想當年初讀哲學，對甚麼議題都感興趣，所以零零散散找了一堆書來讀，其中一本是中文的邏輯書，書名《邏輯新引》，作者殷海光。

邏輯學簡史

Logic is one of the most ancient intellectual disciplines, and one of the most modern. Its beginnings go back to the 4th century ec. The o...

四大證明系統

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

非矛盾律與雙面真理論

Photo Credit: mag3737 via Compfight cc 西方哲學界自亞里士多德 (Aristotle) 起，普遍接受一條邏輯定律 ── 非矛盾律 (the law of non-contradiction) 。 學界的「矛盾律」 (the ...

Strawson 論矛盾

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

模態歧義 (modal ambiguity)

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

邏輯系統外、邏輯系統內

Photo Credit: effectgila via Compfight cc 論證可分成形式論證 (formal argument) 和非形式論證 (informal argument) ，以這個非形式論證為例 所有人都會死 所有會死的都是動物 ...

[Susan Haack] Philosophy of Logics

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

Church 反對 Ayer 的檢驗判準

從邏輯實證論 (logical positivism) 過渡到邏輯經驗論 (logical empiricism) ，最有名的著作當數 A. J. Ayer 的 Language, Truth, and Logic 。在該書的第二版， Ayer 修改原本的檢驗判準 (t...

拘束述句的邏輯系統

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

對確論證與蓋確論證

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

謬誤剖析何其難

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

John Perry 的 A Dialogue on Personal Identity and Immortality

John Perry 是我十常喜歡的分析哲學家。最近由於朋友推薦，看了他早年發表的  A Dialogue on Personal Identity and Immortality  ，實在令我對他更加佩服不已。 我看的是網絡版（Google 書名便可找到 pdf），總共也只...