Autor: Marcelo Esteban Coniglio, Newton Marques Peron

Abstract:

As Lógicas da (In)Consistência Deôntica (LDI’s) podem ser consideradas como sendo a contraparte deôntica das lógicas paraconsistentes chamadas de Lógicas da (In)Consistência Formal. Neste artigo são introduz das e estudadas novas LDI’s e outras lógicas deônticas paraconsistentes satisfazendo diferentes propriedades: sistemas tolerantes a obrigações contraditórias; sistemas em que as obrigações contraditórias produzem trivialização; e uma lógica deôntica paraconsistente bimodal que combina as características de sistemas previamente introduzidos. Estas lógicas são utilizadas para analisar o conhecido paradoxo de Chisholm aproveitando-se do fato de que, além que as obrigações contraditórias não trivializam nas LDI’s, varias das dependências lógicas da lógica clássica são bloqueadas no contexto das LDI’s, permitindo assim dissolver o paradoxo.

ISSN: 1414-4217

Texto Completo: http://https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p299/18037

Palavras-Chave: Paraconsistent logic, deontic logic, deontic