12/27/2015 11:06:00 下午

不需「現實世界的」的翻譯

現時二維模態邏輯的形式系統主要源於 Crossley & Humberstone (1977) ,而將模態邏輯擴充至二維模態邏輯的主要理由是要 翻譯 “It is possible for every red thing to be shiny” 這類的語句 。 Teic...
12/15/2015 11:37:00 上午

二維模態邏輯之起源

二維模態邏輯 (two-dimensional modal logic) 的出現和其他邏輯系統一樣,是為強化既有邏輯系統的表達力,使之能處理更多日常語句。二維模態邏輯最早出現在 Segerberg (1973) ,不過最為人熟知卻是在 Crossley & Humbers...
12/08/2015 09:09:00 上午

Barcan Formula

模態邏輯有兩個式子,由女哲學家 Ruth Barcan Marcus 命名,分別是 (BF) $\forall x\Box Fx\to\Box\forall x Fx$ (CBF) $\Box\forall x Fx\to\forall x\Box Fx$ 第一個式...

道德兩難

假設在一次船難之後,有群倖存者擠上了一艘救生艇。可是,救生艇只能載七人,若果全部倖存者都在艇上,只會所有人都罹難,但若果將人拋下救生艇,在當下的環境,那人肯定無法生還。當時船長在艇上,他知道艇上的倖存在要生存下去,必須用到自己的航海知識,也必須聽從自己指揮,因此,他須決...
9/08/2015 11:08:00 下午

三段論的存在意含問題

定言三段論四式最基本的命題,分別是全稱肯定 (A) 、全稱否定 (E) 、特稱肯定 (I) 以及特稱否定 (O) 。 A : 所有 S 都是 P E : 所有 S 都不是 P (或:沒有 S 是 P) I : 有些 S 是 P O : 有些 S 不是 P 在...
7/23/2015 03:24:00 下午

[Graham Priest] Logic: A Very Short Introduction

牛津大學出版社的 A Very Short Introduction 系列,邏輯主題找了 Graham Priest 寫。 該書在 2001 出版 ,內容約有一百來頁,是本極好的邏輯導論書,適合初學者讀,學過基礎邏輯更是適合。 邏輯這領域所涉極廣,古典邏輯 (classi...
7/05/2015 01:13:00 上午

矛盾蘊涵一切

Photo Credit: macwagen via Compfight cc 學邏輯想必都聽過一句話:矛盾蘊涵一切。這句話的意思是,矛盾的述句蘊涵任何述句。以 p, q 為任意兩個述句,其形式是 p∧¬p ⊨ q 由於矛盾句 p∧¬p 不可能為真,...

論域非空的邏輯

Photo Credit: Xalikot via Compfight cc 古典邏輯一直有許多備受爭議的設定。如果說條件句是古典語句邏輯的大戰場,那麼,論域非空的設定便是古典述詞邏輯的大戰場。 述詞邏輯和語句邏輯最大的差異,在於述詞邏輯多了量化詞。古典述詞邏輯...
4/30/2015 03:59:00 上午

再從實然推導應然

Photo Credit: funkandjazz via Compfight cc 考慮一個論證 高登是香港最大的網路討論區 ─────────────── 因此,高登是香港最大的網路討論區,或者,民建聯應該要知羞恥 前提是實然述句 (Is-...
2/24/2015 03:35:00 上午

[Anthony Weston] A Rulebook for Arguments

先講結論:十級推薦。(不過我其實沒有評級制度。) A Rulebook for Arguments 全書不到九十頁,內容極之簡潔,確實與書名相當匹配,是本 rulebook (規則手冊) 。書的內容是一般批判思考的課程重點,只是這書不旨在提供全面、詳細的思考系統,而著眼...
2/22/2015 10:25:00 下午

Epstein 的關連邏輯

Photo Credit: tubb via Compfight cc 最近讀了篇有趣的文章,作者是 Douglas Walton ,文章名是 “Ignoratio Elenchi: The Red Herring Fallacy” 。這篇文章可以在  Info...
2/02/2015 06:12:00 上午

知識拔靴帶 (epistemic bootstrapping)

Photo Credit: eliduke via Compfight cc 可靠論 (reliabilism) 是當代盛行的知識論學派,主張我們是否擁有知識取決定我們形成信念的過程、方法、或其他知識相關的因素是否可靠。根據其中一個簡單版的可靠論: S 知...
技術提供:Blogger.