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