Some aspects of the juridical logic and computing
Abstract
This paper presents some considerations on juridical logic and computing, demonstrating how certain techniques such as the classical theory of syllogism and paraconsistent logic can be applied to law. However, it has been observed that the Law Science logic seems to the classical one. The ideas presented in this paper are only outlines to be developed in future work. Some clarifications are made about the theory of syllogism and juridical reasoning. The first outlines of a possible automation of a juridical sentence is made based on Newton da Costa’s Cw Calculus and on Herbrand’s Theorem in a kind of paraconsistent prolog language. The idea’s development will be dependant on the composition of a multidisciplinary team.
Published
2007-08-01
Issue
Section
Doutrinas
A Revista se reserva o direito de efetuar, nos originais, alterações de ordem normativa, ortográfica e gramatical, com o intuito de manter o padrão culto da língua, respeitando, porém, o estilo dos autores. As opiniões emitidas pelos autores são de sua exclusiva responsabilidade.
Os direitos autorais pertencem exclusivamente aos autores. Os direitos de licenciamento utilizado pelo periódico é a licença Commons Atribuição 4.0 Internacional. São permitidos o compartilhamento (cópia e distribuição do material em qualquer meio ou formato) e adaptação (remixar, transformar, e criar a partir do trabalho, mesmo para fins comerciais), desde que lhe atribuam o devido crédito pela criação original.