Prova (verdade) - Proof (truth)

Uma prova é evidência suficiente ou argumento suficiente para a verdade de uma proposição .

O conceito se aplica a uma variedade de disciplinas, com a natureza da evidência ou justificativa e os critérios de suficiência dependendo da área. Na área da comunicação oral e escrita , como conversação , diálogo , retórica , etc., uma prova é um ato de discurso perlocucionário persuasivo , que demonstra a verdade de uma proposição. Em qualquer área da matemática definida por suas suposições ou axiomas , uma prova é um argumento que estabelece um teorema dessa área por meio de regras de inferência aceitas a partir desses axiomas e de outros teoremas previamente estabelecidos. O assunto da lógica , em particular a teoria da prova , formaliza e estuda a noção de prova formal . Em algumas áreas da epistemologia e da teologia , a noção de justificação desempenha aproximadamente o papel de prova, enquanto na jurisprudência o termo correspondente é evidência , com "ônus da prova" como um conceito comum à filosofia e ao direito .

Na maioria das disciplinas, a evidência é necessária para provar algo. As evidências são extraídas da experiência do mundo ao nosso redor, com a ciência obtendo suas evidências da natureza , a lei obtendo suas evidências de testemunhas e investigação forense , e assim por diante. Uma exceção notável é a matemática, cujas provas são extraídas de um mundo matemático iniciado com axiomas e posteriormente desenvolvido e enriquecido por teoremas provados anteriormente.

Exatamente a evidência que é suficiente para provar algo também depende fortemente da área, geralmente sem um limite absoluto de suficiência em que a evidência se torna prova. Na lei, a mesma evidência que pode convencer um júri não pode persuadir outro. A prova formal fornece a principal exceção, onde os critérios para prova são rígidos e é inadmissível defender qualquer etapa do raciocínio como "óbvia" (exceto para a habilidade necessária de quem está provando e aquele que está sendo provado, para identificar corretamente qualquer símbolo utilizado na prova.); para que uma fórmula bem formada seja qualificada como parte de uma prova formal, ela deve ser o resultado da aplicação de uma regra do aparato dedutivo de algum sistema formal às fórmulas anteriores bem formadas na sequência de prova.

As provas são apresentadas desde a antiguidade. Aristóteles usou a observação de que os padrões da natureza nunca exibem a uniformidade mecânica do determinismo como prova de que o acaso é uma parte inerente da natureza. Por outro lado, Tomás de Aquino usou a observação da existência de ricos padrões na natureza como prova de que a natureza não é governada pelo acaso.

As provas não precisam ser verbais. Antes de Copérnico , as pessoas consideravam o movimento aparente do Sol no céu como prova de que o Sol girava em torno da Terra . As provas incriminatórias deixadas na cena do crime podem servir como prova da identidade do autor do crime. Inversamente, uma entidade verbal não precisa afirmar uma proposição para constituir uma prova dessa proposição. Por exemplo, uma assinatura constitui prova direta de autoria ; menos diretamente, a análise da caligrafia pode ser apresentada como prova da autoria de um documento. Informações privilegiadas em um documento podem servir como prova de que o autor do documento teve acesso a essas informações; tal acesso pode, por sua vez, estabelecer a localização do autor em determinado momento, o que pode fornecer ao autor um álibi .

Prova vs evidência

O filósofo escocês do século 18 David Hume se baseou na separação de Aristóteles entre crença e conhecimento , reconhecendo que alguém pode dizer "saber" algo apenas se tiver experiência em primeira mão com isso, em uma prova estrita de sentido, enquanto se pode inferir que algo é verdadeiro e, portanto, "acredita" sem saber, por meio de evidências ou suposições. Isso mostra uma maneira de separar a prova da evidência:

Se alguém não consegue encontrar sua barra de chocolate e vê chocolate no rosto de seu colega de quarto cochilando, essa evidência pode fazer com que alguém acredite que seu colega de quarto comeu a barra de chocolate. Mas eles não sabem que seu colega de quarto comeu. Pode ser que o colega de quarto tenha guardado o doce ao se endireitar, mas foi inspirado a ir comer seu próprio chocolate. Somente se alguém tiver a prova direta de que o colega de quarto o está comendo, talvez entrando nele, saberá que foi o colega de quarto que o fez.

Em um sentido absoluto, pode-se argumentar que não se "sabe" nada, exceto a existência de seus próprios pensamentos, como apontou o filósofo do século XVII John Locke . Ainda antes, Descartes se dirigiu ao dizer cogito, ergo sum (penso, logo existo). Enquanto Descartes estava tentando "provar" logicamente que o mundo existe, seu legado ao fazê-lo é ter mostrado que não se pode ter tal prova, porque todas as nossas percepções podem ser falsas (como sob o demônio maligno ou hipóteses de realidade simulada ) . Mas, pelo menos, temos provas da existência de nossos próprios pensamentos e fortes evidências de que o mundo existe, o suficiente para ser considerado "prova" pelos padrões práticos, embora sempre indiretos e impossíveis de confirmar objetivamente.

Veja também

Referências