The two main branches of logic are formal logic (or logic low) and material logic (or logic high). The material logic deals with the semantic content of the argument. Formal logic is concerned with the form or structure of reasoning, classic logic is proper. Establish what the correct and valid forms of reasoning the truth of the premises and conclusions is a secondary concern for this branch.
Axiomatization; Formal Structure; Vocabulary; Definition Rules; Rules of Inference