Lógica, teoria da computação e direito. Prof. Newton Carneiro Affonso da Costa - USP e UFSC

Lógica, teoria da computação e direito.
Newton Carneiro Affonso da Costa
Devido aos avanços tecnológicos e informáticos que vem transformando o mundo com frequência, se diz que vivemos na era da informática, no entanto, não se percebe que toda essa mudança e inovação própria de nossa Era esta baseada na lógica. Isto se pode observar de maneira mais clara quando se estuda a teoria geral da recursão ou teoria geral das máquinas, nos processos de construção de hipercomputadores capazes de simular o cérebro humano. Nestes processos, não se esta falando de aquela lógica "trivial" que todos conhecemos, estamos referindo-nos a outra lógica, uma que vai mais além da lógica tradicional. Com o que queremos dizer que existem varias lógicas, desde as mais fracas até aquelas lógicas fortes que se podem aplicar em diversas situações como a robótica ou a física quântica. Em relação ao direito, pode-se observar que os sistemas lógicos poderiam se aplicar de duas maneiras neste campo: (i) como um programa, é dizer instrumento de algoritmo ou, (ii) como ordens de inferência. Contudo, observando a importância da informática e da lógica, pode-se afirmar que nossa era é a época da lógica e da teoria da informação.
PALAVRAS CHAVE: Sistemas informáticos. Lógicas. Direito.