Artículo
Volume II: New advances in Logics of Formal Inconsistency
Fecha de publicación:
01/2019
Editorial:
Oxford University Press
Revista:
Logic Journal of the IGPL (print)
ISSN:
1367-0751
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
Contradictions crop up in an impressive number of real-life contexts of reasoning. On one hand, databases and other formalisms for knowledge representation very often display incomplete information. In many cases, this is remedied by appealing to the so-called closed-world assumption, which means that what is not currently known to be true, is taken to be false. But formalisms for knowledge representation may also contain conflicting (that is, contradictory) information. This may be caused by excessive, incoherent, or vague stipulations. There is, however, no philosophical protection against contradictory information (any analog of the closed-world assumption): standard logic is inflexible against contradictions—the classical logic commandment known as the Principle of Explosion orders that from a contradiction anything should be derived.
Palabras clave:
NON-CLASSICAL LOGIC
,
LFI
,
PARACONSISTENCY
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(IIF)
Articulos de INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Articulos de INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Citación
Barrio, Eduardo Alejandro; Carnielli, Walter; Volume II: New advances in Logics of Formal Inconsistency; Oxford University Press; Logic Journal of the IGPL (print); 28; 5; 1-2019; 845-850
Compartir
Altmétricas