validation
Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».
De valider, du latin validare.
Logique, Philosophie des Sciences
Opération ou procédure par laquelle une proposition est rendue valide.
En logique, c'est un problème de savoir pour quels types de propositions on dispose de méthodes de validation. Au niveau élémentaire du calcul des propositions, la méthode des tables de vérité permet, pour n'importe quelle proposition composée, de savoir exactement dans quels cas elle est vraie et dans quels cas elle est fausse, et donc de conclure, si elle est toujours vraie, qu'elle est valide. En calcul des prédicats on utilise la méthode des arbres (ou « tableaux sémantiques »), qui permet d'établir la validité des propositions valides, de fournir, dans certains cas, un contre-exemple pour des propositions non valides, mais qui ne permet pas de conclure dans tous les cas : il y a des formules dont on ne peut montrer ni qu'elles sont valides ni qu'elles ne sont pas valides.
Les sciences expérimentales ont développé des méthodes spécifiques de validation des hypothèses dont elles se proposent de tester la solidité. Ces méthodes consistent en la construction d'un arsenal théorique et expérimental susceptible de confirmer une hypothèse avec un degré de probabilité plus ou moins grand. On parle de « confirmation expérimentale » lorsqu'un résultat déduit théoriquement dans le cadre d'une construction conceptuelle se trouve vérifié par l'expérimentation.
Hourya Sinaceur