Deductive and Inductive Logic