Logic, Inductive and Deductive