lógica paraconsistente

Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos paraconsistentes (o "tolerantes a la inconsistencia"). (En este artículo el término es utilizado en ambas acepciones.) Las lógicas tolerantes a la inconsistencia existen por lo menos desde 1910 (y es posible argumentar que muchísimo antes, por ejemplo en los escritos de Aristóteles); sin embargo, la palabra paraconsistente ("más allá de la consistencia") recién fue acuñada en 1976, por el filósofo peruano Francisco Miró Quesada.​