La Axiomatización de la Teoría Garantista

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 Luigi Ferrajoli Principia iuris. Theory of law and democracy. 3. The syntax of law, is a consistent effort of axiomatization of his theory as symbolic logic or mathematics.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 axiomatización de su teoría conforme a la lógica simbólica o matemática