※ 引述《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