作者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