Voltar
Artigo Acesso aberto Produção Nacional Revisado por pares
BIBTEX RIS

A Paraconsistentist Approach to Chisholm's Paradox

2009; UNIVERSIDADE FEDERAL DE SANTA CATARINA; Volume: 13; Issue: 3 Linguagem: Português

10.5007/1808-1711.2009v13n3p299

ISSN

1808-1711

Autores

Marcelo E. Coniglio, Newton M. Peron,

Tópico(s)

Logic, programming, and type systems

Resumo

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.

Referência(s)