[dwohnitmok]

Huemer's proof relies on insanely strong premises, especially his second premise, which end up fighting against a strawman of hard determinism.

Under his definition of hard determinism as laid out by his third premise, his second premise becomes "whatever should be done is done," which is a crazy strong axiom under any reasonable definition of "should." "Yesterday you should've gone to school, therefore yesterday you went to school" is the sort of conclusion you get.

A hard determinist simply doesn't accept that definition of "should."

To see just how crazy strong Huemer's axioms are, substitute any other term for MFT. Everything up to step 7 works. So Huemer's axioms amount to the statement "under hard determinism, whatever I believe is true" (as Burner states in premise 6, but restricts to MFT).

No wonder then if you then introduce the premise "I believe hard determinism is false" you get a contradiction.