又是質料條件句

via here 基礎邏輯所教的質料條件句 (material conditional) 令學生感到困惑,原因通常是,在前項「A」為假的情況,質料條件句「A⊃B」一律為真,但日常的條件句「如果A則B」卻甚少這般簡單地成真。這種困惑源於將「A⊃B」和「如果A則B」視為同義...

條件證法與間接證法

邏輯入門書的自然演繹系統一般都有條件證法 (conditional proof) 和間接證法 (indirect proof) ,可以用來解除 (discharge) 額外加上的假設。不過,這兩個證法其實只需一個就足夠,因為條件證法證明到的東西,間接證法也能證明到;反之,間接證法...

亞里士多德論排中律

via here 我曾看幾本書寫道, 亞里斯多德的海戰論證可以反對排中律 ,其大意是,因為「明天有海戰」和「明天沒有海戰」都未為真,故「明天有海戰或沒有海戰」亦非真的。最近我在紀褚 (Peter Geach) 的文集  Logic Matters (1972) 看到...
技術提供:Blogger.