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, pero adherir al dialeteismo sin aceptar algún tipo de lógica paraconsistente es 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, de la paradoja del mentiroso y similares. En segundo lugar, de la teoría de conjuntos, ya que 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 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, aún cuando digamos A, es perfectamente posible que no-A sea también verdadera.