Re: [問題] 這三段論推論有效嗎？
※ 引述《MathTurtle (恩典)》之銘言：
: 有可能底下這個成立:
: (1) B[Gb] & ~B[Gc]
: (即: 布瑪認為江教授是善良的, 且布瑪不認為江院長是善良的)
: 但底下這個不會成立(因為矛盾):
: (2) λyB[Gy](b) & ~λyB[Gy](c)
: (即: 江教授那個人本身(也就是江院長本身)具有「布瑪認為善良」的性質,
: 且江院長那個人本身(也就是江教授本人)不具有「布瑪認為善良」的性質。)
: 江教授就是江院長, 同一個人不能同時具有又不具有同一個性質。
: 因此(2)是矛盾的。
: 但(1)沒有矛盾, 布瑪可以認為江教授是善良的, 卻不認為江院長是善良的。
那如果
1.布瑪認為江教授是善良的 為真 且
2.布瑪不認為江院長是善良的 為真 且
3.江教授=江院長
此時
1.江教授具有「布瑪認為善良」的性質 的真假值如何？
2.江院長具有「布瑪認為善良」的性質 的真假值如何？
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.34.57.99
※ 文章網址: http://www.ptt.cc/bbs/W-Philosophy/M.1396505261.A.FAD.html
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 14:08:06
推
04/03 14:33, , 1F
04/03 14:33, 1F
→
04/03 14:33, , 2F
04/03 14:33, 2F
→
04/03 14:35, , 3F
04/03 14:35, 3F
→
04/03 14:36, , 4F
04/03 14:36, 4F
→
04/03 14:37, , 5F
04/03 14:37, 5F
→
04/03 14:38, , 6F
04/03 14:38, 6F
→
04/03 14:39, , 7F
04/03 14:39, 7F
→
04/03 14:40, , 8F
04/03 14:40, 8F
那到底在原題的情況下「被布瑪認為善良」、「被布瑪喜歡」是不是合法的性質？
如果不是，我們還能列出 III* IV* 的式子嗎？
如果是，那上面的問題怎麼辦呢？
（布瑪認為達爾是外星人，布瑪不認為貝吉塔是外星人，達爾是貝吉塔）
總不能既是又不是吧？
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 15:44:47
推
04/03 15:48, , 9F
04/03 15:48, 9F
→
04/03 15:49, , 10F
04/03 15:49, 10F
→
04/03 15:50, , 11F
04/03 15:50, 11F
→
04/03 15:50, , 12F
04/03 15:50, 12F
→
04/03 15:51, , 13F
04/03 15:51, 13F
→
04/03 15:52, , 14F
04/03 15:52, 14F
→
04/03 15:53, , 15F
04/03 15:53, 15F
→
04/03 15:55, , 16F
04/03 15:55, 16F
→
04/03 15:55, , 17F
04/03 15:55, 17F
我覺得怪怪的，套用類似 III 的文字版，假設以下成立：
1.對於所有x，如果布瑪認為x是外星人，則布瑪認為x善良
2.布瑪認為達爾是外星人
3.布瑪認為貝吉塔不善良
4.達爾是貝吉塔
此時直覺上應該能有效推出以下結論耶...
5.布瑪認為達爾善良
6.布瑪認為貝吉塔不是外星人
那這樣以上敘述要怎麼符號化呢？
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 18:53:22
討論串 (同標題文章)