>From it, we derive some engineering discipline, which uses the theory to, essentially, make predictions about what will happen if we do this to that, with the property that, if the predictions hold true, we'll have something useful.

We actually use logic along with induction to get a lot of theories. The fact that it works is proved by the scientific method, not the other way around.