Re: [請益] 一個論證的有效性

看板logic作者 (我要送Hodges100張好人卡)時間14年前 (2010/03/21 19:14), 編輯推噓0(002)
留言2則, 1人參與, 最新討論串8/9 (看更多)
※ 引述《very1ghost (絮風)》之銘言: : 這是台大通識邏輯課上老師舉的例子, : 可是包括小妹在內很多人都無法理解@@ : 是關於一個論證(argument)的有效性(validity)的問題, : 老師說「論證有效」的定義為「不可能存在前提為真結論為假的情況」, : 若「有可能」,則此論證無效。 : 於是老師舉了一個論證: : 前提:2+2=4 : 結論:馬英九是2010年的總統 : 大家都覺得前提與結論都為真,故此論證應有效, : 但老師卻說此論證無效@@ : 老師說無效的理由並不是因為2010年還沒過完, : 即使把2010年改成2009年,此論證依舊無效, : 大家聽了一頭霧水@@ : 有沒有板友可以幫忙解答這個疑惑呢?感謝>_< 有沒有可能在某個可能世界裡面馬英九在2009時沒有當選? 如果有可能,那你提到的例子就不是有效的。 因為「不可能存在前題為真,結論為假的情況。」 不過我這樣講已經引入了可能世界這個概念了...冏 數學語句,像是2+2=4, 5+7=12這些,我們之所以一般會說他一定是真 其實是因為我們已經先預設了我們在寫這些記號(i.e. 2, 4, +, =, et cetera)時, 採用的系統是蘊含皮亞諾公設的數學系統,因此2這個記號就是我們一般認為的那個2 如果你要說2+2=5是正確的,那你就要重新給定2, 5, +, =的定義,重作一個系統。 這也是為什麼H大在回文中強調,真假與否,要看採用甚麼樣的系統。 比較正式的講法,可能就要請板上有研究的大大來替大家講解了。 我只是個路過的小小而已XD" -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.27.80.71

03/21 21:53, , 1F
不是對照到世界現況.對照世界現況是亞里士多德時代的邏輯法
03/21 21:53, 1F

03/21 21:55, , 2F
.在現代邏輯學只是可以給一則命題賦予真假值而已.
03/21 21:55, 2F
文章代碼(AID): #1BfV-UR7 (logic)
討論串 (同標題文章)
文章代碼(AID): #1BfV-UR7 (logic)