Re: [問題] 關於universal generalization 的restr …
這裡的問題可能是在於, 不同的教科書採用了不同的系統,
所以規則會略有不同, 但書也會略有不同。
主要要先分兩個, 一個是你用的系統裡有沒有constants,
因為有的UI, UG規則是針對constants給的,
例如, UI可以代換任何的constant, 而UG則會有相對的限制。
另外就是你的系統允不允許open sentence,
也就是允不允許一個句子是有free occurrance of variable,
例如: (Fx -> Px) 在有些的系統中不是well formed formula,
而在有些系統中是。
通常不允許open sentence的系統,對UI, UG的規則就會用constants來弄,
因為你不可能代換 (x)(Px) 為 Px, 因那不是一個wff。
所以你在上網查資料時要注意這些細節,
不然是很容易有衝突的。
假設你的系統是沒有constants且容許open sentences好了。(從你發文看起來是這樣)
那大概但書就是像Searle板友在推文中說的那樣吧。
就是UG需要做generalised的x是由UI引進的,
而不能是由EI引進的, 或本來就在那的。
(其實還有其它的, 例如要代換就要代換全部之類的)
這裡也有一些小差別, 也是看你的系統, 如果你的系統本來就不容許前提和結論裡
有open sentence但容許他們出現在推論規則中,
那UG大概只要加上的但書是x不能是由EI引進的。
另外就是習慣不同, 像我就比較習慣open sentence意思是前面自動UG,
也就是說, 像我可能會給我的公設是 x=x, 而不是 (x)(x=x), (因為我有constant)
在這類的系統中, 我也只要要求UG的但書是不能是由EI引進的。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 81.107.38.67
討論串 (同標題文章)
完整討論串 (本文為第 1 之 10 篇):