→ sunny1991225:我猜他是把x是人、x會死直接省略成是人、是會死了 12/16 22:19
→ sunny1991225:然後他的等號大概是在講等值句。不過老實說我不清楚 12/16 22:19
→ sunny1991225:他的邏輯程度到底怎樣。 12/16 22:19
※ 引述《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