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

Maria Francisca Carneiro

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

Palavras-chave


automação; sentença judicial; Direito; lógica

Texto completo:

Artigo_pdf


Indexado
REDIB; Sumários.Org; DOAJ; Ulrich’s International Periodicals Directory; Latindex; RVBI; ROAD; OCLC WorldCat

Revista Jurídica Cesumar - Mestrado
Unicesumar, Maringá (PR), Brasil
ISSN 2176-9184 On-line
Contato: naep@unicesumar.edu.br


ISSN 1677-6402 Versão impressa interrompida em 2019

Licença Creative Commons
Este obra está licenciado com uma Licença Creative Commons Atribuição-NãoComercial 4.0 Internacional.