※ 引述《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://webptt.com/m.aspx?n=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