作者查詢 / MathTurtle
作者 MathTurtle 在 PTT 全部看板的留言(推文), 共2663則
限定看板:全部
看板排序:
3F推:krisnight 對這篇文章有何看法呢?02/27 23:12
4F→:功能主義是為修正行為主義而出現, 並不把心靈看成實驗02/22 21:33
5F→:室的老鼠, 我想這點應該算基本常識了。02/22 21:34
9F→:常識是指google就很容易找得到的資料。02/22 21:44
10F→:而且我只是借用功能主義強調what constitutes a belief02/22 21:45
12F→:is its contribution to the overall behaviour這想法,02/22 21:45
14F→:這要導到功能主義就是制約反應模式的結論恐怕太難了吧02/22 21:46
2F→:我個人是覺得也可以是理性的02/22 03:28
11F→:怪的不是那句02/11 01:37
2F→:那就是你自己的斷言了, 不是神說的。01/25 15:57
3F→:你前文說「舊約說」,推文說「神有說」,其實只是你在說01/25 15:59
3F→:問題就是神從來沒有說過ONLY JEWS...01/25 15:32
4F→:Paul's defence: once jews, then gentiles, then jews01/25 15:35
5F→:again, then end. 如果你讀過羅馬書9-11的話應該知道的01/25 15:36
9F推:看不出來這段哪裡說了: 神向來只救猶太人了?01/25 15:44
3F→:問題就是神從來沒有說過ONLY JEWS...01/25 15:32
4F→:Paul's defence: once jews, then gentiles, then jews01/25 15:35
5F→:again, then end. 如果你讀過羅馬書9-11的話應該知道的01/25 15:36
3F推:你可以叫它"hypothetical entity"之類的01/25 11:56
10F推:如果是自然演譯法, 其實是不能直接引入恆真句進去前提01/10 21:38
11F→:但你可以把恆真句給出證明, 然後以此當Lemma用, 才行01/10 21:38
12F→:這點很重要的原因是 5中的Rv~R在直覺邏輯的自然演譯法01/10 21:40
13F→:中, 是個證不出來的命題01/10 21:40
14F→:有興趣可以試著用自然演譯法證證排中律, 不太好證01/10 21:41
15F推:應該說, 會需要用到RAA才能證出來01/10 21:43
16F推:給amorur:如果你不喜歡推文其實你可以刪文重貼原文01/09 13:41
18F→:這樣就不會違反板規也可以「刪去」推文01/09 13:41