Logic and Deductive and Inductive Reasoning