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