※ 引述《chronodl (世界就在我眼前)》之銘言： : 我在整理一下我講的好了 : 有以下一個論證1: : 蘇格拉底是人 : 人都會死 : 所以蘇格拉底會死 : chronodl說這個論證是錯誤的 : 理由如下: 我們看另一個論證2(我沒修過邏輯 若是錯了 麻煩幫我改一下) : p=q : 若q則r : 所以若p則r : 這論證沒錯吧 嗯 他沒錯且恆真 也許你以為你是對的, 但其實上面這個符號化從邏輯的角度來看是很嚴重的錯誤。 你的 p 和 q 如果要讓「若 p則 r」有意義, 它們需要是代表「命題」或「句子」的符號, 但是你這裡的 p=q 不是兩個句子之間的關係。 : 那麼我們比較此二論證 : 如: : p是蘇格拉底 q是人 r是會死, p=q 那麼蘇格拉底是人這句是真的沒錯 : 但是人都會死等同於若q則r嗎 如果你心裡想的是p是蘇格拉底 q是人 r是會死, 那麼「若q則r」根本就不是個符合文法或make sense的句子, 你的「若q則r」會變成「若人則會死」, 這不是一個完整的句子。 我其實不太知道要怎麼和你講你才有辦法聽的懂。 其實論証1可以有兩種方式來符號化, 第一種是用亞里斯多德三段論証的方式, 變成: a is A All A are B Therefore, a is B 這個論証在形式上是有效的。 第二種方式是用古典述詞邏輯, 變成: Pa (x)(Px-> Mx) Therefore, Ma 這個論証在形式上也是有效的。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 82.26.7.187