Prova (lógica)
Uma prova é uma série de inferências lógicas que supostamente reduzem a verdade de uma proposição ao que se presume ser verdadeiro.
Prova em sentido estrito
Em sentido estrito, a afirmação é inferida com certeza a partir de sentenças reconhecidas ou aceitas como verdadeiras. Neste caso, fala-se de provas estritas ou dedutivas ou progressivas . ou de evidências apodícticas. Uma prova totalmente formalizada em um cálculo que consiste em etapas de derivação formais individuais é chamada de derivação .
Prova no sentido fraco
Em um sentido menos estrito, o que foi dito não segue com certeza, mas é muito provável . As formas menos estritas de prova incluem prova por analogia, prova regressiva e prova indutiva. Nesse sentido, todo argumento é evidência. Esses procedimentos de prova geralmente não são aceitos como prova em matemática e lógica matemática.
Evidência regressiva
No caso da prova regressiva, tantas conclusões quanto possível são tiradas do que deve ser provado. Se tudo isso for verdade, pode-se supor com alto grau de probabilidade que a proposição a ser provada também é verdadeira.
Prova indutiva
No caso de uma prova indutiva, infere-se de uma parte de um todo sobre o todo. Se todos os corvos observados até agora eram pretos, conclui-se que todos os corvos são pretos.
Evidência individual
- ^ Veit Pittioni: Prova . In: Peter Prechtl / Franz-Peter Burkard (eds.): Metzler-Philosophie-Lexikon: Termos e Definições Stuttgart / Weimar: Metzler 1996, 70
- ↑ Friedrich Kirchner: Dicionário de termos filosóficos básicos . Heidelberg: Weiss 1890 (2ª edição), p. 62
- ^ Veit Pittioni: Prova . In: Peter Prechtl / Franz-Peter Burkard (eds.): Metzler-Philosophie-Lexikon: Termos e Definições Stuttgart / Weimar: Metzler 1996, 70