作者rodyforeter (rodyforeter)
看板W-Philosophy
标题[问题] 关於universal generalization 的restriction ?求助
时间Mon May 31 14:17:28 2010
我自己从yahoo搜寻universal generalization restriction
都是说UG 不能从free variables 做出
因为free variables 可能为某些特定的或是代表所有变元
所以不能直接就确定做UG (我的理解)
可是我的教科书上说 (x)(Fx→Sx) 是bound variables (x)=universal quantifer
而statement function Fx→Sx 是free variables
我想先问这样定义对吗?
然後书本後面又有论证如下:
1. (x)(Px→Dx)
2. (x)(Dx→Cx) / (x)(Px→Cx)
3. Py→Dy UI on 1
4. Dy→Cy UI on 2
5. Py→Cy 3.4 HS
6. (x)(Px→Cx) UG on 5
这样不就从free varialbes 做出UG了吗? 书上的说明是说
line 5 as saying "If it is a P, then it is a C, where "it" designates any item
at random in the universe." 所以能做UG
而且後面又有好多例子从statement function 做出UG
究竟variables 是bound or free 我觉得维基百科的说明比较清楚
(x)F(x,y) x 是bound 而 y 是 free
还有一个我搞不懂的地方 Fx
______
(x)Fx 这是UG定义
但是
Without the restriction on Universal Generalization, one may deduce (x)Px
from Px. However, this deduction is not correct. For, what Px means is Px
holds for an unspecified element x, but it does not necessarily mean that
Px holds for all x.
意思是说 Fx 能不能做UG成 (x)Fx 要看这个X是否确定for all x ?
我对UG的限制 这里真的有很多不懂 不管我怎麽想都有矛盾的地方
也看了很多有用到UG的论证 结果更加混淆想到快发疯
最後 希望你们能看得懂我想表达的问题点
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.124.208.174
1F：推 passaway:妈的 根本看不懂... 05/31 14:45
2F：→ passaway:来阿~高手不是很多~我等着看真正的高手出来 05/31 14:46
3F：推 Searle:因为那个UG是从UI来的 05/31 14:50
4F：→ Searle:应该说 那个UG所作的变元是从UI而来的 05/31 14:51
5F：→ Searle:从For all推到一个 在从这一个推到for all是合法的 05/31 14:52
6F：→ Searle:如果只是单一的free variable 那不能做UG 因为不能从一个推 05/31 14:52
7F：→ Searle:出所有的 05/31 14:52
8F：→ a3435357:如上，其实如果你代入中文语境，就能理解从UI而来所做的 05/31 19:05
9F：→ a3435357:UG是合理的 05/31 19:06
10F：推 passaway:还真的有高手! 佩服佩服 05/31 22:08
11F：推 assistking:强 06/01 01:08