El dialeteísmo (del griego δι- di- 'dos veces' y ἀλήθεια alḗtheia 'verdad') es la opinión de que hay declaraciones que son tanto verdaderas como falsas. Más precisamente, es la creencia de que puede haber un enunciado verdadero cuya negación también es verdadera. Tales declaraciones se denominan "verdaderas contradicciones ", dialetheia o no dualismos .
El dialeteísmo no es un sistema de lógica formal ; en cambio, es una tesis sobre la verdad que influye en la construcción de una lógica formal, a menudo basada en sistemas preexistentes. Introducir el dialeteísmo tiene varias consecuencias , dependiendo de la teoría en la que se introduzca. Un error común que resulta de esto es rechazar el dialeteísmo sobre la base de que, en los sistemas tradicionales de lógica (por ejemplo, la lógica clásica y la lógica intuicionista ), cada enunciado se convierte en un teorema si una contradicción es verdadera, trivializando tales sistemas cuando se incluye el dialeteísmo como un axioma. [1] Otros sistemas lógicos, sin embargo, no explotande esta manera cuando se introducen contradicciones; tales sistemas tolerantes a la contradicción se conocen como lógicas paraconsistentes . Los dialeteístas que no quieren permitir que todas las afirmaciones sean verdaderas son libres de preferirlas a las lógicas tradicionales y explosivas.
Graham Priest define el dialeteísmo como la opinión de que existen verdaderas contradicciones. [2] Jc Beall es otro defensor; su posición difiere de la de Priest al defender el deflacionismo constructivo (metodológico) con respecto al predicado de verdad. [3]
La paradoja del mentiroso y la paradoja de Russell tratan con declaraciones contradictorias en la lógica clásica y la teoría ingenua de conjuntos , respectivamente. Las contradicciones son problemáticas en estas teorías porque hacen que las teorías exploten : si una contradicción es verdadera, entonces todas las proposiciones son verdaderas. La forma clásica de resolver este problema es prohibir las declaraciones contradictorias, revisar los axiomas de la lógica para que no aparezcan declaraciones contradictorias. Los dialeteístas, por otro lado, responden a este problema aceptando las contradicciones como verdaderas. El dialeteísmo permite el axioma de comprensión sin restricciones en la teoría de conjuntos , afirmando que cualquier contradicción resultante es unateorema _ [4]
Las situaciones ambiguas pueden hacer que los humanos afirmen tanto una proposición como su negación. Por ejemplo, si John está en la puerta de una habitación, puede parecer razonable tanto afirmar que John está en la habitación como afirmar que John no está en la habitación .
Los críticos argumentan que esto simplemente refleja una ambigüedad en nuestro lenguaje más que una cualidad dialéctica en nuestros pensamientos; si reemplazamos el enunciado dado por uno menos ambiguo (como "Juan está en la mitad de la habitación" o "Juan está en la puerta"), la contradicción desaparece. Las declaraciones parecían contradictorias sólo por un juego sintáctico; aquí, el significado real de "estar en la habitación" no es el mismo en ambos casos y, por lo tanto, cada oración no es la negación lógica exacta de la otra: por lo tanto, no son necesariamente contradictorias.