And stringing all the steps together into one movement is like deductive inference we move from one place to another. We started out by defining logic as the science of right thinking . We said logic was a one of three divisions of philosophy, the others being theoretical philosophy and practical philosophy. We said there are two main branches of logic, one called formal or minor logic, the other material or major logic. Material logic is concerned with the content of argumentation.
Formal logic is interested in the form or structure of reasoning.
Therefore, we concluded, while the conclusion of a deductive argument is conclusive, the conclusion of an inductive argument is only probable. We defined truth as correspondence with reality. We said an argument is valid when its conclusion follows logically from its premises. And we said that soundness indicates that all the premises in an argument are true and that the argument is valid. We said also that all arguments must contain two premises and a conclusion.