作者hardcover (如是如是)
看板logic
标题[请益] 什麽是有效推论?
时间Thu May 14 16:07:22 2009
1.在"大师不敢翘的课"一书中说：论证的有效性有语句的真假是两回事。
有效性是指论证结构有效。
2.但是我查到关於有效论证的定义是：前题为真的时候，结论不能为假。
请看下面的例子
if 16 is divided by 4, then 16 is divided by 2
16 is divided by 2
so, 16 is divided by 4
由 1. 这个论证结构是无效的，所以是一个无效论证 (invalid argument)
由 2. 这个论证的前题都为真，结论也为真，所以是一个有效论证 (valid argument)
是哪里搞错了？
thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.114.203.67
1F：推 mikechan:肯定後项的谬误 一堆人常犯的毛病 05/15 00:29
2F：推 Hseuler:那是因为 你要不要把数学真命题当作一个恒真命题呢? 05/15 01:00
3F：→ Hseuler:通常在逻辑书中 会把1+1=2 4/2=2 等等当作恒真的 05/15 01:00
4F：推 Hseuler:所以你会看到一些很怪的例子 05/15 01:02
5F：→ Hseuler:前提:陈水扁是狸猫 结论:2+2=4 他也是一个有效论证 05/15 01:03
6F：推 Hseuler:既然结论不可能为假了 符合前提为真的情况下结论不为假 05/15 01:06
7F：→ Hseuler:那就变成有效论证罗 05/15 01:06
8F：推 Hseuler:不过如果你火大 不想把数学命题当作真命题 05/15 01:19
9F：→ Hseuler:数学真命题当作恒真命题的话 05/15 01:19
10F：→ Hseuler:p->q,q|=p 这样的形式当然不是有效论证 05/15 01:20
11F：推 jocabyu:肯定前件，因而肯定後件。不能因为肯定後件就自己肯定前件 05/17 23:43