※ 引述《IsaacStein (三人行，必穿我鞋)》之銘言： : 想半天，我終於想通了。 : 你以「即使下雨，我也要出門」為例，來說明"even if A, B."的真值並不 : 保存於 (A & B) 之中。因此"even if D, MR."的真值亦未保存於 (D & MR) : 之中，而應保存於 (D & MR) v (~D & MR)中。 : 但你用了一些理由，認為在Frankfurt提出"even if D, MR."的時候，因 : 為論理的脈絡之故，使該句真值的確保存於 (D & MR) 中，而並不是因為 : "even if A, B."的真值就保存於 (A & B) 之中。 我原初的意思，就不認為該句的真值保存於(D & MR) 中， 而是Frankfurt的例子是(D & MR)或◇(D & MR)沒錯。 我的意思是，造成你這樣的符號化，可能是受到行文脈絡的影響。 : 但似乎並不是如此：你所用的例子，和Frankfurt所要表達的意思是截然 : 不同的。Frankfurt的句子是："even if D, it can be the case that : MR."而你說的「即使下雨，我也要出門」，應該是"even if R, it will : be the case that O."因此前句的形式是："even if A, it 'can' be : the case that B."而後句的形式是："even if A, it 'will' be the : case that B."其中的"can"和"will"將使得這兩個語句的真值條件完全不 : 同。 : "can"所表達的是「成為事實的可能性」，所以我會說，與其將該句符號 : 化為 (D & MR) ，我寧可將之符號化為 ◇(D & MR) ；而在你所使用的例 : 子裡面"will"表達的是「事實」或「將成為事實」，因此我同意將該句符 : 號化為 (R & O) v (R & ~O) ，但這句話跟 O 根本是邏輯等值的。 這邊應該是不小心打錯了。 (R & O) v (~R & O)與O邏輯等值。 : 從語意上來解釋會更清楚，"even if A, it can be the case that B." : 想表達的是「~A不是B的必要條件」；但"even if A, it will be the : case that B."所要表達的不只是「~A不是B的必要條件」，它要表達的更 : 是「B的發生，跟A發不發生毫無任何關係」，或者是「A與B沒有任何因果 : 上的關係。」因此符號化為 "B"，確實是如實地保留了該句的真值條件， : 但並未把該句的「語意」說得比較清楚。 : 就再引你的例子，「即使下雨，我仍然會去」，這不只是要說「不下雨不 : 是我去的必要條件」，這更要說「不管下不下雨我都會去」，也就是「下 : 雨跟我去不去沒有任何因果關係」。因此，通常這樣的句型會被接在某些 : 條件的設定之下，如「這個車展我等了三年了，即使下雨我還是會去！」 : 這樣的句型除了強調「下雨與否，跟我去不去沒有任何因果關係」，更是 : 在暗示（或強調）「真正跟我去不去有因果關係的不是天氣，而是我打算 : 要去的那個活動本身！」例如，「要不是那個車展我等了三年，就算不下 : 雨我也不會去。」就會是一個鮮明的對照。 照你之前的回文，你區分出兩種決定論者的表述形式， (1)If determinism is true, there would be no moral responsibility. (2)If determinism is true, there would necessarily be no moral responsibility. 所以，照你目前的解讀，你應該是排除了(1)，而保留了(2)。 ◇(D & MR)的確可以反駁(2)。 那問題是：究竟「即使A, B。」該如何符號化？ 你至少區分了"will"和"can"形式，認為各自有不同的符號化方式， 無法同樣方式來一以貫之。 那◇(D & MR)是(2)的正確符號化嗎？ 現在問題有點複雜，因為我沒學過modal logic， 在(2)情況下，我同意Frankfurt是舉出◇(D & MR)的例子， 說明有個可能世界有這樣的情形，因而「不必然決定論蘊含無道德責任」。 思考一個例子， 當PP說：「即使1+1=3，天還是可能(在某個可能世界)下雨。」，PP認為1+1必然為2， 他會將「即使1+1=3，天還是可能(在某個可能世界)下雨。」 符號化為◇(1+1=3 & R)？？ 我的看法是，PP可以說出這樣的話，並有這樣的信念，而沒有矛盾， 而你的解讀方式，會使得這種說法陷入不一致。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.114.118.50 ※ 編輯: COCOAII 來自: 140.114.118.50 (06/30 17:38)