Logic is the the study of propositions and of their use in argumentation.
This study may be carried on at a very abstract level, as in formal logic, or it may focus on the practical art of right reasoning, as in applied logic. Valid arguments have two basic forms. These arguments make the strong claim that the conclusion follows by strict necessity from the premises, or in other words that to assert the premises but deny the conclusion would be inconsistent and self-contradictory. Arguments that venture general conclusions from particular facts that appear to serve as evidence for them are called inductive. These arguments make the weaker claim that the premises lend a certain degree of probability or reasonableness to the conclusion.