Rechtfertigung
Verfahrensethik
Rechtfertigung,semantische
Ein deduktiv aufgebautes wissenschaftliches System wird dadurch erstellt, dass eine Gesamtheit von wahren Sätzen (über einen Gegenstandsbereich) systematisiert wird. Dies geschieht mit Hilfe eines axiomatisch-deduktiven Systems, d.i. einem Kalkül. Für diesen Kalkül muss eine semantische R. gegeben werden, die den Nachweis der Adäquatheit des Kalküls zu erbringen hat. Die semantische R. erfordert den Nachweis, dass (a) der Kalkül semantisch vollständig ist, d.h. dass im Kalkül sämtliche wahren Sätze über das betreffende Gebiet aus den Axiomen ableitbar sind, und (b) der Kalkül semantisch korrekt ist, d.h. dass im Kalkül nur wahre Sätze über den Gegenstandsbereich ableitbar sind.
PP