Model-Based Reasoning in Science and Technology Inferential Models for Logic, Language, Cognition and Computation