邏輯學簡史

Logic is one of the most ancient intellectual disciplines, and one of the most modern. Its beginni...

四大證明系統

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

非矛盾律與雙面真理論

Photo Credit: mag3737 via Compfight cc 西方哲學界自亞里士多德 (Aristotle) 起，普遍接受一條邏輯定律 ── 非矛盾律 (the la...

Strawson 論矛盾

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

模態歧義 (modal ambiguity)

支持宿命論 (fatalism) 的眾多論證之中，有一個在當代被診斷在關鍵步驟涉及模態歧義 (modal ambiguity) ，因而犯了歧義謬誤。我之前有兩則筆記提過模態歧義（〈 從偶然未來到真值隙...

邏輯系統外、邏輯系統內

Photo Credit: effectgila via Compfight cc 論證可分成形式論證 (formal argument) 和非形式論證 (informal argu...

[Susan Haack] Philosophy of Logics

一直想讀些邏輯哲學的文獻，預備了三本入門書，結果拖到現在才看完第二本。這一次看的是 Susan Haack 的 Philosophy of Logics ，比上一本（ W. V. Quine 的...

Church 反對 Ayer 的檢驗判準

從邏輯實證論 (logical positivism) 過渡到邏輯經驗論 (logical empiricism) ，最有名的著作當數 A. J. Ayer 的 Language, Truth...

拘束述句的邏輯系統

一階述詞邏輯 (first-order logic) 有量化詞 (quantifier) 、述詞 (predicate) 、常元 (constant) 和變元 (variable) ，量化詞可...

對確論證與蓋確論證

論證 (argument) 由前提和結論組成，前提和結論都是命題 (propositions) ，都有真假可言。比如，「小明是人」和「小明有父母」都是命題，以前者支持後者，便構成了以下的論證 ...

謬誤剖析何其難

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

John Perry 的 A Dialogue on Personal Identity and Immortality

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