※ 引述《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