Una '''lógica no monotónica''' es una [[lógica formal]] cuya [[relación]] de [[consecuencia]] es no [[monotónica]]. La mayoría de las lógicas formales tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una fórmula a una teoría nunca produce una reducción de su conjunto de consecuencias. Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no puede reducir el conjunto de las cosas conocidas. Una lógica monotónica no puede manejar varios tipos de razonamiento tales como el [[razonamiento por defecto]] (los hechos pueden ser conocidos únicamente por la carencia de evidencia de lo contrario), el razonamiento abductivo (los hechos sólo se deducen en calidad de explicaciones probables), el razonamiento acerca del conocimiento (la ignorancia de un hecho debe ser retractada cuando el hecho sea conocido), y la [[revisión de creencias]] (nuevo conocimiento puede contradecir creencias anteriores).
