A Paraconsistentist Approach to Chisholm's Paradox

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.