Re: [討論] 有鑑於

看板logic作者 (HERESY)時間21年前 (2003/04/02 00:25), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串4/4 (看更多)
※ 引述《COCOAII (俐落出手)》之銘言: : ※ 引述《aletheia (HERESY)》之銘言: : : logic版已經成為puzzle版 : : 那我也來出個題目讓大家動動腦好了 : : 在一個條件句X:「若p則q」中,我們知道X只有在p為真,q為假的時候為假。 : : 但是仔細檢查條件句的真值表,我們會發現只要q為真,則X必然為真。 : : 且只要p為假則X也必然為真。正式術語上稱此為「實質蘊含悖論」。 : : 舉個例子好了, : : 若奶油超人很快樂,則1+1=2。此句為真。 : : 若1+1=3,則奶油超人很快樂。 此句為真。 : : 參照上述的例子,直覺或許會告訴我們這樣的句子怎麼不可能為真。 : : 甚至對我們來說這樣的句子不會有意義。 : : 請問各位,是否有解決悖論的方法?若有,是什麼呢? : p-->q <-> ~p v q : 一般我們聽到或看到條件句 會檢驗兩種情形 (T,T)及(T,F) : p q 檢驗 真假值 : T T o T : T F o F : F T x T(?) : F F x T(?) : 例如 告訴人 假如地球毀滅 老王就死了 : 直接會假想或驗證 地球毀滅 然後老王是否死了 ? : 而比較無法去思考到 地球沒毀滅 或是 老王已經作古了 這句話即為真 : 甚至 無法確認的奶油超人存在與否 和一句話的真假無關 : 而只要能保證1+1=2 不會=3 就能確定這兩句話的真假值 : 我們一般自然語言 在條件句下所謂的真 指的是兩者皆真 : 解決的方法 我想 "若...則..." 在語言的用法上 一般牽涉到因果關係 : 即p造成q 或p由q引起 而在proposition logic裡 指的是充分和必要條件 : 釐清自然語言與邏輯語言的用法可能有助於解決悖論 喔喔 其實你說中了一個悖論的解決方向 以你說的是以相關邏輯 或稱因果關係來解決 的確不是在propositional logic中可以處理的 這時候條件句通常會被改為其他符號 如 「--3」這樣 但老實說這樣的分析我認為可能會更繁複 牽扯到因果關係很容易沒完沒了 最近比較忙 我改天再回詳細點吧 -- ※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw) ◆ From: 218.166.80.181 ※ 編輯: aletheia 來自: 218.166.80.181 (04/01 21:04) ※ 編輯: aletheia 來自: 218.166.80.181 (04/02 00:25)
文章代碼(AID): #-YRrl1G (logic)
文章代碼(AID): #-YRrl1G (logic)