※ 引述《IsaacStein (My Name)》之銘言：
: 若「『保秘防諜』做為手段，不足以達成『效忠國家』這個目的」（Ａ）則
: 「『保秘防諜』就喪失其應然約束力」（Ｂ）。
: 上面是一個條件句，這個條件句既不預設前件真，也不預設前件可能真。
: 「Ａ→Ｂ」，並不預設「◇Ａ」，「□～Ａ」與「Ａ→Ｂ」既不矛盾也不衝
: 突。所以，當你說我說的「（Ａ→Ｂ）→Ｃ」等於「◇Ａ→Ｃ」的時候，這
: 就是一個錯誤的詮釋。
: 應該說，我認為要使「保秘防諜」是一個定言令式的必要條件之一是，「即
: 使『保秘防諜』做為手段，並不足以達成任何它自身以外的目的，它仍具有
: 應然的約束力」。
我沒學過modal logic，只是想問為何不預設◇Ａ？
「若A不是矛盾句，A是邏輯上可能」不是恆真句嗎？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.104.108.83