= Paraconsistent logic
{wiki=Paraconsistent_logic}
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.
Back to article page
