Springer Reasoning in Physics