Re: [請益] 什麼是有效推論?
※ 引述《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
討論串 (同標題文章)