Prueba (lógica)
Una prueba es una serie de inferencias lógicas que se supone que reducen la verdad de una proposición a lo que se supone que es verdadero.
Prueba en sentido estricto
En sentido estricto, la afirmación se infiere con certeza a partir de oraciones reconocidas o aceptadas como verdaderas. En este caso se habla de pruebas estrictas o deductivas o progresivas . o de evidencia apodíctica. Una prueba completamente formalizada en un cálculo que consta de pasos de derivación formales individuales se llama derivación .
Prueba en el sentido débil
En un sentido menos estricto, lo que se ha dicho no se sigue con certeza, pero es muy probable . Las formas menos estrictas de prueba incluyen la prueba por analogía, la prueba regresiva y la prueba inductiva. En este sentido, todo argumento es evidencia. Estos procedimientos de prueba generalmente no se aceptan como prueba en matemáticas y lógica matemática.
Evidencia regresiva
En el caso de la prueba regresiva, se extraen tantas conclusiones como sea posible de lo que se va a probar. Si todo esto es cierto, se puede suponer con un alto grado de probabilidad que la proposición que se va a demostrar también es verdadera.
Prueba inductiva
En una prueba inductiva, se infiere de una parte de un todo sobre el todo. Si todos los cuervos observados hasta ahora eran negros, se concluye que todos los cuervos son negros.
Evidencia individual
- ^ Veit Pittioni: Prueba . En: Peter Prechtl / Franz-Peter Burkard (Hrsg.): Metzler-Philosophie-Lexikon: Términos y definiciones Stuttgart / Weimar: Metzler 1996, 70
- ↑ Friedrich Kirchner: Diccionario de términos filosóficos básicos . Heidelberg: Weiss 1890 (2a edición), p. 62
- ^ Veit Pittioni: Prueba . En: Peter Prechtl / Franz-Peter Burkard (Hrsg.): Metzler-Philosophie-Lexikon: Términos y definiciones Stuttgart / Weimar: Metzler 1996, 70