: variables:变元，代表不特定的个体，通常用x,y,z...来表示，以跟个体常元 : 　　　　　　a,b,c..区隔. 代表不特定的个体，那麽是不是也可能只代表单一个体? 或者某一群 或者任何个体 : free & bound:自由与拘束，当一个变元被量限词(如(x))量限到，即是拘束的，反之则 : 　　　　　　是自由的. : 例子： : (1)Fx x是自由的，因为前方无任何量限词 : (2)(x)(Fx v Fy) x是拘束，但y是自由 : Fx:一个语句函数，所谓的函数是可以代入东西，而得出一个东西(就像贩卖机一样)， : 　　由於F是述词，在二值述词逻辑中，所得到的东西是truth vaule(真值)，也就是 : 　　真或假。通常是由单称语句抽象化而来，如Fa(张三是秃头),Fb(李四是秃头)， : 　　Fx可看成Fa与Fb的形式。由於前方没有量限词，因此x是自由的. : (x)Fx:全称的语句函数，它的中文语意是"所有的x都具有F的性质",由於x是拘束的，所 : 　　　以可以代入任何的个体常元a,b,c...。 很清楚 我懂了 : --------------------------初一～初三十一吃素分隔线-------------------------- : UG规则的特殊限制有三个*，以下代入些微中文语境说明: : (1)不能对个体常元做UG: Fa推不出(x)Fx，理由很简单，"张三是秃头"推不出 : 　"所有人都是秃头". : (2)不能对从EI得到的variable做UG(E代表"有些.."，请左右对调，ptt打不出那个苻号): : 　　1.Ex(Fx) : 2.Fx EI : /∴(x)Fx UG : 　这样的推论是错误的，假设F是指"...是秃头"，x的论域(谈论范围)是全人类， : 当然不能从"有些人是秃头"推论出"所有人都是秃头". 2.Fx 从EI来我不懂 我以为EI只能做出 Fa.Fb.Fc.....这种个体常元的function?因为EI 表示至少存在一个的instantiation 而Fx虽然有可能为指某一个却也可能是一个以上的 : (3)如果α在条件证预设或归谬证法预设中的语句或语句函数里是自由出现的，不可以在 : 　预设释放前，对它做UG。 这里我是这样想的 不知道对不对: 因为x是自由存在於预设中，要验证这个预设能不能在任何情况下都成立，有两种情况 第一种如果x只代表某"一"个或者某"些" 那只能做EG不能做UG如此预设才能合法验证， 第二种是x代表所有、任何 那就能做EG也能做UG都可以合法验证这个预设 所以为了让这个预设在各种(两种)情形中都能合法去验证，只能用EG而不能用UG，EG验证 能让两种情况都包含，相反UG就算验证出了预设也只能在x是代表所有、任何的情形成立 这种想法，也就是Fx x可能为非任何or任何，让我困惑 要怎麽样才能知道什麽时候Fx能做UG? 例如 Fx /(x)Fx 能不能做UG得证结论? : ------------------------我是秃头但不阳萎(希望)的分隔线--------------------- : 从UI而来，做UG是合理的，假设如下 : 1.(x)(Fx->Gx) : 2.(x)(Gx->Hx) /∴(x)(Fx->Hx) : F:"...是100的倍数" : G:"...可让2整除" : H:"...是偶数" : 从1,2的假设，得出"所有是100倍数的，则都是偶数"　是合理的，这也意谓着 : 全称的传递性与HS。 : ps.逻辑已放下许久，第(3)点比较没把握，有错请指正XD : ---------------------------------------------------------------------------- : *彭孟尧，”苻号逻辑”，p345 彭孟尧教授教过我哲学概论半学期= = --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 122.124.209.175