Dialeteismo
# Dialeteismo

El dialeteismo es la creencia de que existen proposiciones verdaderas, cuyas negaciones también son verdaderas. El dialeteismo no es en sí mismo un sistema lógico, aunque adherirse al dialeteismo sin aceptar algún tipo de lógica paraconsistente es básicamente aceptar cualquier cosa.
Graham Priest, de la Universidad de Melbourne, es el defensor contemporáneo más prominente del dialeteismo. Para Priest, la necesidad de postular la existencia de contradicciones verdaderas proviene en primer lugar de la lógica, especialmente de la paradoja del mentiroso y similares. En segundo lugar, de la teoría de conjuntos, pues los axiomas más intuitivos resultan en la paradoja de Russell: un conjunto que pertenece y no pertenece a sí mismo. Y en tercer lugar, de asuntos empíricos como el movimiento, las contradicciones legales y el cambio. Su idea es que las teorías lógicas que evitan las contradicciones por medio de restricciones (como la teoría de Alfred Tarski o la de Bertrand Russell) se alejan cada vez más del uso que hacemos de conceptos básicos como «verdad», y aun así no pueden evitar del todo inconsistencias.
A pesar de que la lógica del dialeteismo parece incompatible con la lógica clásica, todos los teoremas de la lógica clásica serán verdades en la lógica del dialeteismo (aunque claro, a veces esas verdades serán también falsedades). La crítica más fuerte que se le hace a esta teoría es que no expresa correctamente el concepto de negación, porque cuando decimos A queremos decir que no-A es falsa; en cambio, para esta teoría, aun cuando digamos A, es perfectamente posible que no-A sea también verdadera.