Deductive And Inductive Logic