The view that some contradictions are actually true, this is a metaphysical thesis usually based upon the technical advantages of a paraconsistent logic for some domain.