Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada.