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

  • Maria Francisca Carneiro Universidade Federal do Paraná
Palavras-chave: automação, sentença judicial, Direito, lógica

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

Biografia do Autor

Maria Francisca Carneiro, Universidade Federal do Paraná
Universidade Federal do Paraná. E-mail: mfrancis@netpar.com.br
Publicado
2007-08-01
Seção
Doutrinas