作者查詢 / MathTurtle
作者 MathTurtle 在 PTT 全部看板的留言(推文), 共2663則
限定看板:全部
看板排序:
1F推:1應該是(P->(Q->P))吧01/08 23:46
2F→:否則當P和Q都為假時, (P->Q)->P 會為假01/08 23:47
8F→:對 我本來想舉R 作例子的12/27 01:12
9F→:但我發現它連inductive都作不出來 所以N其實是不能的12/27 01:13
12F→:對啊 它會需要inductive step宣稱它可以推到N本身啊12/27 01:25
13F→:而這通常也需要一個axiom才做的到的12/27 01:25
16F→:yap 如果informally容許recursion的話 要用R做例子才行12/27 01:36
3F→:我是說, 這個「兩難命題」為假12/15 18:35
4F→:不是說它是一個論証或推論12/15 18:36
6F→:那你的意思只是身高是客觀的12/15 18:38
7F→:而不是說身高是具體實在的事物12/15 18:38
11F→:IQ測驗會給出一個量化智慧結果, 它可能是好方或或不好12/15 18:46
12F→:的方法, 但並不需要把智慧實體化啊12/15 18:46
14F→:就像是你量身高不需要把身高實體化一樣12/15 18:47
16F→:那只表示這是個不好的方法 不表示它把智慧實體化12/15 18:47
19F→:答對幾題IQ題或拿到幾分哪裡實體化了?12/15 18:50
26F→:感謝 :)12/15 18:57
27F→:A90分, B80分 -> A的智慧大於B的智慧 仍然不需要實體化12/15 18:58
29F→:指具體的東西, 如桌椅貓狗這些東西。12/15 19:01
31F→:當然我知道這裡面的哲學爭論很大12/15 19:02
32F→:IQ 題不是具體的東西12/15 19:02
34F→:1cm 當然不是具體的東西 它是理論建構出來的12/15 19:05
36F→:它的確是個爭議, 且這爭議大到會讓邏輯學家無法拿這12/15 19:06
37F→:作為邏輯謬誤的判準之一12/15 19:07
40F→:「一公尺」也是抽象的理論建構12/15 19:11
41F→:1cm, 一公尺, 這些都不是具體的東西12/15 19:11
43F→:你在尺上看不到 1cm (除了印在上面的字外)12/15 19:13
44F→:你只看到一個一個刻劃, 然後你在另一把尺上也看到一個12/15 19:14
46F→:一個的刻劃, 然後你說, 我要叫這「長度」為1cm,12/15 19:15
47F→:然後按Quine的講法, 你就把1cm(或長度)實體化了12/15 19:15
49F→:不不, 我所謂桌子是具體的東西, 不是指桌子這概念12/15 19:18
50F→:而是指具體個別的那張桌子, 例如, 我眼前的這張桌子12/15 19:18
52F→:給它個名子叫「桌子1號」, 那麼具體的東西是桌子1號12/15 19:19
53F→:那你的1cm就只能是某把特定的尺上的特定長度12/15 19:19
55F→:那別人要量東西時, 就不能用1cm量, 因為他沒有你那把尺12/15 19:20
57F→:他可以找一把尺, 但上面就沒有你的1cm了12/15 19:22
59F→:如果他要能用1cm來量東西, 1cm就不是你尺上的刻劃12/15 19:23
60F→:公認的1cm如果是他尺上和你尺上都有的東西, 那麼它就12/15 19:23
62F→:是個抽象的東西, 而不是具體的東西了12/15 19:23
64F→:但桌子1號是具體的, 而「桌子」這概念是抽象的12/15 19:25
66F→:獨一無二不很清楚, 因為也有獨一無二的抽象東西12/15 19:26
68F→:對啊..所以能量東西的1cm是抽象, 你在尺上看到的刻劃是12/15 19:28
69F→:具體12/15 19:28
73F→:沒錯, 重點是按照這種嚴格的定義, 身高是抽象12/15 19:30
75F→:說長度是抽象的原因是 同樣長度可以由兩個不同的個體同12/15 19:33
77F→:時展現, 但桌子一號在這就不會在那12/15 19:34
80F→:呵...比較好的講法是 佔有惟一的時空位置12/15 19:38
82F→:這也許好一點 (不過客觀化又是一堆具爭議的議題了)12/15 19:41
3F→:我從來就沒宣稱過不良後果論述成立12/15 16:00
1F→:為什麼我要辯護這個?12/13 01:20
1F推:你要這麼說我沒有意見 :)12/13 01:19
1F推:我只說「所有人都有信念」是合理的宣稱,12/12 18:45
2F→:當然你可以質疑它而不作出相反的宣稱12/12 18:47
3F→:該宣稱是真是假, 我保持和你一樣的無知立場12/12 18:47
4F→:但你前文是宣稱它是錯的, 那你就是在做出相反的宣稱了12/12 18:48
1F推:you are perfectly right.12/12 14:11
1F→:thanks for your explanation...這樣我就看懂了12/11 01:10
1F推:then he should write: ∃y∀x(Bxy) 是EA而不是AE12/11 01:07
2F→:不過你的解釋是合理的; 這樣我就看懂了12/11 01:09