La lógica retractable es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable.