Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without descending into triviality (where every statement would be considered true). In classical logic, if a contradiction is present, any statement can be proven true, a principle known as the principle of explosion (ex contradictione quodlibet). Paraconsistent logic, on the other hand, seeks to handle contradictions in a controlled manner.
New to topics? Read the docs here!