Diatheism is the point of view in which there are real contradictions , known as dialetheias . In formal terms, for a proposition P, both P and its negation ~ P are true.