La Axiomatización de la Teoría del Derecho

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.