Priest's dialetheism holds that some contradictions are true and that paraconsistent logic can model...