[請益] 什麼是有效推論?

看板logic作者 (如是如是)時間15年前 (2009/05/14 16:07), 編輯推噓6(6推 0噓 5→)
留言11則, 3人參與, 最新討論串1/6 (看更多)
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
推
05/15 00:29, , 1F
肯定後項的謬誤 一堆人常犯的毛病
05/15 00:29, 1F
推
05/15 01:00, , 2F
那是因為 妳要不要把數學真命題當作一個恆真命題呢?
05/15 01:00, 2F
→
05/15 01:00, , 3F
通常在邏輯書中 會把1+1=2 4/2=2 等等當作恆真的
05/15 01:00, 3F
推
05/15 01:02, , 4F
所以你會看到一些很怪的例子
05/15 01:02, 4F
→
05/15 01:03, , 5F
前提:陳水扁是貍貓 結論:2+2=4 他也是一個有效論證
05/15 01:03, 5F
推
05/15 01:06, , 6F
既然結論不可能為假了 符合前提為真的情況下結論不為假
05/15 01:06, 6F
→
05/15 01:06, , 7F
那就變成有效論證囉
05/15 01:06, 7F
推
05/15 01:19, , 8F
不過如果你火大 不想把數學命題當作真命題
05/15 01:19, 8F
→
05/15 01:19, , 9F
數學真命題當作恆真命題的話
05/15 01:19, 9F
→
05/15 01:20, , 10F
p->q,q|=p 這樣的形式當然不是有效論證
05/15 01:20, 10F
推
05/17 23:43, , 11F
肯定前件，因而肯定後件。不能因為肯定後件就自己肯定前件
05/17 23:43, 11F
‣ 更多 hardcover 的文章
文章代碼(AID): #1A2z4x75 (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 6 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共6篇)
‣ 更多 hardcover 的文章
文章代碼(AID): #1A2z4x75 (logic)