言葉で厳密に定義して論証していくの大事。

ヴァン・インワーゲンの帰結論証
(自由と決定論は両立しない)
｢
(1)私たちは、過去の世界の状態を表現する真な命題を偽にすることはできない。
(2)私たちは、自然法則を表現する真な命題を偽にすることはできない。
(3)現在の世界の状態を表現する命題は、過去の世界の状態を表現する命題と自然法則を表現する命題からの論理的な帰結である。
(4)ゆえに、私たちは、現在の世界の状態を表現する真な命題を偽にすることはできない。｣
......(つまり、私たちが実際なす行為以外の行為ができない。つまり他行為可能性を持たない)

(高崎将平『そうしないことはありえたか？自由論入門』より)

そうしないことはありえたのか考えるのにはやっぱりすごい手間暇かかるようで。1分程度で軽くさらっと説明されちゃっても絶対納得いかないよね。
やっとここまできたけどまだ4割くらい。水曜日に本返すまで読めるとこまで読みたい。