Editing Paradox (section)

===Antinomy===

An ''[[antinomy]]'' is a paradox which reaches a self-contradictory result by properly applying accepted ways of reasoning. For example, the [[Grelling–Nelson paradox]] points out genuine problems in our understanding of the ideas of truth and description.

Sometimes described since Quine's work, a ''[[dialetheia]]'' is a paradox that is both true and false at the same time. It may be regarded as a fourth kind, or alternatively as a special case of antinomy. In logic, it is often assumed, following [[Aristotle]], that no ''dialetheia'' exist, but they are allowed in some [[paraconsistent logic]]s.