2015年12月27日
2015年12月15日
二維模態邏輯之起源

4

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

閱讀更多 »
2015年12月8日
2015年10月11日
2015年10月10日
道德兩難

0

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

閱讀更多 »
2015年9月25日
no image

2

古典邏輯的質料條件句 (material conditional) 最令人困擾之處,莫過於「前件為假時整句為真」的設定。以「p→q」代表質料條件句的「If p, then q 」,其真值表是: p q p→q T T T T F F F T T F F T ...

閱讀更多 »
2015年9月8日
2015年9月1日
2015年8月9日
2015年7月23日
2015年7月5日
矛盾蘊涵一切

11

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

閱讀更多 »
論域非空的邏輯

0

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

閱讀更多 »
2015年6月10日
2015年6月9日
2015年5月7日
演繹歸納之爭

8

Photo Credit: quinn.anya via Compfight cc 「演繹法」 (deduction) 和「歸納法」 (induction) 這對概念的歷史悠久,最早至少可追溯到兩千年前,但關於 演繹歸納區分 的爭論,則是四十年前非形式邏輯 (i...

閱讀更多 »
2015年4月30日
再從實然推導應然

4

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

閱讀更多 »
2015年4月11日
演繹法與歸納法

8

from Baker Street wiki 凡學過邏輯,都必定聽過「演繹法」 (deduction) 和「歸納法」 (induction) 。邏輯和批判思考教科書通常在開首的章節劃分演繹法和歸納法,然後據此決定全書的結構,例如在講三段論、命題邏輯、述詞邏輯等形式系...

閱讀更多 »
2015年4月3日
2015年3月12日
2015年2月24日
[Anthony Weston] A Rulebook for Arguments

3

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

閱讀更多 »
2015年2月22日
2015年2月2日
2015年2月1日
2015年1月27日
2015年1月18日
 
Toggle Footer