→ a5378623:布瑪喜歡「所有」外星人 04/01 09:55
推 t0444564:同樓上. 04/01 10:11
推 t0444564:要使用述詞邏輯 04/01 10:11
我同意這是一個問題，
不過基於一般習慣，
假設第一句的外星人就是指所有外星人，
這樣的推論有效嗎？
※ 編輯: phantomsq (114.37.238.27), 04/01/2014 14:27:08
推 a5378623:有 04/01 21:30
我想到一個問題，假如是以下的推論：
布瑪認為外星人都很善良
達爾是外星人
因此，布瑪認為達爾很善良
這推論似乎是無效的，
因為布瑪可能不知道達爾是外星人，
如此一來，就不一定認為達爾很善良。
那麼回到原例：
布瑪喜歡所有外星人
達爾是外星人
因此，布瑪喜歡達爾
似乎也不一定成立，因為布瑪可能不知道達爾是外星人？
※ 編輯: phantomsq (114.37.238.27), 04/01/2014 23:23:30
推 sunny1991225:嚴格來說第一句要翻譯成形式語言應該是「如若有任何 04/02 02:53
→ sunny1991225:東西是外星人，則該東西為布馬所喜歡」 04/02 02:53
→ sunny1991225:你會認為那個推論無效，問題可能出在語句翻譯上 04/02 03:02
推 sunny1991225:我們在檢察推論的有效性時通常不太會管前提是否實際 04/02 03:08
→ sunny1991225:上為真，而你舉的例子在翻譯成形式語言後就是一個 04/02 03:09
→ sunny1991225:條件句... 04/02 03:10
→ sunny1991225:問題並不是在推論的過程，而是你設定的前提可能在 04/02 03:12
→ sunny1991225:實然上不為真，你才會覺得哪裡怪怪的 04/02 03:12
→ sunny1991225:舉例而言，如果你把前提改成「布馬喜歡所有她知道是 04/02 03:13
→ sunny1991225:外星人的外星人」，然後把達爾是外星人改成「達爾是 04/02 03:13
→ sunny1991225:外星人，而且布馬知道他是外星人」 04/02 03:14
→ sunny1991225:那麼如果你當然可以給出「布馬喜歡達爾」這個結論 04/02 03:15
→ sunny1991225:(但注意，這個推論和前面那一個「布馬喜歡所有外星 04/02 03:15
→ sunny1991225:人」的推論，都是有效的) 04/02 03:15
推 sunny1991225:所以你該質疑的並不是為什麼從布馬喜歡所有外星人 04/02 03:21
→ sunny1991225:可以推到布馬喜歡達爾，而是布馬喜歡所有外星人這個 04/02 03:22
→ sunny1991225:假設是不是有問題，或者我們的日常語言使得我們在 04/02 03:23
→ sunny1991225:表達這句話時遺漏了什麼 04/02 03:23
→ sunny1991225:(像是如果連你也覺得一個人不可能在不知道某個類的 04/02 03:25
→ sunny1991225:所有成員的情況下宣稱自己喜歡那個類裡頭的所有東西 04/02 03:25
→ sunny1991225:，那麼你也該很清楚的意識到這個前提怪怪的。但這些 04/02 03:26
→ sunny1991225:都不會影響我們做出一個有效推論，即使它的前提怪怪 04/02 03:26
→ sunny1991225:的) 04/02 03:26
那那那...「布瑪認為外星人都很善良」的例子是前提有問題還是推論無效呢？
※ 編輯: phantomsq (114.37.238.27), 04/02/2014 09:40:54
→ a5378623:前提有問題 04/03 03:56
→ a5378623:這句話應該說成「布瑪認為所有他知道是外星人的人都很善 04/03 03:57
→ a5378623:良」 04/03 03:57