作者MathTurtle (恩典)
看板Atheism
标题Re: [讨论] 常见谬误列表。
时间Tue Dec 15 18:29:11 2009
※ 引述《el4e8d (阿豪)》之铭言:
: 由你给的谬误定义
: 假两难谬误经典例子:你选择爱国,还是卖国?
: 也不成谬误了
你的例子:「你选择爱国,还是卖国?」
它只是一个问题, 问题不是推理, 也不会有什麽谬误。
你可以回答选爱国, 可以回答选卖国,
可以回答都不选, 也可以回答都要选, 或其它千百种回答,
我看不出来你给的例子犯了什麽谬误。
如果你要举假两难谬误的例子, 下面这个可能会好一点:
「你不想选择卖国, 所以你要选择爱国」,
这推理所假设未明言的命题:「或者你选择卖国, 或者你选择爱国」是个假两难。
: 有些人会把由语言、心理或其他因素等所造成的似是而非
: 归类为「非形式谬误」
: 作者原文:
: 构成谬误(composition fallacy):当某论据的结论,是倚靠由某东西从部份至整体、
: 或从整体至部份的错误特性。(例如:人类有意识,而人体和人脑都是由原子组成,
: 所以原子都有意识。又例如:文书处理软件由佷多原位组(byte)组成,
: 所以一个原位组是组成文书处理软件的一部份。)
: 你说的定义:
: 定义我给在 #1B8duV0v 了:
: if x consists of (or is constituted of) a class of things, y,
: then anything belonging to y is a component (or a constituent) of x。
: 即:
: 若(且惟若)x是由y这个class组成的, 那麽任何y里面的一个都是组成x的一部份。
: ↑
: 我假设这是你说的构成谬误定义
这不是构成谬误的定义,
这是「组成」和「部份」的定义。
至於构成谬误的定义,
我可以给出:
一个论证犯下构成谬误, 若此论证是, 由每个组成部份都有性质P,
推论出其所组成的整体也具有该性质P。
: 那麽来检视一下,由你的定义:
: 文书处理软件是由一些位元组组成的,那麽任何位元组都是组成文书处理软件的一部分
: 原作者举例:
: 文书处理软件由佷多原位组(byte)组成,所以一个原位组是组成文书处理软件的一部份。
: ↑
: 这里的一个他没说是哪个 想必是任何一个的意思
: 我看不出原作者举例跟你的定义差别在哪
: 附带一提
: 我的M即为所有位元组所成之集合,N即为文书处理软件的位元组所成之集合
如果这是你的M和N, 那麽M的确包含N,
但是N却不是由M所组成,
因为文书处理软件的位元组所成之集合不是由所有位元组所成之集合所组成。
而更重要的是, 「N是由M组成」, 与「文书处理软件是由位元组所组成」,
这两个命题是不等价的。
: 你在#1B8duV0v说的:
: 偷换概念不是begging the question,
: 一般而言的偷换概念所犯的逻辑谬误会称作为 equivocation,
: (fallacy of equivocation 或 fallacy of ambiguity)
: begging the question (petitio principii)一般指的就是循环论证,
: 指的是以所要论证的论旨作为前提, 来论证该论旨。
: 这和偷换概念是完全不同的。
: OK,我查了一下begging the question的确是在讲循环论证。
: 那麽作者在这里给的定义是错的
: 但是其所举的例子可以看出的确为谬误,只是归类归错了
: 至於你在不良後果说的,你要以某些情况符合来说明这不是个谬误:
: 挑错时你没有挑这边,我假设你同意这里的定义:
: 错误因果(post hoc, ergo propter hoc):拉丁语「它发生在之後,所以它是结果。」
: 与不当结论类似,不过与时间有关。(例如:她去了中国之後病了,所以中国有些东西令
: 到她病。)可能她的病是由於其他原因,与中国完全无关。
: 由以上的例子
: "可能她的病是由於其他原因,与中国完全无关。"
: 但也可能跟中国有关阿,所以我可以说因为可能跟中国有关就否定这个是谬误吗?
主要是看这个推理是不是基於「後发生的事情是结果」这原则推论的,
如果是, 那麽即便结论为真, 按这定义此论证仍犯错误因果的谬误。
(一个论证的有效性, 与结论是否为真是不同的)
: 实体化谬误(reification fallacy): 当人们把抽象的信念或假设性的构想,
: 当作是实在的事物。如以IQ题作为真实衡量智慧的方法;
: 由抽象的社会构想而来的种族概念(尽管基因属性的存在),
: 源自经拣选的属性组合,或者标签某一组人;占星;耶稣;圣诞老人;等等。
: 抽象的信念或假设性的构想,
: 你会说身高、温度是抽象的信念或假设性的构想吗?
: 而智慧这种东西本来就是抽象的信念或假设性的构想
: 所以你举的例子失当了。
身高为什麽不是抽象的东西?
你可以摸的到身高? 看的到身高?
也许你说, 你量的到身高, 但你也同样量的到IQ。
另外, 就算是按作者的定义, 「以IQ题作为真实衡量智慧的方法」,
也没有犯他所界定的谬误。
因为一个人以IQ题作为真实衡量智慧的方法,
他并不需要把智慧当成「实在的事物」,
(如果你对「身高」例子有质疑, 那换一个)
就像你用血压计量血压, 你也不需要把「血压」当成实在的事物,
「血压」某意义上是理论建构下的东西, 不是实在的事物。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 81.107.35.152
1F:→ el4e8d:你假两难「或者你选择卖国, 或者你选择爱国」是说这符合谬 12/15 18:34
2F:→ el4e8d:误? 12/15 18:35
3F:→ MathTurtle:我是说, 这个「两难命题」为假 12/15 18:35
4F:→ MathTurtle:不是说它是一个论证或推论 12/15 18:36
5F:→ el4e8d:先回你身高那里 不论我用任何一把尺量 是几公分就是几公分 12/15 18:37
6F:→ MathTurtle:那你的意思只是身高是客观的 12/15 18:38
7F:→ MathTurtle:而不是说身高是具体实在的事物 12/15 18:38
8F:→ el4e8d:那麽就看你如何定义智慧跟智商这两种东西 12/15 18:41
9F:→ el4e8d:我说身高是几公分 的确是可以实际用尺表示出几公分 12/15 18:42
10F:→ el4e8d:但是你可以把处理一件事的智慧 实际用啥表示是几个IQ题吗 12/15 18:43
11F:→ MathTurtle:IQ测验会给出一个量化智慧结果, 它可能是好方或或不好 12/15 18:46
12F:→ MathTurtle:的方法, 但并不需要把智慧实体化啊 12/15 18:46
13F:→ el4e8d:我学到的逻辑 里面有把概念上的错误归类为「非演绎谬误」 12/15 18:46
14F:→ MathTurtle:就像是你量身高不需要把身高实体化一样 12/15 18:47
15F:→ el4e8d:重点是其不足以代表整个智慧阿 12/15 18:47
16F:→ MathTurtle:那只表示这是个不好的方法 不表示它把智慧实体化 12/15 18:47
17F:→ el4e8d:归结在於 达队哪几个IQ题或几题或是拿到几分 这都是实体化 12/15 18:49
18F:→ el4e8d:所以我会把一些概念上的错误说为谬误 12/15 18:49
充一点背景,
Quine 对於 reification的攻击和批评, 有它的影响力在,
因此或许有某一段时期有些做 informal logic 的人把它写成一个fallacy,
但大概在Quine自己的中後期, 也就是 Quine-Putnam转到某种 platonism之後,
大家也渐渐了解到他早期对reification批评, 或许是过於严刻。
因此, 我相信, 保守估计往後退一个世代, 至少在2000年之後的讨论,
应该不会再有逻辑学家把 reificiation 看成是一个谬误了。
所以也可以看得出来该篇文章的原作者资料来源是很旧的东西了。
19F:→ MathTurtle:答对几题IQ题或拿到几分哪里实体化了? 12/15 18:50
20F:→ el4e8d:不良後果那里也是 人家定义是不足以 12/15 18:50
※ 编辑: MathTurtle 来自: 81.107.35.152 (12/15 18:56)
21F:→ el4e8d:就是说 例如A90分 B80分 →A>B 12/15 18:51
22F:→ el4e8d:至於组成谬误那里 我大概看出你要说的了 你要说的是作者应 12/15 18:53
23F:→ el4e8d:该解释 位元组组成文书处理软件 但位元组不具有文书处理软 12/15 18:53
24F:→ el4e8d:件的特性 12/15 18:54
25F:→ el4e8d:这里我同意你要表达的东西 作者的在那例子的说明不够精确 12/15 18:55
26F:→ MathTurtle:感谢 :) 12/15 18:57
27F:→ MathTurtle:A90分, B80分 -> A的智慧大於B的智慧 仍然不需要实体化 12/15 18:58
28F:→ el4e8d:所以你的实体化是指能由五官去感受到的? 12/15 19:00
29F:→ MathTurtle:指具体的东西, 如桌椅猫狗这些东西。 12/15 19:01
30F:→ el4e8d:那麽IQ题是不是具体的东西 12/15 19:02
31F:→ MathTurtle:当然我知道这里面的哲学争论很大 12/15 19:02
32F:→ MathTurtle:IQ 题不是具体的东西 12/15 19:02
33F:→ el4e8d:就好像1cm 是不是具体的东西 12/15 19:02
34F:→ MathTurtle:1cm 当然不是具体的东西 它是理论建构出来的 12/15 19:05
35F:→ el4e8d:这里的争议就在什麽是实体化罗 12/15 19:05
36F:→ MathTurtle:它的确是个争议, 且这争议大到会让逻辑学家无法拿这 12/15 19:06
37F:→ MathTurtle:作为逻辑谬误的判准之一 12/15 19:07
38F:→ el4e8d:像是四脚桌 由四个支柱支撑一个平面→实际上的桌子 12/15 19:08
39F:→ el4e8d:1cm 一公尺的百分之一 → 刻划在尺上 12/15 19:10
40F:→ MathTurtle:「一公尺」也是抽象的理论建构 12/15 19:11
41F:→ MathTurtle:1cm, 一公尺, 这些都不是具体的东西 12/15 19:11
42F:→ el4e8d:但是他就是可以刻划出来让你看到长度 12/15 19:12
43F:→ MathTurtle:你在尺上看不到 1cm (除了印在上面的字外) 12/15 19:13
44F:→ MathTurtle:你只看到一个一个刻划, 然後你在另一把尺上也看到一个 12/15 19:14
45F:→ el4e8d:如果看不到1cm长度 那根本无法量出长度 12/15 19:15
46F:→ MathTurtle:一个的刻划, 然後你说, 我要叫这「长度」为1cm, 12/15 19:15
47F:→ MathTurtle:然後按Quine的讲法, 你就把1cm(或长度)实体化了 12/15 19:15
48F:→ el4e8d:一个由底部结构支撑的平面 整体你把他命名为桌子 12/15 19:16
49F:→ MathTurtle:不不, 我所谓桌子是具体的东西, 不是指桌子这概念 12/15 19:18
50F:→ MathTurtle:而是指具体个别的那张桌子, 例如, 我眼前的这张桌子 12/15 19:18
51F:→ el4e8d:我的1cm也是具体能看到的长度 12/15 19:18
52F:→ MathTurtle:给它个名子叫「桌子1号」, 那麽具体的东西是桌子1号 12/15 19:19
53F:→ MathTurtle:那你的1cm就只能是某把特定的尺上的特定长度 12/15 19:19
54F:→ el4e8d:1cm本身是有公认的名字 你要个别取啥名字无所谓 12/15 19:20
55F:→ MathTurtle:那别人要量东西时, 就不能用1cm量, 因为他没有你那把尺 12/15 19:20
56F:→ el4e8d:他可以自行去找一把尺 不然没有工具 你怎麽制作桌子 12/15 19:21
57F:→ MathTurtle:他可以找一把尺, 但上面就没有你的1cm了 12/15 19:22
58F:→ el4e8d:上面有公认的1cm 12/15 19:22
59F:→ MathTurtle:如果他要能用1cm来量东西, 1cm就不是你尺上的刻划 12/15 19:23
60F:→ MathTurtle:公认的1cm如果是他尺上和你尺上都有的东西, 那麽它就 12/15 19:23
61F:→ el4e8d:你这里大概是把我的1cm由其他东西取代 但是公认就是公认 12/15 19:23
62F:→ MathTurtle:是个抽象的东西, 而不是具体的东西了 12/15 19:23
63F:→ el4e8d:你要说如此的话 桌子也同理罗 12/15 19:24
64F:→ MathTurtle:但桌子1号是具体的, 而「桌子」这概念是抽象的 12/15 19:25
65F:→ el4e8d:还是说你的实体化是指独一无二的存在? 12/15 19:25
66F:→ MathTurtle:独一无二不很清楚, 因为也有独一无二的抽象东西 12/15 19:26
67F:→ el4e8d:一样的意思 尺上的1cm看的到 1cm长度其概念也可以符合抽象 12/15 19:27
68F:→ MathTurtle:对啊..所以能量东西的1cm是抽象, 你在尺上看到的刻划是 12/15 19:28
69F:→ MathTurtle:具体 12/15 19:28
70F:→ el4e8d:桌子的抽象定义讲出来 然後制造出来让你看到 摸到 12/15 19:29
71F:→ el4e8d:也是一样 12/15 19:30
72F:→ el4e8d:重点是 我们能不能看到长度? 12/15 19:30
73F:→ MathTurtle:没错, 重点是按照这种严格的定义, 身高是抽象 12/15 19:30
74F:→ el4e8d:我们是可以看到长度 但眼睛无法精准测量 得靠工具 12/15 19:31
75F:→ MathTurtle:说长度是抽象的原因是 同样长度可以由两个不同的个体同 12/15 19:33
76F:→ el4e8d:总之实体化有争议 能想出比实体化更好解释的才有意义 12/15 19:33
77F:→ MathTurtle:时展现, 但桌子一号在这就不会在那 12/15 19:34
78F:→ el4e8d:两个不同个体 蛇跟人 或蚂蚁跟人 来看桌子 12/15 19:34
79F:→ el4e8d:...所以又回到独一无二 12/15 19:37
80F:→ MathTurtle:呵...比较好的讲法是 占有惟一的时空位置 12/15 19:38
81F:→ el4e8d:我想把实体化改为由主观化为绝对客观吧 这样应该没有争议了 12/15 19:39
82F:→ MathTurtle:这也许好一点 (不过客观化又是一堆具争议的议题了) 12/15 19:41
83F:推 amozartea:math大,另一边是在说in general不对,你一直举特例.. 12/15 20:25
84F:→ aletheia:这串真感人 原来对逻辑有兴趣的人真多 应该移驾logic讨论 01/13 03:26