※ 引述《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/cn.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