Lógica e ordem : um caso paraconsistente

Abstract

Fez-se, nesse breve estudo, um apanhado geral do sistema lógica deôntica criada a partir dos trabalhos iniciais de Georg H. von Wright, a utilizando para introduzir os conceitos básicos na qual se desenvolve uma lógica das normas e ressaltando alguns de seus marcantes problemas. Após, apresentou-se uma lógica deôntica alternativa, Ls, formulada por Newton da costa, cujas características interessantes são tornadas claras em alguns pontos e complementadas em outros. A despeito do poder do sistema desenvolvido por da Costa, constatou-se que a lógica não formaliza alguns tipos específicos de ações. Para suprir essa deficiência, um suporte paraconsistente foi apresentado em Ls em substituição ao original clássico.