Inductive vs Deductive Logic