※ 引述《hardcover (如是如是)》之铭言： : 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 「有效性」有两种不同的用法 在稍微进阶的逻辑书籍里通常都找的到 1. 理论证明的有效性 (proof-theoretic notion of validity) 2. 语意的有效性 (semantic notion of validity) （翻译可能不妥　恳请参考原文） 前者说的是「前提可以用来证明得出结论」 这取决於你用哪一套演译系统 後者说的是「不可能前提为真但结论为假」 这取决於句子里谈论到的对象 前者跟原po的"1."类似 根据这个标准 原po给的例子应该是无效推论 後者跟原po的"2."雷同 根据这个标准 原po给的例子似乎是有效推论 有效性的两种用法 关系到「一套演译系统是不是好的系统」这个问题 基础的逻辑书籍往往跳过不谈 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.129.77.153