¿Por qué no se puede probar un negativo?

En realidad, en algunos casos, es mucho más fácil probar un enunciado negativo que uno positivo. En matemáticas, es mucho más fácil demostrar algunos teoremas demostrando su convergencia (el negativo lógico) que demostrando el teorema real.

Por ejemplo, digamos que queremos demostrar que si la raíz cuadrada de un número racional es racional, podemos escribir el número racional original como otro número racional al cuadrado. En realidad, es mucho más fácil demostrar lo contrario de esa afirmación: si no podemos escribir un número racional como otro número racional al cuadrado, entonces su raíz cuadrada no es racional (puede probar esta implicación en pocas líneas con prueba por contradicción).

Prefiero llamar a probar algo, o en el sentido suelto decir que algo es verdad, por negación, es un razonamiento apofático. Wittgenstein confió en la prueba solo por negación, en todo el TLC. El razonamiento apofático también tiene sus raíces en el cristianismo ortodoxo. Y, niegue la negación, y usted, en la teoría marxista, termina con algo diferente del objeto de la primera negación. Von Wright ha estudiado esto, como un efecto ‘calmante’ mediante la retroalimentación de la segunda negación a la primera, para resolver las diferencias de opinión en política, etc. Hay una fuerte pista sobre el caso Último, donde la ley del medio excluido no existe con toda su fuerza, y no necesariamente para que todo funcione y sea consistente, significativo y lógico y todo eso.

Los negativos se prueban todo el tiempo. La idea de que es imposible es simplemente la tonta sabiduría popular de Internet haciéndose pasar por debate. Además, cuando un negativo parece muy difícil de probar (por ejemplo, “no hemos sido visitados por pequeños hombres verdes desde el espacio”), eso no obliga a nadie a aceptar el negativo sin pruebas. “Carga de la prueba” puede tener algún significado en la ciencia, y creo que puede tener algún significado en la ley, pero no tiene ningún significado en la lógica.

Estoy seguro de que no hemos sido visitados por pequeños hombres verdes desde el espacio. Pero no puedo probarlo, y eso es todo. Intente depurar software o hardware, pero en lugar de pensarlo detenidamente, use BS como “no puede probar ser negativo”. Te volverías loco.

No es una regla absoluta. En algunos casos es imposible probar un negativo y en otros lo es. Por ejemplo, Andrew Wiles resultó negativo cuando demostró que no hay soluciones enteras para la ecuación x ^ n + y ^ n = z ^ n para n mayor que 2.

Un ejemplo en el que no puede probar un resultado negativo podría ser cuando se le pide que pruebe que no está casado.