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 la lógica simbólica o matemática.El presente libro busca dar los elementos, de la manera más sencilla posible, para que los abogados puedan acceder al manejo de la lógica simbólica, herramienta que, cada vez más, es empleada por diversos autores de prestigio mundial como Manuel Atienza, Robert Alexy y Eugenio Bulygin.