Prueba (verdad)

Una prueba es evidencia suficiente o un argumento suficiente para la verdad de una proposición . ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]}

El concepto se aplica en diversas disciplinas, ^{[ 5 ]} y tanto la naturaleza de la evidencia o justificación como los criterios de suficiencia dependen del área. En el área de la comunicación oral y escrita , como la conversación , el diálogo , la retórica , etc., una prueba es un acto de habla perlocutivo persuasivo que demuestra la verdad de una proposición. ^{[ 6 ]} En cualquier área de las matemáticas definida por sus supuestos o axiomas , una prueba es un argumento que establece un teorema de esa área mediante reglas de inferencia aceptadas que parten de esos axiomas y de otros teoremas previamente establecidos. ^{[ 7 ]} La disciplina de la lógica , en particular la teoría de la prueba , formaliza y estudia la noción de prueba formal . ^{[ 8 ]} En algunas áreas de la epistemología y la teología , la noción de justificación desempeña aproximadamente el papel de prueba, ^{[ 9 ]} mientras que en la jurisprudencia el término correspondiente es evidencia , ^{[ 10 ]} con "carga de la prueba" como concepto común tanto a la filosofía como al derecho .

En la mayoría de las disciplinas, se requiere evidencia para probar algo. La evidencia se obtiene de la experiencia del mundo que nos rodea: la ciencia la obtiene de la naturaleza , ^{[ 11 ]} el derecho la obtiene de testigos e investigaciones forenses , ^{[ 12 ]} y así sucesivamente. Una excepción notable son las matemáticas, cuyas demostraciones se derivan de un mundo matemático que comenzó con axiomas y se desarrolló y enriqueció posteriormente con teoremas demostrados con anterioridad.

La evidencia que es suficiente para probar algo también depende en gran medida del área, generalmente sin un umbral absoluto de suficiencia en el que la evidencia se convierta en prueba. ^{[ 13 ] [ 14 ]} En derecho, la misma evidencia que puede convencer a un jurado puede no persuadir a otro. La prueba formal proporciona la principal excepción, donde los criterios de prueba son inquebrantables y es inadmisible defender cualquier paso en el razonamiento como "obvio" (excepto por la capacidad necesaria de quien prueba y de quien se prueba para identificar correctamente cualquier símbolo utilizado en la prueba); ^{[ 15 ]} para que una fórmula bien formada califique como parte de una prueba formal, debe ser el resultado de aplicar una regla del aparato deductivo de algún sistema formal a las fórmulas bien formadas anteriores en la secuencia de prueba. ^{[ 16 ]}

Se han presentado pruebas desde la antigüedad. Aristóteles utilizó la observación de que los patrones de la naturaleza nunca muestran la uniformidad mecánica del determinismo como prueba de que el azar es una parte inherente de la naturaleza. ^{[ 17 ]} Por otro lado, Tomás de Aquino utilizó la observación de la existencia de patrones complejos en la naturaleza como prueba de que la naturaleza no se rige por el azar. ^{[ 18 ]}

Las pruebas no tienen por qué ser verbales. Antes de Copérnico , la gente tomaba el movimiento aparente del Sol a través del cielo como prueba de que el Sol giraba alrededor de la Tierra . ^{[ 19 ]} Las pruebas suficientemente incriminatorias dejadas en la escena de un crimen pueden servir como prueba de la identidad del perpetrador. Por el contrario, una entidad verbal no necesita afirmar una proposición para constituir una prueba de esa proposición. Por ejemplo, una firma constituye prueba directa de autoría ; de forma menos directa, el análisis de la escritura a mano puede presentarse como prueba de la autoría de un documento. ^{[ 20 ]} La información privilegiada en un documento puede servir como prueba de que el autor del documento tuvo acceso a esa información; dicho acceso podría a su vez establecer la ubicación del autor en un momento determinado, lo que podría entonces proporcionarle una coartada .

El filósofo escocés del siglo XVIII, David Hume, se basó en la separación aristotélica entre creencia y conocimiento , [ ^{21 ] reconociendo} que se puede decir que uno "sabe" algo solo si tiene experiencia directa con ello, en un sentido estricto de prueba, mientras que uno puede inferir que algo es verdadero y, por lo tanto, "creerlo" sin saberlo, a través de la evidencia o la suposición. Esto muestra una forma de separar la prueba de la evidencia:

Si uno no encuentra su barra de chocolate y ve chocolate en la cara de su compañero de cuarto dormido, esta evidencia puede hacerle creer que su compañero se la comió. Pero no tiene la certeza de que su compañero se la haya comido. Puede que el compañero haya guardado el chocolate al ordenar, pero que esto le haya dado ganas de comérselo. Solo si uno tiene la prueba directa de que su compañero se lo comió, tal vez al sorprenderlo en el acto, tendría la certeza , en el sentido de Hume, de que su compañero lo hizo.

En un sentido más estricto del conocimiento certero, uno puede ser incapaz de probar nada con certeza racional más allá de la existencia de su propia percepción sensorial inmediata. Descartes, como es bien sabido, planteó un estándar igualmente estricto con su primer principio: Cogito, ergo sum (Pienso, luego existo). Si bien el proyecto más amplio de Descartes en Meditaciones sobre la filosofía primera tiene como objetivo el conocimiento de Dios y del mundo exterior —fundamentado en la certeza del cogito—, su legado radica en haber demostrado que no se puede obtener tal prueba, ya que todas las percepciones podrían ser falsas (como bajo las hipótesis del demonio maligno o de la realidad simulada ). Sin embargo, aún se puede tener una prueba clara de la existencia del propio pensamiento, incluso si la creencia en el mundo exterior carece de la certeza de la demostración más allá de la propia experiencia directa.

• Demostración matemática
• Teoría de la demostración
• Prueba de concepto
• Lógica de demostrabilidad
• Evidencia , información que tiende a determinar o demostrar la veracidad de una proposición.
• Procedimiento de prueba
• Complejidad de la prueba
• Estándar de prueba
• Demostrar una negación (desambiguación)
• Prueba de imposibilidad – Categoría de prueba matemática