Preuve
Un article de Wikipédia, l'encyclopédie libre.
Une preuve est un argument étayé visant à établir une conclusion. Il existe deux types de preuves épistémologiquement considérées comme valide :
- Les preuves basées sur la déduction qui ont un caractère absolu ou certain pour autant que l'on respecte leurs hypothèses de départ
- Les preuves basées sur l'induction qui ne sont vraies qu'avec une certaine probabilité dont l'estimation dépend des connaissance disponibles (un exemple pour clarifier cette remarque, l'estimation que je vais faire de la probabilité qu'une piece tombe sur son coté face ne sera pas la même si je sais que la pièce est truquée).
Dans la vie réelle, la plupart des preuves, si elles peuvent comporter des éléments déductifs, contiennent malgré tout un ou des éléments inductifs qui leur confèrent donc un certain niveau d'incertitude. L'évaluation souvent intuitive de ce niveau déterminera alors le niveau de confiance qu'on peut apporter à la preuve. La plupart des preuves utilisées dans la vie courante sont communément admise comme étant digne de confiance.
Si le niveau de confiance d'une information n'est pas suffisant, on parlera alors de soupçon, de présomption ou d'indice, mais des indices concourants peuvent mutuellement renforcer leur niveaux de confiance et être alors considéré comme équivalents à une preuve et acceptés comme tels. On parlera alors de faisceau de présomption.
La théorie des probabilités permet de démontrer que l'ajout de conditions à une preuve non certaine peut augmenter ou diminuer son niveau de confiance jusqu'à la certitude ou au rejet (l'ajout d'une pièce à un dossier juridique peut augmenter ou diminuer l'estimation de culpabilité et même la garantir ou la rejeter totalement) mais en aucun cas l'ajout de conditions à une preuve certaine ne peut changer son caractère certain. Si cela devait arriver, cela signifierait que la preuve n'était pas aussi certaine qu'on ne le pensait.
[modifier] Composition des éléments de preuve et évaluation de la confiance
Si A ⇒ B (A implique B) avec une probabilité P1 et B ⇒ R avec une probabilité P2, alors A ⇒ R avec une probabilité P1*P2.
[modifier] Différentes types de preuves
- En mathématiques et en informatique théorique, une preuve est une démontration de la vérité d'un énoncé. C'est un synonyme de démonstration.
- En philosophie, la preuve ontologique de Gödel.
- En droit, la preuve est utilisée pour établir la vérité lors d'un procès.
- En informatique, la preuve électronique comprend des données collectées de manière automatique par des ordinateurs et qui sont susceptibles de prouver l'usage qui a été fait d'un système d'information et d'identifier l'utilisateur.
|
|
