Algunos aspectos de la lógica y de la informática jurídicas

Resumen

Este trabajo presenta algunas consideraciones sobre la lógica y la informática jurídicas. Se evidencia como ciertas, técnicas como la teoría clásica del silogismo y la lógica paraconsistente, se pueden realizar en Derecho. Pero, se observa que la lógica de la Ciencia del Derecho parece ser la clásica. Las idea aquí esbozadas serán desarrolladas en trabajos futuros. Se presentan aclaramientos sobre la teoría del silogismo y del raciocinio jurídico. Se esboza las primeras líneas de una posible automación de una sentencia judicial fundamentada en el Cálculo Cw de Newton da Costa y en el Teorema de Herbrand, en una especie de lenguaje Prolog paraconsistente. Para el desarrollo de la idea será necesaria la composición de la equipo multidisciplinar.