小弟沒學過模態邏輯，
光是想看懂兩位前輩的討論就很吃力...囧
以下我試著簡單整理一下大家對於這個論證的共識，
如果有錯請指正。 m(_ _)m
關於這個論證的錯誤之處，
問題確實出在「並非S應該做A」和「S不應該做A」並不邏輯等值。
在應然邏輯系統中有三種算符：「S應該做A」、「S可以做A」、「S不應該做A」。
因此，排中率並不適用於「S應該做A」和「S不應該做A」之間，
（別忘了還有「S可以做A」這種情況！）
換句話說，前者的否言並不等於後者
「並非S應該做A」和「S不應該做A」並不邏輯等值。
而「S可以做A」這種情況，並非如我第一篇中所言是一種「無關道德對錯的行為」。
既然「S可以做A」是個應然邏輯的命題，它當然也是個道德判斷。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.217.245.152