Title: Model Based Reasoning in Science and Engineering (Logic)