作者somedoubt (人独立燕双飞)
看板logic
标题Re: 林正弘老师的逻辑学p18页
时间Tue Nov 14 23:19:14 2006
直接给你例子也许你就容易懂了
所有的人都会死
苏格拉底是人
所以，苏格拉底会死
这样一个自然语言中的论证，按照有效论证的定义（真值保存），它是有效的。
但若我们只考虑这论证当中命题与命题间的逻辑关系时，就无法说明为什麽这论证
是有效的。但如果我们在分析论证时，不以命题作为最小分析单位，而是更进一步
考虑主述词的关系时，就可以说明为什麽该论证是一个有效论证了。
上述的自然语言论证可以翻译成述词逻辑中的论证如下:
(X)(Px→Mx) （P表示"是人"这个性质，M表示"会死"这个性质 s代表苏格拉底）
Ps
∴Ms
相信这样的解释应该够厘清你的疑惑了。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.168.168.181
1F：推 danchan:谢谢 11/16 00:11