Parte de la lógica que examina, desde el punto de vista formal, las operaciones intelectuales del jurista, así como los productos mentales de esas operaciones: conceptos, divisiones, definiciones, juicios y raciocinios jurídicos, reflejados en sentencias, autos, providencias, resoluciones.