A logic is paraconsistent if it does not share the classical property that from an inconsistent statement anything at all can be deduced. The motivating idea is that inconsistency can be contained; in everyday thought there is no tendency to let it become a licence to infer anything we wish. In some developments, such as that of the Australian logician Graham Priest, selected inconsistencies such as those generated by the semantic paradoxes or Russell’s paradox can even be evaluated as true.