La Axiomatización de la Teoría Garantista

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. El libro tercero de Luigi Ferrajoli Principia iuris. Teoría del derecho y la democracia. 3. La sintaxis del derecho, es un esfuerzo congruente de xiomatización de su teoría conforme a la lógica simbólica o matemática.