Model-Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic