※ 引述《hardcover (如是如是)》之铭言： : ※ 引述《aletheia (cOnJeCTuRe)》之铭言： : : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ : : 错了 2有点模糊没错 : : 2是 有效论证是前提全真的时候,结论不能为假 : : 也就是前提皆真结论假就不是有效论证 : : 但2不是 前提皆真结论真就是有效论证 : 我们上课的slides是这样写的 : Valid/Invalid argument : o An objective analysis : - Is it possible that all premises are T, but the conclusion is F? : . If so, it is an invalid argument, otherwise, it is valid : ^^^^^^^^^^^^^^^^^^^^^^ : 这麽说，是老师写错了？ : 上面要改成，otherwise, it can be valid or invalid ? : thanks 关键在你怎麽区分logical/non-logical symbols 你的例子是有争议的, 原因是因为它是一个数学命题, 所以如果我们把 16, divided, 这些都看成logical symbols的话, 它的确会是有效的。 但我们如果把数字看成non-logical, 我们考虑的就是, if m is divided by n, then m is divided by k, m is divided by k, therefore, m is divided by n 然後我们问有没有可能所有前提都为真, 但结论为假, 结果我们发现有这种可能, 例如 m=2, n=4, k=2。 因此该论证是无效。 所以重点是我们能不能找到一种诠释non-logical symbol的方法使得 所有的前为真且结论为假。 --

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