 The other main camp of logicians who prefer a paraconsistent logic (or paraconsistent logics) are advocates of dialetheism, the view that some contradictions, some sentences in the form  \[ (\Phi \wedge \neg \Phi), \]  are true. One supposed example is when \(\Phi\) is a statement of a semantic paradoxes, such as the Liar. Consider, for example, a sentence \(\Phi\) that says that \(\Phi\) is not true.