Lógica formal

La lógica tradicional, que se remonta a Aristóteles, que se ocupa de la validez formal de los silogismos (silogística, principio de contradicción, A=A). Hegel la critica como "lógica del entendimiento", que permanece abstracta (vacía de contenido, tautológica), se detiene en oposiciones fijadas y no capta el automovimiento del concepto (dialéctica, superación dialéctica).