期刊名称:Principia : an International Journal of Epistemology
印刷版ISSN:1414-4247
电子版ISSN:1808-1711
出版年度:2010
卷号:13
期号:3
页码:299-326
语种:Portuguese
出版社:Universidade Federal de Santa Catarina, Brasil
摘要:http://dx.doi.org/10.5007/1808-1711.2009v13n3p299 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.