Las dos ramas principales de la lógica son la lógica formal (o lógica menor) y la lógica material (o lógica mayor). La lógica material se ocupa del contenido semántico de la argumentación. La lógica formal se interesa por la forma o estructura de los razonamientos, es la lógica clásica propiamente dicha. Establecer cuáles son las formas correctas y válidas de los raciocinios, la verdad de las premisas y de las conclusiones es una preocupación derivada para esta rama.
Axiomatización; Estructura Formal; Vocabulario; Reglas de Definición; Reglas de Inferencia