But Modus Ponens is the axiom here. Without it, boolean logic is just rearranging arbitrary symbols on a page. Axioms like it are necessary to link those symbol

But Modus Ponens is the axiom here. Without it, boolean logic is just rearranging arbitrary symbols on a page. Axioms like it are necessary to link those symbols to reality in some way.