00:34

現象和理論

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

Meta-linguistic Negation

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

關於我

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

In Our Time: Philosophy

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

四大證明系統

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

Strawson 論矛盾

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

模態歧義 (modal ambiguity)

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

[Susan Haack] Philosophy of Logics

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

拘束述句的邏輯系統

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

對確論證與蓋確論證

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

謬誤剖析何其難

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