Paraconsistency Glossary
Definition
A system of logic is paraconsistent if it does not validate the inference from a contradiction such as p ∧ ¬p to an arbitrary conclusion such as q.
Comments
Obviously, a paraconsistent logic must either have a non-classical account of the meaning of negation or be based on a non-standard account of valid inference (or both). Of the logics considered in these notes, relevant logic, fuzzy logic and minimal logic are all paraconsistent for different reasons, while orthodox classical logic and intuitionistic logic are not paraconsistent.