Alguns aspectos da lógica e da informática jurídicas

Resumo

Este trabalho, apresentando algumas considerações sobre a lógica e a informática jurídicas, evidencia como podem ser utilizadas em Direito certas técnicas, como a teoria clássica do silogismo e a lógica paraconsistente, observando-se, por outro lado, que a lógica da ciência do Direito parece ser a clássica. As idéias aqui apenas esboçadas serão desenvolvidas em trabalhos futuros. São apresentados esclarecimentos sobre a teoria do silogismo e do raciocínio jurídico. Esboçam-se os primeiros delineamentos de uma possível automação de uma sentença judicial fundamentada no Cáculo Cw de Newton da Costa e no Teorema de Herbrand, em uma espécie de linguagem Prolog paraconsistente. Para o desenvolvimento da idéia será necessária a composição de equipe multidisciplinar