falsification
La falsification , aussi la falsification (du latin falsificare «reconnaître comme faux») ou la réfutation , est la preuve de l'invalidité d'une déclaration , d'une méthode , d'une thèse , d'une hypothèse ou d'une théorie . Les déclarations ou les résultats expérimentaux qui peuvent prouver l'invalidité sont appelés «falsificateurs».
Une falsification consiste en la preuve d'incohérences ou de contradictions immanentes ( contradiction ) ou d'incompatibilité avec des instances acceptées comme vraies (contradiction à des axiomes ) ou de la détection d'une erreur . Méthodiquement, on confronte les affirmations contradictoires qui découlent de l'assertion initiale comme contre-hypothèse ou antithèse .
Falsificationnisme
En science , la falsification est le résultat de la validation parallèlement à la vérification . Dans la philosophie des sciences selon Karl Popper , la falsifiabilité d' une théorie ou d'une hypothèse joue un rôle central. C'est une exigence formelle pour une déclaration ou une prédiction. Popper a donc permis des classes d'énoncés qui, en principe, ne peuvent pas être prouvés, mais doivent être considérés comme «temporairement acceptables» jusqu'à ce qu'ils soient réfutés. Pour permettre cela, il suffit de vérifier si l'énoncé peut en principe être (formellement) réfuté.
Exemple: L'énoncé «Le virus C est dangereux» ne peut être réfuté. La raison en est que le terme «dangereux» n'est pas clairement défini. La déclaration reste donc irréfutable pour plusieurs raisons. Par conséquent, cela ne devient pas vrai, mais "non scientifique".
Les affirmations, les thèses, les théories réfutées sont sans valeur pour la science en tant que méthode d'acquisition de connaissances et sont rejetées. Ils n'ont de sens que dans une perspective historique , afin de tirer les leçons des mauvaises approches. Les détails et les problèmes de cette approche sont traités sous Falsificationnisme . Il est à noter que les falsifications prennent la fonction de «déclencheur d'activité» pour étudier le problème de plus près. Méthodologiquement, il ne s'ensuit pas nécessairement que la falsification d'un énoncé entraîne immédiatement le rejet de la théorie sous-jacente (voir aussi paradigme et thèse de Duhem-Quine ).
Logique propositionnelle
Dans la logique propositionnelle classique , la falsification est l'affectation incorrecte de la valeur de vérité à un énoncé dans le cadre du principe de deux valeurs , de même dans le calcul de l'algèbre booléenne .
Théorie de la preuve
Un rôle central dans la réfutation joue dans la théorie de la preuve des mathématiques , par exemple, pour la preuve par contradiction ( reductio ad absurdum ) .
Évaluation des données obtenues expérimentalement
L'évaluation des données obtenues par des expériences est également utilisée pour la falsification, en stochastique empirique , par exemple, dans le cadre d'un plan d'échantillonnage , pour dénoter des résultats d'observations qui ne correspondent pas à une probabilité supposée, ou pour évaluer des causalités (hypothèse nulle) . Voir en détail l' hypothèse (statistiques) .
L'informatique
En informatique, des processus de falsification sont utilisés pour déterminer la présence d'erreurs dans les logiciels, par exemple par l'analyse de code statique .
Contenu de l'information
Selon une certaine lecture de l' information , le contenu informationnel (empirique) d' un énoncé est plus élevé, plus il a de falsificateurs potentiels.
liens web
- M. Kranz: Réfutation. Dans: Dictionnaire historique de la philosophie .
Preuve individuelle
- ↑ Gerard Radnitzky , Gunnar Andersson (éd.): Exigences et limites de la science. Tübingen 1981, p. 63 (en ligne dans la recherche de livres Google ).