作者rodyforeter (rodyforeter)
看板W-Philosophy
标题Re: [问题] 关於universal generalization 的restr …
时间Tue Jun 1 00:38:20 2010
现在我觉得问题的轮廓更清晰了 感谢各位说明
根据M大宏观的比较说明 我的系统里是有constants 跟open statement
同时我的书上有关UG的限制有两个:条件跟间接证法sequence的第一行, 如果variable是
free, 则不能对他做UG (原因书上没说..我理解是因为这个free variable可能为特定的
某些或着全部, 就是也许能做UG EG 或者只能做EG, 因此不可直接做UG)
第二个限制是不能对从EI得到的variable做UG(原因也是没说, 应该是此变元可能为特定)
所以说综合这些限制的共同点, 我在想是否UG的限制就是如果variables是不确定的情况
则不能对他做UG ? 就是这点跟我所理解的有冲突 我以为只要是Fx就能做UG
难道是说variable 做UG要看这个variable能否确定包含所有element in the universe吗?
那要如何确定这种能做UG的variable ? 换句话说要如何确定x 是bound 还是free?
等等, x是bound 或free对能不能做UG有绝对的影响吗? bound free的意思在数学里我懂
但我仍不太清楚他们在述词逻辑中的意义...
而如果Fx 要看"上下文意"来决定能不能做UG 那如果Fx出现在hypothesis呢?.....
以上,我的一些提问可能是建立在错的理解上 所以如果有板友觉得乱七八糟难以回答的话
希望能直接完整的说明有关的概念 例如free bound , variables , Fx 跟(x)Fx 等等
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.124.213.31
1F：→ assistking:强 06/01 01:08
2F：→ Searle:楼上怎麽感觉有股酸味 06/01 08:19
3F：→ PlayStation3:西哲版两大支柱讲话都很酸阿。W 06/01 16:10
4F：→ fjd:酸的东西是乳酪吧,没看过酸的柱子. 06/01 16:32
5F：推 assistking:没有酸 我是说真的 因为这些单字我都看不懂 06/01 17:44
6F：→ assistking:这种专业的讨论很棒 让我增广见闻 06/01 17:45