Verifikation - Deutungen

Der Begriff "Verifikation" wird in der Praxis mehrdeutig verwendet. So wird im Gabler Wirtschaftslexikon der Begriff "Verifikation" als eine Feststellung einer z. B. hypothesenkornformen Beobachtung eines Befundes beschrieben, die eine wissenschaftliche Hypothese (Aussage) bestätigt.

Vorurteilsfreies Sammeln & Verallgemeinern

Nach der erkenntnistheoretischen Lehre ist die Verifikation der Ursprung aller Erkenntnisse in Beobachtungen, die vorurteilsfrei zu sammeln  und zu verallgemeinern sind.

Verifizieren ist der Nachweis der Wahrheit einer behaupteten Aussage...

...

Der mathematische Beweis oder die bestätigte Überprüfung und Beglaubigung der behaupteten Aussage durch Argumente einer unabhängigen Instanz sind Hilfsmittel der Nachweisführung.

Eine fehlerfreie anerkannte Herleitung der Richtigkeit oder Unrichtigkeit einer Aussage (eines Axioms) aus einer Menge von Grundsätzen (Axiomen) einer Theorie umschreibt den mathematischen Beweis.

Laut [1] ist "eine Theorie eine allgemein durch Denken gewonnene Erkenntnis im Gegensatz zum durch Erfahrung gewonnenen Wissen."
"Sie ist ein System von Aussagen", die dazu dienen, "Ausschnitte der Realität zu beschreiben beziehungsweise zu erklären und Prognosen über die Zukunft zu erstellen."

Ein Axiom ist ein unmittelbar einleuchtender Grundsatz einer Theorie, der nicht bewiesen werden soll, sondern beweislos vorausgesetzt wird.

Axiome der Theorie sollten sein:

  • allgemein anerkannt
  • klar formuliert
  • nicht weiter reduzierbar
  • widerspruchsfrei und plausibel
  • Hilfsmittel zum Umgang mit komplexen Systemen oder Modellen

Axiome können in Form von Transformationsregeln als Ersatzschemata für Formeln dargestellt werden.

Lassen sich aus einer Menge von Axiomen weitere Axiome ableiten, so steht ein System von Regeln, das so genannte Kalkül, zur Verfügung.
Wenn sich im System der Regeln kein Widerspruch ableiten lässt, so ist das Kalkül widerspruchsfrei.
Wenn das Kalkül widerspruchsfrei ist, "ist es unmöglich, sowohl die Formel als auch die Negation-Formel zu beweisen. Es gibt mindestens eine Formel, die nicht ableitbar ist." [2]

Des Weiteren wird unter Verifizierung auch die Bestätigung der Erfüllung von Anforderungen durch einen objektiven Nachweis verstanden.

Gleichzeitig beinhaltet „die Verifizierung eine Prüfung mit objektiven Mitteln, dass spezifizierte (Produkt-)Eigenschaften erfüllt sind.“ [1]

 

 <--zurück


[1]

www.inf.fu-berlin.de/lehre/SS02/alp2/folien_natalie/testen.pdf

[2]

Kalkül. https://de.wikipedia.org/wiki