Inductive And Deductive Logic