The Consequence Argument
A tightly formal argument for incompatibilism: if determinism is true, our present acts are the necessary consequence of the distant past plus the laws of nature — neither of which is ‘up to us’ — so our present acts are not ‘up to us’ either, however things feel from the inside.