Graham Priest's paraconsistent logic provides a formally rigorous framework in which inconsistent pr...