there are 2 kinds of logic: inductive and deductive