Unintendierte Modelle, Philosophie: Ein Modell ergibt sich in der Logik aus einer Formel, wenn ihre Interpretation - das Einsetzen von Werten anstelle der freien Variablen – eine wahre Aussage ergibt. Bei Axiomensystemen spricht man von der Menge der Modelle, die das System zu konstruieren erlaubt. Das Problem der nichtintendierten Modelle entsteht, wenn eine in dem System gewonnene Aussage in einer Hinsicht unbestimmt ist, so dass sie wiederum verschiedene Interpretationen zulässt. Siehe auch Unbestimmtheit. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|