A Counterexample to A

The Direct Argument is an important argument for demonstrating that moral responsibility is incompatible with determinism because it makes no presuppositions about the nature of free will. One of the inference rules employed in the Direct Argument is rule A: If a proposition is broadly logically necessary, then it is true and no one is, nor ever has been, even partially morally responsible for the fact that the proposition is true. While inference rule A is assumed by all parties to the debate, I demonstrate that the rule is invalid.