Modelltheorie: Die Modelltheorie untersucht, ob ein Axiomensystem erfüllt ist und liefert somit ein (oder mehrere) Modelle. Die Modelltheorie gehört zur Semantik, weil sie den Begriff der Wahrheit verwendet, während die Beweistheorie zum Bereich der Syntax gehört, indem sie nach der Existenz endlicher Zeichenketten (von Beweisen) fragt. Ein Problem ist der Ausschluss unbeabsichtigter Modelle._____________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.
|
