Re: [問題] 關於universal generalization 的restr …
※ 引述《rodyforeter (rodyforeter)》之銘言：
: 現在我覺得問題的輪廓更清晰了 感謝各位說明
: 根據M大宏觀的比較說明 我的系統裡是有constants 跟open statement
: 同時我的書上有關UG的限制有兩個:條件跟間接證法sequence的第一行, 如果variable是
: free, 則不能對他做UG (原因書上沒說..我理解是因為這個free variable可能為特定的
: 某些或著全部, 就是也許能做UG EG 或者只能做EG, 因此不可直接做UG)
這樣我大概懂了...對, 在條件證法和間接證法中是不能直接UG的,
我忘了這點。這是為了避免以下的論証:
1. Fx Ass
2. (x)Fx UG
3. Fx -> (x)Fx 1-3 CP
4. (x)(Fx -> (x)Fx) 3, UG
這裡, 4的 UG 是合法的, 但是不合法的是2。
為何這是錯的呢, 因為結論(x)(Fx -> (x)Fx) 等價於 ExFx -> (x)Fx
而顯然 ExFx -> (x)Fx 並不是一個tautology...
問題出在哪呢, 問題出在當條件證法還沒關起來之前,
裡面含有free variable的式子還沒被證出來,
所以不算是 take any value, then generalise的這種概念。
(其實我解釋不太清楚, 不過我想例子應該很清楚)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 81.107.38.67
推
06/02 12:45, , 1F
06/02 12:45, 1F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 3 之 10 篇)：