# Logical Equivalence Is Just An Isomorphism Anyone who has studied classical mechanics would agree that Newtonian / Lagrangian / Hamiltonian mechanics are fundamentally different although those are logically equivalent. I couldn't find a better example. To become identical, at least, but maybe not most, the isomorphism should be natural. Logical equivalence itself is too weak.