The Axiomatization of the Theory of Guarantism
The two main branches of logic are formal logic (or logical minor) and material logic (or logical higher). Material logic focuses on the semantic content of the argument. Formal logic is interested in the shape or structure of the reasoning, is the classical logic itself. The third book of...