Re: [問題] 這三段論推論有效嗎？
※ 引述《MathTurtle (恩典)》之銘言：
（稍微改了符號，b=布瑪，Lyx=y喜歡x，Byx=y認為x）
看了很久還是不懂：
1. Lx 「布瑪喜歡x」 和 2. λy(Ly)x 「x具有"被布瑪喜歡"的性質」
有什麼關鍵的差別耶.....
而且比照 http://www.sfu.ca/~jeffpell/Ling406/LambdaAbstract4.pdf 的說法：
λx[smoke(x)](j)= "J has the property of being x s.t. x smokes" = smoke(j)
除了j和x變數衝突的情況以外，似乎 1. 和 2. 是可以代換的@@
我也看不懂 IV 和 IV* 以及 III 和 III* 有什麼關鍵差別：
IV.
(x)(Fx --> Lbx) 對於所有x，如果x是外星人，則布瑪喜歡x
Fa 達爾是外星人
-----------------
Lbx 布瑪喜歡達爾
IV*
(x)(Fx --> λy(Lby)x) 對於所有x，如果x是外星人，則x具有"被布瑪喜歡"的性質
Fa 達爾是外星人
--------------------------------
λy(Lby)a 達爾具有"被布瑪喜歡"的性質
III.
(x)(Bb[Fx] --> Bb[Gx]) 對於所有x，如果布瑪認為x是外星人，則布瑪認為x善良
Bb[Fa] 布瑪認為達爾是外星人
----------------------
Bb[Ga] 布瑪認為達爾善良
III*
(x)(λy(Bb[Fy])x --> λy(Bb[Gy])x) 對於所有x，
如果x有"被布瑪認為是外星人"的性質，
則x有"被布瑪認為善良"的性質
λy(Bb[Fy])a 達爾有"被布瑪認為是外星人"的性質
----------------------
λy(Bb[Gy])a 達爾有"被布瑪認為善良"的性質
以上文字是我的理解，不知這樣有什麼不對，
: 而 III 也是有效的條件會是: λyB[Gy]x 和 B[Gx] 等值,
: 但前者說的是 x 具有「布瑪認為善良的」這個性質,
: 而後者說的是 布瑪認為x是善良的,
: 後者要能用前者表達的要件是x這個位置可以用相同指涉的詞代換,
: 但這是有爭議的, 因為很可能我認為江教授是善良的卻不認為江長院長是善良的,
: 即便我知道這是同一個人。
然後關於數龜的解釋，我不懂的是，
如果有可能我認為江教授是善良的卻不認為江長院長是善良的，
那麼難道不可能 江教授具有"被我認為善良"的性質
且並非 江長院長具有"被我認為善良"的性質？？
麻煩數龜解惑了 m(_ _)m
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.34.57.99
※ 文章網址: http://www.ptt.cc/bbs/W-Philosophy/M.1396499986.A.BE5.html
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 12:40:01
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 12:41:54
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 12:42:18
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 12:45:23
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 12:56:35
※ 編輯: phantomsq (114.34.57.99), 04/03/2014 12:56:53
討論串 (同標題文章)