Non-Monotonic Logic

A broad category of logics where adding new premises can invalidate previously drawn conclusions. This is the opposite of classical monotonic logic (if A entails B, then A+C also entails B). Non-monotonic logics include defeasible logic, default logic, and revision logic. They are essential for modeling real-world reasoning, where new evidence, exceptions, or context changes can make old conclusions false. Common examples: “Tweety flies” (default: birds fly) – but if we learn Tweety is a penguin, we retract the conclusion. Non-monotonic logic is foundational for AI, legal reasoning, and scientific method (theories are revised). A common misuse is to think non-monotonic means “anything goes”; it actually has precise formal systems. In online debates, it’s used to justify changing one’s mind: “My initial conclusion was non-monotonic; new information defeated it.”

Example: “He argued that because her previous claim was false, her current claim must be false too. She replied: ‘That’s monotonic thinking. In non-monotonic logic, a retracted premise doesn’t poison all future conclusions. People learn.’”

Non-Monotonic Logic by Dumu The Void May 27, 2026